Annehmlichkeit gilt auch für vernunftlose Thiere; Schönheit nur für Menschen, d. i. thierische, aber doch vernünftige Wesen, aber auch nicht blos als solche (z.

Seit Niccolo Machiavellis Principe (postum) im Jahre 1532 veroffentlicht worden ist, haben sich Generationen von Philosophen, Theologen und Historikern, aber auch von Politikern mit den Thesen des Florentiners auseinandergesetzt. Die Bucher zur Rezeption Machiavellis fullen inzwischen ganze Bibliotheken. Kann man heute - fast funfhundert Jahre spater - noch etwas Neues dazu beitragen? Vielleicht gelingt dies, indem der machiavellische Machtstaat aus interdisziplinarer Perspektive im Spiegel der Zeit beleuchtet wird. Die negative Sicht der Ratschlage Machiavellis an einen neuen Fursten ist mit dem (...) Begriff "Machiavellismus" gebrandmarkt worden. Die Frage, ob der Florentiner selbst ein Machiavellist war, ist heute freilich eher zu verneinen. Die mit dem Schlagwort verbundenen Vorurteile erweisen sich jedoch als resistent gegenuber jedem Gegenargument. Den unterschiedlichen, meist zeitbedingten Interpretationen der Lehre Machiavellis, mit denen der Interpret oft genug nur seine eigenen Anschauungen begrundet, soll in diesem Band nachgespurt werden. (shrink)

The purpose of Key Approaches to Biblical Ethics is to address fundamental as well as practical questions of methodology in examining the ethical material of the Bible. Sixteen scholars of international reputation, most of them leaders in the field of biblical ethics, discuss questions of biblical interpretation from the perspectives of the Hebrew Bible and New Testament ethics in close dialogue with one another. In the present volume both established and new approaches to biblical ethics are presented and discussed. The (...) result is a volume of unprecedented scholarly interaction that provides key insights into issues of biblical ethics that play a significant role both for biblical interpretation as well as for methodological questions in Jewish and Christian ethics today. (shrink)

International organizations such as the UN, EU and IMF play an increasingly important role in international politics. Fully revised and updated, this broad-ranging text provides a systematic theoretical and empirical introduction to the structure, policies and performance of international organizations.

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)

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)

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)

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

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)

Diese Studien zu Plessner stellen das Philosophie-Konzept seiner Anthropologie in den Mittelpunkt und heben es als Ausdruck der Moderne heraus. Exzentrizität ist eine Bestimmung des Citoyens, nicht des homo sapiens. Plessners Postulat, die Unergründlichkeit des Menschen verbindlich zu nehmen, ist ein Plädoyer, die unaustauschbare Individualität und Wandelbarkeit der Person zu wahren. Solcher Schutz der Würde wäre überflüssig, wären Personen nicht verletzbar. Weil Plessner dies ernst nimmt, ist das moderne Versprechen von Autonomie nicht Autarkie, sondern Souveränität: Handeln als Ausdruck der Unentscheidbarkeit (...) von Macht und Ohnmacht. Plessners Einzigartigkeit liegt darin, dass dies auch sein eigenes Philosophieren auszeichnet, das durch ein Augenzwinkern gebrochen ist: Man kann, aber man muss den Menschen nicht als Exzentriker ansprechen. Nur wenn man es tut, nimmt man ihn als Würdigen. (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.

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)

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)

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)

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

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)

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)

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)

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.

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.

In the mid-1980s, German social democracy was revived like a Phoenix from the ashes. In the individual federal states, it proved its governing capability which had been lost in the final years of the Schmidt Administration: The Social Democrats not only controlled the city-states of Bremen and Hamburg widi an absolute majority, but were able to win die 1985 elections so overwhelmingly, both in the largest state of North Rhine-Westphalia and also in Saarland, that they were not forced to form (...) any coalitions. But where die Social Democrats needed a partnership, as in Hesse, diey showed diat they would wager a red-green coalition. In special political areas, the Opposition made dramatic changes, above all in peace and security policy. (shrink)