In his book, Kazimierz Gryżenia presents the changes which occurred in modern scholasticism's understanding of analogy, with particular reference to the views of the leading representative of the period, Francisco Suárez. As a representative of the newly established Jesuit order, Suárez was not bound to any previous philosophical tradition and sought to develop a universal system of philosophy. This book acquaints the reader with the complexity of modern scholasticism, and presents Suárez's philosophy as a significant link in the consolidation of (...) essentialist and ontological tendencies. It also poses the question of whether philosophy conceived and practiced in this way contributed to the later resentment towards philosophy as such, especially towards metaphysics. (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)

Sztuczna inteligencja pojawiła się jako dziedzina badawcza ponad 60 lat temu. Po spektakularnych sukcesach na początku jej istnienia oczekiwano pojawienia się maszyn myślących w ciągu kilku lat. Prognoza ta zupełnie się nie sprawdziła. Nie dość, że maszyny myślącej dotąd nie zbudowano, to nie ma zgodności wśród naukowców czym taka maszyna miałaby się charakteryzować ani nawet czy warto ją w ogóle budować. W artykule tym postaramy się prześledzić dyskusję metodologiczną towarzyszącą sztucznej inteligencji od początku jej istnienia i określić relację między sztuczną (...) inteligencją a kognitywistyką. (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)

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)

Many attempts to define privacy have been made since the publication of the seminal paper by Warren and Brandeis (Warren & Brandeis, 1890). Early definitions and theories of privacy had little to do with the concept of information and, when they did, only in an informal sense. With the advent of information technology, the question of a precise and universally acceptable definition of privacy became an urgent issue as legal and business problems regarding privacy started to accrue. In this paper, (...) we propose a definition of privacy that is simple, yet strongly tied with the concepts of information and property. We show that privacy thus defined is not only useful in the context of the infosphere, but can also be successfully applied in its more traditional role as the ‘right to be let alone’. (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.

In this paper we present learning algorithms for classes of categorial grammars restricted by negative constraints. We modify learning functions of Kanazawa [10] and apply them to these classes of grammars. We also prove the learnability of intersection of the class of minimal grammars with the class of k-valued grammars.

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)

The paper deals primarily with the standard question in what exactly, according to Husserl, consists the crisis of the European sciences. In the literature so far, there have been two tendencies on this question, one focusing on the loss of the sciences’ meaningfulness for life, the other emphasizing the inadequacy of their scientificity. Instead of arguing for one of these two options or for some sort of combination of both, another interpretation of this topic will be suggested. The focus will (...) be on Husserl’s notion of historicity and its connection with the concept of life-world. It will be argued that it is the historical detachment of sciences from ideas and consequently the sphere of meaning altogether which lies at the core of their ill state. On this basis, it will show that Husserl’s approach to science in Crisis is actually double. For one, it is an attempt to supplement science with a philosophical justification. The other is a historical de-construction of scientific objectivism as a misleading metaphysical claim concerning the lived world. This second, historical approach is developed exclusively in the Crisis. However, it does bring out questions leading to rethinking the meaning and goals of transcendental phenomenology itself. (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)

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)

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)

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 topic of exemplarity has attracted considerable interest in philosophy, legal theory, literary studies and art recently. There is broad consensus that exemplary cases mediate between singular instances and general concepts or norms. The aim of this article is to provide an additional perspective on the logic of exemplarity. First, inspired by Jacques Derrida’s discussion of exemplarity, I shall argue that there is a kind of différance between (singular) examples and (general) exemplars. What an example exemplifies, the exemplarity of the (...) example, eludes any fixed identity and follows a logic of supplement. Second, I shall present the so-called logic of exemplarity. The received paraconsistent view has it that the exemplar of X is an X and, at the same time, is not an X. Inspired by Ludwig Wittgenstein’s discussion of the standard metre, I would like to present an alternative paracomplete view whereby we can say of an exemplar of X neither that it is an X nor that it is not an X. (shrink)

Book review: Raimond Gaita, Sdílené lidství. Přemýšlení o lásce, pravdě a spravedlnosti, Červený Kostelec (Pavel Mervart), transl. Jan Petříček, 2022, 248 p.

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)

