Truth, Partial Logic and Infinitary Proof Systems

Fischer, Martin und Gratzl, Norbert (26. September 2017): Truth, Partial Logic and Infinitary Proof Systems. In: Studia Logica

Abstract

In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke-Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an ω -rule.

• Dokumententyp: Zeitschriftenartikel
• EU Funded Grant Agreement Number: 675415
• EU-Projekte: Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Innovative Training Networks > 675415: Diaphora: Philosophical Problems, Resilience and Persistent Disagreement
• Publikationsform: Publisher's Version
• Keywords: Truth; Partial logic; Infinitary proof systems; Axiomatic theories; Minimal fixed-point
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Diaphora: Logic and Paradox
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie ; 100 Philosophie und Psychologie > 160 Logik
• ISSN: 1572-8730
• Sprache: Englisch