Advertisement

A Mystery of Grzegorczyk’s Logic of Descriptions

  • Joanna Golińska-PilarekEmail author
  • Taneli Huuskonen
Chapter
Part of the Studies in Universal Logic book series (SUL)

Abstract

In 2011, Andrzej Grzegorczyk formulated Logic of Descriptions (LD), 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.

Keywords

Logical connectives Paradoxes of classical logic Descriptive equivalence Equimeaning Grzegorczyk’s logic of descriptions 

Mathematics Subject Classification (2000)

Primary 03A05; Secondary 03-02 03B60 

References

  1. 1.
    Anderson, A.R., Belnap, N.D.: Entailment. The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)Google Scholar
  2. 2.
    Golińska-Pilarek, J.: On the minimal non-Fregean Grzegorczyk’s logic. Stud. Logica. 104(2), 209–234 (2015)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Golińska-Pilarek, J., Huuskonen, T.: Logic of descriptions. A new approach to the foundations of mathematics and science. Stud. Log. Grammar Rhetor. 27(40), 63–94 (2012)zbMATHGoogle Scholar
  4. 4.
    Grzegorczyk’s non-Fregean logics and their formal properties. In: Urbaniak, R., Payette, G. (eds.) Applications of Formal Philosophy: The Road Less Travalled, Logic, Argumentation & Reasoning, vol. 14. Springer (2017)Google Scholar
  5. 5.
    Grzegorczyk, A.: Filozofia logiki i formalna LOGIKA NIESYMPLIFIKACYJNA [Philosophy of Logic and Perceptive Equivalence]. Zagadnienia Naukoznawstwa 4(190), 445–450 (2011)Google Scholar
  6. 6.
    Grzegorczyk, A.: Errata to Grzegorczyk, A.: Filozofia logiki i formalna LOGIKA NIESYMPLIFIKACYJNA [Philosophy of Logic and Perceptive Equivalence]. Zagadnienia Naukoznawstwa 4(190), 445–450 (2011). Zagadnienia Naukoznawstwa 4(190) (2011)Google Scholar
  7. 7.
    Suszko, R.: Non-Fregean logic and theories. Analele Universitatii Bucuresti, Acta. Logica. 9, 105–125 (1968)Google Scholar
  8. 8.
    Suszko, R.: Semantics for the sentential calculus with identity. Stud. Logica. 28, 77–81 (1971)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Institute of PhilosophyUniversity of WarsawWarsawPoland

Personalised recommendations