The paper presents a study examining the role of working<br>memory in quantifier verification. We created situations similar to the<br>span task to compare numerical quantifiers of low and high rank, parity<br>quantifiers and proportional quantifiers. The results enrich and support<br>the data obtained previously in and predictions drawn from a computational<br>model.

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)

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

Tim Whitmarsh’s collection of essays has seen the light of day at a time when the academic world is again reconsidering “classicism” and modernity’s relationship to the “classical.” This is even mo...

The field of Artificial Intelligence has been around for over 60 years now. Soon after its inception, the founding fathers predicted that within a few years an intelligent machine would be built. That prediction failed miserably. Not only hasn’t an intelligent machine been built, but we are not much closer to building one than we were some 50 years ago. Many reasons have been given for this failure, but one theme has been dominant since its advent in 1969: The Frame (...) Problem. What looked initially like an innocuous problem in logic, turned out to be a much broader and harder problem of holism and relevance in commonsense reasoning. Despite an enormous literature on the topic, there is still disagreement not only on whether the problem has been solved, but even what exactly the problem is. In this paper we provide a formal description of the initial problem, the early attempts at a solution, and its ramification both in AI as well as philosophy. (shrink)

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)

While there is a general consensus around the role of religion in the abolition of the Slave Trade, historians continue to give little to no detail on exactly how Christian theology influenced the abolitionist movement. This article seeks to interrogate one major theological factor inherent in the spirituality that underpinned the activism of the British abolitionists, namely their notion of Divine Providence, and particularly its moral-emotive correlate: the fear of God’s wrath. These theological notions are discussed based mainly on the (...) analysis of the primary sources and within the theoretical framework of judicial providentialism, aptly captured by John Coffey among others. (shrink)

Autonomous agents (robots) are no longer a subject of science fiction novels. Self-driving cars, for example, may be on our roads within a few years. These machines will necessarily interact with the humans and in these interactions must take into account moral outcome of their actions. Yet we are nowhere near designing a machine capable of autonomous moral reasoning. In some sense, this is understandable as commonsense reasoning turns out to be very hard to formalize. -/- In this paper, we (...) identify several features of commonsense reasoning that are specific to the domain of morality. We show that its peculiarities, such as, moral conflicts or priorities among norms, give rise to serious challenges for any logical formalism representing moral reasoning. We then present a variation of default logic adapted from [5] and show how it addresses the problems we identified. (shrink)

The article presents Richard Rorty’s religious metaphors in the context of the concept of civil religion derived from The Social Contract of Jean Jacques Rousseau and primarily used today for the sociological analysis of the relationship between religion and the state. It is paired with Rorty’s conception of pragmatism as romantic polytheism and its fundamental notions of romance, polytheism, and poetry. Parallels between social and religious institutions formulated by the American neo-pragmatist, such as priesthood and sanctuary, provide the details of (...) his proposition. The article opposes the interpretation of Jason Boffetti, who suggests that the use of religious language is a sign of a considerable change in Rorty’s standpoint. A characteristic feature of Rorty’s philosophy is its secularism. Therefore, there is a discrepancy between his vision of civil religion and that of other scholars. This discrepancy has its source in Rorty’s pragmatist position and underlines the political character of his philosophy. (shrink)

This article describes the theoretical foundations for researching game space and analytical methods focused on player reception of level design. It focuses primarily on games with open worlds and looks at environmental narratives within them. The methods discussed include game telemetry, mental mapping, and eye-tracking. Game worlds can be perceived as complex wholes that are important not only as the stage for game interactions, but also as sign structures carrying semantic meaning. These structures consist of spatial elements that form the (...) narrative potential of the game space. This potential is actualized and interpreted by the player during gameplay. (shrink)

