可拓逻辑（Ⅰ）

建立了可拓逻辑的数学模型,从而更丰富了逻辑学的内容和方法,为研究人们“可变性”的思维形式和思维规律以及处理矛盾问题,开辟了一条新的途径。     

直言逻辑与谓词逻辑的对比研究

1.1 这里的直言逻辑,就是传统的直言命题逻辑,而这里的谓词逻辑,实际上也只涉及一部分,这部分通常称为狭谓词逻辑。为了行文简便,故使用简称。1.2 直言逻辑研究直言命题及其推理的形式,是传统逻辑的重要组成部分,亚里士多德奠定了其基本内容。谓词逻辑研究谓词公式及其推演,并给出语义解释。谓词公式经过解释成为命题形式的符号表达式。谓词逻辑是现代逻辑的基础之一,罗素第一个建立了完全的谓词演算系统。1.3 谓词逻辑所研究的思维形式,从量上来说远远多于直言逻辑,而其中有一部分是与直言逻辑相同的,但两者在理解和处理这相同的对象时,表现出诸多的不同,从这方面对     

试论数学推理方法的逻辑根据

数学的基本特征之一,是逻辑推理的严格性以及它的结论的确定性。那末逻辑推理的确切涵义与根据是什么呢?本文试用逻辑代数的观点给以阐述。数学中推理的有效性数学中的命题,大都具有“如果…,那么…”的形式,或者,更简单些可以表为“若p则q”,其中p,q是命题。命题“若p则q”称为“条件命题”或“假言命题”,在逻辑代数中表为“p→q”,p称为前提(条件),q称为结论(终结)。命题p→q的真假由下表给出:     

从《论持久战》看辩证逻辑的论证原则

论证(包括证明与反驳)是逻辑学研究的重要内容。无论传统逻辑还是目前国内高校广泛使用的各种形式逻辑(又称普通逻辑)、符号逻辑教本,都把它作为一个重要研究内容。先看形式逻辑。试从目前国内影响最大的《形式逻辑》(金岳霖主编)和《普通逻辑》(吴家国等编写)来说,都设专章研究论证。由于论证要综合运用各种思维形式和逻辑方法,要遵守思维的基本规律,所以它与形式逻辑的其它内容有着密切的关系。可以说,形式逻辑理论是把论证作为逻辑学的总结来论述的。     

逻辑代数浅谈

<正> 逻辑代数是新增加到中学数学教材中的现代数学知识。它是新的知识,但学习和掌握它并不难。目前,大纲安排暂作为选学内容。本文力图紧扣中学教材,简要地侧重介绍一下逻辑代数的基本知识,仅供中学数学教师在备课和教学中参考。什么叫逻辑代数?逻辑代数是用代数方法研究人类思维规律的一门学科。它是以命题为运算对象,包含三个逻辑运算的一种代数。本来数学就是建立在逻辑学的法则之上的,反过来数学又促进了逻辑学的发展。由于在逻辑学的研究中引入了数学的成果,遂产生了一门新     

《认识逻辑学》对我国逻辑教学改革的启示

“认识逻辑学”不仅重视逻辑的思维工具作用,也极为重视逻辑的接受和表达及其社会功能。《认识逻辑学》运用辩证逻辑和逻辑哲学的原理对传统逻辑的基本知识体系进行＂整合改造＂,这种注重逻辑理路及其逻辑应用的文本,为文科学生学习逻辑提供了难得的材料。     

早期维特根斯坦对逻辑命题的思考及其意义

现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征:(1)逻辑命题是重言式;(2)逻辑命题假定对象和世界的存在;(3)逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。     

数学中逻辑推理的几个问题

<正> 一、引言逻辑推理是一种思维形式。它是由一个或几个命题推导出新命题的过程。逻辑代数中的命题运算正是由一个或几个命题构成一个新命题的过程,所以,逻辑推理实质上是一种命题运算。但是,命题演算得到的结果是可真可假的,而我们要求推理的结果是一个真命题。所以,“逻辑推理是指一种符合逻辑的正确的推理,利用它应当推出正确的结论”[文(1)]。因此,有些人称它为“有效推理”[文(2)]。(这里文(1),文(2)指参考文献(1),……,下同。)     

《普通逻辑引论》评介

随着高等教育改革的逐步深入和大学生素质教育的全面推进,我校巨朝军教授编写的山东省教委“九五”立项教材、省级优秀教改项目——《普通逻辑引论》,已由山东人民出版社出版发行。 逻辑学界专家称:《普通逻辑引论》在理论内容上保持了逻辑学知识系统的科学性与完整性,知识点涵盖面广,揭示全面、充分。作者对某些原理还作了自己的补充与新     

