语用否定的逻辑分析

语用否定使人们对否定的认识进一步拓宽,本文运用现代逻辑方法对否定预设和否定话涵这两种重要的语用否定进行了细致的分析.认为否定预设可运用三值逻辑和"否定的几何图"来描述,而否定话涵则要针对四种不同的情况给予具体的分析.语用否定更新了人们关于否定的传统观念,使我们看到否定角度和否定方式的多维性.     

试谈微分学的揭秘问题

微分学采用的是"纯粹数学"的抽象研究方法,尽管能得到正确结果,却变成"神秘的东西".这种神秘性是科学尚未从神学中解放出来的象征,现在是彻底揭开这个秘密的时候了.地球和太阳系是在时间进程中形成的.微分现象是物质运动的规律性在人们头脑中的反映.微分的运算过程是"否定之否定".变数的数学-微积分本质上说是辩证法在数学方面的运用.     

论可能世界集合的封闭性与否定联结词的关系

本文对经典否定联结词真值函项的研究表明：该函项是否成立依赖于可能世界集合是否完备。但是，进一步研究的结论是：单纯通过概括原则确定的可能世界集合具有虚拟的完备性，定义在其上的命题并不具有明确的意义；同时，可能世界集合的穷举问题在逻辑学范围内不可解。为了描述可能世界集合的逻辑性质，本文在上述研究的基础上，提出了封闭世界和开放世界预设。最后，作为主要结果，本文证明：（1）有前一预设下，经典逻辑的否定词真值函数成立。（2）在后一预设下，否定联结词的真值函项具有非经典的特性，即：当语句p为真时，否定p为假；而p为假时，否定p既不真也不假。上述结果为构造一种非规范的3－值逻辑系统（鞠实儿，1997）提供了哲学基础。     

算法、图灵机、哥德尔定理与知识的不确定性

知识论一直是在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而，即使在处理抽象的数量概念的数学基础研究中，也不能达到最终逻辑证明的确定性。图灵对停机问题的算法步骤的否定回答、哥德尔定理对真理的“不可证明性”的确立，使我们不得不面对知识中逻辑证明背后不确定性的东西。     

论经典否定、直觉主义否定和弗协调否定

本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征.并对这三种否定进行比较,指出其相同与相异之处.此外,还通过否定揭示出经典命题逻辑系统、直觉主义命题逻辑系统和弗协调命题逻辑系统之间的关系.     

否定事实与实在论

如何解释否定,是真理理论中的一个难题。对工作于实在论背景下的真理理论来说,这个问题就是如何在本体论中容纳否定事实。罗素以及近来代表性的使真者理论者都不能在坚持实在论的同时令人满意地解释否定。然而,通过适当地收缩实在论立场,转而采取视角主义的实在论,这个问题可以得到解决。这时,我们可以用不相容关系来解释否定,并能回应罗素对不相容论的批评。     

否定真理与不可满足性——解决莫尔纳问题的新尝试

莫尔纳问题使得否定真理以及相关主题再次成为了学界的争议焦点.从哲学史的角度来看,它并非一个全新的问题,罗素在逻辑原子主义时期就思考过类似的问题.尽管哲学家对莫尔纳问题从各个角度做出了回应,但是这些回应都有一些不足之处.从逻辑形式来看,否定真理主要可分为两类,一类是断言虚构或者主观创造的对象不存在的命题,另一类是断言某个...     

对量化问题的哲学实验研究

在量化问题上,传统逻辑和现代逻辑的对当方阵大相径庭,且各有局限。哲学实验结果显示:(1)自然语言中A、I命题都允许主项为实体性存在、观念性存在,不接受自相矛盾的主项;(2)各语境下自然语言的A、I命题在主项存在方面高度相似,表明A命题预设了主项存在;(3)不同语境下对A、I命题的否定接受了不同的预设,表明了否定包含预设、且预设具有层次性。基于实验结果的"分层量化"方案,把A命题的主项存在预设形式化为公式的一部分;把不同语境下否定的预设形式化为独立的前提,据此分层建立了否定时预设个体存在(■x)、预设主项存在(■xSx)、预设主项为全域(■xSx)的对当方阵,三者具有内在一致性。新方案似可较为系统地消解量化问题的困境。     

论科学与文化

本文从历史和逻辑的角度分析了科学与文化的关系，指出：科学推动文化经历否定之否定的演化过程，即由自然文化经机械文化发展到人的文化在科学的基础上，文化由物质组织，制度到精神逐步生成。科学与文化属于不同层次，科学是要素，作为基础作用于文化；，文化是系统，作为整体对科学进行制约和选择。     

惊艳美妙的米仓山

米仓山地处中国大陆腹心地带，是秦巴山地的结合过渡区。俯瞰这一地区，东西弧形山脉就是米仓山。弧背指向的北面素有“陕西江南”之称的汉中平原，弧心对应着号称天府之国的四川盆地。这里不但物产丰富，景色秀美，峡谷通幽，森林密布，野生动物成群；还是中国又一处恐龙的故乡，也是海相化石的富集地；这里峰丛奇胜、暗河众多、溶洞相连，是喀斯特地貌的高密区，曾经是中原通向“天府之国”四川盆地的必经之路。