论假言命题的特殊表述形式

一般逻辑著作把假言命题的表述形式概括为“如果……就……”“只有……才……”等等,这只是典型的形式。在自然语言里,假言命题有其丰富的表述形式,本文仅就其荦荦大者,概括了七种:一、正反式;二、准正反武;三、逆接式;四、顺接式;五、提示式;六、时间条件;七、倚变句。本文以此说明逻辑与语言错综而又密切的关系。     

论不同假言命题的识别——兼谈逻辑联结词和语句关联词的关系

一、识别的含义一般形式逻辑教科书都认为:假言命题有三种:即充分条件假言命题、必要条件假言命题和充分必要条件假言命题。一般教科书还明确规定: P→q(或“如果P,则q”)是充分条件假言命题形式; P←q(或“只有P,才能q”)是必要条件假言命题形式; P?q(或“P当且仅当q”)是充分必要条件假言命题形式。     

关于蕴涵的几种关系

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

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

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

弗雷格的实质蕴涵思想与现代逻辑的选择

弗雷格提出实质蕴涵思想的最初依据实际上也是蕴涵命题前后件之间的相关性,他所引以为据的"如果太阳现在已经升起,那么天空乌云密布"并不是毫无条件联系的假言命题,他是由这种相关性经过抽象论证而过渡到了实质蕴涵的,但他的论证并不是逻辑有效的.弗雷格的思想对现代逻辑以至于现代哲学的影响是巨大的.罗素把实质蕴涵的思想明确地贯穿于他的逻辑体系并且还提出了一个关于实质蕴涵的形式化定义,由此,实质蕴涵的意义完全成了一种人为的规定,它不仅不能正确处理自然语言中的假言命题,而且也不能正确处理自然语言中的假言推理.判断一个条件句的真值最主要还是要看该条件句的前件和后件之间有没有条件和结果的关联.判定条件语句真假的复杂性要求判定者必须具备超出形式逻辑范围的知识.     

论弗雷格的命题函项思想

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

也论墨家“杀盗非杀人”的命题

“杀盗非杀人也”这一命题,是墨家的光辉逻辑著作《墨辩·小取》中提出的,对这一命题人们历来争议较多。不少人受《荀子·正名篇》的影响,认为这个命题是诡辩,是“惑以用名以乱名”。也就是说这个命题犯了偷换概念的逻辑错误;也有人认为:这一命题是墨家为了宣扬“兼爱”的政治主张,而忽略了逻辑;另外,也有不少人为这一命题作了辩解。认为《小取》中提出的这一命题是从“获事其亲,非事人也”等例,根据《小取》“以类取,以类与”的原则和“援”式合乎逻辑地推出“杀盗非杀人也”的结论的,因而认为这一命题不是诡辩。(参见生活·读书·新知三联书店1981年版《中国逻辑思想史论文选》462—470页)     

人之初的呐喊——对普罗泰戈拉人本主义命题的理解与思考

普罗泰戈拉“人是万物的尺度”的人本主义命题,开启了从“自然哲学”向“人事哲学”的转变。而繁荣活跃的民主政治是普罗泰戈拉命题产生的社会前提。原子论哲学思想是普罗泰戈拉命题产生的理论前提,人的自觉是命题产生的内在逻辑,颂扬人性是普罗泰戈拉命题的精神实质,相对主义感觉论是普罗泰戈拉命题在认识论上的显著特征,开辟人本主义思想是普罗泰戈拉命题的意义所在。     

论柯亨的“首要性命题”

柯亨（Gerald Allan Cohen）在其代表作《卡尔·马克思的历史理论：一个辩护》中首次明确提出马克思历史理论的“首要性命题”和“发展命题”,并在学界产生了极大的反响和热烈的讨论,那么究竟什么是“首要性命题”？柯亨论证“首要性”命题的文本依据和逻辑依据又是什么？他的论证是否成立？我们如何看待柯亨对历史唯物主义的这一解读路径？文章尝试对这些问题做出初步的阐论。     

辩证概念、辩证命题形式质疑

概念是人的理性认识,它要随着人的认识和实践发展而不断完善丰富,这是一种内涵方面量的积累,但这种内涵的逐步丰富并不会使理性认识中产生出一种辩证类型的概念,因而把概念分为普通概念和辩证概念是没有根据的。辩证思想、辩证命题的辩证性来自思想的内容,不取决于它的命题形式。思维中不存在也不需要有某种独特类型的辩证命题形式。《辩证逻辑应是逻辑而不是哲学》一文关于“光既是粒子又是波”是辩证命题,其中联结词是辩证联结词的论证是不能成立的,说这一命题是辩证思维的结果,是违背科学史实际的。     

