Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
Bibliographic Data
| ID | 21451210 |
|---|---|
| Authors | Roberta Ballarin (0000-0001-7204-1192, University of British Columbia, corresponding author) |
| Year | 2025 |
| Volume | 46 |
| Issue | 2 |
| Pages | 297-317 |
| Publication date | 2025-04-03 |
| Open Access | No |
| Type | ARTICLE |
| Venue | History and Philosophy of Logic (JOURNAL) |
| Journal identifiers | ISSN: 0144-5340 • E-ISSN: 1464-5149 |
| Publisher | Informa UK Limited (PUBLISHER • GB) |
| DOI | 10.1080/01445340.2024.2336404 |
| OpenAlex | W4396512806 |
| Language | EN |
| References cited | 27 |
In this paper, I examine Ruth Barcan Marcus's early formal work on modal systems and the deduction theorem, both for the material and the strict conditional. Marcus proved that the deduction theorem for the material conditional does not hold for system S2 but holds for S4. This last result is at odds with the recent claim that without proper restrictions the deduction theorem fails also for S4. I explain where the contrast stems from. For the strict conditional, Marcus proved the deduction theorem for S4 though restricted to arguments with necessary premises. I discuss Marcus's result and analyze her philosophical position on the significance of the deduction theorem for modal systems designed to express the notion of deducibility
Calculus (dental) · Geometry · Modal · Modal logic · Normal modal logic · Sequent calculus · Advanced Algebra and Logic · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Materials Science · Mathematics · Medicine · Philosophy
| Highly cited | No |
|---|