Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism (...) -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

According to the disquotationalist theory of truth, the Tarskian equivalences, conceived as axioms, yield all there is to say about truth. Several authors have claimed that the expression of infinite conjunctions and disjunctions is the only purpose of the disquotationalist truth predicate. The way in which infinite conjunctions can be expressed by an axiomatized truth predicate is explored and it is considered whether the disquotationalist truth predicate is adequate for this purpose.

The book provides a thematic account of the changing political thought of critical theorists from Adorno to Habermas and Honneth. Its purpose is to establish the relevance of this tradition for contemporary political theory and philosophy.

Solutions to semantic paradoxes often involve restrictions of classical logic for semantic vocabulary. In the paper we investigate the costs of these restrictions in a model case. In particular, we fix two systems of truth capturing the same conception of truth: of the system KF of Feferman formulated in classical logic, and the system PKF of Halbach and Horsten, formulated in basic De Morgan logic. The classical system is known to be much stronger than the nonclassical one. We assess the (...) reasons for this asymmetry by showing that the truth theoretic principles of PKF cannot be blamed: PKF with induction restricted to non-semantic vocabulary coincides in fact with what the restricted version of KF proves true. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation and conecessitation T and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is -inconsistent, but it can be approximated by models obtained by a kind of rule-of-revision semantics. Furthermore we prove that FS is equivalent to a system already studied by Friedman and Sheard and give an analysis (...) of its proof theory. (shrink)

The Qing dynasty scholar Liu Yuan (1768-1856) developed a unique system of thought, merging Confucian learning with ideas and practices from Daoism and Buddhism, and was eventually venerated as the founding patriarch of an influential movement combining the characteristics of a scholarly circle and a religious society. Liu Yuan, a native of Sichuan, was an outstanding Confucian scholar whose teachings were commonly referred to as Liumen (Liu School). Assisted by his close disciples, Liu edited a Daoist ritual canon titled Fayan (...) huizuan (Compendium of Ritual Words). Daoist priests affiliated with the Liumen community and using the Fayan huizuan canon in their rituals constituted an independent liturgical branch of Daoism, which is still extant and known under the name of "Fayan tan" (Altar of Ritual Words). Following a comprehensive description of the Liumen tradition, the volume by Volker Olles discusses the compilation history of the Fayan huizuan canon, the lineage of the Fayan tan priests, as well as the temporal framework of their liturgy. The main part of the volume consists of a detailed study of the ritual canon, identifying its textual sources and describing its pantheon, the influence of the Liumen ideology on its texts, as well as the function and performance of its rituals in contemporary religious practice. Furthermore concluding thoughts about the Fayan tan tradition's role in present-day Sichuan constitute the epilogue. By showing how members of the Confucian elite were involved in the evolution of modern Daoism, this study sheds light on hitherto obscure or poorly understood aspects of the intellectual and spiritual culture of Southwest China. (shrink)

Wittgenstein’s Whewell’s Court Lectures contains previously unpublished notes from lectures given by Ludwig Wittgenstein between 1938 and 1941. The volume offers new insight into the development of Wittgenstein’s thought and includes some of the finest examples of Wittgenstein’s lectures in regard to both content and reliability.

It is a commonplace that in the development of modern logic towards its actual shape at least two directions or traditions have to be distinguished. These traditions may be called, following the mo...

