A CONVERSE BARCAN FORMULA IN ARISTOTLE'S MODAL LOGIC

被引:0
|
作者
Kelly, Charles J. [1 ]
机构
[1] Le Moyne Coll, Dept Philosophy, Syracuse, NY 13214 USA
关键词
D O I
暂无
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
While critics correctly claim against Aristotle that universal affirmative and particular affirmative de re apodeictic propositions do not validly convert to a particular affirmative de re necessary counterpart, there is a type of valid convertibility for these propositions, a convertibility that at once reveals both an insight and a confusion on Aristotle's part, the confusion amounting at times to a fallacy of amphiboly. Recognition of this convertibility through the introduction of a "relational necessity" which is neither de dicto nor de re will resolve a longstanding anomaly generated by Aristotle's provocative claim that being white necessarily belongs to swans and to snow. By use of a modified Converse Barcan Formula, a distinctively Aristotelian ecthetic argument formally validating the apodeictic conversions is presented. Some implications of these results for the integrity and credibility of Aristotle's modal syllogistic are briefly mentioned.
引用
收藏
页码:3 / 18
页数:16
相关论文
共 50 条
  • [21] A satisfiability algorithm for multi-modal logic with converse
    Medina-Martinez, Diego
    Barcenas, Everardo
    Aldeco-Perez, Rocio
    Molero-Castillo, Guillermo
    Velazquez-Mena, Alejandro
    2023 11TH INTERNATIONAL CONFERENCE IN SOFTWARE ENGINEERING RESEARCH AND INNOVATION, CONISOFT 2023, 2023, : 246 - 255
  • [22] Prior, Berkeley, and the Barcan formula
    Levine, James
    SYNTHESE, 2016, 193 (11) : 3551 - 3565
  • [23] First order extensions of classical systems of modal logic: The role of the Barcan schemas
    Costa H.A.
    Studia Logica, 2002, 71 (1) : 87 - 118
  • [24] Aristotle's modal logic. Essence and entailment in the 'Organon' - Patterson,R
    vanRijen, J
    TIJDSCHRIFT VOOR FILOSOFIE, 1996, 58 (03): : 567 - 569
  • [25] Aristotle's modal logic. Essence and entailment in the 'Organon' - Patterson,R
    Crubellier, M
    REVUE DE METAPHYSIQUE ET DE MORALE, 1996, 101 (04): : 556 - 557
  • [26] Prior, translational semantics, and the Barcan formula
    Copeland, B. Jack
    SYNTHESE, 2016, 193 (11) : 3507 - 3519
  • [27] Modal syllogisms, possible worlds, essentialism. An analysis of Aristotle's modal logic - German - Nortmann,U
    Buddensiek, F
    ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1997, 51 (03): : 486 - 490
  • [28] Prior, translational semantics, and the Barcan formula
    B. Jack Copeland
    Synthese, 2016, 193 : 3507 - 3519
  • [29] Formula-Layered predicate modal logic
    Sun, Mei-Ying
    Deng, Shao-Bo
    Chen, Bo
    Cao, Cun-Gen
    Sui, Yue-Fei
    Ruan Jian Xue Bao/Journal of Software, 2014, 25 (05): : 1014 - 1024
  • [30] Formula size games for modal logic and μ-calculus
    Hella, Lauri T.
    Vilander, Miikka S.
    JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (08) : 1311 - 1344