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)

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)

A truism of art history is that the lifespan of artworks can exceed their original social spaces: Artworks can sometimes be successfully transplanted into completely different settings where they continue to be valued. Does their potential to outlive their original context have to do with a specific feature of artworks’ ontology? Or with how human brains are wired? Or is it a mere function of their historical and social circumstances? I argue that David Summers’s magisterial _Real Spaces: World Art History (...) and the Rise of Western Modernism_ contains elements of a different answer. This answer focuses on what in artworks’ appearance causes them to be effective under various circumstances, without subscribing to the view that art is an irreducibly and inexhaustibly complex source of meaning. In delineating the Summersian perspective, I contrast it with the position (exemplified by the recent work of the archaeologist David Wengrow and the anthropologist Philippe Descola) that treats the art object as a document of underlying structures or currents. (shrink)

A key component of the susceptibility to cognitive biases is the ability to monitor for conflict between intuitively cued “heuristic” answers and logical principles. While there is evidence that pe...

A review of Frisbee C., C. Sheffield, Plato’s Symposium: The Ethics of Desire, Oxford University Press, Oxford, 2006.

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)

Locke claims that a person’s identity over time consists in the unity of consciousness, not in the sameness of the body. Similarly, the phenomenological approach refuses to see the criteria of identity as residing in some externally observable bodily features. Nevertheless, it does not accept the idea that personal identity has to consist either in consciousness or in the body. We are self-aware as bodily beings. After providing a brief reassessment of Locke and the post-Lockean discussion, the article draws on (...) phenomenological arguments that show the body as lived, that is, lived as one’s own body, but also possibly as “other” or “strange.” Against what has been claimed in recent writing, especially in literature on Merleau-Ponty, the author argues that the “mineness” of the body and its “alterity” are not two mutually exclusive features. In the final part of the article, the author suggests that the becoming strange of one’s own body may legitimately be considered as a prominent experience of what it means to be a person. (shrink)

The paper offers a parallel exposition of Ricœur and Patočka in the narrow context of their respective reading of Husserl’s Fifth Cartesian Meditation. At the same time, it follows a broader goal, namely to confront a hermeneutics of the self with a phenomenology freed of subjectivism. Ricœur claims that phenomenology presupposes interpretation. Under this assumption, even the paradox of intersubjectivity in the 5th CM can be restated as an interpretation of the self/other difference. Patočka in his interpretations of the 5th (...) CM drew on his own observations regarding embodiment and a possible self-awareness of the bodily subject. He claims that the first form of explicit self-reflection is made possible through the other. It is against the background of this claim that he gives his original reading of the “appresentation” of the other as leading to the appresentation of myself in the other. At the end, the paper localizes the point in which Ricœur’s hermeneutics of the self and Patočka’s non-subjectivist phenomenology part ways: it is the possibility of the self to be oneself. While the emphasis in Ricœur and his hermeneutics of the multiplied forms of alterity is put on being oneself as another, in Patočka it is through another that being oneself is possible. (shrink)

Philosophical views of habit were deeply influenced by Aristotle. If we understand habit in relation to hexis, to the acquired disposition to act in a certain way, then habit becomes a key phenomenon of ethics. According to the famous quotation, "It makes no small difference, whether we form habits of one kind or of another from our very youth; it makes a very great difference, or rather all the difference."1 And yet we can understand habit also as a dull and (...) rigid mechanism, as something that moves us away from humanity, as we read in Immanuel Kant: "The reason for being disgusted with someone's acquired habits lies in the fact that the animal here predominates over the man."2 Is habit more an expression of our... (shrink)

According to panqualityism, a form of Russellian monism defended by Sam Coleman and others, consciousness is grounded in fundamental qualities, i.e. unexperienced qualia. Despite panqualityism’s significant promise, according to David Chalmers panqualityism fails as a theory of consciousness since the reductive approach to awareness of qualities it proposes fails to account for the specific phenomenology associated with awareness. I investigate Coleman’s reasoning against this kind of phenomenology and conclude that he successfully shows that its existence is controversial, and so Chalmers’s (...) critique is inconclusive. I then present a critique of panqualityism that avoids this controversial posit, arguing that the panqualityist treatment of awareness faces an explanatory gap, failing to account for the intimate cognitive access to qualities which we are afforded, i.e. for our ‘strong awareness’ of qualities. The real worry for panqualityists is thus not the contested phenomenology of awareness, which Chalmers relies on, but rather the special way in which we are aware of qualities. (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.

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)

