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)

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.

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.

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)

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)

The attempts to mitigate the unprecedented health, economic, and social disruptions caused by the COVID-19 pandemic are largely dependent on establishing compliance to behavioral guidelines and rules that reduce the risk of infection. Here, by conducting an online survey that tested participants’ knowledge about the disease and measured demographic, attitudinal, and cognitive variables, we identify predictors of self-reported social distancing and hygiene behavior. To investigate the cognitive processes underlying health-prevention behavior in the pandemic, we co-opted the dual-process model of thinking (...) to measure participants’ propensities for automatic and intuitive thinking vs. controlled and reflective thinking. Self-reports of 17 precautionary behaviors, including regular hand washing, social distancing, and wearing a face mask, served as a dependent measure. The results of hierarchical regressions showed that age, risk-taking propensity, and concern about the pandemic predicted adoption of precautionary behavior. Variance in cognitive processes also predicted precautionary behavior: participants with higher scores for controlled thinking (measured with the Cognitive Reflection Test) reported less adherence to specific guidelines, as did respondents with a poor understanding of the infection and transmission mechanism of the COVID-19 virus. The predictive power of this model was comparable to an approach (Theory of Planned Behavior) based on attitudes to health behavior. Given these results, we propose the inclusion of measures of cognitive reflection and mental model variables in predictive models of compliance, and future studies of precautionary behavior to establish how cognitive variables are linked with people’s information processing and social norms. (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.

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)

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)

Name der Zeitschrift: Zeitschrift für Religionswissenschaft Jahrgang: 25 Heft: 1 Seiten: 6-29.

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.

Over the past decades, we have witnessed calls for greater transdisciplinary engagement between scientific and societal actors to develop more robust answers to complex societal challenges. Although there seems to be agreement that these approaches might nurture innovations of a new kind, we know little regarding the research practices, their potential, and the limitations. To fill this gap, this article investigates a funding scheme in the area of transdisciplinary sustainability research. It offers a detailed analysis of the imaginaries and expectations (...) on which the funding scheme rests and how researchers actually practice transdisciplinarity within the respective projects. Identifying three ideal typical models of science–society relations at work, attention is paid to how, where, and when societal and scientific arenas get entangled. This article discusses the tensions between classical academic values and efforts to open research to society, the prevailing power structures that make societal participation challenging, the importance of place and technopolitical cultures, and how temporal project structures impede more radical openings to new ways of knowledge production. We finally emphasize that transdisciplinary knowledge production can only become a serious option for addressing societal challenges if broader changes are made to the knowledge regimes in place. (shrink)

Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters. Variants of this definition of logical consequence are given: logical validity can be defined with or without identity as a logical constant, and quantifiers can be relativized in substitution instances or not. (...) It is shown that the resulting notions of logical consequence are extensionally equivalent to versions of first-order provability and model-theoretic consequence. Every model-theoretic interpretation has a substitutional counterpart, but not vice versa. In particular, in contrast to the model-theoretic account, there is a trivial intended interpretation on the substitutional account, namely, the homophonic interpretation that does not substitute anything. Applications to free logic, and theories and languages other than set theory are sketched. (shrink)

This paper deals with a problem which has received a great deal of attention in the ethical literature, but about which very little is known empirically: the selection of recipients for organs in transplant medicine. Based on a larger study, it is shown how this problem is practically resolved in one European country, Germany. It is demonstrated that most of the criteria used to determine recipients are non-medical in nature, even though they generally tend to be rationalized in medical terms. (...) Moreover, the choice of criteria depends as much on prognostic considerations as on personal indiosyncrasies and values held by individual physicians who are in charge at the various programs. Several examples of the extremely diverse policies in which this results are presented. (shrink)

Struve has tried to refute my critic of the structuralist thesis that testing theories leads in an epistemological circle. But he misunderstands the thesis he wants to defend.

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 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)

English summary: From an international and interdisciplinary viewpoint, Thomas Aquinas was the most important scholastic philosopher and theologian. His life, work and legacy are set out in this four section handbook which provides orientation in what is currently known about the man, his affinities and character, his work and its impact. The volume offers a summary of research up until now, as well as a basis for further investigation. Comprehensive indexes and literature sources mean it can be used as a (...) work of reference whose articles can be separately or integrally understood. Writing from their different perspectives, philosophy and history scholars along with Protestant and Catholic theologians all help paint this portrait from their different perspectives. German description: Das Thomas Handbuch bietet eine Darstellung von Leben, Werk und Wirkung von Thomas von Aquin, dem wohl bedeutendsten Vertreter der scholastischen Philosophie und Theologie in interdisziplinarer und internationaler Perspektive. In vier Sektionen enthalt es Ausfuhrungen zur Orientierung in der gegenwartigen Forschungslage, zur Person des Thomas und ihren Verbindungen und Pragungen, zu seinem Werk und zu seiner Wirkung. Es bietet eine Zusammenfassung der bisherigen Forschungen zu Thomas von Aquin und eine Grundlage fur weitere Arbeiten. Erschlossen durch umfassende Register und Literaturangaben, kann es als Nachschlagewerk genutzt werden, dessen einzelne Artikel je fur sich verstehbar sind, aber auch als umfassende Gesamtdarstellung. Die interdisziplinaren Beitrage eroffnen eine Gesamtschau, in welcher verschiedene Perspektiven ihren Ort finden und ihren je eigenen Beitrag zum Gesamten bieten. Mit Beitragen von: Henryk Anzulewicz, Carmela Baffioni, Michael Basse, David Berger, Inos Biffi, Volker Henning Drecoll, Mechthild Dreyer, Stephan Ernst, Sabine Folger-Fonfara, Elias Fullenbach, Ruedi Imbach, Ingo Klitzsch, Ulrich Kopf, Pieter de Leemans, Volker Leppin, Jurgen Miethke, Thomas Prugl, Francois-Xavier Putallaz, Reinhold Rieger, Philipp W. Rosemann, Marianne Schlosser, Gury Schneider-Ludorff, Rolf Schonberger, Christoph Schwobel, Notger Slenczka, Wolfgang Sturner, Hubert Philip Weber. (shrink)

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...