法律思维、法学教育与法律逻辑学教学

法律思维由法律思维形式和法律思维内容组成。法学专业课讲授法律思维内容,法律逻辑学讲授法律思维形式,各有侧重,但在培养和提高法科大学生的法律思维能力,对学生进行法律思维训练时,法律思维形式和法律思维内容彼此相依。法律逻辑学教学中融入法律思维内容,法学专业课讲授时注意法律思维形式、方法和规律,将会大大提高学生的法律思维能力,实现法学教育的目标。法律逻辑学教学中的几个视角:既讲普通逻辑学的知识,又讲辩证逻辑学的知识,寻找法律的生命;强调逻辑自律意识,引起学生对这门课程的重视;从法律逻辑学的角度分析案件,让学生产生学习期望。     

倾力打造名栏 展示学科成就——《重庆工学院学报》“逻辑学”栏目介绍

《重庆工学院学报》“逻辑学”栏目是在调研的基础上为打造名栏于2005年6月第6期开设的。短短不到两年时间,该栏目在国内逻辑学界引起了很大反响,引起了逻辑学界的关注和重视。《重庆工学院学报》“逻辑学”栏目已成为反映逻辑学最新研究成果的重要舞台。该栏目论文研究的课题既有深度又有广度;既涉及逻辑学的前沿和热点问题,又涉及逻辑学研究的最新发展;既关注形式逻辑的课题,又关注现代逻辑和非形式逻辑的课题;而且还有研究邓小平语言逻辑艺术,以及逻辑的应用和教学的;既有学术笔谈,又有学术争鸣等等,人大复印资料全文复印或索引了其中相…     

论句式修辞的逻辑手段

一般汉语著作和修辞学专著多半只讲到句式修辞的语法手段,句式修辞的逻辑手段则很少涉及。句式修辞的逻辑手段就是根据命题形式的等值转换进行句式变换,丰富句式修辞的内容。命题形式的等值转换主要有:直言命题的等值转换、关系命题的等值转换、负模态命题的等值转换、负直言命题的等值转换、负复合命题的等值转换、假言命题与选言命题之间的等值转换、假言命题之间的等值转换。     

浅谈“简易逻辑”中的“否命题”与“非P”

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

浅谈“简易逻辑“中的“否命题“与“非P“

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“┌P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

浅谈“简易逻辑“中的“否命题“与“非P“

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

论黑格尔的逻辑方法

主客同一的逻辑本体论是黑格尔逻辑方法的基础。黑格尔站在主客同一的绝对知识的高度，把逻辑学归结到本体论，把历史(哲学史)归结到逻辑，从而实现了认识论、逻辑学、本体论的统一。黑格尔的逻辑方法在今天人们的理论思维中，仍然发挥着广泛的影响。     

命题演算范式定理的布尔证明

命题演算构成了数理逻轷的最初且不可少的基本部分,在逻辑学中常常要考虑命题的“真”和“假”特别在逻辑学中一个首要任务是:找出那些永远是真的命题,这一问题的解决就涉及到命题的等值,真值函数的完全性和范式,本文的目的是对此给出数学描述,从而也就容易给出任何一个命题的普遍有效性的判定问题。     

牟宗三逻辑二分法思想初探

二分法在传统逻辑学中是一个基本的方法,在我国大陆出版的逻辑学著作中,都只把二分法看作是类的二分或存在对象上的二分,忽略了作为纯粹逻辑意义上的二分法与作为方法学意义上的二分法的区别。牟先生指出,把二分法限制在类、对象或存在上,只是二分法的应用,而非逻辑二分法的本质意义。逻辑二分法的本义,乃是“肯定与否定的对偶性”,是“理性之二用”,因而有其绝对性、先验性与必然性。牟先生通过“形式的解析”与“超越的解析”阐明了对偶性原则与思想律对于逻辑推理的关系。同时,牟宗三先生也反驳了现代逻辑学家对于对偶性原则的批评,证明对偶性原则是所有逻辑系统的基础。     

皮尔士的逻辑哲学思想述评

美国学者查尔士·皮尔士在逻辑哲学领域里的开创性贡献主要表现在四个方面:对逻辑学性质的看法;对概念、命题意义的把握;对推理的分类;对归纳法职能和种类的理解。这四个方面的思想都直接或间接地影响了逻辑学和逻辑哲学的现代发展。     

法律逻辑分型论:信念区别与方法论的划分

单纯的逻辑学和有题材特征的方法论逻辑,是信念研究的两种不同形式抽象,后者对信念形式的研究要兼顾题材的特性。法律逻辑属于后一种方法论逻辑,它的理论结构是3种方法论(法律推理、案情论证、修辞论证)与两种信念(恰当性、合情性)的对应。