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.

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

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.
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.
Subminimal logic and weak algebras.Rodolfo Ertola & Marta Sagastume - 2009 - Reports on Mathematical Logic:153-166.
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
385 (#54,995)

6 months
62 (#82,546)

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