弗朗西斯科·贝尔托;格雷格·雷斯塔尔 否定澳大利亚的计划。 (英语) Zbl 1457.03007号 J.菲洛斯。日志。 48,第6期,1119-1144(2019). 摘要:我们提出并捍卫澳大利亚计划中的否定语义。这是一个全面的帐户,适用于各种不同的逻辑。它基于两个想法。首先,否定是一种表达排斥的手段:我们说否定是为了表达不相容。第二个是,因为incompat可行性是模态的,否定也是模态运算符。然后,它可以被建模为框架中点上的量词,受到表示这些点之间兼容性和不兼容性的可访问性关系的限制。我们平息了美国否定计划支持者对该计划提出的许多反对意见,在该计划中,否定是通过多值语义处理的。我们表明,澳大利亚计划比美国计划具有实质性优势。 引用于1审查引用于11文件 MSC公司: 03A05号 逻辑和基础的哲学和批判性方面 03B45号 模态逻辑(包括规范逻辑) 03B50号 多值逻辑 03B47号 子结构逻辑(包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑) 关键词:否定;兼容性语义;克里普克语义学;非经典逻辑;多值逻辑;模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{F.Berto}和\textit{G.Restall},J.Philos。日志。48,第6号,1119--1144(2019;Zbl 1457.03007) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。