模态逻辑Beth-语义图及其应用

本文所作的主要工作 ,是将 Beth建立的一阶逻辑的语义图理论扩充到非标准逻辑 ,建立了模态逻辑 Beth语义图理论 ,本文还论述了这种语义图的四种判定作用     

数字系统的设计方法

时常讨论的数字电路(包括组合电路和时序电路)的分析方法和设计方法,几乎都是建立在真值表、卡诺图和状态转换表的基础上,并且是针对基本逻辑单元电路进行的,是一种经典的方法。如果用这种方法去设计规模更大,功能更复杂的数字电路(系统)时,就比较困难,需要采用新的方法。 目前数字系统的设计方法有两种,一种是     

论民事法律关系理论的法理基础

民事法律关系理论是建立在法理学(法哲学)价值论和方法论基础之上的民法理论。它作为民法的核心和灵魂,不仅体现了民法的精神和价值,而且也蕴涵了民法的逻辑和方法。它在法学家对市民社会的抽象思辨中产生,在逻辑的演绎推理中得到实际的运用。     

逻辑图:从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。     

黑格尔的历史与逻辑一致的思想

黑格尔第一次以唯心主义形式阐明了辩证法、认识论和逻辑的一致,创立了思辨的辩证逻辑,使人类对辩证法、认识论和逻辑的认识都达到一个新的高度,为哲学科学的研究开辟了一条新的途径。在理论思维的体系中,有一个重要的原则和方法就是历史与逻辑的一致。一方面,历史的东西(过程)与逻辑的东西(过程)是一致的;另一方面,历史的研究方法和逻辑的研究方法也是一致的。历史与逻辑的一致是黑格尔的思辨的辩证逻辑的重要原则和方法,这一思想又为马克思经典作家们所批判和继承,成为科学的理论思维体系的重要原则和方法。     

逻辑方阵手势图

在普通逻辑中,直言命题或性质命题A、E、I、O相互之间在真假关系上,具有反对,下反对、差等、矛盾等六个关系,逻辑史上把这个关系称为对当关系,是用一个叫做“逻辑方阵”的图来表示的(见图一)。     

正规模态逻辑完全性理论研究综述

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

论情境语义学研究的发展

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

弗协调逻辑的发展及现状

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

评黑格尔关于逻辑思想发展阶段的理论

黑格尔是辩证逻辑的创始人,在建立辩证逻辑体系的过程中,他深入地研究了哲学史和逻辑史,探讨了逻辑思想的历史发展问题,提出了逻辑思想发展三阶段理论。他说:“逻辑思想就形式而论有三个方面:(a)抽象的或知性(理智)的方面,     

逻辑结构中科学发现的真知或然性

在科学发现史上,从古希腊的亚里士多德开始,为获得真知而应用的形式逻辑方法,系统阐述的主要有两种:演绎逻辑和归纳逻辑。唯理派论者根据演绎推理方法在公理化体系内、逻辑结构中的各结论具有真的可靠性这一特点,强调在理论重建中,演绎推理是确认理论正确度的有效证明逻辑。现今数学和理论物理学建立起来的庞大的形式化理论体系,可谓是这种逻辑方法在科学研究中取得成功的最好证明。     

孟轲的逻辑思想

所谓“逻辑思想”,是存在于历史上各种学科之中的某种思想的自然逻辑。黑格尔说过:“因为每一门科学都要以思想和概念的形式来把握自己的对象,所以都可以说是应用逻辑。”(注一)黑格尔在这里所指的“应用逻辑”,实际就是我们通常所说的逻辑思想。逻辑思想不是已经抽象为理论的逻辑学说,但是它是逻辑理论的潜在状态,是逻辑科学建立的重要前提。没有逻辑思想这样的具体,就不可能有逻辑理论的抽象。列宁在他的《哲学笔     

高校逻辑教材中的逻辑错误

一、“有的文艺是宣传”和“有的宣传是文艺”并不“分别具有”欧拉图二和图三的关系《普通逻辑》(由教育部组织十一所高等院校编写、供高校文科使用的教材之一。上海人民出版社1982年第二版,1983、1984年第4、5次印刷)在第三章第二节第三题《A、E、I、O四种判断之间的真假关系及传统逻辑中的“逻辑方阵”》中,首先用图象(即著名的欧拉图Eular Diagrams)列出了由性质判断的主项所反映的S类对象和由其谓项所反映的P类对象之间在外延方面存在的五种关系,即欧拉五图(见该书第58—59页)。这是必要的,正确的。但该书在据以确定I判断本身的真假情况时,却认为例二“有的文艺是宣传”和例三“有的宣传是文艺”“分别具有”欧拉图二和图三的关系(见《普通逻辑》第60——61页),并进而由此断定它们“都是真的”。我们认为这是错误的。所谓具有欧拉图二的关系,是指S对P在外延上具有真包含于关系,也就是说,S的外延包含于P的外延中,且S的外延恒小于P的外延。它们是属种关系,其中,S是种概念,P是属概念。可是,例二“有的文艺是宣传”中,S(文艺)对P(宣传)并不具有这种真     

