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

Name der Zeitschrift: Zeitschrift für Religionswissenschaft Jahrgang: 25 Heft: 1 Seiten: 71-89.

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)

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)

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)

This paper aims to provide a comprehensive explanation for the likely failure in the decoupling of economic growth from environmental degradation, and also intends to offer perspectives on the new role of competition in a steady state or a degrowth economy. The analysis is based on five different scenarios, and uses the European Union as an example. It is concluded that we must prepare ourselves for a potential incompatibility between sustainability and economic growth. In this respect one can say that (...) the current EU situation is in some ways already quite close to an economic system without growth, although far from sustainable as yet. Two of the four perspectives developed, regarding the new role of competition in an economy without growth, indicate an increase of direct and indirect competition over resources. The other two perspectives point out that regulatory public intervention as well as financial intervention will increase in order to ensure that - despite the revised role of competition - the poorest are still given a chance to develop (e.g. through basic minimum incomes), even in a degrowth economy. (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.

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)

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.

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)

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)

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)

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)

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)

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)

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.

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

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.

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)

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

A substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the same grammatical category and possibly relativizing quantifiers. In particular, predicate symbols can be replaced with formulae possibly containing additional free variables. A sentence is defined to be logically true iff all its substitution (...) instances are satisfied by all variable assignments. Logical consequence is defined analogously. Satisfaction is taken to be a primitive notion and axiomatized.For every set‐theoretic model in the sense of model theory there exists a corresponding substitutional interpretation in a sense to be specified. Conversely, however, there are substitutional interpretations – in particular the ‘intended’ interpretation – that lack a model‐theoretic counterpart. The substitutional definition of logical validity overcomes the weaknesses of more restrictive accounts of substitutional validity; unlike model‐theoretic logical consequence, the substitutional notion is trivially and provably truth preserving. In Kreisel's squeezing argument the formal notion of substitutional validity naturally slots into the place of intuitive validity. (shrink)

Entgegen rationalistisch verkürzten Handlungs- und Wissenstheorien wird mit der Philosophie des Empraktischen der der selbstbewussten Praxis immer je schon vorgängige leiblich gestimmte Handlungsvollzug thematisiert. Das Buch knüpft an aktuelle Debatten um unmittelbar körperliche, implizite Wissensformen und um eine Philosophie der Gefühle an.

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)

This article examines recent controversies over the relationship between human rights and intellectual property rights (IPRs). Many activists have claimed that IPRs conflict with human rights. Others have argued that IPRs are themselves human rights. The article approaches the debate as an opportunity to clarify the nature of IPRs in relation to human rights, as well as the nature of contemporary struggles over these rights. After surveying the dual expansion of both human rights and IPRs and rejecting the view that (...) IPRs are rooted in human rights, the author investigates the example of the HIV/AIDS crisis and the global Campaign for Access to Essential Medicines in order to illustrate attempts to represent IPRs as an outright threat to human rights. Highlighting the limitations of a human rights-based critique of IPRs, he concludes by proposing to study contemporary conflicts over IPRs and human rights as struggles for recognition and as struggles over the institutionalization of a transnational “recognition order.”. (shrink)

Ob Mikroskop, Refraktometer, Vakuumpumpe oder Ultraschallbad - viele der Gerätschaften, die im chemischen und analytischen Labor Verwendung finden, lassen sich mit der Kenntnis ihrer physikalischen Grundlagen leichter und sicherer einsetzen. Dieses einführende Lehrbuch ist speziell für den Physikunterricht im Rahmen einer Ausbildung zum Chemisch-technischen Assistenten konzipiert und widmet sich vorrangig solchen Themen, die für die Laborpraxis von Bedeutung sind. Dazu gehören insbesondere die Optik, die Wärme- und Elektrizitätslehre sowie die Radioaktivität. Alle wichtigen Formeln und physikalischen Beziehungen werden durch Rechenbeispiele mit (...) Lösungen veranschaulicht. Mit seinem durchgehenden Praxisbezug leistet dieses Buch auch nach abgeschlossener Ausbildung noch gute Dienste. "Das Buch kann Chemisch-technischen Assistenten und Schülern an naturwissenschaftlich-technischen Berufsfachschulen nur empfohlen werden." (GIT Labor-Fachzeitschrift). (shrink)

