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, (Formula presented.) , which satisfies Grzegorczyk’s fundamental requirements. We present a sound and complete semantics for (Formula presented.) and we prove that it is decidable. Finally, we show that many non-classical logics are extensions of (Formula presented.) , which makes it a generic non-Fregean logic.
CITATION STYLE
Golińska-Pilarek, J. (2016). On the Minimal Non-Fregean Grzegorczyk Logic. Studia Logica, 104(2), 209–234. https://doi.org/10.1007/s11225-015-9635-y
Mendeley helps you to discover research relevant for your work.