Abstract
The paper concerns Grzegorczyk’s non-Fregean logics that are intended to be a formal representation of the equimeaning relation defined on descriptions. We argue that the main Grzegorczyk logics discussed in the literature are too strong and we propose a new logical system, \({\mathsf{MGL}}\), which satisfies Grzegorczyk’s fundamental requirements. We present a sound and complete semantics for \({\mathsf{MGL}}\) and we prove that it is decidable. Finally, we show that many non-classical logics are extensions of \({\mathsf{MGL}}\), which makes it a generic non-Fregean logic.
Article PDF
Similar content being viewed by others
References
Golińska-Pilarek, J. and T. Huuskonen, Logic of descriptions. A new approach to the foundations of mathematics and science, Studies in Logic, Grammar and Rhetoric 40:63–94, 2012.
Golińska-Pilarek, J. and T. Huuskonen, Grzegorczyk’s non-Fregean logics and their formal properties, Submitted to the book Applications of Formal Philosophy, 2015.
Grzegorczyk A.: Filozofia logiki i formalna logika niesymplifikacyjna. Zagadnienia Naukoznawstwa 47(4), 445–450 (2012)
Suszko R.: Non-Fregean logic and theories. Analele Universitatii Bucuresti, Acta Logica 11, 105–125 (1968)
Suszko R.: Semantics for the sentential calculus with identity. Studia Logica 28, 77–81 (1971)
Suszko, R., Abolition of the Fregean axiom, in R. Parikh (ed.), Logic Colloquium: Symposium on Logic held at Boston, 1972–73, vol. 453 of Lecture Notes in Mathematics, Springer, Heidelberg, 1975, pp. 169–239.
Author information
Authors and Affiliations
Corresponding author
Additional information
To the Memory of Andrzej Grzegorczyk
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Golińska-Pilarek, J. On the Minimal Non-Fregean Grzegorczyk Logic. Stud Logica 104, 209–234 (2016). https://doi.org/10.1007/s11225-015-9635-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9635-y