Grzegorczyk's Non-Fregean Logics and Their Formal Properties

Joanna Golinska-Pilarek, Taneli Huuskonen

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Sammanfattning

The paper discusses Grzegorczyk’s logic LD of descriptive equivalence, some of its extensions (logics LDD and LDT), and its more recent modifications, which are the logic of equimeaning LE and the logic of descriptions with Suszko’s axioms LDS. We present an improved semantics for LD and prove a corresponding extended soundness and completeness theorem. We also show that LD is paraconsistent. These results generalize to LDD, LDT, and LDS as well. We briefly study the properties of LE. Furthermore, we compare the strengths of the logics and prove, in particular, that LD is uncomparable with LE and LDS, and the logic LDD—the extension of LD with the so called Delusion Axiom—is the strongest among the logics in question. Next we show that descriptive equivalence can be defined in terms of descriptive implication in LDT but not in LD. We prove also that if we identify the descriptive equivalence with the implication of the other logics, then LD, LDD, and LDT are different from intuitionistic logic and relevance logics T, E, R, EM, RM. Moreover, descriptive equivalence cannot be identified with necessary equivalence in any class of Kripke frames. Finally, we study different ways to formulate the idea of extensionality, presenting three different extensionality principles and exploring which logics satisfy each of them.
Originalspråkengelska
Titel på gästpublikationAPPLICATIONS OF FORMAL PHILOSOPHY : THE ROAD LESS TRAVELLED
RedaktörerR. Urbaniak, G. Payette
Antal sidor21
FörlagSpringer, Cham
Utgivningsdatum6 sep 2017
Sidor243-263
ISBN (tryckt)978-3-319-58505-5
ISBN (elektroniskt)978-3-319-58507-9
DOI
StatusPublicerad - 6 sep 2017
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Publikationsserier

NamnLogic Argumentation & Reasoning
FörlagSPRINGER
Volym14
ISSN (tryckt)2214-9120
ISSN (elektroniskt)2214-9139

Vetenskapsgrenar

  • 111 Matematik

Citera det här

Golinska-Pilarek, J., & Huuskonen, T. (2017). Grzegorczyk's Non-Fregean Logics and Their Formal Properties. I R. Urbaniak, & G. Payette (Red.), APPLICATIONS OF FORMAL PHILOSOPHY: THE ROAD LESS TRAVELLED (s. 243-263). (Logic Argumentation & Reasoning; Vol. 14). Springer, Cham. https://doi.org/10.1007/978-3-319-58507-9_12
Golinska-Pilarek, Joanna ; Huuskonen, Taneli. / Grzegorczyk's Non-Fregean Logics and Their Formal Properties. APPLICATIONS OF FORMAL PHILOSOPHY: THE ROAD LESS TRAVELLED. redaktör / R. Urbaniak ; G. Payette. Springer, Cham, 2017. s. 243-263 (Logic Argumentation & Reasoning).
@inbook{cc22b5817ee24a39812cb95e218179bb,
title = "Grzegorczyk's Non-Fregean Logics and Their Formal Properties",
abstract = "The paper discusses Grzegorczyk’s logic LD of descriptive equivalence, some of its extensions (logics LDD and LDT), and its more recent modifications, which are the logic of equimeaning LE and the logic of descriptions with Suszko’s axioms LDS. We present an improved semantics for LD and prove a corresponding extended soundness and completeness theorem. We also show that LD is paraconsistent. These results generalize to LDD, LDT, and LDS as well. We briefly study the properties of LE. Furthermore, we compare the strengths of the logics and prove, in particular, that LD is uncomparable with LE and LDS, and the logic LDD—the extension of LD with the so called Delusion Axiom—is the strongest among the logics in question. Next we show that descriptive equivalence can be defined in terms of descriptive implication in LDT but not in LD. We prove also that if we identify the descriptive equivalence with the implication of the other logics, then LD, LDD, and LDT are different from intuitionistic logic and relevance logics T, E, R, EM, RM. Moreover, descriptive equivalence cannot be identified with necessary equivalence in any class of Kripke frames. Finally, we study different ways to formulate the idea of extensionality, presenting three different extensionality principles and exploring which logics satisfy each of them.",
keywords = "111 Mathematics",
author = "Joanna Golinska-Pilarek and Taneli Huuskonen",
year = "2017",
month = "9",
day = "6",
doi = "10.1007/978-3-319-58507-9_12",
language = "English",
isbn = "978-3-319-58505-5",
series = "Logic Argumentation & Reasoning",
publisher = "Springer, Cham",
pages = "243--263",
editor = "R. Urbaniak and G. Payette",
booktitle = "APPLICATIONS OF FORMAL PHILOSOPHY",
address = "Switzerland",

}

