Large Language Models (LLMs) enable a future in which certain types of legal documents may be generated automatically. This has a great potential to streamline legal processes, lower the cost of legal services, and dramatically increase access to justice. While many researchers focus on proposing and evaluating LLM-based applications supporting tasks in the legal domain, there is a notable lack of investigations into how legal professionals perceive content if they believe an LLM has generated it. Yet, this is a critical (...) point as over-reliance or unfounded scepticism may influence whether such documents bring about appropriate legal consequences. This study is the necessary analysis of the ongoing transition towards mature generative AI systems. Specifically, we examined whether the perception of legal documents’ by lawyers and law students (n = 75) varies based on their assumed origin (human-crafted vs AI-generated). The participants evaluated the documents, focusing on their correctness and language quality. Our analysis revealed a clear preference for documents perceived as crafted by a human over those believed to be generated by AI. At the same time, most participants expect the future in which documents will be generated automatically. These findings could be leveraged by legal practitioners, policymakers, and legislators to implement and adopt legal document generation technology responsibly and to fuel the necessary discussions on how legal processes should be updated to reflect recent technological developments. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be computed in polynomial time. (...) Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)

Szymanik (2007) suggested that the distinction between first-order and higher-order quantifiers does not coincide with the computational resources required to compute the meaning of quantifiers. Cognitive difficulty of quantifier processing might be better assessed on the basis of complexity of the minimal corresponding automata. For example, both logical and numerical quantifiers are first-order. However, computational devices recognizing logical quantifiers have a fixed number of states while the number of states in automata corresponding to numerical quantifiers grows with the rank of (...) the quantifier. This observation partially explains the differences in processing between those two types of quantifiers (Troiani et al. 2009) and links them to the computational model. Taking this perspective, below, we suggest the experimental setting extending the one by McMillan et al. (2005) and Troiani et al. (2009). (shrink)

In this paper, we address reports of “selfless” experiences from the perspective of active inference and predictive processing. Our argument builds upon grounding self-modelling in active inference as action planning and precision control within deep generative models – thus establishing a link between computational mechanisms and phenomenal selfhood. We propose that “selfless” experiences can be interpreted as cases in which normally congruent processes of computational and phenomenal self-modelling diverge in an otherwise conscious system. We discuss two potential mechanisms – within (...) the Bayesian mechanics of active inference – that could lead to such a divergence by attenuating the experience of selfhood: “self-flattening” via reduction in the depth of active inference and “self-attenuation” via reduction of the expected precision of self-evidence. (shrink)

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others. While doing so, it lays the groundwork for extending semantic theory with computational and cognitive aspects by combining linguistics and logic with computations and cognition. -/- Quantifier expressions occur whenever we describe the world and communicate about it. Generalized quantifier theory is therefore one of the basic tools of linguistics today, studying the possible meanings and the inferential power of quantifier (...) expressions by logical means. The classic version was developed in the 1980s, at the interface of linguistics, mathematics and philosophy. Before this volume, advances in "classic" generalized quantifier theory mainly focused on logical questions and their applications to linguistics, this volume adds a computational component, the third pillar of language use and logical activity. This book is essential reading for researchers in linguistics, philosophy, cognitive science, logic, AI, and computer science. (shrink)

For G a group definable in some structure M, we define notions of “definable” compactification of G and “definable” action of G on a compact space X , where the latter is under a definability of types assumption on M. We describe the universal definable compactification of G as View the MathML source and the universal definable G-ambit as the type space SG. We also point out the existence and uniqueness of “universal minimal definable G-flows”, and discuss issues of amenability (...) and extreme amenability in this definable category, with a characterization of the latter. For the sake of completeness we also describe the universal compactification and universal G-ambit in model-theoretic terms, when G is a topological group. (shrink)

Studie se zaměřuje na motiv receptivity vnímání v Husserlově a Merleau-Pontyho fenomenologii. V první části rekonstruuje teorii počitkových dat, neboť kritika této teorie je pro oba autory důležitá. Ve druhé části představuje Husserlův návrh chápat receptivitu vnímání s pomocí modelu uchopovaná látka – uchopující forma. Třetí část stručně rekapituluje Merleau-Pontyho kritiku Husserlovy teorie smyslové látky a nastiňuje Merleau-Pontyho vlastní výklad receptivity, který se opírá o synestetický a motorický význam smysly vnímaných kvalit.

