Krynicki, M. and M. Mostowski, Decidability problems in languages with Henkin quantifiers, Annals of Pure and Applied Logic 58 149–172.We consider the language L with all Henkin quantifiers Hn defined as follows: Hnx1…xny1…yn φ iff f1…fnx1. ..xn φ, ...,fn). We show that the theory of equality in L is undecidable. The proof of this result goes by interpretation of the word problem for semigroups.Henkin quantifiers are strictly related to the function quantifiers Fn defined as follows: Fnx1…xny1…yn φ iff fx1…xn (...) φ,...,f). In contrast with the first result we show that the theory of equality with all quantifiers Fn is decidable.We also consider decidability problems for other theories in languages L and L. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class –1X is also finitely axiomatizable (i.e. iff is (...) continuous in model class topology). (shrink)

Connections between partially ordered connectives and Henkin quantifiers are considered. It is proved that the logic with all partially ordered connectives and the logic with all Henkin quantifiers coincide. This implies that the hierarchy of partially ordered connectives is strongly hierarchical and gives several nondefinability results between some of them. It is also deduced that each Henkin quantifier can be defined by a quantifier of the form equation imagewhat is a strengthening of the Walkoe result. MSC: 03C80.

A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...) of these results is needed. The aim of this paper is to give an overview of the present knowledge about the language LI and list a selection of open problems concerning it. After the Introduction $(\S1)$ , in $\S\S2$ and 3 we give the fundamental results about LI. In $\S4$ the known model-theoretic properties are discussed. The next section is devoted to properties of mathematical theories in LI. In $\S6$ the spectra of sentences of LI are discussed, and $\S7$ is devoted to properties of LI which depend on set-theoretic assumptions. The paper finishes with a list of open problem and an extensive bibliography. The bibliography contains not only papers we refer to but also all papers known to us containing results about the language with Hartig quantifier. Contents. $\S1$ . Introduction. $\S2$ . Preliminaries. $\S3$ . Basic results. $\S4$ . Model-theoretic properties of $LI. \S5$ . Decidability of theories with $I. \S6$ . Spectra of LI- sentences. $\S7$ . Independence results. $\S8$ . What is not yet known about LI. Bibliography. (shrink)

We investigate theories of initial segments of the standard models for arithmetics. It is easy to see that if the ordering relation is definable in the standard model then the decidability results can be transferred from the infinite model into the finite models. On the contrary we show that the Σ₂—theory of multiplication is undecidable in finite models. We show that this result is optimal by proving that the Σ₁—theory of multiplication and order is decidable in finite models as well (...) as in the standard model. We show also that the exponentiation function is definable in finite models by a formula of arithmetic with multiplication and that one can define in finite models the arithmetic of addition and multiplication with the concatenation operation. We consider also the spectrum problem. We show that the spectrum of arithmetic with multiplication and arithmetic with exponentiation is strictly contained in the spectrum of arithmetic with addition and multiplication. (shrink)

Simple formula should contain only few quantifiers. In the paper the methods to estimate quantity and quality of quantifiers needed to express a sentence equivalent to given one.

Ibn al-ʻArabī, 1165-1240; views on freedom; Sufism; Islamic philosophy.

The theorem to the effect that the languageL introduced in [2] is mutually interpretable with the first order language is proved. This yields several model-theoretical results concerningL.

Contrary to Vaesen's argument that humans are unique with respect to nine cognitive capacities essential for tool use, we suggest that although such cognitive processes contribute to variation in tool use, it does not follow that these capacities arenecessaryfor tool use, nor that tool use shaped cognition per se, given the available data in cognitive neuroscience and behavioral biology.

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

Traditional Chinese commentators rightly see that understanding Zhuangzi's way with words is the presupposition for understanding Zhuangzi at all. They are not sure, however, if Zhuangzi's words are super-effective or pure nonsense. I consider Zhuangzi's experience with language, and then turn to Heidegger's word of being to see if it may throw light on Zhuangzi's way of saying. I argue that a conversation between Heidegger and Zhuangzi on language is possible, but only by expanding Heidegger's notion of Gestell and through (...) a destruction of the dominant Confucian discourse that obscures Zhuangzi's way of saying. (shrink)

Perhaps more than any philosophy written in the past few centuries, the work of Friedrich Nietzsche has given rise to controversy, misunderstanding, and dissent. Today Nietzsche is remembered as the revolutionary author of such polemical ideas as the death of God, the revaluation of values, the will to untruth, and the Übermensch. Yet is Nietzsche’s philosophy as atheistic, relativistic, nihilistic, and immoral as some commentators have claimed? Or ought we perhaps to give more credence to Nietzsche’s own assertion that one (...) writes books “precisely to conceal what one harbors” (BGE, 9, 289)? If “whatever is profound loves masks” (BGE, 2, 40) then might Nietzsche’s more daring claims be interpreted as clever masks behind which he conceals a deeper philosophy and on which he reveals a hidden truth? Is it not possible that the standard readings of Nietzsche are in fact misreadings—that his work invites misreading, that it is intentionally unclear, deceptive, disguised? The goal of this volume is to reread Nietzsche for all that he shows and all that he hides. It is to dig deeper into his work in order to challenge misreadings of old and invite misreadings anew—as, indeed, his work itself calls for and demands. (shrink)

