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

Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
Archival date: 2013-05-09
View other versions
Added to PP index

Total views
221 ( #28,889 of 64,106 )

Recent downloads (6 months)
8 ( #52,131 of 64,106 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.