The aim of this article is to investigate two links between beauty and leadership: What is beautiful about spiritual leadership? Why should spiritual leaders bother about beauty? This study was motivated by the Bible verse 1 Timothy 3:1 and the observation that, at least in the German context, church leadership is no longer seen as a beautiful task. After a preliminary note on theological aesthetics, the paper discusses several approaches towards the link between aesthetics and transformation of the world, among (...) them God becoming beautiful by Rudolf Bohren and Christianity, art and transformation by John de Gruchy. The article finally argues that: spiritual leaders are beautifying the church and beyond and spiritual leaders should strive for beauty as diligently as they strive for truth and goodness. Statement is drawn from the propositions that the spirit is the real leader of the church, church leaders are partaking in the work of the spirit and the spirit is beautifying the church and beyond. This is a theological statement, not a phenomenological one. A small poll provides some answers to the questions: ‘what is beautiful about leading?’ and ‘what is not beautiful about leading?’ An example of a German kindergarten illustrates some benefits of an aesthetical approach.Contribution: This article focuses on the neglected area of aesthetics in the context of leadership. It aims to encourage Christian leaders to fight against the ugliness of the world and make the world more beautiful. (shrink)

This article offers insight into the image of women in German conservative congregations, especially in the Brethren movement. It also describes the author’s personal journey to a position of strongly supporting female preaching and female leadership in churches. The article combines empirical facts and personal insights. It gives examples of androcentrism in German academic theology. The case study is on the Brethren movement in Germany and their teaching on women, which was very much influenced by certain Pauline texts from the (...) New Testament. Unfortunately, ‘women’s role in the church’ became the shibboleth for biblical correctness. While living and working in this context, the author discovered inconsistencies in practice, which finally led to this paradigm shift. Contribution: It is argued that if women are not allowed to participate publicly in the church services, it is like driving a car with four cylinders but turning off two cylinders. (shrink)

In this sequel toSelf-reference in arithmetic Iwe continue our discussion of the question: What does it mean for a sentence of arithmetic to ascribe to itself a property? We investigate how the properties of the supposedly self-referential sentences depend on the chosen coding, the formulae expressing the properties and the way a fixed point for the expressing formulae are obtained. In this second part we look at some further examples. In particular, we study sentences apparently expressing their Rosser-provability, their own${\rm{\Sigma (...) }}_n^0$-truth or their own${\rm{\Pi }}_n^0$-truth. Finally we offer an assessment of the results of both papers. (shrink)

) Modern theories of formal truth have traditionally been used to analyse semantic paradoxes, but their field of application goes well beyond this field to include ontological issues, Godel′s incompleteness phenomena, and the relationship between object language, meta language and reduction. All these fields have had new light sched upon them by studies on the theories of truth. In providing a first summary of the various approaches in this field the author documents their respective advantages and areas of application. The (...) emphasis here is on the axiomatic theories of truth developed by Cantini, Feferman, Friedman and the autor himself, which over the past ten years have increasingly gained ground over the semantic theories of Kripke et al. The book describes the way in which many of the aciomatic proposals are built up and expand on semantic theories. This ist the first time that the results in this field have been made accessible to readers in their larger context. The book deals in detail with the technical aspects and so is ideal as a point of entry into the vast array of literature on the metamathematics of this field. A key objective of the book is to extablish a connection between the latest theories of truth and the older constructions elaborated by Tarski. He made a number of important findings about the formal properties of truth back in the 1930s, but some of his constructions are now considered to be obsolete. Tarski′s views appear in a new light in this book since some of his ideas have only been formulated in recent years. (shrink)

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

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 [2] are conservative over PA.

OntoClean is an approach towards the formal evaluation of taxonomic relations in ontologies. The application of OntoClean consists of two main steps. First, concepts are tagged according to meta-pr...

The acceleration and qualitative change of West European integration in the 1980s — as evidenced by the Single European Act — were big events of the world political economy of that decade. They not only paved the way for political union, but also altered the competition in the Triad — United States, Western Europe and Japan. This article analyzes the relaunch of the European Community and later European Union in the framework of conflictive evolutionary theory. Two elements of that theory (...) are combined to explain the timing, the forces behind and the actors involved. The arguments are developed from the theory of the rise and decline of societal models and from the theory of competition among governments in the world market for social order and protection. The thesis of an elite argain among European transnational corporations and the EC-Commission is exposed ana briefly confronted with empirical evidence from the author's research. The article also reflects the competitive position of Western Europe in the Triad and draws conclusions for the future structure of the core: no hegemon similar to Britain's and America's position in the past will emerge since the systemic conditions have changed. (shrink)

We study operator equations within the Turing machine based framework for computability in analysis. Is there an algorithm that maps pairs to solutions of Tx = u ? Here we consider the case when T is a bounded linear mapping between Hilbert spaces. We are in particular interested in computing the generalized inverse T†u, which is the standard concept of solution in the theory of inverse problems. Typically, T† is discontinuous and hence no computable mapping. However, we will use effective (...) versions of theorems from the theory of regularization to show that the mapping ↦ T†u is computable. We then go on to study the computability of average-case solutions with respect to Gaussian measures which have been considered in information based complexity. Here, T† is considered as an element of an L2-space. We define suitable representations for such spaces and use the results from the first part of the paper to show that ↦ T† is computable. (shrink)