逻辑科学必须贯彻毛泽东思想

一十年来,我国科学研究事业在党的正确领导下,获得了巨大的成就。在逻辑科学的研究方面,一般地说,由于努方贯彻马克思列宁主义的指导原则,也取得了一定的成果。特别是从1955年开始,我国逻辑学界开展了关于形式逻辑与辩证法关系问题的争论,由于逻辑学界贯彻了党的百家争鸣的方针,从而进一步推动了逻辑问题的研究,活跃了学术思想,在一定程度上促进了逻辑科学、特别是形式逻辑科学研究的发展。逻辑学的教学中,也逐渐注意到逻辑理论如何联系实际,如何在实践中运用逻辑工具的问题。上述这些成绩是应当加以肯定和继续发扬的。     

论墨家“以说出故”的推论性质和推论形式

墨家自墨子开始建立墨家学派的时候起,为了批判儒家的政治伦理思想,并和道家、阴阳家和名家中的诡辩逻辑作斗争,就十分重视研究“辩”的理论和“辩”的技术(方法)。墨家学说之所以具有强大的说服力和批判力,很重要的一个原因就是因为墨家的理论大都是建立在严密的逻辑推论基础上。《墨子》全书各篇中的大量论证,逻辑严密,推论准确,今天读来仍使人感到具有很强的逻辑力量。后期墨家尤其对“辩”的理论和“推”的方法作了相当科学的总结和概括。从《经上》、《经下》、《经说上》、《经说下》一直到《大取》和《小取》(这六篇一般统称为《墨辩》),基本上完成了墨家逻辑的科学理论和科学体系,所以一般也称墨家的逻辑为“墨辩逻辑”。     

塔斯基的真定义、语义学与逻辑后承

塔斯基关于真理和逻辑后承的里程碑式的著作是对现代语义学研究的最重要的贡献。塔斯基用满足和归纳的方式给出的真理的递归定义,建立在语义模型、逻辑真和逻辑后承基础上的循序渐进的逻辑句法定义构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理。     

试论假说的定义及其类型

关于假说,以往的逻辑读物、论文几乎都只从人们对已存在的事物、现象的说明和解释方面下定义,传统逻辑对假说的研究也局限于这个方面.例如有的逻辑著述认为:“科学的假说是建立在推理之上的、对现象的说明,这种说明在科学发展的一定阶段上还不能确凿地加以证明,因而这种说明在还没获得必要的证明以前是不能被看做无可置疑的客观真理的.”(弗格拉希:《逻辑学》,三联书店1979年12月版,第336页)有的论文说:“假设是理论思维的一种形式,是人们在实践过程(包括科学实验)中,对于发现的新现象、新问题,根据一定的事实材料,以及有关的科学知识,通过理论概括和科学的想象,作出有待证明的假定性的解释.”(《培根是怎样看待假设的?》,载《哲学研究》1980年5期)金岳霖先生主编的《形式逻辑》一书亦持类     

语旨逻辑述评

语旨逻辑(illocutionary logic)系统提供了一个形式化的言语行为一般理论体系,它是言语行为理论与逻辑结合的一次重要尝试。语旨逻辑属于语用逻辑的范围,它构成一种新的语言逻辑类型。从语旨逻辑系统的建立说明:研究语用问题是现代逻辑发展的一个方向。     

论从三个层次研究墨家逻辑

墨家思想表达和论证中所包含的逻辑结构是一种逻辑的应用,既包括逻辑理论、逻辑形式和逻辑规律的应用,也包括应用逻辑理论和方法的应用。墨家对这些理论、规律和方法进行的总结,建立了自称为“辩”的逻辑学,类似于目前西方兴起的批判性思维或非形式逻辑。同时,墨家也表达了许多纯逻辑的理论和规律,从这个层次研究墨家逻辑,能使我们更深入地把握其内容、本质和规律性。     

从纯粹法学到逻辑法学——一种法律理论研究的逻辑进路

从凯尔森(Kelsen)纯粹法学理论产生的背景出发,通过分析纯粹法学理论的逻辑,探讨了吉野一(Hajime Yoshino)逻辑法学产生的过程.借助现代逻辑的工具,分析了从纯粹法学到逻辑法学的逻辑必然以及逻辑法学中的初始元素、法律语句理论、法律推理结构、法律体系理论和法律语句之间的有效性关系.针对逻辑法学的性质争议,通过比较分析后认为:随着心理学、经济学、现代逻辑学等方法的不断引入,法律中的许多未解问题(如主观确信、博弈分析等)必将产生许多新的法律理论.