Abstract
The paper discusses Grzegorczyk’s logic LD of descriptive equivalence, some of its extensions (logics LDD and LDT), and its more recent modifications, which are the logic of equimeaning LE and the logic of descriptions with Suszko’s axioms LDS. We present an improved semantics for LD and prove a corresponding extended soundness and completeness theorem. We also show that LD is paraconsistent. These results generalize to LDD, LDT, and LDS as well. We briefly study the properties of LE. Furthermore, we compare the strengths of the logics and prove, in particular, that LD is uncomparable with LE and LDS, and the logic LDD—the extension of LD with the so called Delusion Axiom—is the strongest among the logics in question. Next we show that descriptive equivalence can be defined in terms of descriptive implication in LDT but not in LD. We prove also that if we identify the descriptive equivalence with the implication of the other logics, then LD, LDD, and LDT are different from intuitionistic logic and relevance logics T, E, R, EM, RM. Moreover, descriptive equivalence cannot be identified with necessary equivalence in any class of Kripke frames. Finally, we study different ways to formulate the idea of extensionality, presenting three different extensionality principles and exploring which logics satisfy each of them.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Anderson, A. R., Belnap, N. D. (1975). Entailment. The logic of relevance and necessity, Vol. I. Princeton: Princeton University Press.
Golińska-Pilarek, J., & Huuskonen, T. (2012). Logic of descriptions. A new approach to the foundations of mathematics and science. Studies in Logic, Grammar and Rhetoric, 27(40), 63–94.
Grzegorczyk, A. (2011). Filozofia logiki i formalna logika niesymplifikacyjna. Zagadnienia Naukoznawstwa, 4(190), 445–450.
Grzegorczyk, A. (2011). Errata to [3]. Zagadnienia Naukoznawstwa, 4(190).
Grzegorczyk, A. Spójniki logiczne (motywacja badań), unpublished notes.
Suszko, R. (1968). Non-Fregean logic and theories. Analele Universitatii Bucuresti, Acta Logica, 9, 105–125.
Suszko, R. (1971). Semantics for the sentential calculus with identity. Studia Logica, 28, 77–81.
Acknowledgements
This paper is supported by the Polish National Science Centre (NCN) grant Logic of language experience nr 2011/03/B/HS1/04580.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Golińska-Pilarek, J., Huuskonen, T. (2017). Grzegorczyk’s Non-Fregean Logics and Their Formal Properties. In: Urbaniak, R., Payette, G. (eds) Applications of Formal Philosophy. Logic, Argumentation & Reasoning, vol 14. Springer, Cham. https://doi.org/10.1007/978-3-319-58507-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-58507-9_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-58505-5
Online ISBN: 978-3-319-58507-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)