×

亚里士多德的逻辑方阵之前。 (英语) Zbl 1396.03071号

摘要:本文介绍了Prior未发表的论文亚里士多德论逻辑方格,存放在Bodleian图书馆,讨论了Greniewski对\(\square\)算子的定义H.格雷涅夫斯基在他的论文“Próba’odmłodzenia'kwadratu logicznego”(波兰语)中介绍,Stud.Log。第1期,第276–286页(1953年)]。这是一次独特的尝试,旨在将反对派的广场正式化。这里也提到了本迪克的评论,它是格雷涅夫斯基和普赖尔论文之间的重要中介。格雷涅夫斯基的主要动机是复兴传统的反对方,以使反对方更加精确。他没有调查反对派广场的历史。Prior的方法与Greniewski的方法有很大不同,因为他对Greniewsbi算子的分析基于亚里士多德对对立平方的定义。由于Greniewski和Prior的目的不同,以及他们的不同方法可能导致Prior试图将Greniewski算子近似为亚里士多德对对立平方的定义,因此产生了一些疑问。

MSC公司:

03B60号 其他非经典逻辑
03B45号 模态逻辑(包括规范逻辑)
03-03 数学逻辑和基础的历史
01A60型 20世纪数学史
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 亚里士多德。(1959). O vyjadřování。普拉哈:Nakladatelstvíc eskoslovenskéAkademie věd。
[2] 亚里士多德。(1961). 普里夫·安娜莉提基(PrvníAnayltiky)。普拉哈:Nakladatelstvíc eskoslovenskéAkademie věd。
[3] 约翰内斯·本迪克。(1955). 评论:Henryk Greniewski,Versucheiner“Verjungung”des Logischen Quadrates。符号逻辑杂志,20(1),83-84。
[4] Copeland,B.J.(2008)。亚瑟之前。在爱德华·扎尔塔(Edward N.Zalta)《斯坦福大学哲学百科全书》中,http://plato.stanford.edu/archives/fall2008/entries/previous/(http://plato.stanford/edu/archases/fall2008)。
[5] PT Geach;AJP Kenny;Prior,AN(编辑),简介,7-11(1976),伦敦·兹比尔1356.28003
[6] Greniewski,H.(1953年)。普洛巴·奥德梅·奥德泽尼亚(Próba'odmłodzenia'kwadratu logicznego)。逻辑研究所,1(1),276-286·doi:10.1007/BF0227290
[7] Greniewski,H.(1955年)。元素逻辑形式。华沙:巴恩斯特沃威·维达尼奇顿·瑙科维·Zbl 0068.01001号
[8] Parsons,T.(2014)。”《反对党的传统广场》(The Traditional Square of Opposition),摘自《扎尔塔》(In Zalta),爱德华·N(Edward N.)(编辑),《斯坦福大学哲学百科全书》(2014年春季编辑)。http://plato.stanford.edu/archives/spr2014/entries/square/。2014年6月4日查阅·Zbl 1140.03301号
[9] Prior,A.N.(1955)。形式逻辑。牛津:克拉伦登出版社·Zbl 0067.24903号
[10] Prior,A.N.(1962)。Wspólczesna logika w Anglii公司。Ruch Filozoficzny,21(3),251-256。
[11] Prior,A.N.(1976年)。在P.T.Geach和A.J.P.Kenny(编辑)《命题和术语的原则》中。伦敦:达克沃思·Zbl 1279.03011号
[12] Trzęsigi,Kazimierz。(2010). 亨利克·格雷涅夫斯基(Henryk Greniewski,1903-1972)。http://logika.uwb.edu.pl/ptlifn/doc/histica/hg.pdf。2014年6月2日查阅。
[13] Uckelman,S.L.(2012)。亚瑟·普赖尔和中世纪逻辑。合成,188(3),349-366·Zbl 1279.03011号 ·doi:10.1007/s11229-011-9943-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。