ZusammenfassungAugustin versteht Gottesliebe und Nächstenliebe anhand der Unterscheidung von uti und frui. Karl Barth setzt dazu komplementär bei der Selbsthingabe Gottes in Christus ein; er bestimmt die Nächstenliebe als Erfahrung eines Zeugnisses von Christus. Eine Kombination der beiden Positionen erhellt den Bezug von Gottesliebe und Nächstenliebe und zeigt, dass die Nächstenliebe die Wechselseitigkeit der Liebe zwischen Gott und den Glaubenden spiegelt. In ihr tritt die Gottesliebe in die Vielfalt der geschöpflichen Individualität ein.SummaryWhile Augustine interprets the relation between love of neighbour (...) and love of God by distinguishing between uti and frui, Karl Barth focuses on God's unconditionally kenotic love in Christ and understands love of neighbour as a purely receptive experience. The combination of both perspectives clarifies the relation between the two sides of the one Christian love and shows that love of neighbour mirrors the reciprocity of love between God and the believers. In love of neighbour, the love between God and the believers enters into the diversity of creaturely individuality. (shrink)

The paper discusses the picture of the emperor Vitellius as drawn by Tacitus in Books 1-3 of the Histories. Particular attention has been given to those passages where Vitellius is, either explicitly or implicitly, contrasted with his own soldiers. In general, he is portrayed as a passive character who has been forced by his men to usurp the throne and begin the civil war. The contrast between the emperor and his soldiers is maintained throuhgout the Vitellian books, notably in the (...) account of his visit to the battlefield at Bedriacum (2.70) and in the narrative of the Vitellians’ last fight in Rome and the emperor’s capture and death (3.84-85). (shrink)

This paper aims to develop the criteria for assessing semantic arguments. However, while this notion constituted the core of ancient dialectics and is addressed in several approaches to argument analysis, the criteria for evaluating such arguments are insufficient. This paper intends to address this problem by combining the insights of classical and contemporary logic and testing them against some controversies involving controversial definitions or classifications. Through detailed case studies of the argumentative uses involving the (re)definitions of racism, war, peace, and (...) feminism, we formulated and tested eight evaluation criteria that may be expressed as critical questions. Résumé: Cet article vise à développer les critères d’évaluation des arguments sémantiques. Cependant, bien que cette notion constitue le coeur de la dialectique ancienne et soit abordée dans plusieurs approches de l’analyse des arguments, les critères d’évaluation de ces arguments sont insuffisants. Cet article vise à résoudre ce problème en combinant les idées de la logique classique et contemporaine et en les testant par rapport à certaines controverses impliquant des définitions ou des classifications controversées. À travers des études de cas détaillées sur les usages argumentatifs impliquant les (re)définitions du racisme, de la guerre, de la paix et du féminisme, nous avons formulé et mis à l’épreuve huit critères d'évaluation qui peuvent être exprimés sous forme de questions critiques. (shrink)

The paper presents an experimental evidence on differences in the sentence-picture verification under additional memory load between parity and proportional quantifiers. We asked subjects to memorize strings of 4 or 6 digits, then to decide whether a quantifier sentence is true at a given picture, and finally to recall the initially given string of numbers. The results show that: (a) proportional quantifiers are more difficult than parity quantifiers with respect to reaction time and accuracy; (b) maintaining either 4 or 6 (...) elements in the working memory has the same effect on the processing of parity quantifiers; (c) however, in the case of proportional quantifiers subjects performed better in the verification tasks under the 6-digit load condition, and (d) even though the strings of 4 numbers were better recalled by subjects after judging parity there is no difference between quantifiers in the case of the 6-element condition. We briefly outline two alternative explanations for the observed phenomena rooted in the computational model of quantifier verification and the different theories of working memory. (shrink)

