雅罗斯拉夫·什兰科;海因里希·瓦辛 弹弓论证和句子同一性。 （英语） 兹比尔1178.03012 螺柱日志。 91，第3期，429-455（2009）. 由Church、Gödel、Quine和Davidson提出的著名的“弹弓”论点试图提供一个形式上的证据，证明Fregean的观点，即所有真句子都表示同一个对象，即真值真的本文讨论并驳斥了Wójtowicz关于弹弓论证是循环论证的指控。但作者承认，在Suszko开发的非Fregean逻辑的上下文中表述论点是有用的，该逻辑使用了一个额外的连接词，其中（a\equivB）直观地表示（a）和（B）表示相同的情况。弹弓论证的几个这样的版本都是在这种背景下发展起来的，并被认为能够经受住批评。证明了各种定理，这些定理精确地指出了弹弓论证所需的假设。技术结果和随之而来的讨论揭示了这一论点的可靠性。审核人：Ø伊斯坦·林内波（伦敦） 引用于1审查引用于5文件 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 关键词：弹弓式论证;句子同一性;非Fregean逻辑;事实;情境语义学;术语形成运算符;谓词抽象 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sharmko}和\textit{H.Wansing}，Stud.Log。91，第3号，429--455（2009；Zbl 1178.03012） 全文： 内政部 参考文献： [1] Avigad，J.和Zach，R.，“Epsilon微积分”，《斯坦福大学哲学百科全书》（2008年秋季版），Edward N.Zalta（编辑），URL=<http://plato.stanford.edu/archives/fall2008/entries/epsilon-calculus/ >. [2] Barwise J.、Perry J.：“语义天真和毫不妥协的情况”。中西部语言哲学研究VI，387–403（1981）·doi:10.1111/j.1475-4975.1981.tb00447.x [3] Barwise J.和J.Perry，《情境与态度》，麻省理工出版社，1983年·Zbl 0946.03007号 [4] Beaney，M.（编辑和翻译），《弗雷格读者》，布莱克威尔出版社，1997年。 [5] Carnap，R.，《语义学导论》，哈佛大学出版社，1942年·Zbl 0061.00708号 [6] Carnap，R.，《意义和必要性》。《语义学与模态逻辑研究》，芝加哥大学出版社，1947年·Zbl 0034.00106号 [7] Church A.：《鲁道夫·卡纳普评论，语义学导论》。《哲学评论》52，298–304（1943）·数字对象标识代码：10.2307/2180923 [8] Church，A.，《数理逻辑导论》，修订版和扩大版，普林斯顿大学出版社，1956年·Zbl 0073.24301号 [9] 戴维森·D·：“真理与意义”。合成17，304–323（1967）·doi:10.1007/BF00485035 [10] 戴维森·D·：“实事求是”。《哲学杂志》66，748–764（1969）·doi:10.2307/2023778 [11] Drai D.：“弹弓论证：改进版”。比率15，194-204（2002）·doi:10.1111/1467-9329.00184 [12] Dunn J.M.：“相关断言1：形式理论”。《哲学逻辑杂志》16，347–381（1987）·Zbl 0638.03003号 ·doi:10.1007/BF00431183 [13] Fitting M.和R.Mendelsohn，一阶模态逻辑，Kluwer学术出版社，1999年·Zbl 1025.03001号 [14] Föllesdal D.：“情境语义和“弹弓”论点”。埃尔肯特尼斯19、91–98（1983） [15] Frege，G.，“Function und Begriff”，Vortrag，gehalten in der Sitzung vom 9。1891年1月，Jenaischen Gesellschaft f“ur Medizin und Naturwissenschaft，H.Pohle，Jena，1891年。 [16] 弗雷格·G：“Un ber Sinn und Bedetung”。Zeitschrift f“ur Philosophie und Philophische Kritik你的哲学与哲学克里特100、25–50（1892） [17] Gödel，K.，“罗素的数学逻辑”，载于：P.A.Schilpp（编辑），《伯特兰·罗素的哲学》，西北大学出版社，125-1531944年。 [18] von Heusinger，K.、Salienz和Reference。Semantik Der Nominalphrase und refhorischer Pronomen中的Der Epsilonoperator，Studia Grammatica 43，Akademie Verlag，1997年。 [19] Hilbert，D.和P.Bernays，Grundlagen der Mathematik，Bd.2，施普林格出版社，1970年·Zbl 0191.28402号 [20] 刘易斯·C.I.：“意义的模式”。哲学与现象学研究4236-249（1943）·doi:10.2307/2103080 [21] 麦克法兰，J.，“斯蒂芬·尼尔评论，面对事实”，《圣母院哲学评论》，2002年（http://ndpr.nd.edu/review.cfm？id=1117 ). [22] McGinn C.：“关于弗雷格论点的注释”。心智85222-423（1976）·doi:10.1093/mind/LXXXV.339.422 [23] Neale S.：“哥德尔弹弓的哲学意义”。Mind 104、761–825（1995）·doi:10.1093/mind/104.416.761 [24] Neale，S.，《面对事实》，牛津大学出版社，2001年。 [25] Olson，K.，《关于事实的论文》，第6号讲稿，CSLI出版物，1987年。 [26] Omyła M.：“非弗雷琴逻辑语言中的可能世界”。逻辑、语法和修辞研究6（19），7-15（2003） [27] Omyła M.：“非Fregean逻辑评论”。逻辑、语法和修辞研究10（23），21-31（2007） [28] Oppy G.：“哥德尔弹弓在哲学上的无足轻重。对斯蒂芬·尼尔的回应”。《心灵》106、121–141（1997）·doi:10.1093/mind/106.421.121 [29] 佩里，J.，《逃避弹弓》，载于：A.克拉克，J.埃兹奎罗和J.拉拉扎贝尔（编辑），《哲学与认知科学》。类别、意识和推理，Kluwer学术出版社，1996年。 [30] 奎因，W.v.O.，“指称和情态”，收录于：W.v.O.奎因，《从逻辑的角度看》，哈佛大学出版社，139-1592953年。 [31] W.v.O.奎因（Quine），《单词和物体》，约翰·威利父子公司（John Wiley and Sons）和麻省理工学院出版社（MIT Press），1960年。 [32] Ruffino M.：“教会和哥德尔的弹弓论点”。摘要1，23–39（2004） [33] 罗素，B.，《数学哲学导论》，乔治·艾伦和安文，1919年。 [34] Searle，J.，“真理：对斯特劳森观点的重新思考”，载于：L.E.Hahn（编辑），P.F.斯特劳森的哲学，公开法庭，1995年。 [35] Suszko，R.，“Fregean公理的废除”，载于：R.Parikh（编辑），逻辑座谈会，数学课堂笔记453，Springer Verlag，169–2391975·Zbl 0308.02026号 [36] Suszko R.：“20世纪20年代的弗雷琴公理和波兰数学逻辑”。Studia Logica罗技研究36、373–380（1977）·Zbl 0404.03004号 ·doi:10.1007/BF02120672 [37] Wagner S.：“加州语义符合伟大事实”。《圣母院形式逻辑期刊》27，430–455（1986）·doi:10.1305/ndjfl/1093636684 [38] Widerker D.：“外延性论证”。努斯17，457–468（1983）·Zbl 1366.03151号 ·doi:10.2307/2215260 [39] Wilson G.：“关于确定性和不确定性描述”。《哲学评论》87，48–76（1978）·doi:10.307/2184347 [40] Wójcicki R.：‘R。Suszko的情境语义”。Studia Logica《逻辑研究》43、326–327（1984）·Zbl 0577.03033号 [41] Wójcicki，R.，逻辑微积分理论。《后果操作的基本理论》，Kluwer学术出版社，1988年·Zbl 0682.03001号 [42] Wójtowicz，A.，“弹弓论证和非弗雷根逻辑”，载于：A.Brozek，J.Jadacki和W.Strawinski（编辑），《华沙的逻辑、方法论和科学哲学》，第2卷，Wydawnictow Naukowe Semper，185-1922005年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。