From 1906 onwards the Teubner Verlag in Leipzig published the first volumes of an ambitious encyclopedia "Die Kultur der Gegenwart, ihre Entwicklung und ihre Ziele" under the general editorship of the cultural philosopher Paul Hinneberg. The work presents a systematic account of contemporary culture. Leading scholars of the age were recruited to work on the project. Ernst Troeltsch was charged with the section on Protestant Christianity and the Modern Age; the first edition of this appeared in 1906, with an extended (...) second edition in 1909, which was republished unrevised in 1922. In the present volume, Troeltsch's study is published as a separate book for the first time. In this study, Troeltsch reconstructs the historical development of Protestantism from the Reformation to the present. He distinguishes an old Protestant epoch, which is more medieval in its orientation, and a new Protestantism, which he sees as belonging more to the enlightened modern age. Troeltsch elucidates the difference between the two epochs by emphasising in particular the changes in Protestant cultural relations, and thus in Protestantism's cultural significance. (shrink)

Politicization of administration is generally held to be an innovative process : the administration seems to strip off its neutral phenotype. This false notion stems from a model of analysis that ignores the administration'senvironmental interrelations and the administrative function.A functional systems model is proposed which is capable of avoiding normative implications. This model helps to understand politicization of administration as an adaptive process of the capitalist state which is thus reacting to trends of economization and "socialization" of politics. The adaptation (...) is held to be partially successful only. Political and administrativeproblem-solving tends to come out more and more critical. The only solution to this - extended participation - cannot be conceded for system's reasons. (shrink)

„Substances capable of self-reproduction“ as cellular targets of chemical carcinogens.In the course of studies on chemical carcinogenesis, which included animal experiments with a carcinogenic azo dye and a mathematical analysis of the observed effects, Hermann Druckrey and Karl Küpfmüller showed in 1948 that carcinogens induce heritable changes by targeting cellular „substances capable of self-reproduction“. The authors did not discuss the chemical nature of these substances which remained unclear for a long time thereafter. It was not until 1964 that deoxyribonucleic acid (...) (DNA) was recognized, by Peter Brookes and Philip Lawley, as a target for the genotoxic action of chemical carcinogens. In retrospect, the results of Druckrey and Küpfmüller gave an early, indirect and until now not considered hint to an important role of DNA (the „substance“) malfunction in the development of cancer, since DNA is the only molecule capable of self-reproduction.The results are now appreciated in light of the scientific knowledge available at the time. (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.

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.

Es vergeht kaum ein Monat, in dem nicht irgendwo auf dieser Welt ein neues Buch über Carl Schmitt erscheint. Warum also noch ein Buch? Betrachtet man die Sekundärliteratur, fällt auf, dass es so gut wie keine Monographie gibt, die Schmitts rechtswissenschaftliches Werk juristisch würdigt. Diese Lücke will die hier vorgelegte Untersuchung schließen, indem sie den eindeutigen Schwerpunkt auf seine Beiträge zum Staats- und Völkerrecht legt. Das erfordert die Untersuchung seiner Stellung im zeitgenössischen Schrifttum und die Klärung der Frage, ob einzelne (...) seiner Positionen und Begriffe noch heute in der Staatsrechtswissenschaft präsent sind. Erst in zweiter Linie werden seine Schriften zu den Grundlagenfächern Rechtstheorie und Rechtsphilosophie, Verfassungsgeschichte und allgemeine Staatslehre gewürdigt. Schmitts Arbeiten wollen immer auch Antworten auf aktuelle politische Herausforderungen geben. Deshalb kann auf die Thematisierung seiner Biographie und des zeitgeschichtlichen Hintergrunds nicht verzichtet werden. (shrink)

Culture is a uniquely human property. Although precursors to cultural practices are found in other animals, these precursors differ in kind from the conditions of human culture that have emerged through evolutionary processes. In order to illuminate the mutual dependence of biological-genetic and cultural evolution, the author investigates technology and the use of tools, as well as the way these abilities are transmitted, in order to understand what properties and abilities separate human beings from animals.

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

While classical temporal logics lose track of a state as soon as a temporal operator is applied, several branching-time logics able to repeatedly refer to a state have been introduced in the literature. We study such logics by introducing a new formalism, hybrid branching-time logics, subsuming the other approaches and making the ability to refer to a state more explicit by assigning a name to it. We analyze the expressive power of hybrid branching-time logics and the complexity of their satisfiability (...) problem. As main result, the satisfiability problem for the hybrid versions of several branching-time logics is proved to be 2EXPTIME -complete. To prove the upper bound, the automata-theoretic approach to branching-time logics is extended to hybrid logics. As a result of independent interest, the nonemptiness problem for alternating one-pebble Büchi tree automata is shown to be 2EXPTIME -complete. A common property of the logics studied is that they refer to only one state. This restriction is crucial: The ability to refer to more than one state causes a nonelementary blow-up in complexity. In particular, we prove that satisfiability for NCTL * has nonelementary complexity. (shrink)