Number of Extensions of Non-Fregean Logics
- 42 Downloads
We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF.
Keywordsdenotation non-classical propositional logic sense sentential calculus with identity situation
Unable to display preview. Download preview PDF.