Fitch-悖论的直觉主义逻辑解决方案探析

Fitch-悖论从可知性原则和"非全知"的观点出发,导出结论"每个真理事实上被知道",该结论对反实在论提出了严苛的挑战。以T.Williamson为代表的反实在论者采用直觉主义逻辑,并根据双重否定消去规则失效的原理,成功地避免了该结论的出现。然而,直觉主义逻辑的解决方案并非无懈可击,它面临着不同的责难。反实在论者如果把研究重点转向Fitch-悖论的实质——模态算子◇的消失,或许对完善其直觉主义逻辑解决方案有所裨益。     

"可知性悖论"、"突击考查悖论"试解--对向可知论挑战的挑战

1 “可知性悖论”是建立在对可知论的歪曲的基础之上的。2 “可知性悖论”认为,同时接受可知性原理和“非全知假设”会导致逻辑矛盾。实际上是因为在这种逻辑推导中,作为论证总前提的非全知假设的符号公式“ q(q∧┑Kq)”是错误的———它本身是一个包含逻辑矛盾的恒假命题。3 学生对老师所说的那种事先无法预料的“突击考查”的有关论证是有漏洞的,因为它是片面的。4 “突击考查悖论”认为,学生不可能知道老师的断定是真实的,假设学生知道老师的断定是真实的会导致矛盾,这也是错误的。这种错误的根源在于把老师的断定错误地分析为支命题是联言命题的选言命题(其实,老师的断定应是支命题为假言命题的联言命题 ),并且这种作为支命题的联言命题都是包含有逻辑矛盾的。     

世界可知性问题阐释的历史演进

世界可知性问题作为哲学基本问题的重要方面始终是哲学研究的重心之一 ,历史上不同的哲学家有不同的阐释。这种阐释大致有本体论 ,语言论和实践论三个阶段 ,只有马克思主义实践论阐释才提供了理解世界可知性问题的科学视域     

戴维森、达米特的实在论、反实在论之争的形而上学渊源

西方形而上学整体演进的理论视域下,实在一词具有核心性价值。当代实在论、反实在论思想的特定形态,是由哲学传统中不同形态的本体论,经过认识论的过渡,最终转向语言从而生成的。这为西方形而上学发展脉络的明晰提供了关键支撑。代表不同哲学发展阶段具体形态的实在论思想,定会引发与之对应的反实在论。这种构成各个阶段的形而上学主题的方式,应被视为“实在—反实在”哲学范式。西方形而上学的整体发展在这一独特视角下呈现为二者具体理论形态之演进。戴维森、达米特的实在论、反实在论之争是以此为理论渊源,基于现代逻辑、当代意义理论的新进展所形成的西方哲学后语言转向的新产物。继弗雷格、维特根斯坦之后,戴维森、达米特开启的基于意义与真的实在问题之争,决定了各类不同程度、形态的实在论观点所坚守的共同理论底线。这一理论临界点和论争焦点就是是否坚持二值原则。     

伯特兰悖论解析

伯特兰悖论对概率论的经典原则——无差别原则提出了质疑.通过对伯特兰悖论进行拓展,并构造类伯特兰悖论,可以清晰地展示伯特兰悖论的推理结构,并发现悖论产生的根本原因.伯特兰悖论的构造过程混淆了变量本身的概率和变量相应的函数的概率.与变量相关的不同函数的概率可能是不同的;并且由于函数的不同,各种值的概率都是可能的,具体概率值的多少是由函数的性质决定的.伯特兰悖论严格的推理结构存在不同的前提条件,得出的结论并不会导致矛盾,因此伯特兰悖论不是悖论,它不能对无差别原则形成质疑.     

实用与实在：新实用主义观点概述

实在论与反实在论的纷争主要集中在语义学、认识论和本体论三个方面的分歧。实在论与反实在论在这三方面的互文概述,以及老实用主义与新实用主义的互文概述,表明与实在论所依据的基础主义原则不同,新实用主义秉持着与反实在论相似的背景主义原则;与老实用主义所凭依的心理学行为主义原则相佐,新实用主义则作为分析哲学的继续和变异,注重语言和行为主义的语义语用学原则的基础性地位。     

带有口音的英语可知性的对比研究——中国、荷兰、美国英语发音人的相互可知性研究

从带有荷兰口音、汉语口音的英语与美国英语本族语的英语的对比看带有汉语口音的中国人的英语在欧美环境下的可知情况.可知性的测试在音段、词汇以及句子层面展开.发音人与听音人在三个不同的语言背景中精心选出.研究结果表明语音的正确感知与三个层面都具有相关性.发音人与听音人基本上以中国人<荷兰人<美国人的顺序排列.当发音人和听音人共有同一母语时,可知性值相对高出.     

无差别原则相关悖论多解的本质意义——以酒水悖论、贝特朗悖论为例

酒水悖论和贝特朗悖论是与无差别原则相关的悖论.就无差别原则如何应用于悖论的每个算法的问题进行剖析,探讨无差别原则使用的合理性,以及悖论产生多解的本质原因与意义.在指出酒水悖论的错误在于运用无差别原则时前后没有统一基准后给予正确解答,阐述贝特朗悖论5个解的含义,指出其中3个经典解是在不同思路下正确地运用了无差别原则,其多解的本质原因并非是无差别原则的误用或滥用,而是确定前提和转化问题时出现分歧.理清这两个悖论产生多解的本质原因有助于巩固无差别原则作为逻辑解释确定初始概率基本原则的基础.     

论逻辑真理的范围

通过考察两大类逻辑系统:实在论逻辑系统和反实在论的逻辑系统,发现Henkin的方法能够给出这些系统的完全性证明.用这种方法可以构造出包含所有系统逻辑真理的集合,而这个集合就是逻辑真理的范围.所以完全性是一个划分逻辑真理和非逻辑真理的标准.     

塑造论哲学与物理实在问题的研究

“实在”的观念是确认客观性原则合理性的前提,亦是深入把握客观性原则的关键。波尔等人建立在量子力学之上的物理实在观对传统的实在观提出了严峻挑战,如何理解传统实在观在现代物理学中面临的困难,以及它在什么意义上走向反实在论,从而修改和补充我们的实在观念以涵盖具有特异性质的微观实在,驳斥反实在论者的挑战,是实在论者的一项紧迫而必做的任务。而塑造论哲学提供了一种崭新的研究视域。