×

传统亚里士多德逻辑中的典型三段论情绪。 (英语) Zbl 1361.03032号

摘要:最近介绍了一种基于范畴命题的两个性质和三个简单公理的范畴逻辑新的理论公式。这种表述方式可以抑制直接推理和中介推理之间的区别,也为研究对立关系提供了理论框架,从而恢复了传统亚里士多德逻辑的理论统一性。据报道,使用这种方法,在经典三段论中包含不定项时,总共可以找到3072个结论性三段论情绪,但这一结果尚未得到证实。本文概述了最近提出的范畴逻辑理论公式,以及能够生成3072个结论性语气的48个典型三段论语气的推导。

MSC公司:

03B65号 自然语言逻辑
03A05号 逻辑和基础的哲学和批判性方面
03G30型 分类逻辑,拓扑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 科雷亚·M·:波伊修斯的三段论。Anc.公司。菲洛斯。29, 391-405 (2009) ·doi:10.5840/辅助费城200929232
[2] Alvarez E.,Correia M.:不定项三段论。历史哲学。逻辑33,297-306(2012)·Zbl 1308.03002号 ·doi:10.1080/01445340.2012.680704
[3] 科雷亚,M.:《阿里斯托电视报》。智利圣地亚哥智利爱迪生大学(2003年)·Zbl 1308.03002号
[4] Béziau,J.-Y.,Gerogiorgakis,S.(编辑):对立广场的新维度。Philosophia Verlag,慕尼黑(2016)·Zbl 1315.03038号
[5] 罗斯·W.D.:亚里士多德的前后分析。牛津克拉伦登出版社(1949)
[6] Wallis,J.:物流研究所。牛津(1687)
[7] 逻辑博物馆(2016)。http://www.logicmuseum.com/wiki/Sylogism。2016年9月访问·Zbl 1308.03002号
[8] 彼得森,P.L.:中间量词:逻辑、语言学和亚里士多德语义学。阿什盖特,奥尔德肖特(2000)·Zbl 1250.03046号
[9] MurinováP.,Novák V.:广义中间三段论的形式理论。模糊集系统。186, 47-80 (2012) ·Zbl 1250.03046号 ·doi:10.1016/j.fss.2011.07.004
[10] MurinováP.,Novák V.:广义中间三段论的结构。模糊集系统。247, 18-37 (2014) ·Zbl 1334.03024号 ·doi:10.1016/j.fss.2014.01.009
[11] MurinováP.,Novák V.:使用中间量词分析广义对立平方。模糊集系统。242, 89-113 (2014) ·Zbl 1315.03038号 ·doi:10.1016/j.fss.2013.05.006
[12] MurinováP.,Novák V.:模糊自然逻辑中带有中间量词的三段论和5平方对立。Logica Universalis 10,339-357(2016)·Zbl 1396.03061号 ·doi:10.1007/s11787-016-0146-z
[13] 彼得森·P.L.:关于“少”、“多”和“多”的逻辑。圣母院J.形式逻辑20155-179(1979)·Zbl 0299.02012 ·doi:10.10305/ndjfl/1093882414
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。