命题的本格初探

命题是逻辑哲学的核心概念,许多哲学家提出了自己关于命题本格的观点。弗雷格认为命题即被构造的思想,罗素认为命题是由词项构成的统一体,维特根斯坦认为命题是可能世界的集合。辨析以上观点可以指认:命题是被构造的抽象实体,它是真值载体,独立于自然语言而存在,具有合法的本体论地位。     

哲学逻辑的时态命题与模态命题关系论析

时态与模态总是相互依存的,主客时间是主体的先天直观形式,主观模态则是对事物的模态认知.那些不断指向可能"将来"的"现在",总是携带着必然的"过去",并且,必然的"过去",也通过"现在"与可能的"将来"勾连起来.因此,人们常说:了解历史就是为了现在更好地掌握将来.阐明了存在与时间、模态与时态等问题,主、客观时间的特征和时态因素与模态因素的关系就得以显现,对时态命题与模态命题的认知也可以深化一步了.     

合作社会理论的构想——评罗尔斯的社会合作体系

近些年来,在理论叙述和学术探讨中,"合作"一词出现的频率越来越高,其中包含着人们对合作社会的向往.事实上,人类社会的发展也恰恰表现出这样一种趋势,那就是必将走向合作的社会.从某种意义上说,人类向后工业社会的转型,可以看作是合作社会到来的契机.在当代最有影响的理论或学说中,罗尔斯的正义理论是对合作问题作出最集中探讨的篇章.但是,在罗尔斯关于合作的探讨中,存在着一系列值得怀疑的立论,他的许多概念以及诠释合作的叙述都是值得商榷的.     

论人的交互主体性的提出

人到底是怎么样的一种存在,这个问题在人类哲学发展史上时隐时现。从封闭蒙昧的自我到主体的觉醒和痴狂,人类发展从始至终一直走不出的存在方式,竟然是人的类存在：人处于社会关系中。这在哲学上预示着主体性向交互主体性哲学的转向。     

《谏逐客书》杂考

长期以来，李斯的《谏逐客书》都被认为同修建郑国渠有紧密的联系。详细考证有关的历史文献，分析郑国渠修建前后的相关史实，会发现逐客令的主要矛头是针对秦国当时的当权派吕不韦的，郑国渠的修建同逐客令的发布以及《谏逐客书》的写作并没有必然的关联。这一结论为深入理解这篇文章提供了一个相对客观真实的历史背景。     

“文化认知”命题释义

认知对象只有进入人的文化活动之中,才能具有一定的文化意义。文化认知是一种主体性认知,认知主体已有的文化认知结构在认知中起着决定性作用。认知作为一种文化活动的目的不在于仅仅理性地把握认知对象,而在于理性地把握认知对象所蕴含的文化意义,即对认知主体的价值意义,这是由人追求价值的本性所决定的。文化认知作为心理的高级机能,一方面,导致各认知因素发生了质的变化,另一方面,凸显了文化因素在其逻辑发展中的作用。     

中国彩票业:反思与构想

中国彩票业自1987年诞生以来,在取得巨大成就的同时也暴露出许多问题与不足。本文对中国彩票业发展过程中暴露出的问题与不足进行分析,在借鉴国外与港澳地区博彩业发展成功经验的基础上,提出中国彩票业发展的近期与远期构想。     

论分析命题与综合命题的逻辑性质--从奎因对分析命题与综合命题之区分的批判谈起

在考察分析命题与综合命题的基础上,对奎因分析命题与综合命题之区分的批判进行了评述,说明奎因的批判并不能否认分析命题与综合命题的区分,而只是表明了"分析命题"与"综合命题"是两个典型的模糊概念,因而需要运用模糊思维方法去把握它们既相对区分又相互贯通的辩证机理.     

论关系命题的逻辑性质

普通逻辑学界流行的关于关系命题逻辑性质的认定,不能研究非二元关系命题的逻辑性质,也难以契合于具体的二元关系命题。普通逻辑难以解释关系命题的逻辑性质,不仅在于这些所谓的逻辑性质本身容易陷入窘境,而且在于它与普通逻辑应该研究的逻辑性质相去甚远。普通逻辑不能合理、有效地揭示关系命题的逻辑性质,是与它不能系统地使用符号语言分不开的。要合理、有效地揭示关系命题的逻辑性质,必须借助现代逻辑,建立新的分析手段,把关系命题从现行的普通逻辑教本中分离出去。     

命题逻辑语法完全性问题

本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析,认为:命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间关系的二元谓词,是与具体的命题逻辑形式系统联系在一起的;指出:公理数有限、有代入规则的命题逻辑公理系统具有语法完全性;证明:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性.