论实质蕴涵、形式蕴涵与逻辑蕴涵

本文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵,从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。     

关于蕴涵的几种关系

蕴涵是逻辑学的一个重要概念。近年来,我国逻辑界讨论了充分条件假言命题与必要条件假言命题的定义及其逻辑联结词的问题,由于传统逻辑教学中引入数理逻辑,引入真值表,又讨论了假言命题蕴涵与实质蕴涵的关系以及蕴涵真值表是否完全     

从形式蕴涵看“实质蕴涵怪论”——怪论定理之“反例”化解路径新探

由蕴涵怪论引发的实质蕴涵合理性辩护问题,既是当代逻辑哲学的重要课题,也是逻辑基础教学中难以回避的问题。化解怪论定理之"反例",是实质蕴涵合理性辩护的重要途径。以往的化解路径可以较好地应对"第一类怪论定理"问题,但难以化解关于"第二类怪论定理"的"严峻反例"。运用"形式蕴涵"理论重新审视实质蕴涵问题,可以为怪论定理之"反例"提供一条新的化解路径,使"严峻反例"问题得到彻底解决,从而使经典逻辑真理的普适性得以维护。     

鲁迅蕴涵命题的思维艺术

鲁迅在深刻把握蕴涵命题逻辑性质的基础上 ,借助自然语言生动灵活的表达方式 ,在其创作中丰富多彩地使用了蕴涵命题 ,其思维艺术无比精湛。在完整式上 ,他着力通过变换联结词 ,恰当自如地进行蕴涵命题思维 ;在省略式上 ,他着重结合语境 ,言简意赅地表达蕴涵命题的认识信息。凡是鲁迅作品中的蕴涵命题 ,无一例外地实现了逻辑形式、思维内容和语言表达的完美统一 ,从而为汉语逻辑思维艺术树立了典范     

当代条件句逻辑研究的起点——Ramsey测验初探

Ramsey测验以主观概率为基础,解释和刻画了自然语言的条件句意义理论,这种思想是一种构造条件句语义学的创造性设想,它描述了人们决定接受p后,是不是接受q,从而对他的其它信念作最小修正的问题.这种思想在上个世纪60年代以后引起了众多逻辑学家的重视,在当代条件句逻辑研究中居于主流观点的理论,就来源于这一论述.Ramsey测验的意义和理论价值是值得充分肯定的,但是,我们也不能过分拔高拉姆齐检验,而应该辩证的看待Ramsey测验在条件句逻辑研究中的作用.     

原子性原则和外延性原则

逻辑原子主义主张把所有命题分析为原子命题,原子命题之间没有内涵关系,只具有外延关系,以原子命题为基本层次的语言能解决所有哲学问题.如果自然语言能够分析到确定的原子命题,那么逻辑原子主义的目的就能达到,它同时也给经典逻辑的符号系统提供了一个完美的语义解释.但是逻辑原子论者不能给出具体的原子命题,而且原子命题也不都具有相互独立性,维特根斯坦为此放弃了原子命题,而罗素和卡尔纳普也因此对原子性原则和外延性原则进行了弱化.但是,弱化的原子性原则在遇到自然语言的内涵命题时同样难以给出合理的分析.为经典逻辑提供更加合理的语义解释和发展符号逻辑,是分析哲学和逻辑学的后续任务.我们暂时还不能用符号语言来取代自然语言,也不能相反,而是应该把符号语言看做自然语言扩充和抽象的结果.     

论反事实条件句的语用性质

反事实条件句与实质蕴涵和严格蕴涵不同,历史上解决反事实条件句的理论主要有共存性理论和相似性理论,但这两种理论都存在一定的局限性.实际上,反事实条件句是一个语用概念,它表达了对某种事件或现象的情感或意向,与主体有密切的关系.     

略论语义蕴含

语义蕴含是逻辑的蕴涵理论应用于现代语言学所产生的结果 ,它的作用在于分析自然语句的语义及其相互关系。语义蕴含、隐涵和蕴涵是三个既有联系又有重要区别的概念。语义蕴涵更多地依据义素分析 ,它属于语义学 ;隐涵的分析主要依赖于语境和合作原则 ,因而属于语用学 ;蕴涵作为逻辑概念 ,主要是指实质蕴涵 ,它仅仅反映命题之间形式上的真假关系     

关于“蕴涵怪论”及其反例

所谓“蕴涵怪论”本是永真式即逻辑真理,何以近百年来被不少人当作“怪论”？人们举出的“蕴涵怪论”的反例是否成立？这是两个值得讨论的问题.本文的回答是:第一,逻辑真理之所以被当作“怪论”,原因在于误读,对逻辑公式的意义不是按照逻辑语义学的观点解读,而是按照语言语义学或逻辑语形学的观点解读;按照逻辑语义学的观点解读,任何“蕴涵怪论”都不足为怪;第二,“蕴涵怪论”的反例不能成立,凡是“蕴涵怪论”的反例都蕴涵逻辑矛盾,凡是试图“举出反例”以证伪“蕴涵怪论”者都注定陷于逻辑矛盾.     

也谈充分条件和必要条件的定义

假言命题是人们在实际生活中应用得比较广泛的一种思维形式,在逻辑学中占有十分重要的地位.由于假言命题是断定事物情况之间的条件关系的命题,因此,对假言命题来说,条件是最重要的,为了准确地把握一个假言命题的逻辑意义,必须首先弄清它所反映的条件的性质.在逻辑教科书中,各种条件的性质主要是通过充分条件、必要条件和充分必要条件的定义来体现的.但是我们要看到,在充分条件和必要条件的定义上,逻辑教科书的作者们是理解不一的,有些人(我们称为甲方)认为:     

