普特南量子逻辑思想的演变

普特南曾提出“逻辑是经验的”这一惊世骇俗的论题。他主张，正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样，量子力学也意味着量子逻辑才是隐藏在经典逻辑背后的“真逻辑”。然而鲜为人知的是，普特南口中的“量子逻辑”这一概念曾经历过重大的转变。但是概念的修正并没有帮助普特南成功地论证量子力学命题真值的实在性，并且他最后也不得不承认非欧几何与量子逻辑的类比是不妥当的。应该说，普特南的工作确实说明量子逻辑可以提供同样好的量子力学解释，不逊色于保留经典逻辑的解释；但量子逻辑并不是唯一的“真逻辑”,无论是否局限在量子逻辑的范围内，围绕着量子力学解释的逻辑系统都是支持着逻辑多元主义的。     

量子逻辑解释优于哥本哈根解释吗——围绕投影法则的争论

弗里德曼和普特南认为,哥本哈根解释只能特设性地引入投影法则来符合实验事实,然而由量子逻辑则可以推导出投影法则,因此量子逻辑解释比哥本哈根解释更加优越.这一论断提出后不久就遭到了许多学者的反驳.海尔曼认为由量子逻辑推导投影法则的过程也是特设性的,巴布则认为由哥本哈根解释也可以推导出投影法则.随后,斯戴尔斯提出了由哥本哈根...     

论哈克的逻辑可修正性思想

哈克在继承皮尔士、蒯因、普特南等人的思想基础之上,主张更加彻底的实用主义逻辑观,先后至少提出了五个主要论证:实用主义论证、演绎问题论证、发生学论证、认识论论证和历史学论证,分别给出了经验决定的不充分性、演绎的不可绝对证成性、形式化方法的固有局限性、认知主体理性的有限性和逻辑历史的曲折多样性等五个基本理由,从不同角度捍卫了逻辑的可修正性。     

普特南对逻辑实证主义的批判

意义概念和合理性概念是逻辑实证主义学派的核心概念。逻辑实证主义者提出了意义的证实理论,并且试图将这样的理论运用于心灵哲学之中,他们还试图将合理性概念做理论化的处理。普特南指出逻辑实证主义者误用了意义的概念,没有认真地考察、研究语义学,忽略了意义概念的日常习惯用法。普特南认为逻辑实证主义重新解释科学的倾向恰恰是逻辑实证主义运动出现失误的根源。他们对于合理性概念的处理也陷入了形而上学的泥沼之中,是一种自相反驳的方法。这样的分析是一种深刻的洞见。     

规范理论解释和结构实在论

随着量子规范场论和粒子物理标准模型的成功,对规范理论进行解释成为了物理哲学和科学哲学的紧迫任务.目前,美国科学哲学家希利从经典规范理论的非局域规范势属性观角度发展和乐解释.遗憾的是,把这种和乐解释推广到量子化的规范场论时却遇到圈表象自身的困难,特别是和乐解释中的圈表象的非局域性跟量子力学福克表象中希尔伯特空间粒子的局域性不一致问题.论文在比较规范理论解释和量子引力的结构实在论解释基础上,根据建构性的结构实在论对和乐解释的困境进行分析,认为规范理论解释最好按照从量子规范理论到经典规范理论的路线可能找到新的出路,包括从中深究规范场论跟量子力学的关系问题.     

审视逻辑相对主义——以关于阿赞德逻辑的争论为例

逻辑相对主义观点是指不同的文化也许根据不同的逻辑规则进行推理。来自人类学关于偏远民族的调查引起了是否存在不同于西方逻辑的其他逻辑的争论。以关于阿赞德逻辑的争论为例进行分析,表明争论的缘起在于用西方形式逻辑的视角讨论特定文化的实践推理。从一种非形式逻辑的视角分析阿赞德推理,则引起争论的疑惑点得以解释与澄清。     

主体与真理之间:量子力学解释的齐泽克路径

