数理逻辑的盲区与哲学逻辑的兴起

海德格尔从哲学探究的角度出发 ,对哲学和逻辑进行了深入的思考。他认为 ,逻辑是关于一个语句的意义和判断的内容的。数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论。哲学逻辑并不是一门新科学 ,而只是实现了从一开始就在进行的对于传统逻辑的刻画。研究海德格尔的哲学和逻辑思想可以得到的基本启示是 :我们在进行哲学逻辑以及逻辑哲学研究的时候 ,一定要有一个理念 ,即逻辑是需要哲学来为其辩护的 ,逻辑的研究要有一个哲学的基础。哲学逻辑是逻辑在哲学中的应用 ,在应用的过程中哲学理念已经深深地灌输进去 ,哲学与逻辑已水乳交融 ,两者的联盟使得各自的学科都得到了长足的发展。     

数理逻辑的盲区与哲学逻辑的兴起——评海德格尔哲学逻辑思想

海德格尔从哲学探究的角度出发,对哲学和逻辑进行了深入的思考.他认为,逻辑是关于一个语句的意义和判断的内容的.数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论.哲学逻辑并不是一门新科学,而只是实现了从一开始就在进行的对于传统逻辑的刻画.研究海德格尔的哲学和逻辑思想可以得到的基本启示是:我们在进行哲学逻辑以及逻辑哲学研究的时候,一定要有一个理念,即逻辑是需要哲学来为其辩护的,逻辑的研究要有一个哲学的基础.哲学逻辑是逻辑在哲学中的应用,在应用的过程中哲学理念已经深深地灌输进去,哲学与逻辑已水乳交融,两者的联盟使得各自的学科都得到了长足的发展.     

技术哲学的内在逻辑分析

技术哲学的演进历经了对技术进行辩护的工程派传统和对技术展开批判的人文派传统,20世纪60年代后期开始向经验主义转变。经过100多年的发展,技术哲学研究的基本问题序列已经逐渐形成。技术哲学在发展过程中始终把技术人工物作为研究对象。对技术人工物的研究,体现了技术哲学的经验传统,目前已经深入到技术物的结构—功能关系内部。既要有技术哲学的经验分析,还必须有逻辑分析,这里的逻辑不是科学哲学中的演绎逻辑,而应当是具有实践特点的实践推理。技术哲学研究正朝向逻辑经验转向。逻辑经验分析是使技术哲学"哲学"起来的重要研究方法。     

试论逻辑哲学的兴起及其主要论题

随着传统逻辑创立和发展到现代逻辑,对逻辑作哲学上的反思不断深入和展开。逻辑哲学作为一门独立学科,是现代逻辑迅猛发展和现代西方哲学语言转向的要求和结果。逻辑哲学的主要论题包括:逻辑范畴的界定,逻辑真理,逻辑悖论,逻辑中的本体论承诺,推理、后承与蕴涵,形式化方法的哲学考察。     

逻辑哲学的历史背景、涵义及其范围

逻辑哲学是目前国际逻辑学界和哲学界研究的热门课题,而在我国对它的研究则处于起步阶段。逻辑哲学是逻辑学和哲学相关研究的结果,它不同于哲学逻辑或元逻辑,也不同于语言哲学或数学哲学,它研究由逻辑学引发的哲学问题,特别研究形式系统和哲学逻辑中的哲学问题。逻辑哲学是哲学和逻辑学联系的中介,它本质上属于哲学。本文简要探讨逻辑哲学的研究历史、产生背景、基本涵义及研究范围。     

浅析传统逻辑向现代逻辑发展的主要因素

传统逻辑主要局限于逻辑形式的贫乏与粗糙,现代逻辑是传统逻辑在当代哲学形式下的继承与发展,是逻辑学家企图弥补传统逻辑缺陷的一种逻辑。长期以来,研究者一直试图说明导致传统逻辑向现代逻辑转变的原因。从传统逻辑的局限性与现代逻辑的特征两个角度出发进行尝试性探讨,认为:现代逻辑的结构明显优于传统逻辑;传统逻辑向现代逻辑发展是现代哲学和科学发展的必然要求,更是必然结果;传统逻辑向现代逻辑发展过渡符合发展规律。     

从逻辑与哲学的关系看逻辑的发展趋势

逻辑与哲学的关系是逻辑哲学探讨的一个热点话题。通过对作为逻辑的哲学、逻辑与语言哲学、哲学逻辑的模式和方法、哲学逻辑中逻辑作为哲学的研究表明,逻辑与哲学具有相互支持、相互渗透、水乳交融的紧密关系。正是由于这样的关系,才使得逻辑的发展具有了结实的基础以及繁荣的前景。     

现代语境中的康德逻辑论题

在涉及康德逻辑观点的评价这一问题上,当代哲学和逻辑流行的看法是康德只是简单地继承和重复了亚里士多德的逻辑传统;康德的逻辑观在当代已经被（例如,弗雷格的逻辑哲学）彻底取代,其观点对当代哲学争论几乎没有任何影响;本文的观点恰好相反。笔者认为康德虽然继承了他那个时代理性哲学的逻辑传统,但联系到这种传统的创新是十分明显的,康德的逻辑论题具有始源性、基础性和奠基性;康德的逻辑观点与当代逻辑哲学的关系十分密切。     

传统逻辑在中国的历史命运和现代化