从思想到真——弗雷格逻辑研究的基本路径

弗雷格语言哲学的基本观点是,一个句子的涵义是思想,一个句子的意谓是真值.真是弗雷格逻辑研究的对象,逻辑规律是关于真的最普遍的客观的规律.思想是真的载体,是真之条件,是把握真的方式,思想与真不是主词和谓词的关系,由此决定了弗雷格逻辑研究的基本路径必然是从思想到真.理解弗雷格逻辑研究的基本路径,对于深刻把握现代逻辑和现代哲学,都具有重要的理论意义.     

论弗雷格的命题函项思想

弗雷格区分了语言和语言所表达的东西、意义与指称以及对象与概念,在对象处于概念之下的观点的基础上运用数学函项的方法提出了命题函项思想。同时,他引入逻辑联接词和量词对语言进行了刻化,奠定了一阶谓词演算系统的基础。为了研究弗雷格的命题函项思想对现代谓词逻辑的影响,本文从命题函项提出的原因、基本要点以及命题函项的影响对弗雷格的这一思想进行了探讨,得出了弗雷格的命题函项是以逻辑本体论为基础,以求真为落脚点的观点。     

弗雷格“真”理论对于现代逻辑观念的影响

弗雷格是现代逻辑的创始人。他在1879年写的《概念文字》是第一个一阶谓词演算系统,标志着现代逻辑的诞生。弗雷格所以能突破传统逻辑的局限,开辟逻辑科学的新时代,主要是因为他对于逻辑的哲学问题特别是逻辑观进行了艰苦的探索,提出了独到的见解。他的逻辑观是他创立现代逻辑的理论基础和基本前提。本文旨在从逻辑的对象问题、逻辑规律、逻辑科学的性质问题以及逻辑与其他科学的关系问题等几个方面来探讨弗雷格逻辑观的基本内容,分析它的理论基底,并且阐明它对于现代逻辑的影响。弗雷格逻辑观是紧紧围绕他的“真”理论而展开的。而“真”理…     

论负命题推理条件句的语义实现

以往的复句研究忽视了自然语句的推理结构,对条件句的考察有失偏颇.讨论以负命题推理为基础的汉语条件句及相关句族的语义实现,指出该类句族范畴的语义是个整体,其意义是以底层的逻辑语义为基础在语言的表达层面被激活的,是逻辑语义和语言化共同促动的结果.研究运用缺省推理解释负命题推理范畴的语义理解,属于复句研究的新尝试.     

自然语言逻辑预设问题探究

预设的研究,无论是运用"恰当性"方式的角度;还是命题"真值条件"方式的角度,都不能只关注语言的表达功能,而且还必须关注语言的传达交际功能.在分析语境运用条件及语用语境基础上,研究自然语言逻辑预设的特征、功能及作用尤有意义.     

含意理论与蕴涵怪论(上)——会话含意能消解蕴涵怪论吗?

如果把条件句作实质蕴涵的解释,则会出现违反人们直觉的怪论.格赖斯认为蕴涵怪论确实堤不令人满意的,但却是真的;他利用会话含意理论对蕴涵怪论进行了辩护,指出为什么蕴涵怪论给人的感觉是荒谬的,但却是真的.从总体上说,格赖斯用会话含意理论对蕴涵怪论的解释是合理的,但是,这种辩护却存在一定的局限性.虽然会话含意理论对蕴涵怪论的辩护存在很多问题,但是它仍然具有积极的意义.     

弗雷格的逻辑和数学思想的哲学基础

弗雷格在《算术基础》中阐述了三条基本原理 ,这三条原理一方面说明他为什么要构造他的人工语言系统 ,另一方面说明算术何以能够建立在逻辑的基础之上 ,这是从哲学的高度出发论证他的逻辑和数学思想的基础     

超内涵的条件句逻辑的哲学基础

本文从条件句逻辑中一条颇受争议的定理SDA出发,通过分析以往对SDA与RCEA之间冲突的解决方案中存在的问题,论证了日常语言中超内涵的条件句的存在,以及建立新的超内涵的条件句逻辑的必要性。     

语义地图模型在条件句范畴中的运用初探

依据语义地图理论对汉语条件句(在此称之为"条件关系范畴")的语义进行共时描画,给出三个地图模型,这些模型是汉语条件句的语义关系缩影。通过分析假言范畴、选言范畴、负命题范畴及模态条件范畴的整体语义,归纳出核心意义及非核心区域的意义。借鉴语义地图理论的操作程序,构拟汉语条件关系范畴的语义关系网络图,用以揭示该范畴的概念结构及相关意义间的心理表征。     

如何对待传统逻辑与现代逻辑--兼谈逻辑学教学体系的构建

传统逻辑并非完全过时,"取代论"者之所以主张用数理逻辑代替传统逻辑,是由于他们将"传统"与"落后"相等同,"现代"与"先进"相混淆,从而将传统逻辑看作是"落后的"、"过时的"逻辑,现代逻辑被视为"先进的逻辑".尽管传统逻辑与现代逻辑在其研究的对象、内容、方法以及适用范围等方面有许多不同,但它们之间并非是完全对立的两极.传统逻辑与现代逻辑的某些内容是可以相容的.传统逻辑现代化的前提是保留传统逻辑,而不是取代传统逻辑.构建逻辑学教学体系要正确处理好传统与现代之间的关系,要相互吸收、借鉴、兼容,反对机械拼凑和生搬硬套,反对一刀切.要根据学科自身发展的规律和教学改革的需要,构建适合不同专业、不同知识背景、不同教学及授课方式的教学体系.