斯洛文尼亚哲学家齐泽克近期著作已经越来越侧重对量子力学的哲学思考。在齐泽克看来,量子力学带来的观念冲击并没有在实质上改变借助经典物理学形成的现代哲学观念,因而也就不能对量子力学形成合理的哲学解释。主体在传统自然科学与量子力学研究中截然不同的地位实际上迫使哲学家用一种新的视角去看待主体与真理。齐泽克通过对德国古典哲学、拉康精神分析的创造性解读,认为主体与经典科学观念都是在拉康意义上的象征界构建起来的,而量子物理的出现使得这种符号构建的虚假一致性凸显出来,因而谢林对"存在"与"存在根基"、拉康对"象征界"与"实在界"的区分可以作为理论参照点,实现对历时性宇宙诞生、共时性量子世界到经验实在的统一哲学解释。     

论量子测量解释中的实在观

本文通过对不同量子测量解释的共同基本特征的考察,系统地阐述了量子测量解释中隐含的实在观的三个基本信条,(1)在本体论意义上,承认世界的独立存在性;(2)可以对物理过程进行统计因果性的说明;(3)物理世界具有非分离性或整体性.提出了以这种整体性实在观为前提,对量子力学的实在论解释要求重新审查传统真理观的观点.     

形式系统语义解释的逻辑与限度

形式系统超前于语义解释的逻辑关系使形式释义成为必要。形式释义是科学解释中对定律解释具有决定作用的部分，其逻辑过程在宏观上显现为“解释者的前理解——形式系统——经验事实”的模式，在微观上则可用P1—TT—EE—P2来描述。形而上学信念是形式释义的出发点和终极理由，形式释义的这种限度可以在人的历史性中获得理性的理解与解释。     

现当代多值逻辑的主要技术成果和语义哲学基础

多值逻辑是取三个以上真值的非经典逻辑,寻找可靠的哲学基础和语义解释是多值逻辑研究的重要课题。随着多值逻辑研究成果的日益丰富,有些逻辑哲学问题可以得到澄清,而有些新问题逐渐显现出来。本文在对多值逻辑现当代主要研究成果给以整理的基础上,将对多值逻辑的语义解释困难和哲学基础问题进行分析。在分析中得出这样的结论:多值逻辑难以找到普遍适用的语义解释,但是可以有完美的局部解释,这种情况与经典逻辑类似,因此多值逻辑与经典逻辑一样有哲学基础。     

论逻辑的自然与自然的逻辑

"能高度逻辑地思维"是智慧与非智慧的唯一区别与分水岭,而人类能逻辑地思维是长期进化自然形成的。人类一旦学会逻辑地思维,其认知的获取与传承也根据逻辑而进行,人类认知的逻辑传承就成为自然而必然。由此,不仅存在人类认识自然的相同逻辑范式,而且一切自然皆逻辑,自然是逻辑的标准。     

论中国逻辑与中国传统数学

中国传统数学受到了中国逻辑尤其是墨家逻辑的影响,形成了自己的推理方法体系--以"以类合类"为方法论基础,以"类"和"分类"为推理的核心成分,以"推类"为主导推理范式.这一方法体系,在相当长的时期内使中国传统数学处于世界的领先地位,因此,可以下这样的结论:中国逻辑不是阻碍中国传统数学进一步发展的因素,中国传统数学自身逻辑思路也不是制约中国传统数学发展的原因.     

试论逻辑哲学的中心问题

波普尔曾经指出,科学哲学的诸多问题中存在着一个中心问题,这就是科学知识增长的问题。在我们看来,逻辑哲学中同样存在一个中心问题。那就是形式系统内的推理有效性是否恰当地符合非形式原型的问题,亦即恰当性问题。整个逻辑哲学都是围绕着逻辑系统内有效的形式推理如何与系统外的非形式原型恰当相符这个问题展开的,其他问题都是由此派生出来的。     

Systems of Logical Systems: Neuroscience and Quantum Logic

