Logic. of Descriptions. A New Approach to the Foundations of Mathematics and Science

&
Studies in Logic, Grammar and Rhetoric 27 (40):63-94 (2012)
  Copy   BIBTEX

Abstract

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Mystery of Grzegorczyk’s Logic of Descriptions.Joanna Golińska-Pilarek & Taneli Huuskonen - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 731-745.
On the Minimal Non-Fregean Grzegorczyk Logic.Joanna Golińska-Pilarek - 2016 - Studia Logica 104 (2):209-234.
Cut‐Elimination Theorem for the Logic of Constant Domains.Ryo Kashima & Tatsuya Shimura - 1994 - Mathematical Logic Quarterly 40 (2):153-172.
Equality Logic.Shokoofeh Ghorbani - 2020 - Bulletin of the Section of Logic 49 (3):291-324.
A multimodal logic for closeness.A. Burrieza, E. Muñoz-Velasco & M. Ojeda-Aciego - 2017 - Journal of Applied Non-Classical Logics 27 (3):225-237.
Paraconsistency in Non-Fregean Framework.Joanna Golińska-Pilarek - forthcoming - Studia Logica:1-39.
Subminimal logic and weak algebras.Rodolfo Ertola & Marta Sagastume - 2009 - Reports on Mathematical Logic:153-166.
On phase semantics and denotational semantics in multiplicative–additive linear logic.Antonio Bucciarelli & Thomas Ehrhard - 2000 - Annals of Pure and Applied Logic 102 (3):247-282.
Brief study of G'3 logic.Mauricio Osorio Galindo & José Luis Carballido Carranza - 2008 - Journal of Applied Non-Classical Logics 18 (4):475-499.
Brief study of G'3 logic.Mauricio Osorio Galindo & José Luis Carballido Carranza - 2008 - Journal of Applied Non-Classical Logics 18 (4):475-499.

Analytics

Added to PP
2013-05-09

Downloads
392 (#54,262)

6 months
66 (#85,657)

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

Add more references