传统逻辑在我国经历了30年代的批判、50—60年代的讨论、80年代后也几经沉浮。尽管传统逻辑的研究已经取得了很大的进展,但逻辑学遭冷遇的现象没有得到根本的改善。这对我国哲学及科学的发展是十分不利的。     

逻辑哲学与哲学逻辑

逻辑是我们这个时代哲学的独特标志,20世纪许多哲学分支的进步和发展是与现代逻辑所提供的严格的分析性技术密不可分的.逻辑几乎影响了整个语言哲学的风格,逻辑也为形而上学、元伦理学和心智哲学提供了丰富的资源.逻辑提供了各种形而上学理论发展的基本框架,甚至在哲学中扮演着中立仲裁者角色.但逻辑也受哲学的制约,逻辑依赖于哲学的基本预设,经典逻辑和各种非经典和反经典逻辑系统都有深刻的形而上学背景.逻辑哲学和哲学逻辑分别从逻辑的哲学方面和哲学的逻辑方面为我们正确地理解和刻画逻辑和哲学的这种复杂、动态和多样性关系提供了深刻的洞见.     

从关系逻辑的观点看特称否定命题的换位问题

传统逻辑认为 A、E、I命题都可以换位 ,而 O命题不能换位。但传统逻辑只是证明了在 A、E、I、O命题的范围内 ,O命题不能换位 ,它并没有证明 O命题根本不能换位。传统逻辑只是性质逻辑或类逻辑 ,而不是关系逻辑。从关系逻辑的观点看 ,O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样 ,O命题的换位也是有其一般意义的     

三值逻辑的思想和方法

传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展,其应用范围也日益广泛。所有的三值逻辑系统都对二值逻辑的限制有所突破,都在某种意义上显示出“亦此亦彼”的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,显示了各自独特的思想和构造方法。     

基于数理逻辑的知识表示

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。     

三分的认知世界与怀疑逻辑的独立性

主体的认知世界可以划分为“信念世界(WB)”、“怀疑世界(WD)”和“无知世界(WU)”,这三个世界中的元素是认知命题。这三个世界之间是不重叠的,并且它们构成一个认知世界全集。一个认知命题是真的,当且仅当它属于相应的认知世界之中。有了这样的划分,研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的,它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。     

百分比量化逻辑初探

传统逻辑和标准量化逻辑在分析自然语言命题时,只使用全称和存在两种量词,把自然语言中的非全称的量化命题都当作存在命题来处理,然而在自然语言中除了全称量词和存在量词外,还有复量词、百分比量词等。自然语言中许多根据复量词和百分比量词的逻辑意义而进行的直观上正确的推理在传统逻辑和标准量化逻辑中都是无效的。显然,复量词和百分比量词不能当作存在量词来处理,它们有着不同的逻辑意义。     

建立在"笛卡尔公理"上的一个怀疑逻辑系统

怀疑逻辑是关于人们合理怀疑的逻辑。如果说知道逻辑、信念逻辑都是"正"的逻辑的话,那么怀疑逻辑则是"负"的逻辑。将怀疑算子D加于命题之上就构成怀疑命题。笛卡尔的"我思,故我在"可以作为怀疑逻辑的特征公理:某人怀疑p,蕴涵着他对怀疑p是不可怀疑的———我们可以将之命名为"笛卡尔公理"。从该公理可以推论得到定理:某人不怀疑p,蕴涵着他对不怀疑p是不可怀疑的。该定理与笛卡尔公理一起作为当下思维存在的自明性公理。我们可以建立一个以"笛卡尔公理"作为一个特征公理的怀疑逻辑系统(PD)。笛卡尔公理与知道逻辑中的智慧公理(苏格拉底公理)在逻辑上是同构的,它们均对应于模态逻辑中的E公理。怀疑逻辑作为一种认知逻辑,有广泛的用途,它可以运用到政策反驳、科学批判、法律推理等领域。     

杜威逻辑体系中的命题理论

杜威对命题进行了独特的分析,并在此基础上形成了独具特色的逻辑理论,包括制定了特有的命题分类体系,阐述了命题之间的逻辑联系,以及对传统三段论进行了工具主义的阐释,同时对于命题的构成即词项进行了多方面的阐述。杜威的命题理论为理解逻辑的起源、基础和应用提供了一条值得参考的研究路径。     

墨家逻辑与佛家逻辑之比较

本文在逻辑起源、逻辑特征、名言论、命题论、推理论、论辩及论辩形式、谬误论、后续发展状况等方面,对墨家逻辑与佛家逻辑进行比较研究,阐明二者是差异与类同共存,并以此揭示两大逻辑的成就与不足,以促进逻辑学科的发展。     

论波爱修斯与古代逻辑

波爱修斯是古代逻辑向中世纪逻辑发展过程中最重要的哲学家.他翻译和注释了亚里士多德的<工具论>;探讨了波菲利关于共相的三个问题;对假言命题和假言三段论进行了深入的研究,在斯多亚学派之后重新奠定了命题逻辑在整个逻辑学说中应有的地位.波爱修斯的逻辑理论是中世纪逻辑学进步的主要源泉.     

判断应改称为命题

判断与命题是两个不同的概念,应该用命题代替判断作为形式逻辑的研究对象之一,以避免采用判断称谓形成的内容体系上的前后自相矛盾.