Golinska-Pilarek, J & Huuskonen, T 2017, Grzegorczyk's Non-Fregean Logics and Their Formal Properties. i R Urbaniak & G Payette (red), APPLICATIONS OF FORMAL PHILOSOPHY: THE ROAD LESS TRAVELLED. Logic Argumentation & Reasoning, vol. 14, Springer, Cham, s. 243-263. https://doi.org/10.1007/978-3-319-58507-9_12

Grzegorczyk's Non-Fregean Logics and Their Formal Properties. / Golinska-Pilarek, Joanna; Huuskonen, Taneli.

APPLICATIONS OF FORMAL PHILOSOPHY: THE ROAD LESS TRAVELLED. red. / R. Urbaniak; G. Payette. Springer, Cham, 2017. s. 243-263 (Logic Argumentation & Reasoning; Vol. 14).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

TY - CHAP

T1 - Grzegorczyk's Non-Fregean Logics and Their Formal Properties

AU - Golinska-Pilarek, Joanna

AU - Huuskonen, Taneli

PY - 2017/9/6

Y1 - 2017/9/6

N2 - The paper discusses Grzegorczyk’s logic LD of descriptive equivalence, some of its extensions (logics LDD and LDT), and its more recent modifications, which are the logic of equimeaning LE and the logic of descriptions with Suszko’s axioms LDS. We present an improved semantics for LD and prove a corresponding extended soundness and completeness theorem. We also show that LD is paraconsistent. These results generalize to LDD, LDT, and LDS as well. We briefly study the properties of LE. Furthermore, we compare the strengths of the logics and prove, in particular, that LD is uncomparable with LE and LDS, and the logic LDD—the extension of LD with the so called Delusion Axiom—is the strongest among the logics in question. Next we show that descriptive equivalence can be defined in terms of descriptive implication in LDT but not in LD. We prove also that if we identify the descriptive equivalence with the implication of the other logics, then LD, LDD, and LDT are different from intuitionistic logic and relevance logics T, E, R, EM, RM. Moreover, descriptive equivalence cannot be identified with necessary equivalence in any class of Kripke frames. Finally, we study different ways to formulate the idea of extensionality, presenting three different extensionality principles and exploring which logics satisfy each of them.

AB - The paper discusses Grzegorczyk’s logic LD of descriptive equivalence, some of its extensions (logics LDD and LDT), and its more recent modifications, which are the logic of equimeaning LE and the logic of descriptions with Suszko’s axioms LDS. We present an improved semantics for LD and prove a corresponding extended soundness and completeness theorem. We also show that LD is paraconsistent. These results generalize to LDD, LDT, and LDS as well. We briefly study the properties of LE. Furthermore, we compare the strengths of the logics and prove, in particular, that LD is uncomparable with LE and LDS, and the logic LDD—the extension of LD with the so called Delusion Axiom—is the strongest among the logics in question. Next we show that descriptive equivalence can be defined in terms of descriptive implication in LDT but not in LD. We prove also that if we identify the descriptive equivalence with the implication of the other logics, then LD, LDD, and LDT are different from intuitionistic logic and relevance logics T, E, R, EM, RM. Moreover, descriptive equivalence cannot be identified with necessary equivalence in any class of Kripke frames. Finally, we study different ways to formulate the idea of extensionality, presenting three different extensionality principles and exploring which logics satisfy each of them.

KW - 111 Mathematics

U2 - 10.1007/978-3-319-58507-9_12

DO - 10.1007/978-3-319-58507-9_12

M3 - Chapter

SN - 978-3-319-58505-5

T3 - Logic Argumentation & Reasoning

SP - 243

EP - 263

BT - APPLICATIONS OF FORMAL PHILOSOPHY

A2 - Urbaniak, R.

A2 - Payette, G.

PB - Springer, Cham

ER -

Golinska-Pilarek J, Huuskonen T. Grzegorczyk's Non-Fregean Logics and Their Formal Properties. I Urbaniak R, Payette G, redaktörer, APPLICATIONS OF FORMAL PHILOSOPHY: THE ROAD LESS TRAVELLED. Springer, Cham. 2017. s. 243-263. (Logic Argumentation & Reasoning). https://doi.org/10.1007/978-3-319-58507-9_12