Complementary Sentential Logics

Bulletin of the Section of Logic 19 (4):112-116 (1990)
Download Edit this record How to cite View on PhilPapers
It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively.
(categorize this paper)
PhilPapers/Archive ID
Upload history
Archival date: 2015-11-21
View other versions
Added to PP index

Total views
131 ( #39,086 of 2,448,636 )

Recent downloads (6 months)
7 ( #53,596 of 2,448,636 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.