Quantifiers in phrasal and clausal comparatives often seem to take distributive scope in the matrix clause: for instance, the sentence John is taller than every girl is is true iff for every girl it holds that John is taller than that girl. Broadly speaking, two approaches exist that derive this reading without postulating the wide scope of the quantifier: the negation analysis and the interval analysis of than-clauses. We propose a modification of the interval analysis in which than-clauses are not (...) treated as degree intervals but as degree pluralities. This small change has significant consequences: it yields a straightforward account of differentials in comparatives and it correctly predicts the existence of hitherto unnoticed readings, viz. cumulative readings of clausal comparatives. Finally, this paper also makes the case that using degree pluralities is conceptually appealing: it allows us to restrict the analysis of comparatives by mechanisms that are postulated independently in the semantics of pluralities. (shrink)

In this essay, I examine the motive of inner truthfulness in the moral philosophy of Kant, which came to the fore in his work in the 1790s. Truthfulness and sincerity are interpreted as the roots of all morality. In the first chapter, I present two interpretations of inner honesty from two different perspectives: in relation to a duty to oneself and to the issue of conscience. The second chapter (the core of the essay) works out the main demand of truthfulness, (...) especially in the context of the theory of radical evil from Religion within the Boundaries of Mere Reason. As a last step, I show that with the motive of truthfulness, Kant’s philosophy meets the thinking of F. Nietzsche, with its emphasis on sincerity. (shrink)

Anthropomorphism is a phenomenon that describes the human tendency to see human-like shapes in the environment. It has considerable consequences for people’s choices and beliefs. With the increased presence of robots, it is important to investigate the optimal design for this tech- nology. In this paper we discuss the potential benefits and challenges of building anthropomorphic robots, from both a philosophical perspective and from the viewpoint of empir- ical research in the fields of human–robot interaction and social psychology. We believe (...) that this broad investigation of anthropomorphism will not only help us to understand the phenomenon better, but can also indicate solutions for facil- itating the integration of human-like machines in the real world. (shrink)

We discuss McMillan et al. (2005) paper devoted to study brain activity during comprehension of sentences with generalized quantifiers. According to the authors their results verify a particular computational model of natural language quantifier comprehension posited by several linguists and logicians (e. g. see van Benthem, 1986). We challenge this statement by invoking the computational difference between first-order quantifiers and divisibility quantifiers (e. g. see Mostowski, 1998). Moreover, we suggest other studies on quantifier comprehension, which can throw more light on (...) the role of working memory in processing quantifiers. (shrink)

Within theoretical and empirical enquiries, many different meanings associated with consciousness have appeared, leaving the term itself quite vague. This makes formulating an abstract and unifying version of the concept of consciousness – the main aim of this article –into an urgent theoretical imperative. It is argued that consciousness, characterized as dually accessible (cognized from the inside and the outside), hierarchically referential (semantically ordered), bodily determined (embedded in the working structures of an organism or conscious system), and useful in action (...) (pragmatically functional), is a graded rather than an all-or-none phenomenon. A gradational approach, however, despite its explanatory advantages, can lead to some counterintuitive consequences and theoretical problems. In most such conceptions consciousness is extended globally (attached to primitive organisms or artificial systems), but also locally (connected to certain lower-level neuronal and bodily processes). For example, according to information integration theory (as introduced recently by Tononi and Koch, 2014), even such simple artificial systems as photodiodes possess miniscule amounts of consciousness. The major challenge for this article, then, is to establish reasonable, empirically justified constraints on how extended the range of a graded consciousness could be. It is argued that conscious systems are limited globally by the ability to individuate information (where individuated information is understood as evolutionarily embedded, socially altered, and private), whereas local limitations should be determined on the basis of a hypothesis about the action-oriented nature of the processes that select states of consciousness. Using these constraints, an abstract concept of consciousness is arrived at, hopefully contributing to a more unified state of play within consciousness studies itself. (shrink)

We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname {DCF}_p$ and that it eliminates quantifiers after adding the inverse of the Frobenius map to the language. This strengthens the results from [4]. As a by-product, we get a new geometric axiomatization of this model companion. Along the way we also prove (...) a quantifier elimination result, which holds in a much more general context and we suggest a way of giving “one-dimensional” axiomatizations for model companions of some theories of fields with operators. (shrink)

