Version 1
: Received: 7 December 2023 / Approved: 8 December 2023 / Online: 8 December 2023 (10:31:14 CET)
How to cite:
Stepien, L. On the Inconsistency of: The Classical Propositional Calculus and Its Metatheory. Preprints2023, 2023120602. https://doi.org/10.20944/preprints202312.0602.v1
Stepien, L. On the Inconsistency of: The Classical Propositional Calculus and Its Metatheory. Preprints 2023, 2023120602. https://doi.org/10.20944/preprints202312.0602.v1
Stepien, L. On the Inconsistency of: The Classical Propositional Calculus and Its Metatheory. Preprints2023, 2023120602. https://doi.org/10.20944/preprints202312.0602.v1
APA Style
Stepien, L. (2023). On the Inconsistency of: The Classical Propositional Calculus and Its Metatheory. Preprints. https://doi.org/10.20944/preprints202312.0602.v1
Chicago/Turabian Style
Stepien, L. 2023 "On the Inconsistency of: The Classical Propositional Calculus and Its Metatheory" Preprints. https://doi.org/10.20944/preprints202312.0602.v1
Abstract
The classical propositional calculus (zero-order logic, classical propositional logic), is the most fundamental two-valued logical system. In this paper we present a proof of inconsistency of the classical propositional calculus. Then, we get right away the conclusion that the metatheory of the classical propositional calculus is inconsistent.
Keywords
classical propositional calculus; zero-order logic; zeroth-order logic; consistency in the traditional sense; consistency in the absolute sense; inconsistency; metalogic; metatheory
Subject
Computer Science and Mathematics, Logic
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.