A Mystery of Grzegorczyk’s Logic of Descriptions

In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 731-745 (2018)
  Copy   BIBTEX


In 2011, Andrzej Grzegorczyk formulated Logic of Descriptions, a new logical system in which the classical equivalence has been replaced with the descriptive equivalence. Two sentences are descriptively equivalent whenever they describe the same state of affairs. Grzegorczyk’s logic LD is built from the ground up by revising the axioms of classical propositional logic and rejecting those that do not correspond to the intended interpretation of the descriptive equivalence as the connective expressing equimeaning relations between sentences. Grzegorczyk’s last paper, which introduced in detail philosophical motivations of LD and its axiomatization, has become an inspiration for investigating the properties of LD and its various modifications. In this paper we present the basics of Grzegorczyk’s logic LD and then we survey the recent results on LD that have shed light on mysterious properties of the Grzegorczyk’s descriptive equivalence connective.



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the Concept of Categoricity.Andrzej Grzegorczyk & A. Grzegorczyk - 1965 - Journal of Symbolic Logic 30 (3):387-388.
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
A note on Grzegorczyk's logic.Emil Jeřábek - 2004 - Mathematical Logic Quarterly 50 (3):295-296.
Grzegorczyk Algebras Revisited.Michał M. Stronkowski - 2018 - Bulletin of the Section of Logic 47 (2):129.
Andrzej Grzegorczyk.Stanisław Krajewski - 2017 - Studia Semiotyczne—English Supplement 29:5-38.


Added to PP

8 (#1,342,689)

6 months
6 (#588,321)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joanna Golinska-Pilarek
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references