Abstract
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.
Similar content being viewed by others
References
Bloom, S. L. and Suszko, R.: Investigations into the sentential calculus with identity, Notre Dame J. Formal Logic 13/3 (1972), 289–308.
Omyła, M.: Zarys Logiki Niefregowskiej, Państwowe Wydawnicztwo Naukowe, Warszawa, 1986.
Suszko, R.: Non-Fregean logic and theories, An. Univ. Bucuresti, Acta Logica 9 (1968), 105–125.
Suszko, R.: Identity connective and modality, Studia Logica 27 (1971), 7–39.
Suszko, R.: Abolition of the Fregean axiom, in A. Dold and B. Eckmann (eds.), Logic Colloquium 1972–73, Springer-Verlag, Berlin, 1975, pp. 169–239.
Suszko, R.: A note on modal systems and SCI, Bull. Sect. Logic 1(4) (1972), 42–45.
Suszko, R.: Adequate models for the non-Fregean sentential calculus SCI, in Logic, Language and Probability. A selection of papers of the 4th International Congress for Logic, Methodology and Philosophy, Reidel Publ. Company, Dordrecht, 1973, pp. 49–54.
Zachorowski, S.: Proof of a conjecture of R. Suszko, Studia Logica 34(3) (1975), 253–256.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Golińska-Pilarek, J., Huuskonen, T. Number of Extensions of Non-Fregean Logics. J Philos Logic 34, 193–206 (2005). https://doi.org/10.1007/s10992-004-6366-3
Issue Date:
DOI: https://doi.org/10.1007/s10992-004-6366-3