Studia Logica

, Volume 104, Issue 2, pp 209–234

On the Minimal Non-Fregean Grzegorczyk Logic

Open Access

DOI: 10.1007/s11225-015-9635-y

Cite this article as:
Golińska-Pilarek, J. Stud Logica (2016) 104: 209. doi:10.1007/s11225-015-9635-y


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.


Non-Fregean logic Descriptive equivalence Equimeaning Extensionality 

Funding information

Funder NameGrant NumberFunding Note
Narodowe Centrum Nauki (PL)
  • 2011/03/B/HS1/04580

Copyright information

© The Author(s) 2015

Authors and Affiliations

  1. 1.Institute of PhilosophyUniversity of WarsawWarsawPoland

Personalised recommendations