The ideal introduction for students of semantics, Lexical Meaning fills the gap left by more general semantics textbooks, providing the teacher and the student with insights into word meaning beyond the traditional overviews of lexical relations. The book explores the relationship between word meanings and syntax and semantics more generally. It provides a balanced overview of the main theoretical approaches, along with a lucid explanation of their relative strengths and weaknesses. After covering the main topics in lexical meaning, such as (...) polysemy and sense relations, the textbook surveys the types of meanings represented by different word classes. It explains abstract concepts in clear language, using a wide range of examples, and includes linguistic puzzles in each chapter to encourage the student to practise using the concepts. 'Adopt-a-Word' exercises give students the chance to research a particular word, building a portfolio of specialist work on a single word. (shrink)

This chapter examines the normative question of whether the cultivation of patriotic and nationalist ideals and attachments should have a central place in programs of civic education. It argues that the most useful way to draw the distinction between patriotism and nationalism focuses on their respective objects of loyalty; patriotism is loyalty to a country while nationalism is loyalty to a people. This way of distinguishing between patriotism and nationalism forms the background for the discussion of a variety of instrumental (...) and non-instrumental arguments for cultivating patriotic and nationalist political attachments in schools. It also examines an assumption common to these programs of civic education: that a shared identity is crucial for citizens to have a sense of belonging that supports social stability and desirable forms of political change. The final part of the chapter introduces a number of alternative educational proposals that aim to avoid some of the difficulties faced by patriotic and nationalist strategies. These alternative proposals aim to encourage good citizenship while taking into account new challenges generated by the political, social, and economic conditions of an increasingly globalized world. (shrink)

Writing from a scientifically and philosophically informed perspective, the authors provide a critical overview of the conceptual difficulties encountered in many current neuroscientific and psychological theories.

Hubert Dreyfus has argued that cases of absorbed bodily coping show that there is no room for self-awareness in flow experiences of experts. In this paper, I argue against Dreyfus’ maxim of vanishing self-awareness by suggesting that awareness of agency is present in expert bodily action. First, I discuss the phenomenon of absorbed bodily coping by discussing flow experiences involved in expert bodily action: merging into the flow; immersion in the flow; emergence out of flow. I argue against the claim (...) that flow experience does not involve an awareness of agency for each of these features, while conceding that fluent agency does not involve self-awareness in the thetic sense. I challenge the assumption that the awareness of fluent agency must be understood in terms of a thetic awareness of agency. Instead, I develop an Anscombean account of the awareness of fluent agency in terms of the phenomenal character of knowing one’s aims. I respond to the challenge that if an Anscombean account of the awareness of agency is to succeed, then agents must be able to answer Anscombean questions. I consider the objection that awareness of agency is not a form of self-awareness by outlining an account of self-awareness as self-synthesis that is distinct from self-perception and self-ascription, but which makes room for self-awareness in expert bodily action. (shrink)

One of the most influential contemporary philosophers, Hilary Putnam's involvement in philosophy spans philosophy of mind, philosophy of language, ontology and epistemology and logic. This specially commissioned collection discusses his contribution to the realist and pragmatist debate. Hilary Putnam comments on the issues raised in each article, making it invaluable for any scholar of his work.

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

Rescued in 1972 from a storeroom in which rats and seeping water had severely damaged the fifty-year-old manuscript, this text is the earliest major work (1919-1921) of the great Russian philosopher M. M. Bakhtin. Toward a Philosophy of the Act contains the first occurrences of themes that occupied Bakhtin throughout his long career. The topics of authoring, responsibility, self and other, the moral significance of "outsideness," participatory thinking, the implications for the individual subject of having "no-alibi in existence," the difference (...) between the world as experienced in actions and the world as represented in discourse--all are broached here in the heat of discovery. This is the "heart of the heart" of Bakhtin, the center of the dialogue between being and language, the world and mind, "the given" and "the created" that forms the core of Bakhtin's distinctive dialogism. A special feature of this work is Bakhtin's struggle with the philosophy of Immanuel Kant. Put very simply, this text is an attempt to go beyond Kant's formulation of the ethical imperative. Toward a Philosophy of the Act will be important for scholars across the humanities as they grapple with the increasingly vexed relationship between aesthetics and ethics. (shrink)

In this paper I interrogate the notion of `debunking conspiracy theories’, arguing that the term `debunk’ carries with it pejorative implications, given that the verb `to debunk’ is commonly understood as `to show the wrongness of a thing or concept’. As such, the notion of `debunking conspiracy theories’ builds in the notion that such theories are not just wrong but ought to be shown as being wrong. I argue that we should avoid the term `debunk’ and focus on investigating conspiracy (...) theories. Looking at recent research work in epistemology on conspiracy theory, I argue that the best way to avoid talk of `debunking’ conspiracy theories is by working with a non-pejorative definition of `conspiracy theory’, and forming communities of inquiry which allow us to investigate the warrant of such theories without the prejudice associated with working with a pejorative definition. (shrink)

This book explores how some word meanings are paradigmatically related to each other, for example, as opposites or synonyms, and how they relate to the mental organization of our vocabularies. Traditional approaches claim that such relationships are part of our lexical knowledge (our "dictionary" of mentally stored words) but Lynne Murphy argues that lexical relationships actually constitute our "metalinguistic" knowledge. The book draws on a century of previous research, including word association experiments, child language, and the use of synonyms and (...) antonyms in text. (shrink)