If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...) to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

The contributions to this volume are from participants of the international conference "Kreisel's Interests - On the Foundations of Logic and Mathematics", which took place from 13 to 14 2018 at the University of Salzburg in Salzburg, Austria. The contributions have been revised and partially extended. Among the contributors are Akihiro Kanamori, Göran Sundholm, Ulrich Kohlenbach, Charles Parsons, Daniel Isaacson, and Kenneth Derus. The contributions cover the discussions between Kreisel and Wittgenstein on philosophy of mathematics, Kreisel's Dictum, proof theory, the (...) discussions between Kreisel and Gödel on philosophy of mathematics, some bibliographical facts, and a collection of extracts from Kreisel's letters. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent (...) statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

The search for the extensions of sentences can be guided by Frege’s “principle of compositionality of extension”, according to which the extension of a composed expression depends only on its logical form and the extensions of its parts capable of having extensions. By means of this principle, a strict criterion for the admissibility of objects as extensions of sentences can be derived: every object is admissible as the extension of a sentence that is preserved under the substitution of co-extensional expressions. (...) The question is: what are the extensions of elementary sentences containing empty singular terms, like ‘Vulcan rotates’. It can be demonstrated that in such sentences, states of affairs as structured objects (but not truth-values) are preserved under the substitution of co-extensional expressions. Hence, such states of affairs are admissible (while truth-values are not) as extensions of elementary sentences containing empty singular terms. (shrink)

In Popper's Logik der Forschung, a theoretical system is a set of sentences that describe a particular sub-area of science, in particular of empirical science. The goal of axiomatizing a theoretical system is to specify a small number of "axioms" describing all presuppositions of the sub-area under consideration, so that all other sentences of this system can be derived from them by means of logical or mathematical transformations. The paper discusses two philosophical interpretations of these proper axioms. First, proper axioms (...) stipulate the use of the signs for the basic concepts of the system. Consequently, the proper axioms turn out to be analytic relative to a class of interpretations of the underlying logic. Hence, they cannot be falsified by refuting their logical consequences because these consequences are analytic as well. Secondly, proper axioms are synthetic, falsifiable and uncertain sentences. Hence, they are not immunized against falsification by refuting their logical consequences. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s thesis. For (...) this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

According to the principle of compositionality, the meaning of a composed expression depends only on its logical form and the meaning of its descriptive sub-expressions. This dependence can be understood as the substitutivity of expressions that have the same meaning without changing the meaning of the composed expression. In this book the hidden complexity of Frege's and Quine's conceptions of extensionality is revealed. The insights gained by this analysis as well as two versions of the principle of compositionality are used (...) in a formal reconstruction of Gödel's and Quine's versions of the slingshot argument. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the question of (...) whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

The review gives a short description of the content of the book and discusses the treatment of conditionals in it.

The review gives a short decription of the content of the book and several improvements and corrections of its content.

Free logics aim at freeing logic from existence assumptions by making them explicit, e.g., by adding an existence premisse to the antecedence of the classical axiom-schema of Universal Instantiation. Their historical development was motivated by the problem of empty singular terms, and that one of simple statements containing at least one such singular term: what is the referential status of such singular terms and what truth-value, if any, do such statemants have? Free logics can be classified with regard to their (...) respective answers to these problems. Negative free logics assume that non-existent objects cannot have any properties at all; hence, in particular, they cannot be self-identical or rotate. Positive free logics believe that non-existents can be self-identical according to the Leibnizian concept of identity. Neutral free logics think that statements of self-identity are truth-valueless because of the Fregean principle of compositionality. Since only in negative free logic, but not in positive free logic, two statements of the forms "a = a" and "E!a" are logically equivalent, one also can define only for NFL, but not for PFL, existence by self-identity. (shrink)

