极小条件句逻辑

给出L-极小系统的定义，这样定义的L-极小系统在两个方面分别有相对性和绝对性。用语言L1表述4个条件句系统，它们就是满足定义给出的条件的L1-极小系统。     

关于实质条件句的两个问题

实质条件句和蕴涵的关系如何？实质条件句与日常语言中的条件句的关系如何？这是关于实质条件句的两个基本问题。澄清了实质条件句和蕴涵的关系,指出不能将蕴涵混同于相应的实质条件句的真理性,并在此基础上分析了所谓的蕴涵悖论。应该将实质条件句在技术上的价值与它在日常语言中的对应物这两个问题分开处理,并论证了以实质条件句概念解释日常语言中的直陈单独条件句的适当性,指出两者之间的关系是卡尔纳普所谓之辩明关系。     

从条件句悖论看信息流理论的哲学基础

经典逻辑中的一些有效推理规则对自然语言条件句推理的失效导致条件句悖论.情景语义学认为,造成条件句悖论的原因跟条件句所描述制约关系的背景条件有关.信息流理论继承情景语义学使用内涵方法处理内涵问题的传统、使用信息通道的概念在通道等级系统中表征条件句所描述制约关系的背景条件,对造成条件句悖论的原因给出令人信服的合理解释.根据信息流理论对条件句悖论的分析和解释,本文进一步分析阐释信息流理论在本体论和认识论方面的哲学基础.在本体论上,信息流理论认为世界是一个由情景和关系构成的关系网络.在认识论上,信息流推理与认知主体及其知识状态紧密相连.     

模态认识论与反事实条件句逻辑

在德雷茨克和诺齐克传统中,模态认识论关注由反事实条件句表达的模态联系,如敏感性和反事实安全性。认知封闭失效是作为知识必要条件的反事实条件句封闭失效的结果,该结果依赖斯塔尔内克-刘易斯语义学。这种语义学因忽略模态算子“would”的独立意义而应被摒弃。作为其替代的反事实条件句的组合语义学认为,反事实条件句是语境受限的严格条件句。在替代语义学中,加强前件律和逆否规则等逻辑原则有效,因而原本失效的反事实条件句在替代语义中均有效,认知封闭原则成立。     

条件句的语义排歧与假设性思考的量化机制

能够使用条件句做假设性思考,是人类理性思维的一种重要特征。自然语言条件句的语义排歧,需要在区分条件句与条件命题、命题与命题函数的基础上,更多地关注使用受限量化域的特殊形式蕴涵。在珀尔因果模型论的基础上对共伴式和干预式假设性思考的研究,使得假设性思考中基于形式蕴涵的量化机制得以清晰呈现。通过对量化机制的把握解决“实质蕴涵怪论”问题造成的假设性思考疑难,消除因果模型论的“反经典外貌”,维护实质蕴涵理论的基础性和普适性,经典逻辑在人类智能和人工智能研究中的基础功能和作用可得到进一步开掘。     

关于条件句的蕴涵理论

为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。     

从现代逻辑的语言层次观看《墨经》逻辑

《墨经》中没有应用对象语言来表示的命题形式和推理形式 ,而只有应用典型的具体推理来体现的推理方式 ,但《墨经》中却有不少应用元语言来表述的逻辑规律 ,虽然这些是不够精确的 ,但表明《墨经》中的逻辑已经开始进入形式逻辑的阶段     

从逻辑哲学看辩证逻辑的形式化

从逻辑哲学的眼光看,辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑,因此它归属于逻辑,而辩证法作为它的原型则归属于哲学。辩证逻辑形式体系所追求的总体目标是越来越恰当地刻画、再现辩证法原型中的本质特征。我们所钟爱的辩证逻辑兼有次协调逻辑、相干逻辑和模糊逻辑这样的形式特性。辩证逻辑形式化研究并非只有独一无二的表现形式,相反,它可以有多元化的进路。     

理想信息流逻辑的树图系统

