Was sind die aktuellen Themen in der Philosophie der Logik?

Ein sehr junges Programm ist die „transzendentale Syntax“, die seit 2011 von Girard, dem Begründer der linearen Logik , gefördert wird. Wie der kantische Name schon sagt, geht es um die Entwicklung einer „Grammatikkritik“, einer intrinsischen Rechtfertigung logischer Regeln, die wir übernehmen Bedingungen der Möglichkeit, ähnlich wie Kants Rechtfertigung des "synthetischen Apriori". Offensichtlich wären logische Begründungen für Logik zirkulär, und semantische (empirische) Begründungen stoßen auf wohlbekannte erkenntnistheoretische Probleme. Die Idee ist, Deduktionen als dynamisch ausgeführte Programme nach dem Vorbild der Curry-Howard-Korrespondenz neu zu interpretieren, führen Tests für und gegen Behauptungen ein und interpretieren die Regeln so, dass sie eine erfolgreiche Beilegung von Streitigkeiten über sie gewährleisten. Dies modelliert teilweise die normative Praxis der Logik, von der Wittgenstein dachte, dass sie pauschal „ schweigend übergangen werden muss “. In Girards Worten „ ersetzt transzendentale Syntax die Semantik – also die Metaphysik des „Realen“ – das Studium der Möglichkeitsbedingungen logischer Sprache “, als erfolgreich ausführbar.

Hier ist Girards programmatischer Aufsatz , aber ich würde mit dem erklärenderen On Trascendental syntax: a Kantian program for logic? von Abrusci und Pistone , was es in einen historischen Kontext stellt:

„ In Analogie zu Kants Transzendentalismus versucht das Programm in der Tat, das Problem der Deduktion aufzuwerfen, d gerechtfertigt zu sein; dieser Zwang war es tatsächlich, der für Kant den Unterschied zwischen dem transzendentalen Unternehmen und der Metaphysik ausmachte.

[...] zielt darauf ab, zu erklären, wie syntaktische Beschränkungen mit traditionellen logischen Ergebnissen wie allgemeinen Schnitteliminationssätzen, Vollständigkeits- und Unvollständigkeitssätzen zusammenhängen. [...] mindestens zwei weitere Ambitionen: die Verwendung transzendentaler Syntaxwerkzeuge, um eine kritische Kraft auf bestehende Syntaxen auszuüben, indem philosophische Begründungen und rein technische Begründungen zusammengefügt werden, und die Verfeinerung tatsächlicher logischer Systeme, zusammen mit einem feineren Verständnis ihrer innere konstitutive Prinzipien. "

Werfen Sie auch einen Blick auf den kürzlich erschienenen Band Logic, Epistemology, and the Unity of Science (2009), herausgegeben von Rahman et al. Es ist eine thematische Sammlung von Artikeln, die sich auf die Rolle der Logik in der analytischen Philosophie konzentriert. Sie spiegelt eine neuere Bewegung mit dem Ehrgeiz wider, einige Aspekte des logischen Positivismus (Vereinheitlichung des Wissens auf der Grundlage der Logik) philosophisch wiederzubeleben, jedoch eher auf Neuraths „enzyklopädischer“ Konzeption als auf Carnaps „Beseitigung der Metaphysik durch Syntax“. Hier ist aus dem programmatischen Eröffnungsartikel:

„ Während viele Wissenschaftsphilosophen vor der Logik zurückgeschreckt sind, hat es in der Zwischenzeit viele wichtige neue Entwicklungen in der Logik gegeben, von denen einige möglicherweise äußerst bedeutsame Anwendungen auf Fragen der Erkenntnistheorie und der allgemeinen Wissenschaftsphilosophie haben. Diese Entwicklungen sind praktisch unbemerkt geblieben in der breiteren philosophischen Gemeinschaft dar. Einer der Zwecke dieses Bandes ist es, Philosophen zu ermutigen, den potenziellen Reichtum zu erkennen, der in neueren Arbeiten zur Logik zu finden ist, beispielsweise in der Fülle nicht-klassischer Logiken, darunter vor allem spieltheoretische Semantik und unabhängigkeitsfreundliche Logik ...

Sich vom Szientismus zu distanzieren, bedeutet nicht, sich vom Projekt des Wiener Kreises zu trennen. Ganz im Gegenteil. Wir lehnen die einfachen Karikaturen ab, die in Bezug auf diese Philosophen allzu oft als Geschichte gelten, und bestehen stattdessen darauf, den progressiven, kollaborativen und optimistischen Geist ihres Enzyklopädie-Projekts zu betonen ... Neuraths Boot, wie das wissenschaftliche Projekt selbst, ist eine improvisierte Zusammenstellung von Komponenten , im laufenden Betrieb angepasst und immer rekonstruierbar. Dennoch, solange die Matrosen überleben, finden sie ihre Gemeinschaft in einem einzigen einheitlichen Projekt engagiert. "

Siehe auch eine frühere Frage Was sind die wichtigsten Forschungsprogramme in zeitgenössischer Logik?

Susan Haack, Philosophie der Logik

Toller Überblick von einer großartigen Philosophin (obwohl ich ihr in einigen Dingen stark widerspreche).