When trying to understand the medical profession, one instinctively looks at its history. Questions come to mind, such as when did it start, and who was the first physician? A practice of healing seems to be as old as the mankind (Majno 1975), so it is unlikely that one will ever find the exact answers. However, when searching for the first known physician, we come to ancient Egypt and one of Egypt’s first rulers, Athothis. In a third-century BCE history of (...) Egypt, written by an Egyptian priest, Manetho (1940), there is a passage about a ruler of the First Dynasty: “Athothis . . . built the palace at Memphis, and his anatomical works are extant, for he was a physician” (or, in another preserved version .. (shrink)

Velká divergence (tj. proč evropský pokrok překonal zbytek světa) je významné téma civilizačních studií s přesahy do eticko-politických diskuzí. Fergusonova Civilizace: Západ a ti ostatní přináší vlastní řešení této otázky – šest klíčových výhod Západu. Tento článek se pokouší ukázat, že Fergusonovo pojetí nejenže je otevřeně politické a má problematickou vnitřní konzistentnost, ale rovněž odporuje současnému historickému vědění.

Weder soll die Endlichkeit in ihrer Eigenständigkeit aufgelöst noch die Transzendenz aufgehoben werden. Das Absolute ist sowohl in seiner radikalen Transzendenz als auch in der Beziehung zum Menschen zu denken.

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.

Many attempts to define privacy have been made over the last century. Early definitions and theories of privacy had little to do with the concept of information and, when they did, only in an informal sense. With the advent of information technology, the question of a precise and universally acceptable definition of privacy in this new domain became an urgent issue as legal and business problems regarding privacy started to accrue. In this paper, I propose a definition of informational privacy (...) that is simple, yet strongly tied with the concepts of information and property. Privacy thus defined is similar to intellectual property and should receive commensurate legal protection. (shrink)

We analyze model-theoretic connected components in extensions of a given group by abelian groups which are defined by means of 2-cocycles with finite image. We characterize, in terms of these 2-cocycles, when the smallest type-definable subgroup of the corresponding extension differs from the smallest invariant subgroup. In some situations, we also describe the quotient of these two connected components. Using our general results about extensions of groups together with Matsumoto–Moore theory or various quasi-characters considered in bounded cohomology, we obtain new (...) classes of examples of groups whose smallest type-definable subgroup of bounded index differs from the smallest invariant subgroup of bounded index. This includes the first known example of a group with this property found by Conversano and Pillay, namely the universal cover of [Formula: see text], as well as various examples of different nature, e.g. some central extensions of free groups or of fundamental groups of closed orientable surfaces. As a corollary, we get that both non-abelian free groups and fundamental groups of closed orientable surfaces of genus [Formula: see text], expanded by predicates for all subsets, have this property, too. We also obtain a variant of the example of Conversano and Pillay for [Formula: see text] instead of [Formula: see text], which was not accessible by the previously known methods. (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)

The study focuses on the relationship between K. Jaspers and S. Kierkegaard. First, it evaluates the current scholarship regarding Jaspers’ reception of Kierkegaard’s thought; second, it offers an independent analysis of Jaspers’ early work (especially the 1909 Heimweh und Verbrechen, and then the Psychologie der Weltanschauungen). It is demonstrated that Jaspers’ early work on nostalgia presents the first case study of limit situations (Grenzsituationen). The paper traces the link between Kierkegaard’s conception of aesthetic existence and Jaspers’ concept of limit situations. (...) It is shown that Jaspers’ study of nostalgia can be considered the original inspiration for the idea of limit situations, and that, at the same time, it was arguably Kierkegaard who had helped Jaspers to develop this germinal idea into a broader notion of limit situations. (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)

There are two fundamental classes of terms traditionally distinguished within moral vocabulary: the deontic and the aretaic. The terms from the first set serve in the prescriptive function of a moral code. The second class contains terms used for a moral evaluation of an action. The problem of the relationship between the aretaic and the deontic has not been discussed often by philosophers. It is, however, a very important and interesting issue: any normative ethical theory which takes as basic one (...) set of these concepts should justify such choice and establish, at least implicitly, the logical relation with the other set. This paper is organized around the criticism of Stocker’s ‘sameness thesis’ (Stocker 1973 ): the claim that ‘good’ or ‘right’ mean the same thing. It is first presented in Stocker’s own formulation and criticized as implausible in that form. Some friendly modifications to his idea are suggested and then further discussed with the skeptical conclusion: no matter how close we bring deontic and aretaic notions, the gap between them will remain and any attempt to define or even explain one set of terms in another will leave something behind. (shrink)

We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same problem and suggest extending their experimental setting. Moreover, we give some direct empirical evidence linking computational complexity predictions with cognitive reality.<br>In the empirical study we compare time needed for understanding different types of quantifiers. We show that the computational distinction between quantifiers recognized by finite-automata and push-down automata is psychologically relevant. Our research improves upon hypothesis and (...) explanatory power of recent neuroimaging studies as well as provides<br>evidence. (shrink)