“Is every definition persuasive?” If essentialist views on definition are rejected and a pragmatic account adopted, where defining is a speech act which fixes the meaning of a term, then a problem arises: if meanings are not fixed by the essence of being itself, is not every definition persuasive? To address the problem, we refer to Douglas Walton’s impressive intellectual heritage—specifically on the argumentative potential of definition. In finding some non-persuasive definitions, we show not every definition is persuasive. The persuasiveness (...) lies not in syntactic or semantic properties, but the context. We present this pragmatic account and provide rules for analysing and evaluating persuasive definition—a promising direction for further research. (shrink)

Rozhovor vznikl 12. dubna 1997 v závěru konference Fenomén jako filosofický problém, kterou pořádali Ivan Chvatík a Pavel Kouba v Praze. Hans-Georg Gadamer německé znění rozhovoru autorizoval 19. listopadu 1997. Tento doposud nepublikovaný rozhovor byl pro účely vydání v časopise Reflexe krácen.

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.

This article intends to shed light on the political and security developments in Yemen that ultimately resulted in the Saudi-led military operation in this country. It discusses the political background behind the Yemeni revolution of 2011, its positive outcome in the shape of the results of the National Dialogue Conference and the reasons for the collapse of the efforts to stabilize Yemen.

This article explores book of poems entitled Requiem for Saddam Hussein and Other Poems for the Poor in Spirit by Konrad Góra in the light of animal studies. Looking at the poetic and beyond poetic activity of its author, this work reffers to Joanna Żylińska's question about ethical living founded on understandig of life both as zoe and bios. Think of the special opposition of village and city is trying to read this book in connection with mentioned vision of life. (...) These both areas shows presentifications and redefinings of persona in poems from Requiem and beyond poetic activity. By concentrating on poems specific for „nature” and „civilization this research will show how the mechanism of subordinating bare life (la nuda vita) works and how it concerns to both sides of the opposition of village and city. This article ask also for non-victims community, position and power of modern literature and involvment. (shrink)

We compare time needed for understanding different types of quantifiers. We show that the computational distinction between quantifiers recognized by finite-automata and pushdown automata is psychologically relevant. Our research improves upon hypothesis and explanatory power of recent neuroimaging studies as well as provides evidence for the claim that human linguistic abilities are constrained by computational complexity.

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)

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)

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)

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)

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)

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)

This book brings together for the first time two philosophers from different traditions and different centuries. While Wittgenstein was a focal point of 20th century analytic philosophy, it was Hegel’s philosophy that brought the essential discourses of the 19th century together and developed into the continental tradition in 20th century. This now-outdated conflict took for granted Hegel’s and Wittgenstein’s opposing positions and is being replaced by a continuous progression and differentiation of several authors, schools, and philosophical traditions. The development is (...) already evident in the tendency to identify a progression from a ‘Kantian’ to a ‘Hegelian phase’ of analytical philosophy as well as in the extension of right and left Hegelian approaches by modern and postmodern concepts. Assessing the difference between Wittgenstein and Hegel can outline intersections of contemporary thinking. (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.

The present book has the following structure: it proceeds chronologically in its main outline. Part II summarizes the philosophical background against which the distinction between internal and external relations emerged. Hegel and Bradley are addressed in Chapter 4. Russell and Moore—Wittgenstein's direct teachers—are the subject of Chapter 5. Part III is devoted to Wittgenstein's early writings. Chapter 6 distills the definition of the notions of internal and external relations from these texts. The subsequent chapters deal with the doctrine of external (...) relations, the nature of simple objects and the picture theory. Part IV deals with Wittgenstein's later writings from 1929 up to his death in 1951. Its structure is similar to the previous part. Chapter 10 provides some definitions of internal and external relations in these texts. The following chapters explore various themes from Wittgenstein's later philosophy in which the distinction between internal and external relations is important. Part IV begins with a discussion of intentionality and continues with rule-following, mathematics, colors, the standard meter, aspect-seeing, aesthetics and art. The concluding Part V gives the rationale for Wittgenstein’s method of analysis based on the distinction between internal and external relations. Internal relations do not—in the final analysis—belong to things; they are not constitutive of things. They are the means of representation of things. Internal relations can be—in an unattainable ideal—simply left behind. (shrink)

The paper argues that dozens conceptions of consciousness encountered in cognitive neuroscience, the philosophy of mind, and other related fields (e.g. phenomenal, access consciousness; sensorimotor, perceptual, self-consciousness; normal, altered and impaired consciousness, visual, tactile, social, body, animal, machine consciousness) can all be understood as constituted with reference to four fundamental criteria i.e. epistemic (dealing with kinds of consciousness), semantic (concerned with orders of consciousness), physiological (reflecting states of consciousness) and pragmatic (types of consciousness).