Cognitive architectures have often been applied to data from individual experiments. In this paper, I develop an ACT-R reader that can model a much larger set of data, eye-tracking corpus data. It is shown that the resulting model has a good fit to the data for the considered low-level processes. Unlike previous related works, the model achieves the fit by estimating free parameters of ACT-R using Bayesian estimation and Markov-Chain Monte Carlo techniques, rather than by relying on the mix of (...) manual selection + default values. The method used in the paper is generalizable beyond this particular model and data set and could be used on other ACT-R models. (shrink)

Interview of Jakub Sirovátka with Maximilian Forschner and Rudolf Langthaler.

The endorsement of epistemically suspect (i.e., paranormal, conspiracy, and pseudoscientific) beliefs is widespread and has negative consequences. Therefore, it is important to understand the reasoning processes – such as lower analytic thinking and susceptibility to cognitive biases – that might lead to the adoption of such beliefs. In two studies, I constructed and tested a novel questionnaire on epistemically suspect beliefs (Study 1, N = 263), and used it to examine probabilistic reasoning biases and belief bias in syllogistic reasoning as (...) predictors of the endorsement of those beliefs, while accounting for analytic thinking and worldview variables (Study 2, N = 397). Probabilistic reasoning biases, analytic thinking, religious faith, and political liberalism consistently predicted various epistemically suspect beliefs, whereas the effect of syllogistic belief bias was largely restricted to pseudoscientific beliefs. Further research will be needed to examine the role the biased evaluation of evidence plays in the endorsement of epistemically suspect beliefs. (shrink)

This article builds on my recent engagement with James Cone’s binary view of Africanness and Christianity which focused on his Western locus of enunciation and the criticism he received from his African American colleagues. I believe that analogical questions regarding Christian theology’s attitude towards Africanness in general and African religiosity in particular present themselves to us who live in and try to make sense of South African reality today, including white people like myself. I start by introducing a decolonial perspective (...) as it manifests itself through the recent #MustFall student movements. In this context, I offer three theses regarding the decolonial perspective on African religiosity, each of which constitutes a more or less direct critique of Cone’s ambivalent attitude towards Africanness, and African Traditional Religions in particular. The first thesis concerns the distinction between postcoloniality and decoloniality; the second thesis concerns engaging African religiosity as a requirement for decolonising Christian theology; and the third thesis concerns problematising the relationship between the categories of blackness and Africanness. (shrink)

This paper investigates the issue whether metaphors have a metaphorical or secondary meaning and how this question is related to the borderline between philosophy and linguistics. On examples by V. Woolf and H. W. Auden, it will be shown that metaphor accomplishes something more than its literal meaning expresses and this “more” cannot be captured by any secondary meaning. What is essential in the metaphor is not a secondary meaning but an internal relation between a metaphorical proposition and a description (...) of its effects. In order to understand metaphors, we have to share an ability to construe metaphorical meanings at once. The aim of this ability is to uncover an internal relation, which lies behind a particular metaphor. (shrink)

The first part of this essay is basically historical. It introduces the explanation–understanding divide, focusing in particular on the general–unique distinction. The second part is more philosophical and it presents two different claims on action. In the first place, I will try to say what it means to understand an action. Secondly, we will focus on the explanation of action as it is seen in some explanatory sciences. I will try to argue that in some cases these sciences commit what (...) I call an “external contradiction”. (shrink)

