<abstract xmlns="http://www.w3.org/1999/xhtml"><p>This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]). </p><p>This part presents the syntax and axioms of Grzegorczyk’s Logic of Descriptions (LD) as originally proposed by him, as well as some theorems not depending on any semantic constructions. There are both some clear similarities and fundamental differences between LD and the non-Fregean logics introduced by Roman Suszko in [15]. In particular, we were inspired by Suszko’s semantics for his non-Fregean logic SCI, presented in [16].</p></abstract>

This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]). This part presents the syntax and axioms of Grzegorczyk’s Logic of Descriptions (LD) as originally proposed by him, as well as some theorems not depending on any semantic constructions. There are both some clear similarities and fundamental differences between LD and the non-Fregean logics introduced by Roman Suszko in [15]. In particular, we were inspired by Suszko’s semantics for his non-Fregean logic SCI, presented in [16].

Grzegorczyk’s Logics. Part I

Department of Mathematics and Statistics University of Helsinki Finland

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

{"article-title":"Grzegorczyk\u2019s Logics. Part I"}

This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed...

Grzegorczyk’s Logics. Part I

Online veröffentlicht: 30. Sept. 2015

Seitenbereich: 177 - 187

Eingereicht: 30. Apr. 2015

DOI: https://doi.org/10.1515/forma-2015-0015

Schlüsselwörter
non-Fregean logic, logic of descriptions, non-classical propositional logic, equimeaning connective

© by Taneli Huuskonen

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Grzegorczyk’s Logics. Part I

Online veröffentlicht: 30. Sept. 2015

Seitenbereich: 177 - 187

Eingereicht: 30. Apr. 2015

DOI: https://doi.org/10.1515/forma-2015-0015

Schlüsselwörternon-Fregean logic, logic of descriptions, non-classical propositional logic, equimeaning connective

© by Taneli Huuskonen

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Schlüsselwörter
non-Fregean logic, logic of descriptions, non-classical propositional logic, equimeaning connective