依据巴维斯的信息通道理论,巴维斯、盖贝和哈特纳斯构造出表征完美信息流推理的信息流逻辑,但他们的信息流逻辑对信息通道理论中的相关直觉原则和信息通道之间的复合运算并没有充分体现,不能解释逻辑推理。针对巴维斯信息流逻辑的不足并根据信息流推理的特点,可以构造出表征完美信息流推理的理想信息流逻辑的树图系统并可证明它们的可靠性和完全性。     

非标准逻辑基础上的知识逻辑SI

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息,但是却不会得出"任意结论"。SI仍有完全逻辑全能,但是在一定程度上实现了对逻辑全能的控制。     

非标准逻辑基础上的知识逻辑SI

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息，但是却不会得出“任意结论”。SI仍有完全逻辑全能，但是在一定程度上实现了对逻辑全能的控制。     

从《逻辑》到《逻辑基础》——王路教授访谈录

现代逻辑作为一门科学,自1935年金岳霖出版《逻辑》而得以系统地引进国内以来,至今已经85年了。访谈围绕逻辑教科书的主要内容、逻辑教学中可能会遇到的问题以及如何讲授现代逻辑基础的方法,探讨了王路教授的《逻辑基础》对《逻辑》中的理念的传承、逻辑对哲学的重要意义、普及和传授现代逻辑的种种可能途径。     

从语义、语法、及语用角度看真实条件句的复杂性

在我国英语教学中 ,非真实条件句通常被视为教学难点 ,而真实条件句的复杂性似乎一度被低估。本文拟对真实条件句的主要语义类型加以分析、论述 ,旨在展示其在语义、语法、及语用诸方面不可忽视的复杂性     

《逻辑哲学论》的逻辑观

维特根斯坦在《逻辑哲学论》中所提出的逻辑命题是重言、是形式的观点，对于本世纪哲学家们的逻辑观给予了决定性的影响。本文对《逻辑哲学论》的逻辑观、它的基本的理论假定、理论背景及影响作了探讨，并就它的评价问题阐明了个人的意见     

从知识论角度分析孔子思维逻辑的特点

孔子的伦理思想可以看做知识,这样可以从知识论的角度分析孔子思想所蕴含的思维逻辑,从而可能从哲学高度上把握孔子思想的内在本质。孔子思维逻辑主要有两个特点：一是获得伦理知识的途径是纯粹经验方式的;二是检验伦理知识是以传统教条以及实用为原则。造成这种特点的原因是缺乏内在统一的哲学立场。这种思维逻辑对后世有很大影响。     

从《逻辑史手册》看逻辑史研究与逻辑学发展的新趋势——兼谈中国逻辑研究的问题

多夫.嘉贝和约翰.伍茨共同主编出版的《逻辑史手册》体现了国际逻辑学研究的最新趋向:第一,逻辑史研究进入到全面、精深研究的新阶段;第二,把逻辑作为一个整体进行研究,而不局限在某一种类型或范围内,为我们提供了一种新的认识逻辑的观念和研究方法;第三,注重逻辑与相关领域的关联研究,展现逻辑学的活力。该书唯一缺憾是没有涉及"中国逻辑"的问题。我们认为,应该从世界逻辑体系的一般性特点来分析中国逻辑的特质,将希腊逻辑、印度逻辑和中国逻辑看做是世界逻辑体系中三种并行发展的基本类型,系统研究并概括出世界逻辑体系的一般特性。以中国逻辑思想的内在发生发展过程为主线,按照逻辑思想自身的发展特点,按照世界逻辑体系的一般特性全面、系统地研究中国逻辑思想的起源、形成、转变和发展的全过程,分析中国逻辑思想的基本特征、主导推理类型等问题。研究的主要方法应该是:文化解读、逻辑解读和比较研究。     

语言否定与逻辑否定的不同之处

逻辑否定是语言否定的抽象和概括,逻辑否定是十分精确、严密的。在逻辑上,两个否定值加在一起等于一个肯定值。但逻辑上的否定符号“~”并不完全等同于语言上的否定成分。语言的否定,比起逻辑否定来,就要复杂得多。语言否定有时候并不完全遵循逻辑定律。在否定成分的表现形式上,在否定成分与句中其他成分的关系表达方面,语言否定都要比逻辑上的表现形式更加多样化、更加灵活多变。