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.

Author's Profile

Joanna Golinska-Pilarek
University of Warsaw

Analytics

Added to PP
2013-05-09

Downloads
447 (#51,577)

6 months
66 (#81,048)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?