The main purpose of this dissertation is to develop a specific perspective on the history of human thought. This goal can be achieved by critically reflecting on the dominant concept of modernity, linked with the idea of teleological and linear development, which underlies the common vision of history. The proposed approach is grounded in an in-depth analysis of the life and work of Michel de Montaigne, drawing on numerous achievements in intellectual history, conceptual history, and the history of philosophy, simultaneously (...) outlining a novel approach to the history of human thought. The first part of the dissertation revises the concept of modernity, surveys various philosophical interpretations of history (in dialogue with contemporary historiography), and finally outlines reworked notions of modernity and postmodernity. These considerations are based on discussions of history and historicity undertaken by various authors, especially Michel Foucault and Jacques Derrida. It is especially the latter’s contribution in this area that has been so far underestimated, especially in Poland. What emerges is an image of history as a nexus of changes, neither absolutely progressive nor regressive, occurring in three dimensions: material, linguistic, and mental. Consequently, it appears necessary to take their intertwining into account in all historical research. Contrary to what the dominant notion of modernity suggests, these intersections are in fact argued to facilitate non-dogmatic thinking in any period or moment in history. The second part of the dissertation turns to Montaigne’s Essais – a work whose publication was an exceptional event in intellectual history, which is argued to confirm the previously formulated theses. First, a theoretical construct is introduced, describing the structure of human reality, termed “the structure of authority.” It defines the system of relations that shape the existence of every human being: relations of power, knowledge, and faith. This system of relations is demonstrated using the example of the early modern era. Against this background, Montaigne appears as an author who questioned or at least attenuated the structure of authority in his time because he now appears as a modern or even postmodern writer who was ahead of his time. The first part of the thesis consists of five chapters, two directly addressing the concept of modernity (chapters 1 and 5), one discussing the concept of history (chapter 2), and two other dealing with specific concepts of history developed by Foucault and Derrida (chapters 3 and 4). The second part elaborates on the concept of the structure of authority (chapter 6), and applies it in practice to discuss the early modern period (chapter 7) when Montaigne lived and wrote. His thought is analysed in two subsequent chapters (8 and 9). The author of Essais is argued to be a coherent thinker despite the numerous contradictions found in his work, as well as the originator of the “essay” method. Discussion covers many of his concepts and ideas, as well as his political and religious views. The conclusion gathers all reflections and summarizes the results. (shrink)

In this paper, I argue against the institutional reading of the persuasion of the laws in Plato’s Crito. My interpretation focuses on how the clause “persuade or obey” may be read such as to allow citizens to disobey the law or its commands without such actions being unjust. I first summarize the authoritarian position of the laws and present the existing interpretations of the persuasion of the laws. I then show why I believe that none of the existing interpretations is (...) satisfactory. Finally, I present my own interpretation of the persuasion of the laws, which follows Socrates’ own rule of following reason and the strongest available argument. (shrink)

The paper presents some common motifs of two thinkers who, despite a historical gap of several hundred years, had common roots in the tradition of Judaism. The notion of the Encounter, as analysed by Emmanuel Levinas, and the cosmogonic process of Creation in Isaac Luria’s system of thought have a common motif in the phenomenon of the socalled “contraction” (Hebrew: tzimtzum). Despite the fact that for the first thinker it is the domain of ethics and for the second the domain (...) of ontology, the act of a certain “self-limitation” or “withdrawal” plays in both cases a foundational role. (shrink)

The development of research based on human biological material has contributed to a lively debate on the concept of informed consent in these studies, particularly its scope, form and length of validity. The biggest disputes and doubts concern the range of consent for research that will be conducted in the future, whose aim and place are unknown at the time of the sample collection, as are the future researchers and the ability to use the previously collected materials again. This situation (...) raises the question of a just and prudent balance between the rights of participants in the research and the rights of researchers. New forms of consent have been proposed, which sometimes substantially diverge from the classical model in aiming towards responsible balancing between the necessity to protect the donors’ interests and the possibility of conducting research in medicine. These new concepts also find their application in legislative acts adopted internationally and in some European countries in the recent years. (shrink)

Lascar described E KP as a composition of E L and the topological closure of E L (Casanovas et al. in J Math Log 1(2):305–319). We generalize this result to some other pairs of equivalence relations. Motivated by an attempt to construct a new example of a non-G-compact theory, we consider the following example. Assume G is a group definable in a structure M. We define a structure M′ consisting of M and X as two sorts, where X is an (...) affine copy of G and in M′ we have the structure of M and the action of G on X. We prove that the Lascar group of M′ is a semi-direct product of the Lascar group of M and G/G L . We discuss the relationship between G-compactness of M and M′. This example may yield new examples of non-G-compact theories. (shrink)

This article explores the role and modes of operation of metaphorical framing in ancient Greek and modern European and American political discourse. It looks at how concepts such as citizenship, ownership, family, morality, finance, sport, war, domination, human life, and animals are used to reframe political issues in ways promoted by the speaker, and how they may continue to be reshaped in the ongoing political discourse. The analysis of examples of ancient Athenian public rhetoric and of modern European and American (...) political debates reveals the differences and some striking similarities in the ways political and civic values were expressed and reframed in antiquity and how they are used today. This essay also discusses the potential effects of such framing in antiquity and in more recent times. (shrink)

