Inferences Between Buridan’s Modal Propositions
Fuente:
Redalyc
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artículo científico |
| Sprache: | en |
| Veröffentlicht: |
Vilniaus Universitetas
2022
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1876462588552806400 |
|---|---|
| author | Jonas Dagys |
| author_facet | Jonas Dagys |
| contents | Inferences Between Buridan’s Modal Propositions Jonas Dagys Haroldas Giedra Živilė Pabijutaitė Filosofía Buridan’s logic modal syllogistic first order modal logic possible worlds semantics In recent years modal syllogistic provided by 14th century logician John Buridan has attracted increasing attention of historians of medieval logic. The widespread use of quantified modal logic with the apparatus of possible worlds semantics in current analytic philosophy has encouraged the investigation of the relation of Buridan’s theory of modality with the modern developments of symbolic modal logic. We focus on the semantics of and the inferential relations among the propositions that underlie Buridan’s theory of modal syllogism. First, we review all inferences between propositions of necessity, possibility, contingency, and non-contingency, with or without quod est locution, that are valid in Buridan’s semantics, and offer a comprehensive diagrammatic representation that includes them all. We then ask the question if there is a way to model those results in first order modal logic. Three ways of formalizing Buridan’s propositions in quantified modal logic are considered. Comparison of inferences between the quantified formulas and Buridan’s propositions reveals that, when supplied with a suitable formalization, Buridan’s semantics of categorical statements and immediate inferences among them can be fully captured by the quantified modal system T. 2022 artículo científico 1392-1126 https://www.redalyc.org/articulo.oa?id=694573720003 https://www.redalyc.org/journal/6945/694573720003/ https://www.redalyc.org/journal/6945/694573720003/html/ https://www.redalyc.org/journal/6945/694573720003/694573720003.epub https://www.redalyc.org/journal/6945/694573720003/movil https://doi.org/10.15388/Problemos.101.3 en http://www.redalyc.org/revista.oa?id=6945 Problemos application/pdf Vilniaus Universitetas Problemos (Lituania) Vol.101 |
| format | Artículo científico |
| id | redalyc_694573720003 |
| institution | Redalyc |
| language | en |
| publishDate | 2022 |
| publisher | Vilniaus Universitetas |
| spellingShingle | Inferences Between Buridan’s Modal Propositions Jonas Dagys Filosofía Buridan’s logic modal syllogistic first order modal logic possible worlds semantics Inferences Between Buridan’s Modal Propositions Jonas Dagys Haroldas Giedra Živilė Pabijutaitė Filosofía Buridan’s logic modal syllogistic first order modal logic possible worlds semantics In recent years modal syllogistic provided by 14th century logician John Buridan has attracted increasing attention of historians of medieval logic. The widespread use of quantified modal logic with the apparatus of possible worlds semantics in current analytic philosophy has encouraged the investigation of the relation of Buridan’s theory of modality with the modern developments of symbolic modal logic. We focus on the semantics of and the inferential relations among the propositions that underlie Buridan’s theory of modal syllogism. First, we review all inferences between propositions of necessity, possibility, contingency, and non-contingency, with or without quod est locution, that are valid in Buridan’s semantics, and offer a comprehensive diagrammatic representation that includes them all. We then ask the question if there is a way to model those results in first order modal logic. Three ways of formalizing Buridan’s propositions in quantified modal logic are considered. Comparison of inferences between the quantified formulas and Buridan’s propositions reveals that, when supplied with a suitable formalization, Buridan’s semantics of categorical statements and immediate inferences among them can be fully captured by the quantified modal system T. 2022 artículo científico 1392-1126 https://www.redalyc.org/articulo.oa?id=694573720003 https://www.redalyc.org/journal/6945/694573720003/ https://www.redalyc.org/journal/6945/694573720003/html/ https://www.redalyc.org/journal/6945/694573720003/694573720003.epub https://www.redalyc.org/journal/6945/694573720003/movil https://doi.org/10.15388/Problemos.101.3 en http://www.redalyc.org/revista.oa?id=6945 Problemos application/pdf Vilniaus Universitetas Problemos (Lituania) Vol.101 |
| title | Inferences Between Buridan’s Modal Propositions |
| topic | Filosofía Buridan’s logic modal syllogistic first order modal logic possible worlds semantics |
| url | https://www.redalyc.org/articulo.oa?id=694573720003 https://www.redalyc.org/journal/6945/694573720003/ https://www.redalyc.org/journal/6945/694573720003/html/ https://www.redalyc.org/journal/6945/694573720003/694573720003.epub https://www.redalyc.org/journal/6945/694573720003/movil https://doi.org/10.15388/Problemos.101.3 |