What question did this study set out to answer?

Diese Forschung hinterfragt die traditionellen Ansichten im logischen Inferentialismus und zielt darauf ab, die Kriterien für Regelharmonie in Beweissystemen neu zu formulieren.

March 5, 2026Ergo an Open Access Journal of Philosophy1 citationsOpen Access

Logisches Metainferentialismus

BDBogdan DicherUniversity of the Witwatersrand FPFrancesco PaoliUniversity of Cagliari

Key Points

Diese Forschung hinterfragt die traditionellen Ansichten im logischen Inferentialismus und zielt darauf ab, die Kriterien für Regelharmonie in Beweissystemen neu zu formulieren.
Analysiert die operationellen Regeln von logischen Konstanten in Beweis-Kontexten.
Überdenkt die Konzepte von Beweisen aus Axiomen versus Ableitungen aus Annahmen.
Fokussiert auf Gentzen-Systeme und ihre Ableitbarkeitsbeziehungen als Grundlage für die Bedeutungsbestimmung.
Schlägt einen neuen Rahmen für das Verständnis von Regelharmonie in logischen Beweisen vor.
Untersucht die Implikationen dieser Neuformulierung durch die Studie von FDE-Kalkülen und Erweiterungen.
Schlägt vor, dass die Bedeutungsbestimmung in logischen Konstanten durch sequentielle Beziehungen betrachtet werden kann.

Abstract

Logisches Inferentialismus ist die Ansicht, dass die Bedeutung von logischen Konstanten implizit durch die operationellen Regeln definiert ist, die ihr Verhalten in Beweisen regeln – insbesondere in sequentiellen Kalkülen, gemäß einer zunehmend dominierenden Tendenz. Eine tragfähige Formulierung dieser Sichtweise setzt eine Klärung bestimmter wesentlicher Aspekte voraus, wie zum Beispiel die Kriterien für Regelharmonie und was einen normalen Beweis ausmacht. Sequentieller Kalkül-Inferentialisten rahmen diese Aspekte typischerweise in Bezug auf Beweise aus Axiomen, anstatt Ableitungen aus Annahmen. Logisches Metainferentialismus stellt dieses Dogma in Frage und baut auf der Idee auf, die in "Die ursprüngliche Sünde der beweis-theoretischen Semantik" (Dicher Paoli 2021) vertreten wird, dass die Bestimmung von Bedeutung relativ zu den Ableitbarkeitsbeziehungen in Gentzen-Systemen ist. Wir unterbreiten einen Vorschlag für eine metainferential angemessene Neuformulierung von Harmonie und erkunden ihr Potenzial, indem wir uns auf eine Fallstudie, die Kalküle für FDE und dessen Erweiterungen, konzentrieren.

KI fragen

Bookmark

View Full Paper