Wenige Themen begleiten das menschliche Denken so bestandig wie die Frage nach dem Unendlichen. Die Arbeit geht ihr in Schellings fruhen Schriften nach, indem sie die unendliche Sphare als Raum des absoluten Ichs mithilfe geometrischer Konzeptionen konturiert, die Konstruktion der Naturprodukte in Schellings Naturphilosophie mittels mathematischer Reihen prazisiert und die komplizierten Verhaltnisse der Identitatsphilosophie durch die Mathematik des Unendlichen erhellt.Die Studie verdeutlicht aber auch, wie bedeutsam die Philosophie fur die Mathematik ist. Nach wie vor scheidet die in der Antike bekannte (...) und fruhneuzeitlich heftig debattierte Frage nach der Existenz einer aktualen Unendlichkeit die Geister. Die Studie untersucht das Unendliche als unabschliessbaren Prozess und geschlossene Gesamtheit. Der Anspruch von Systemtheorien, bundige Erklarungsmodelle vorzulegen, ist offensichtlich nur unter der Annahme einer aktualen Unendlichkeit einlosbar. (shrink)

Kaum ein anderer lebender Naturwissenschaftler besitzt die Fähigkeit, mit solcher Geistesklarheit die tiefsten Einsichten von moderner Quantenphysik mit dem uralten spirituellen Menschheitswissen zu verknüpfen wie - Hans-Peter Dürr! Es gelingt Dürr scheinbar mühelos, eine Synthese zwischen den meditativen Einsichten der Weisen des Ostens und den aktuellen Erkenntnissen der modernen Naturwissenschaften herzustellen. Dabei verliert er sich niemals in langatmigen akademischen Erläuterungen, sondern hat stets den Menschen und die gesellschaftliche Wirklichkeit des 21. Jahrhunderts im Blick. Ein Brückenschlag zwischen zwei Welten, (...) der vielleicht niemals notwendiger war als zurzeit. Eine kleines Meisterwerk, das in einleuchtender Weise aufzeigt - alles Leben ist EINS! (shrink)

Unsere Welt ist verschiedenartig. Nicht zuletzt wird das an den verschiedenen Religionen deutlich. Und doch ist unsere Welt eine Welt. Gemeinsam leben wir in ihr. Angesichts dieser Spannung kann gefragt werden: Wie konnen wir in unserer - auch religiosen - Unterschiedlichkeit in einer Welt zusammenleben? Und wie sollen wir das? Welche Moglichkeiten und Probleme bringen die Religionen an diesem Punkt mit sich? Der Band widmet sich diesen Fragen aus philosophischer und theologischer Sicht. Es werden ausgewahlte Modelle aus Philosophie und Theologie (...) vorgestellt und diskutiert, wie in unseren heutigen Gesellschaften religiose Pluralitat integriert werden kann und soll. (shrink)

Menschenaffen erganzen ihr Instinkt- und Triebleben positivistisch durch individuelle Intelligenz, Sozialitat und Kulturalitat.

English summary: Thinking about God is theology's main task and the philosophy of religion's most noble. Like almost no other theologian and philosopher of religion, Ingolf U. Dalferth's devotion to it has made the paradigms of current philosophical and theological theory construction fruitful. God, in whom people believe and place their trust, is revealed as the First and the Last, as the beginning without end, and the end that renews everything. This Festschrift's twenty-four studies pick up from Dalferth's work by (...) thinking about God in their own way. The richness of the questions they pose, the plurality of the answers, and the diversity of the religious-philosophical and theological perspectives affirm the worthiness of thinking God. German description: Gott zu denken, ist die zentrale Aufgabe der Theologie und die vornehmste der Religionsphilosophie. Wie kaum ein anderer Theologe und Religionsphilosoph hat sich Ingolf U. Dalferth dieser Aufgabe gewidmet und dafur die aktuellen Paradigmen philosophischer und theologischer Theoriebildung fruchtbar gemacht. Gott, an den Menschen glauben und auf den sie ihre Hoffnung setzen, kommt dem Denken als Erstes und Letztes in den Blick, als Anfang, der noch kein Ende gefunden hat, und als Ende, das alles neu macht.Die vierundzwanzig Studien dieser Festschrift nehmen Dalferths Beitrage auf, indem sie je auf ihre Weise Gott nachdenken. Der Reichtum der von ihnen diskutierten Fragestellungen, die Pluralitat der Antworten und die Vielfalt der religionsphilosophischen und theologischen Perspektiven bekraftigen die Denkwurdigkeit Gottes. (shrink)

