Inferences Between Buridan's Modal Propositions.
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 investig...
| Publicado en: | Problems / Problemos Vol. 101; pp. 31 - 42 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Vilnius University
2022
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=156755881&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 156755881 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 13921126 3D4C jtl: Problems / Problemos issn: 13921126 maglogo: N pubinfo: dt: 2022 vid: 101 pid: 16037 pub: Vilnius University artinfo: ui: 156755881 10.15388/Problemos.101.3 ppf: 31 ppct: 11 formats: fmt: @attributes: type: P size: 1.6MB tig: atl: Inferences Between Buridan's Modal Propositions. aug: au: Dagys, Jonas Pabijutaitė, Živilė Giedra, Haroldas affil: Institute of Philosophy, Vilnius University su: Modal logic Syllogism Mathematical logic Fourteenth century Analytic philosophy Logic sug: subj: Modal logic Syllogism Mathematical logic Fourteenth century Analytic philosophy Logic keyword: Buridan's logic first order modal logic modal syllogistic possible worlds semantics galimų pasaulių semantika Jonas Buridanas modalinė predikatų logika modalinė silogistika ab: 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. Straipsnyje nagrinėjama XIV a. logiko Jono Buridano modalinė logika, pastaraisiais metais sulaukianti vis didesnio viduramžių logikos tyrėjų dėmesio. Šiuolaikinėje analitinėje filosofijoje plačiai naudojama modalinė predikatų logika, paremta galimų pasaulių semantika, paskatino kelti klausimus apie Buridano modalumų teorijos ir šiuolaikinės simbolinės modalinės logikos santykį. Straipsnyje tiriama Buridano modalinės silogistikos pagrindą sudarančių teiginių semantinė interpretacija ir tarp šių teiginių galiojantys išvedimo ryšiai. Pirmiausia aptariami išvedimai tarp būtinumo, galimumo, atsitiktinumo ir neatsitiktinumo teiginių (su ir be frazės quod est), kurie yra logiškai taisyklingi pagal Buridano aprašytą semantiką. Pateikiama išsami diagraminė visų išvedimo sąryšių reprezentacija. Siekiant nustatyti, ar esama tinkamo būdo Buridano gaunamus rezultatus išreikšti predikatų logikoje su modalumais, aptariamos trys literatūroje aptinkamos Buridano teiginių formalizacijos versijos. Palyginus taisyklingus išvedimus tarp kvantifikuotų formulių ir tarp Buridano modalinių teiginių, galima tvirtinti, kad Buridano teiginių semantika ir galiojantys tiesioginiai išvedimai gali būti adekvačiai perteikiami predikatų logikos su aletiniais modalumais (sistemos T) priemonėmis. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Problems / Problemos is the property of Vilnius University and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Problems / Problemos holder: Vilnius University dt: @attributes: year: 2022 holdings: @attributes: islocal: N |
|---|