Historically, blatantly untrue and defamatory conspiracy theories had disastrous consequences for those who were portrayed in them as evil-doers. At the same time, conspiratorial agreements at the expense of the common good between powerful groups in society do exist and have occasionally been uncovered. Against this background, the article describes different ways in which critical theory has looked at conspiracies. First, an attempt is made to show that Max Horkheimer's notes on `rackets' are an ambitious but flawed attempt to theorize (...) conspiracy. It is argued that Horkheimer's theory is imbued by the very conspiracy thinking that he proposed to criticize. Second, the author suggests recovering Franz Neumann's concept of `political alienation' as a more appropriate starting point to think critically about the ethical and epistemological questions raised by conspiracy theories. (shrink)

At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on (...) the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth. (shrink)

On the one hand, the concept of truth is a major research subject in analytic philosophy. On the other hand, mathematical logicians have developed sophisticated logical theories of truth and the paradoxes. Recent developments in logical theories of the semantical paradoxes are highly relevant for philosophical research on the notion of truth. And conversely, philosophical guidance is necessary for the development of logical theories of truth and the paradoxes. From this perspective, this volume intends to reflect and promote deeper interaction (...) and collaboration between philosophers and logicians investigating the concept of truth than has existed so far.Aside from an extended introductory overview of recent work in the theory of truth, the volume consists of articles by leading philosophers and logicians on subjects and debates that are situated on the interface between logical and philosophical theories of truth. The volume is intended for graduate students in philosophy and in logic who want an introduction to contemporary research in this area, as well as for professional philosophers and logicians. (shrink)

The proof-theoretic results on axiomatic theories oftruth obtained by different authors in recent years are surveyed.In particular, the theories of truth are related to subsystems ofsecond-order analysis. On the basis of these results, thesuitability of axiomatic theories of truth for ontologicalreduction is evaluated.

Using a contextual method the specific development of logic between c. 1830 and 1930 is explained. A characteristic mark of this period is the decomposition of the complex traditional philosophical omnibus discipline logic into new philosophical subdisciplines and separate disciplines such as psychology, epistemology, philosophy of science, and formal logic. In the 19th century a growing foundational need in mathematics provoked the emergence of a structural view on mathematics and the reformulation of logic for mathematical means. As a result formallogic (...) was taken over by mathematics in the beginning of the 20th century as is shown by sketching the German example. (shrink)

Theoretical Laws and Normative Rules: Kant and Bolzano's Views on Logic'"1" Anita Von Duhn, Genf Does logic instruct us how to think correctly? ...

The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with the reflection (...) schema for these T-sentences assumes the strength of the Kripke-Feferman theory KF, and thus of ramified analysis up to $\varepsilon_0$. (shrink)

According to structuralism in philosophy of mathematics, arithmetic is about a single structure. First-order theories are satisfied by models that do not instantiate this structure. Proponents of structuralism have put forward various accounts of how we succeed in fixing one single structure as the intended interpretation of our arithmetical language. We shall look at a proposal that involves Tennenbaum's theorem, which says that any model with addition and multiplication as recursive operations is isomorphic to the standard model of arithmetic. On (...) this account, the intended models of arithmetic are the notation systems with recursive operations on them satisfying the Peano axioms. [A]m Anfang […] ist das Zeichen. (shrink)

The Logic Manual is a clear and concise introduction to logic for beginning philosophy students.

Epiphenomenalism has been criticized with several objections. It has been argued that epiphenomenalism is incompatible with the alleged causal relevance of mental states, and that it renders knowledge of our own conscious states impossible. In this article, it is demonstrated that qualia-epiphenomenalism follows from some well- founded assumptions, and that it meets the cited objections. Though not free from difficulties, it is at least superior to its main competitors, namely, physicalism and interactionism.

We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...) KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (shrink)

Against competing political theories of the integration of immigrants, we propose to reframe the relationship between the populations of host countries and arriving refugees in terms of a neo-Maussian theory of gift exchange. Using the example of the European refugee crisis of 2015 and the welcoming attitude of significant parts of German civil society, we argue that this particular situation should be understood as epitomizing the trend toward internal transnationalism. Increasingly, the “international” is becoming part and parcel of the “domestic” (...) sphere. Since Marcel Mauss was concerned with the question of how separate, culturally different communities can establish ties of solidarity and cooperation between each other, we use his work to answer key questions about the relations between international refugees and native citizens in their home countries: What are the expectations underlying gift-giving in the context of welcoming refugees? Should refugees feel obliged to repay the arrival gifts? How sh... (shrink)

The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic logic and in the rationalistic era, its continuous development began with George Boole's The Mathematical Analysis of Logic of 1847, and it became a mathematical subdiscipline in the early 20th century. This style of presentation cuts off one eminent line of development, the philosophical development of logic, although logic is (...) evidently one of the basic disciplines of philosophy. One needs only to recall some of the standard 19th century definitions of logic as, e.g., the art and science of reasoning (Whateley) or as giving the normative rules of correct reasoning (Herbart). In the paper the relationship between the philosophical and the mathematical development of logic will be discussed. Answers to the following questions will be provided: 1. What were the reasons for the philosophers' lack of interest in formal logic? 2. What were the reasons for the mathematicians' interest in logic? 3. What did "logic reform" mean in the 19th century? Were the systems of mathematical logic initially regarded as contributions to a reform of logic? 4. Was mathematical logic regarded as art, as science or as both? (shrink)

Every educational system requires some kind of management and control. This is particularly true in the case of occupational education and dual apprenticeship. Nevertheless, the didactical value and the overall success of such kind of educational systems can vary considerably. Any educational system, any system of apprenticeship requires either some kind of coordination or some kind of co-operation. In Germany, despite the fact that there is a lot of rumors about the importance of cooperation for over a decade by now, (...) the well-known dual system of vocational education is firmly grounded on the management principle of co-ordination. The control of the system ‘by plans’ apparently has proved to be the most adequate approach to its organization and management structures. Starting from the idea of a duality which is characterized by its didactical dimension, the set of qualities needed for this purpose can be illustrated by following the logic of different didactical approaches in vocational education. (shrink)

Summary The non-statement view of scientific theories contains a new conception of theoreticity: A function is „T-theoretical if T must be presupposed for its calculation. On the basis of this conception some philosophers came to the conclusion that scientific theories are not empirically testable because they contain T-theoretical functions. It is claimed that the attempt to test them ends in a circularity: The test of T presupposes T itself.

The paper deals with the regressive analytical method understood as "the way backward". In the first section the paper gives a historical survey concentrating on three paradigmatic examples: Pappus's definition of analysis and synthesis, the definition of method to be found in the so_called "Logic of Port Royal", and David Hilbert's definition of the axiomatic method as a procedure for setting up axiomatic systems. In the second section the scepticism of traditional philosophy of science concerning the regressive method is reflected.

This article—mainly referring to the situation in Germany—consists of three parts. In a first section the current presence of neurosciences in the public discourse will be described in order to illuminate the background which is relevant for contemporary educational thinking. The prefix ‘neuro-’ is ubiquitous today and therefore concepts like ‘neuropedagogy’ or ‘neurodidactics’ seem to be in the mainstream of modern thinking. In the second part of the article the perspective changes from the public discourse to the disciplinary discourse; a (...) brief excursus into developmental psychiatry, neuropsychology and modern psychoanalysis will be made in order to demonstrate how the results of neuroscientific research are integrated in their theoretical frameworks. These three disciplines have no difficulty in integrating neuroscientific findings because each of them possesses a systematic core composed of ‘native concepts’. In contrast to them, educational theory has much more difficulty with such integration, as will be shown in the third part of the essay. On the one hand, neuroscientific thinking seems to be able to dominate education rather easily and without great resistance, especially in the fields of early childhood education, instruction and learning—mainly by simplifying educational processes and by reducing the complexity of the educational task to a mere ‘relationship problem’. On the other hand, this attraction of neuroscience in education might be understood as the reflection of a theoretical deficit in educational theory itself, with the significance of affect and emotion not receiving proper attention. (shrink)

In his new book on Pascal's Wager, Jeff Jordan argues that only the ‘Jamesian’ version of the wager argument, as he sees it presented in William James' essay The Will to Believe , constitutes a sound pragmatic argument in favour of theism, whereas Pascal's original wager argument is doomed to fail on various grounds. This article argues that Jordan's theory is untenable. The many-gods objection is used as an example: it is demonstrated that the Jamesian Wager argument too is powerless (...) to rebut this objection. (shrink)