Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic

Grilletti, Gianluca (2021): Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic. In: Journal of Logic Language and Information, Bd. 30, Nr. 4: S. 725-751

Abstract

Inquisitive first order logic InqBQ is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether InqBQ is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic (Ciardelli, 2016). In this paper we define the ClAnt-classical antecedent-fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem for fragments of the logic.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie
• ISSN: 0925-8531
• Sprache: Englisch