International organizations such as the United Nations, the World Trade Organization, the European Union and the World Bank play an increasing role in international politics. This broad-ranging and up-to-date textbook provides a theoretical and empirical introduction to the politics and policies of such organizations.
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)
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.
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)
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)
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)
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.
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)
Disquotational theories of truth, that is, theories of truth based on the T-sentences or similar equivalences as axioms are often thought to be deductively weak. This view is correct if the truth predicate is allowed to apply only to sentences not containing the truth predicate. By taking a slightly more liberal approach toward the paradoxes, I obtain a disquotational theory of truth that is proof theoretically as strong as compositional theories such as the Kripket probe the compositional axioms.
We prove Yablo’s paradox without the diagonal lemma or the recursion theorem. Only a disquotation schema and axioms for a serial and transitive ordering are used in the proof. The consequences for the discussion on whether Yablo’s paradox is circular or involves self-reference are evaluated.
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)
This chapter discusses the complex conditions for the emergence of 19th-century symbolic logic. The main scope will be on the mathematical motives leading to the interest in logic; the philosophical context will be dealt with only in passing. The main object of study will be the algebra of logic in its British and German versions. Special emphasis will be laid on the systems of George Boole and above all of his German follower Ernst Schröder.
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.
To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation φ/Tφ and conecessitation T φ/φ and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is w-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 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.
The purpose of this article is to explore the potential contribution of Axel Honneth's critical theory of recognition to empirical and normative debates on global justice. I first present, very briefly, an overview of recent theories of global distributive justice. I argue that theorists of distributive justice do not pay enough attention to sources of self-respect and conditions for identity formation, and that they are blind toward the danger of harming people's sense of self even by well-intentioned redistributive policies. Honneth's (...) theory suffers from complementary shortcomings; it is anti-technocratic but largely oblivious to the global nature of many contemporary justice claims. Given this situation, I seek to broaden the theory's scope by outlining transnational extensions of the recognition principles of love, rights and solidarity identified by Honneth. In conclusion, I show how utilizing a broadened conceptualization of the struggle for recognition allows us to better understand the changing logic of justice-oriented foreign policies. (shrink)
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)
Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS of  are conservative over PA.
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)
How do multiple obligations to give, to receive, and to reciprocate contribute to the evolution of international society? This question can be derived from the works of the French anthropologist and sociologist Marcel Mauss, in particular from his classic essay The Gift, published in 1925. The aim of this article is to introduce Mauss’ theory of the gift to international political theorists, to develop a general theoretical argument from his claim about the universality of gift-giving, and to lay out the (...) plan of the Special Issue. First, we explore the basic concepts of gift-giving and reciprocity and how they highlight a type of exchange that differs from market exchange and from other forms of quid-pro-quo interactions. Second, we consider the Marshall Plan as an iconic and controversial example of international gift-giving. Third, we use Martin Wight’s division of international political thought into realism, rationalism, and revolutionism to locate the work of Mauss and neo-Maussian scholars within th... (shrink)
The article addresses the following question: if an extensive period of globalization and also democratization after the fall of the Berlin Wall has been followed by populism, does this mean that there is something wrong with liberalism itself? Must liberalism be substituted by alternative economic and political concepts? The article presents three alternatives to liberalism that are supposed to counter populism: a new communitarianism, a renewal of the democratic project as much as novel conceptions of social justice. However, it takes (...) also into account positions that address the current crisis from within the liberal framework itself. (shrink)
This article suggests reading Theodor Adorno not as a notoriously pessimistic sociologist but as a committed public educator. Partly drawing on still unpublished transcripts of lectures, public talks and radio broadcasts from the 1950s and ’60s, the article offers an account of Adorno’s concept and practice of a ‘democratic pedagogy’. The key question is how we should understand the difference between Adorno the social philosopher, on the one hand, and Adorno the educator, on the other. It is argued that Adorno’s (...) pedagogical interventions are not a footnote to his social theory, but a key to understanding his entire oeuvre. (shrink)
A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke's minimal fixed point model. From this results on the expressive power of both approaches are obtained.
It is shown that David Hilbert's formalistic approach to axiomaticis accompanied by a certain pragmatism that is compatible with aphilosophical, or, so to say, external foundation of mathematics.Hilbert's foundational programme can thus be seen as areconciliation of Pragmatism and Apriorism. This interpretation iselaborated by discussing two recent positions in the philosophy ofmathematics which are or can be related to Hilbert's axiomaticalprogramme and his formalism. In a first step it is argued that thepragmatism of Hilbert's axiomatic contradicts the opinion thatHilbert style (...) axiomatical systems are closed systems, a reproachposed by Carlo Cellucci. In the second section the question isdiscussed whether Hilbert's pragmatism in foundational issuescomes close to an a-philosophical ``naturalism in mathematics'' assuggested by Penelope Maddy. The answer is ``no'', because forHilbert philosophy had its specific tasks in the general projectto found mathematics. This is illuminated in the concludingsection giving further evidence for Hilbert's foundationalapriorism by discussing his ``axiom of the existence of mind'' andrelating it to the ``one and only axiom'' of the German algebraistof logic, Ernst Schröder, postulating the inherence of signs onthe paper. (shrink)
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 go. (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 paper argues that human dignity is the normative, legally binding base of human rights. Since the Declarations of human rights in 1776/1789 it is no longer possible to base dignity on a universal morality. This results in two main consequences. Firstly, it is necessary to strictly shift the concept of dignity away from a dignity of the human creature, human nature or mankind to the dignity of personality and citizenship, respectively. Secondly, determining the rights of the individual is a (...) definite political practice and not only the application of a correct understanding of what constitutes dignity in theory. Slavery is not a problem of false thinking or morality, but a degrading practice. (shrink)
The article revisits modernization theory’s convergence claim, which has been strongly criticized by multiple modernists, who maintain that emerging realities have not borne out its underlying premises. Based on a thorough reading of classical texts, the article reconstructs the term’s meaning within a modernization-theoretical frame of reference and then considers the evidence that multiple modernists hold against it. It finds that none of the observations cited by leading multiple modernists are able to challenge modernization theory, which can easily accommodate the (...) kinds of difference invoked by its critics. East-Asian modernity in particular, to which both sides assign special weight for any test of modernization theory, appears remarkably similar to Western modernity when viewed through the lenses of this theory. At the same time, the literature on multiple modernities, despite pleading to take difference seriously, is silent about differences that large parts of the less-developed world exhibit vis-a-vis the West and East Asia in social-structural and cultural respects, indicating different degrees of modernization. The article concludes with a brief note on the differential weight of different kinds of diversity for different reference problems and a suggestion for a constructive resolution of the conflict between the two approaches. L’article revisite l’hypothèse de convergence de la théorie de la modernisation, objet de lourdes critiques de la part des théoriciens des modernités multiples, qui soutiennent que les réalités émergentes n’en ont pas confirmé les prémisses de base. Partant d’une lecture approfondie des textes classiques, l’article reconstruit le sens du terme dans le cadre de référence théorique de la modernisation et considère les faits que les théoriciens des modernités multiples lui opposent. L’article montre qu’aucune des observations relevées par les théoriciens des modernités multiples les plus éminents ne peut rivaliser avec la théorie de la modernisation, qui s’accommode facilement de toutes les divergences qu’invoquent ses critiques. La modernité est-asiatique en particulier, à laquelle les deux camps attribuent un poids particulier pour tout test de la théorie de la modernisation, paraît en réalité remarquablement semblable à la modernité occidentale vue au travers du prisme de cette théorie. En même temps, la littérature sur les modernités multiples, bien qu’elle plaide pour que l’on considère sérieusement les différences, reste muette quant aux différences entre de grandes parties du monde moins développé et l’occident ou l’Asie de l’est dans les domaines sociaux et culturels, qui indiquent différents degrés de modernisation. L’article se conclut par une brève note de discussion sur le poids différentiel de différentes sortes de divergences á l’égard de différents problèmes de référence et plaide en faveur d’une résolution constructive du conflit entre les deux approches. (shrink)
What was classification as it first took modern form in the eighteenth century, how did it work, and how did it relate to earlier describing and ordering? We offer new answers to these questions by considering an example less well known than that of botany or zoology, namely medicine, and by reconstructing practice on paper. The first and best-known disease classification is the “nosology” of the Montpellier physician François Boissier de Sauvages de Lacroix. Its several editions, we show, were less (...) products than process: published tools for building a classification system. The disorder of a hitherto unstudied notebook that Boissier de Sauvages kept throughout this process provided a way of breaking with the topical order of earlier physicians’ humanistic commonplace books of disease observation while sustaining the paper practices those earlier physicians—and Sauvages himself as a student—had used to order disease. This suggests a different picture of historical change than that of a scholarly world of ordered words giving way to a scientific one of ordered things. Classification, in the case of Sauvages’ nosology, arose through an incomplete break with, and intensified practice of, a past way of ordering the described world. The humanist paper practice that had made observationes, differently applied, now made species. Classification into genera and species by similarity and difference, which Sauvages’ nosology shared with botany, was an algorithm of paper and ink practice—in its operation more machine-like than humanist textual practice yet in its effects more creative and re-creative of categories and questions of relationship. Thus a new empiricism of generalizations arose out of the older, Renaissance empiricism of particulars. (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.