×

否定澳大利亚的计划。 (英语) Zbl 1457.03007号

摘要:我们提出并捍卫澳大利亚计划中的否定语义。这是一个全面的帐户,适用于各种不同的逻辑。它基于两个想法。首先,否定是一种表达排斥的手段:我们说否定是为了表达不相容。第二个是,因为incompat可行性是模态的,否定也是模态运算符。然后,它可以被建模为框架中点上的量词,受到表示这些点之间兼容性和不兼容性的可访问性关系的限制。我们平息了美国否定计划支持者对该计划提出的许多反对意见,在该计划中,否定是通过多值语义处理的。我们表明,澳大利亚计划比美国计划具有实质性优势。

MSC公司:

03A05号 逻辑和基础的哲学和批判性方面
03B45号 模态逻辑(包括规范逻辑)
03B50号 多值逻辑
03B47号 子结构逻辑(包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Barwise,J.和Etchemendy,J.(1990年)。信息、信息和推理。在Cooper,R.、Mukai,K.、Perry,J.(编辑)《情境理论及其应用》(第1卷,第22期,第33-78页)中。斯坦福大学。
[2] Barwise,J.和Perry,J.(1983年)。情境和态度。布拉德福德的书。麻省理工学院出版社·Zbl 0946.03007号
[3] Beall,J.C.(2009年)。真理的延伸。牛津:牛津大学出版社·Zbl 1067.03500号 ·doi:10.1093/acprof:oso/9780199668733.0001.0001
[4] 比尔,JC;Restall,G.,逻辑多元主义,《澳大利亚哲学杂志》,78,475-493(2000)·Zbl 1374.03001号 ·doi:10.1080/00048400012349751
[5] Beall,JC和Restall,G.(2006年)。逻辑多元化。牛津:牛津大学出版社·Zbl 1374.03001号
[6] Berto,F.,Adynaton和物质排斥,《澳大利亚哲学杂志》,86,165-90(2008)·doi:10.1080/0048400801886199
[7] Berto,F.,《绝对矛盾、二元论和复仇》,《符号逻辑评论》,第7期,193-207页(2014年)·Zbl 1329.03011号 ·doi:10.1017/S175502031400001X
[8] Berto,F.,《被称为“否定”的情态》,《心灵》,124761-793(2015)·doi:10.1093/mind/fzv026
[9] Birkhoff,G。;冯·诺依曼,J.,《量子力学的逻辑》,《数学年鉴》,37823-843(1936)·JFM 62.1061.04标准 ·doi:10.2307/1968621
[10] 布兰登,R.B.(1994)。使其明确。哈佛大学出版社。
[11] Brandom,R.B.(2000年)。清晰的原因:推论简介。哈佛大学出版社。ISBN 0674001583。
[12] De,Michael;Omori,Hitoshi,《否定多于模态》,《哲学逻辑杂志》,47,281-299(2017)·Zbl 1436.03032号 ·doi:10.1007/s10992-017-9427-0
[13] 邓恩,JM;周,C.,《盖格尔理论背景下的否定》,Studia Logica,80,235-64(2005)·Zbl 1097.03015号 ·doi:10.1007/s11225-005-8470-y
[14] Dunn,J.M.(1993)。部分格格应用于结构规则受限的逻辑。在Schroeder-Heister,P.和Došen,K.(编辑)《亚结构逻辑》:牛津大学出版社·Zbl 0941.03521号
[15] Dunn,J.M.(1994)。星号和perp:否定的两种处理方式。在汤柏林,J.E.(编辑)哲学观点。http://www.jstor.org/stable/2214128(第7卷,第331-357页)。阿塔斯卡德罗:里奇维尤出版公司。 ·doi:10.2307/2214128
[16] Dunn,J.M.(1996)。广义正交否定。在Wansing,H.(Ed.)《否定:焦点中的概念》(第3-26页)中。柏林:Walter de Gruyter·兹伯利0979.03027
[17] Novaes,C.D.(2007年)。矛盾:对次协调逻辑的真正哲学挑战。在Béziau,J.Y.,Carnielli,W.,Gabbay,D.(编辑)《副一致性手册》(第477-92页)中。伦敦:学院出版物·Zbl 1230.03017号
[18] Fine,K.(2009年)。本体论问题。Chalmers,D.、Manley,D.、Wasserman,R.(编辑)《形而上学》(第157-77页)。克拉伦登。
[19] Fitting,Melvin,Bilattices and the semantics of logic programming,《逻辑编程杂志》,11,91-116(1991)·Zbl 0757.68028号 ·doi:10.1016/0743-1066(91)90014-G
[20] Goldblatt,R.,《直系逻辑的语义分析》,《哲学逻辑杂志》,319-35(1974)·Zbl 0278.02023号 ·doi:10.1007/BF00652069
[21] Grim,P.(2004)。什么是矛盾?在Priest,G.,Beall,J.C.,Armour-Garb,B.(编辑)《非传统法则》(第49-72页)中。克拉伦登·Zbl 1061.03009号
[22] Incurvati,L。;Schlöder,JJ,弱拒绝,《澳大利亚哲学杂志》,95,741-760(2017)·doi:10.1080/00048402.2016.1277771
[23] Kripke,S.(1965年)。直觉逻辑的语义分析。在Crossley,J.和Dummett,M.A.E.(编辑)《形式系统和递归函数》(第92-130页)中。阿姆斯特丹:North-Holland出版社·Zbl 0137.00702号
[24] Kripke,S.(1980)。命名和必要性。牛津:布莱克威尔。
[25] Lewis,D.K.(1973)。反事实。牛津:布莱克威尔。
[26] Mares,ED,R的无星语义,符号逻辑杂志,60579-590(1995)·Zbl 0833.03008号 ·doi:10.2307/2275852
[27] Mares,E.D.(2004)。相关逻辑。哲学解释。剑桥:剑桥大学出版社。 ·doi:10.1017/CBO9780511520006
[28] RK梅耶;Martin,EP,《澳大利亚计划的逻辑》,《哲学逻辑杂志》,第15期,第305-332页(1986年)·Zbl 0614.03006号 ·doi:10.1007/BF00248574
[29] Price,H.,为什么“不”?,心智,99221-38(1990)·doi:10.1093/mind/XCIX.394.221
[30] 牧师G.(2008)。非经典逻辑导论,第2版。2008年第卷。剑桥:剑桥大学出版社·Zbl 1148.03002号
[31] Restall,G.,相关逻辑的四值语义(及其一些竞争对手),《哲学逻辑杂志》,24139-69(1993)·Zbl 0815.03014号 ·doi:10.1007/BF01048529
[32] Restall,G.(1995)。信息流和相关逻辑。Seligman,J.和Westerstáhl,D.(编辑)《逻辑、语言和计算:1994年莫拉加会议录》(第463-477页)·Zbl 0877.03015号
[33] Restall,G.(1999)。相关逻辑中的否定(我是如何停止担忧,学会爱上劳特利明星的)。在Gabbay,D.和Wansing,H.(编辑)中,什么是否定?(第53-76页)。多德雷赫特:克鲁沃·Zbl 0974.03026号
[34] Restall,G.(2000)。子结构逻辑导论。劳特利奇·Zbl 1028.03018号
[35] Restall,G.,《定义双重否定消去》,《IGPL的逻辑杂志》,第8期,第853-860页(2000年)·Zbl 0980.03033号 ·doi:10.1093/jigpal/8.6.853
[36] Restall,G.(2005)。多个结论。在Hájek,P.、Valdés-Villanueva,L.、Westerstáhl,D.(编辑)《科学的逻辑、方法论和哲学:第十二届国际大会议事录》(第189-205页):KCL出版物。http://consequently.org/writing/multipleconclusions。 ·兹比尔1105.03011
[37] Restall,G.,《真理值与证明理论》,Studia Logica,92,241-264(2009)·Zbl 1191.03042号 ·doi:10.1007/s11225-009-9197-y
[38] 里普利,D.,《切割的悖论和失败》,《澳大利亚哲学杂志》,91,139-164(2013)·doi:10.1080/00048402.2011.630010
[39] Routey,R。;RK Meyer,《蕴含的语义II》,《哲学逻辑杂志》,第153-73页(1972年)·Zbl 0317.02018号 ·文件编号:10.1007/BF00649991
[40] Routey,R.和Meyer,R.K.(1973年)。蕴涵的语义学I.Leblanc,H.(Ed.)《真理、句法和语义学》(第194-243页)。霍兰德北部·Zbl 0317.02017号
[41] Routley,R.,《完成的美国计划:相关逻辑和次一致逻辑的替代经典风格语义(无星)》,Studia Logica,43,131-158(1984)·Zbl 0583.03012号 ·doi:10.1007/BF00935746
[42] Routey,R。;罗特利,V.,《一级蕴涵的语义》,《Noös》,第6335-359页(1972)·Zbl 1366.03122号 ·doi:10.2307/2214309
[43] Robert C.Stalnaker,《条件理论》,41-55(1968),多德雷赫特·doi:10.1007/978-94-009-9117-0_2
[44] Tahko,T.,《作为形而上学原则的非传统法则》,《澳大拉西亚逻辑杂志》,第732-47页(2009年)·Zbl 1330.03027号 ·doi:10.26686/ajl.v7i0.1806
[45] Tennant,N.(1999)。否定、荒谬和矛盾。在Gabbay,D.和Wansing,H.(编辑)中,什么是否定?(第199-222页)。多德雷赫特:克鲁沃·Zbl 0981.03007号
[46] Tye,M.,《模糊物体,思维》,XCIX,535(1990)·doi:10.1093/分钟/XCIX.396.535
[47] Wansing,Heinrich,Negation,415-436(2017),英国牛津·Zbl 1010.03006号 ·网址:10.1002/9781405164801.ch18
[48] Wansing,H.,《建构否定、蕴涵和共同蕴涵》,《应用非经典逻辑杂志》,第18期,第341-364页(2008年)·Zbl 1181.03027号 ·doi:10.3166/1月18日.341-364
[49] 威金斯博士(2001年)。一致性和实质更新。剑桥:剑桥大学出版社。 ·doi:10.1017/CBO9780511612756
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。