On the Costs of Classical Logic
Bibliographic Data
| ID | 21461676 |
|---|---|
| Authors | Luca Castaldo (0000-0002-3103-8568, University of Bristol, corresponding author) |
| Year | 2023 |
| Volume | 88 |
| Issue | 3 |
| Pages | 1157-1188 |
| Publication date | 2023-03-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Erkenntnis (JOURNAL) |
| Journal identifiers | ISSN: 0165-0106 • E-ISSN: 1572-8420 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s10670-021-00397-7 |
| OpenAlex | W3167321147 |
| Language | EN |
| Citations received | 1 |
| References cited | 30 |
This article compares classical (or -like) and nonclassical (or -like) axiomatisations of the fixed-point semantics developed by Kripke (J Philos 72(19): 690–716, 1975). Following the line of investigation of Halbach and Nicolai (J Philos Logic 47(2): 227–257, 2018), we do not compare and qua theories of truth simpliciter, but rather qua axiomatisations of the Kripkean conception of truth. We strengthen the central results of Halbach and Nicolai (2018) and Nicolai (Stud Log 106(1): 101–130, 2018), showing that, on the one hand, there is a stronger sense in which some variants of and some variants of can be taken to be, truth-theoretically, equivalent. On the other hand, we show that this truth-theoretical equivalence is not preserved by some other variants of and , arguing that the variants are more adequate axiomatisations of the fixed-point semantics than the corresponding variants
Discrete mathematics · Epistemology · Mathematical economics · Ontology · Classical Philosophy and Thought · Computer Science · Logic, Reasoning, and Knowledge · Mathematics · Philosophy · Philosophy and Theoretical Science
| Citations per year | 0.5 |
|---|---|
| Citation span | 2024 - 2024 (1) |
| Highly cited | No |