The article discusses the ecological aspects of John Milbank’s thought in the context of the growing climate crisis. For this purpose, the concept of integral ecology is interpreted in the spirit of Milbank’s integralism, which rejects the notion of “pure nature” as a manifestation of secularism and calls for theological grounding of the environmental discourse. This perspective allows us to see the limitations of the modern way of thinking, caught up in the metaphors of “conquest of nature” and “return to (...) nature.” As an alternative, the concept of “kenotic anthropocentrism” is proposed, which sees man as a rational, social, creative and religious animal, that somehow transcends his own nature, being called to union with God. On the one hand, such an approach proclaims the ontological superiority of man over other creatures, and on the other, it reminds us of his role as the guardian—and not the owner—of the Earth. Thus, it differs significantly from Clive Hamilton’s “modest anthropocentrism,” whose call to care for the environment is ultimately based on arbitrary freedom and the imperative of self-preservation. Milbank’s position is closer to Bruno Latour’s anthropocentrism emphasizing the role of man as a political representative of silent earthlings—rivers, mountains and animals. However, Milbank advocates a strong ontological hierarchy rejected by Latour, which makes him less sensitive to the material dimension of climate change. Moreover, Milbank’s militant anti-secularism may be an obstacle to a much needed broader discussion of the ecological crisis, even if his critique of modernity is hard to ignore. (shrink)

Social robots are expected to take over a significant number of jobs in the coming decades. The present research provides the first systematic evaluation of occupation suitability of existing social robots based on user perception derived classification of them. The study was conducted in the Middle East since the views of this region are rarely considered in human–robot interaction research, although the region is poised to increasingly adopt the use of robots. Laboratory-based experimental data revealed that a robot’s appearance plays (...) an important role in the perception of its capabilities and preference for it to perform a particular job. Participants showed a preference for machine-like robots to perform dull and dirty occupations and humanoids, but not androids, to perform jobs requiring extensive social interaction with humans. However, other aspects of appearance than morphology determine whether a robot is preferred for a job irrespective of its perceived capability to do it. (shrink)

We introduce and study model-theoretic connected components of rings as an analogue of model-theoretic connected components of definable groups. We develop their basic theory and use them to describe both the definable and classical Bohr compactifications of rings. We then use model-theoretic connected components to explicitly calculate Bohr compactifications of some classical matrix groups, such as the discrete Heisenberg group ${\mathrm {UT}}_3({\mathbb {Z}})$, the continuous Heisenberg group ${\mathrm {UT}}_3({\mathbb {R}})$, and, more generally, groups of upper unitriangular and invertible upper triangular (...) matrices over unital rings. (shrink)

The present paper concerns the Wittgenstein ontology project: an attempt to create a Semantic Web representation of Ludwig Wittgenstein’s philosophy. The project has been in development since 2006, and its current state enables users to search for information about Wittgenstein-related documents and the documents themselves. However, the developers have much more ambitious goals: they attempt to provide a philosophical subject matter knowledge base that would comprise the claims and concepts formulated by the philosopher. The current knowledge representation technology is not (...) well-suited for this task, and a non-standard approach is required. The creators of the Wittgenstein ontology project are aware of this fact; recently, they have been discussing conceptual devices adjusting the technology to their needs. The main goal of this paper is to present examples of a representation of philosophical content that make use of both the devices already proposed and some new inventions. The represented content comes from the Tractatus Logico-Philosophicus; more specifically, its theses concerning the problems in philosophy of mathematics. (shrink)

Narrative identity theory in some of its influential variants makes three fundamental assumptions. First, it focuses on personal identity primarily in terms of selfhood. Second, it argues that personal identity is to be understood as the unity of one’s life as it develops over time. And finally, it states that the unity of a life is articulated, by the very person itself, in the form of a story, be it explicit or implicit. The article focuses on different contemporary phenomenological appraisals (...) of the narrative account. The survey of this partly critical debate is followed by concluding observations concerning a possible phenomenological theory of personal identity. (shrink)

Language meets reality by measuring it. My aim in this paper is to shed some light on Wittgenstein's metaphors of language's meeting and measuring reality. My additional aim will be to delimit to what extent or in what sense these functions of language are transcendental.