This book brings the poet and philosopher Novalis into dialogue with the work of Martin Heidegger, demonstrating that both should be understood principally as thinkers of relation.

Bei Nietzsches Texten handelt es sich häufig um Reaktionen auf seine breitgestreuten Lektüren. Sein Lesen ist zugleich ein Schreiben, und es verläuft ebenso selektiv und assoziativ wie aneignend: So werden unter Nietzsches Hand etwa Lesefrüchte aus naturwissenschaftlichen Lexika ästhetischen Überlegungen einverleibt oder ethno-anthropologische Fachbücher im Kontext philosophiegeschichtlicher Einordnungsversuche zitiert. Die Interpretation von Nietzsches Schriften ist daher stets auf eine philologisch-differenzierte Quellenarbeit angewiesen, die zugleich auch philosophisch-hermeneutischen Ansprüchen genügt. Nur so findet die spezifische Gemengelage aus Eigenem und Fremdem in Nietzsches Texten (...) ebenso adäquate Berücksichtigung wie die Vielzahl der handschriftlichen Lesespuren in den bis heute erhaltenen Büchern aus seiner persönlichen Bibliothek. In einer Reihe von Überblicksdarstellungen und exemplarischen Fallstudien unternimmt es der Band, Nietzsche im Spiegel seiner Lektüren als äußerst produktiven wie kreativen Leser zu charakterisieren, dessen Voraussetzungsreichtum nicht überschätzt werden kann. (shrink)

Hans Peter Riegel zählt zu den wenigen Künstlern, die gleichzeitig als Autor tätig sind. Aus dieser Position schreibt er kenntnisreich und kritisch über den Kunstmarkt sowie Künstlerinnen und Künstler. Während der Recherchen zu seinen erfolgreichen Biographien über Joseph Beuys und Jörg Immendorff hat er viele Gespräche geführt, die bislang nur in Auszügen veröffentlicht wurden. Immer wieder hat er auch für namhafte Medien geschrieben, Künstler und Kreative interviewt. Jetzt hat Hans Peter Riegel eine Auswahl dieser Texte in (...) diesem Buch zusammengefasst. Unter anderem mit Beiträgen zu Marina Abramovic, Helge Achenbach, Joseph Beuys, Tina Brown, Jörg Immendorff und Eva Presenhuber sowie Interviews mit Jörg Immendorff, Diane Keaton, Marc Spiegler und Klaus Staeck. (shrink)

The importance of Dilthey Why read Dilthey today? Why study the ideas of a nineteenthcentury German philosopher some seventy years after his death? ...

Giuseppe Franco hat mich mit süditalienischer Liebenswürdigkeit dazu eingeladen, einen kleinen Beitrag zum vorliegenden Hommage-Band zu schreiben, in dem ich von meiner „intellektuellen Beziehung“ zu Dir und „von der Bedeutung des Kritischen Rationalismus“ für meinen „eigenen Denkweg“ berichte. Kennengelernt haben wir einander vor inzwischen 53 Jahren kurz nach Deinem Dienstantritt an der Mannheimer Wirtschaftshochschule. Ich studierte damals in Wien, vor allem bei Bela Juhos, der in einer Art Dachkammer der Alten Universität seine Seminare, z. B. eines über „Wissenschaftstheorie und Quantenmechanik“ (...) mit maximal zehn älteren Studenten und bereits habilitierten Wissenschaftsphilosophen abhielt, sowie beim Altmeister Victor Kraft, dessen Privatissime-Veranstaltungen in seiner Wohnung in der Walfischgasse von noch weniger, handverlesenen Geistesschaffenden besucht wurden. (shrink)