Nervous systems are intricately organized on many levels of analysis.The intricate organization invites the development of mathematicalsystems that reflect its logical structure. Particular logical structures and choices of invariants within those structures narrowthe ranges of perceptions that are possible and sensorimotorcoordination that may be selected. As in quantum logic, choicesaffect outcomes. Some of the mathematical tools in use in quantum logic havealready also been used in neurobiology, including the mathematicsof ordered structures and a product like a tensor product. Astheoretical neurobiology is developed on its own foundation, wemay expect a rich dialogue between theoretical neurobiology andquantum logic.     

逻辑学的革命:从形式逻辑到价值逻辑

形式逻辑处理的对象主要是超主体的、客观的事实问题,是一种无主体逻辑、必然性逻辑、静态化逻辑、程式化逻辑。由于事实与价值存在深刻的异质性,因而不可能简单地照搬、套用形式逻辑处理主体性、相对性的价值问题。由于逻辑是对人的生活实践的提炼与总结,生活实践中关于事实和价值问题的思考,对于各种事实和价值问题的解决,都可以并且应该上升、提炼、总结为逻辑的格、式与规律、规则,从而实现逻辑学的发展和飞跃。立足人们的价值生活实践,处理价值现象、反映价值思维的价值逻辑应具有如下基本特性:实践性、主体性、具体性、生成性。     

国内模态逻辑哲学问题研究述评

针对模态逻辑哲学的主要研究内容——模态逻辑和哲学的关系、模态逻辑的合法性论争、可能世界问题以及模态语境问题等,本文述评了国内学者陈波、张家龙等人的观点。笔者认为随着一些模态逻辑技术为国内学者所掌握,更多的模态逻辑哲学问题将会引发学界的讨论。     

科学普适性信念批判的SLK进路研究及其意义

西方学术传统所坚持的科学普适性信念,多年来受到来自数学哲学、物理哲学等多条进路的批判。布鲁尔的SSK思想也是对这种信念的一种批判,作为其SSK组成部分的SLK思想,是这种批判的集中体现。他以逻辑学这门硬科学为例,从逻辑基础和逻辑规则社会性两个方面,提供了对于科学普适性信念更为深入的批判路径,从而导致了科学形象的极大变革。     

归纳逻辑研究述评

本文首先对国外卡尔纳普、波普尔、欣迪卡、莱维与赖兴巴赫等的归纳逻辑研究和国内鞠实儿、陈克艰、李小五、熊立文、陈晓平与刘壮虎等的归纳逻辑研究进行了述评,接着就归纳逻辑是否逻辑的两种争论进行了述评。作者认为,虽然归纳逻辑的基础理论研究似乎已经走入低谷,但其应用研究却方兴未艾。     

Contemporary Epistemic Logic and the Lockean Thesis

This paper studies the Lockean thesis from the perspective of contemporary epistemic logic. The Lockean thesis states that belief can be defined as ‘sufficiently high degree of belief’. Its main problem is that it gives rise to a notion of belief which is not closed under conjunction. This problem is typical for classical epistemic logic: it is single-agent and static. I argue that from the perspective of contemporary epistemic logic, the Lockean thesis fares much better. I briefly mention that it can successfully be extended from single-agent to multi-agent settings. More importantly, I show that accepting the Lockean thesis (and a more sophisticated version for conditional beliefs) leads to a significant and unexpected unification in the dynamic behavior of (conditional) belief and high (conditional) probability with respect to public announcements. This constitutes a methodological argument in favor of the Lockean thesis. Furthermore, if one accepts Baltag’s Erlangen program for epistemology, this technical observation has even stronger philosophical implications: because belief and high probability display the same dynamic behavior, it is plausible that they are indeed one and the same epistemic notion.     

历史的逻辑理性--科学哲学理性的未来转向

西方现代科学哲学理性经历了从逻辑理性到历史理性的演进。逻辑理性和历史理性存在一定的合理性的同时,也存在自身无法克服的局限性。科学哲学的进一步发展表明,科学哲学理性的未来转向应是将二者统一的“历史的逻辑理性”。正确把握历史的逻辑理性的关键是如何理解历史。从归根到底的意义上看,历史的本质是实践的。历史的逻辑理性将是科学哲学理论的生长点。