Article
Version 1
Preserved in Portico This version is not peer-reviewed
On the Inconsistency of: The Classical Propositional Calculus and Its Metatheory
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. Preprints 2023, 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
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.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment