假言命题与选言命题关系的实验研究——对逻辑学、心理学与认知科学的思考

二十世纪七十年代认知科学产生之后,逻辑学和心理学一改之前彼此隔离的状况,实现了真正意义的融合发展,产生了心理逻辑这一新的学科。笔者在沃森、马库斯和里普斯关于假言命题的经典实验基础上,对假言命题与选言命题的关系进行实验研究,进一步验证了心理逻辑经典实验的结论:人们的实际推理过程并不完全遵循演绎逻辑的规则,要受到心理因素的影响。并从逻辑、心理、语言和认知的角度思考导致这一结果的原因。     

论直言推理中存在预设的合理性

存在预设是传统逻辑学家在评价直言命题推理时通常都必须考虑的基本问题.所谓存在预设即是指假定直言命题的主项或谓项所表达的类是一个非空集合,或者说,主项或谓项所指示的类不能是空集.如果取消了这一假定,在传统逻辑中被视为演绎有效的某些直言推理就不再有效.我们给出了一个从现代逻辑角度来为传统逻辑中存在预设合理性的逻辑辩护的框架,不仅把存在预设问题从对当关系推理扩展到命题变形推理和三段论,而且从主项存在预设扩展到谓项存在预设.     

所有特称否定命题都不能换位吗？

在传统逻辑学直言命题变形推理的理论中 ,有“O命题不能换位”的推理原则 ,但是 ,并不是所有O命题都不能换位 ,只是因为传统逻辑学中的推理原则必须具有普遍性 ,以保证推理结果能必然得出 ,保证从前提到结论的推理形式是演绎的 ,所以 ,传统逻辑学中才会有“O命题不能换位”这一推理原则。     

关于蕴涵的几种关系

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

《论语》《孟子》《老子》《庄子》的全称和特称量限表达

《论语》《孟子》《老子》《庄子》四书中有16个全称量限表达形式,2个特称形式。其中量限表达的特点:状语占优势;定语初步发育;特称尚无定语量项。全称表达常过度夸大。四书量项的状语和定语总词次的比是279:54。将其与《人民日报》《光明日报》相同字数的语料对比,可以把汉语量项的发展分为状语优势和定语优势两个阶段。语言中的谓语及其修饰语先发展,于是先有状语优势阶段。渐渐地量项由主谓双管过渡到专管主语,是认识的精细化。汉语今天已处于定语优势阶段,而造成的这种转变的时间和机制还有待研究。从四书和儿童语言的情况看,全称、特称和单称命题的起源顺序应是单称→全称→特称。     

“吸收论”的两种归宿——中国高校文科逻辑教学走向何处

80年代初数理逻辑与传统逻辑的关系的争论中,大致有4种观点取代论,统一论,吸收论,永恒论(并存论)。吸收论不过是权宜之计,不可能无穷无尽地吸收下去。永恒论不应该是吸收论的终点,吸收论理应向取代论转化。大学里还是需要讲传统逻辑的,它是西方逻辑史的内容,不是普通逻辑,即逻辑概论的内容。 中国传统学术缺乏逻辑精神。本文把逻辑精神归结为两点一、只管推理形式是否有效,不管命题是真是假。二、亿万次证实不能代替证明。     

命题间的逻辑关系及相应的运算

逻辑学主要是研究推理的科学,而命题间的逻辑关系是命题逻辑推理的依据。所以,研究命题间的逻辑关系,对逻辑学的进一步发展具有重要意义。在我国研究这方面的文献不多。在传统逻辑教材中,在不考虑空类的条件下,对直言命题A、E、I,O之间的关系进行初步的讨论,其实它们之间的关系只是命题间关系的部分场合。本文试图从更广的视野来讨论此问题,简要地分析命题间的逻辑关系,并把这十种关系做为十种命题运算的逻辑根据,继而分析我国现行一些逻辑教材中的几种流行观点,以便澄清问题,消除误解。为了说明问题,笔者不得不引用某些书中的例子,望这些书的作者谅解。     

论先秦关于逻辑命题的理论

论先秦关于逻辑命题的理论周云之应当承认，逻辑命题历来是逻辑史上最难捉摸的一个问题，它不像正名、推理那样比较容易直观地为人们所理解。在先秦，除少数名辩家讨论了命题和判断的性质和关系外，只有后期墨家是真正讨论了有关逻辑命题的理论，他们在这个领域的许多方面...     

自然法传统中的立法理论

随着法律实证主义观念的扩展,实证立法在一定程度上丧失了高级法的制约,可能沦为纯粹意志的产物。针对这一危机,有着悠久理论传统的自然法理论可以为立法提供丰富的知识资源。本体论自然法理论和唯理论自然法理论侧重于对演绎逻辑的强调,甚至认为从自然法可以逻辑地推出所有的实证法细节。近代以来随着反启蒙思潮的崛起,自然法的存在基础受到了严重的挑战,立足于演绎逻辑的推理模式也备受质疑。结合自然法的物理主义进路和菲尼斯的新自然法理论,可以为自然法的存在提供一个新的基础性证明。在这样一个新的基础上,自然法向立法推导的过程秉持一种准工程式的推理模式,其并未过度强调演绎逻辑的作用,更加重视“慎断”这一人的意志性因素在实践立法中的意义。     

论回溯推理在假说中的作用

在假说形成过程中 ,人们往往要从已有的事实出发去寻找、推测产生这一事实的原因 ,在这样的过程中 ,人们一定会使用回溯推理。假说形成的逻辑特征决定了回溯推理的作用。假说形成的要素和阶段决定了回溯推理的作用。回溯推理的原子命题与假说的要素有相同之处 ,因此在假说形成的第一个阶段中 ,回溯推理的作用非常明显而且突出。假说和回溯推理这两种方法在逻辑上有相似之处 ,但也有明显的区别     

从“是”推不出“应该”吗?(下)——休谟法则的逻辑根据质疑

下篇主要检讨休谟法则的逻辑根据 ,指出休谟法则与道义逻辑语义学是不相容的 ,其有效性在任何逻辑系统中都无法证明 ,它不是逻辑规则 ,而只是逻辑假说。本文证明存在着休谟法则的反例 ,即从事实命题推出规范命题或评价命题的有效推理 ,从而证伪了休谟法则。本文认为 ,从“是”推出“应该”之所以可能 ,主要是因为存在着反映社会事实与价值的逻辑关系的分析命题或语义公理     

对我国逻辑学研究与教学改革的建议

我国逻辑学研究和教学的改革在指导思想上,应该以“面向现代化、面向世界、面向未来”的口号作为共同的方针。在这一方针指导下,除了充分认识传统逻辑的缺陷,同时加强队伍知识结构的更新之外,最主要的是,必须采用逻辑研究的新成果和新方法,这包括:1.数理逻辑采用一整套人工语言(符号),运用数学演算的方法来研究逻辑,就是数理逻辑。它是相对于传统逻辑而言,也是相对于我国一部分研究者的观念而言的。现代数理逻辑的内容,有命题演算、谓词演算、集合论、递归论、证明论、模型论等。数理逻辑不仅使人们对逻辑推理的研究达到了极为精确和深刻的程度,还能对数学基础、     

论莱布尼茨的数理逻辑成就及成因

莱布尼茨是数理逻辑的奠基者和创始人,他提出了建立理性演算和一套普遍科学语言的设想,构造了关于两个概念相结合的演算,并成功地将命题形式表达为符号公式。莱布尼茨取得这些成就绝非偶然,首先传统逻辑为数理逻辑打下了基础;其次,近代数学的发展和莱布尼茨一以贯之的理性演算思想也直接促进了数理逻辑的形成;最后,莱布尼茨的数理逻辑思想是为他的认识论服务的。莱布尼茨将逻辑数学化和对思维进行推演的设想对后世有着极其重要的意义。     

如何理解伦理享乐主义

日常生活中遵循享乐主义的人不在少数，然而伦理享乐主义在学术界一直颇有争议。为了解决两者间的张力，我们有必要区分开伦理享乐主义包含的三个不同命题以及其受到的不同直觉挑战：同质性命题受到苏格拉底式挑战，唯一性命题受到康德式挑战，全称性命题受到罗尔斯式挑战。密尔放弃同质性命题来挽救享乐主义，但他对高级与低级快乐的区分难以得到辩护。不仅如此，诺齐克的体验机思想实验表明，任何只以快乐为唯一价值的理论在直观上都让人难以接受，从而进一步巩固了康德式挑战。挽救享乐主义比较可行的新策略是放弃唯一性命题，承认快乐之外还有其他内在价值。这一策略不仅可以接受康德式挑战，而且可以阐明同质性命题的合理性。此外，通过区分初定理由与初步理由，我们可以较好地回应针对全称性命题的罗尔斯式挑战。     

论契约型信任关系的理论原型 --怀疑主义和社会契约论视角中的信任关系

近代以来,人们之间的信任关系属于一种契约型信任关系的类型,这种类型的信任关系在理论上可以从怀疑主义和社会契约论两大理论传统上得到理解.怀疑主义哲学对陌生人社会普遍怀疑所作出的揭示,为契约型信任关系的确立提供了制度设计和制度安排的思想前提;社会契约论的政治哲学传统在对契约社会的逻辑论证中指出了契约原则是政治和社会生活的基本原则.根据这两大理论传统,可以对近代以来人们之间的契约型信任关系作出合理的解释.     

因明的“合离”与“分离规则”

对因明的推理规则多从因三相分析,但无人认为因明的“合离”即“说因宗所随,宗无因不有”是一条因明中的重要的推理钡则,最多有人认为这是讲喻的结构的。我们认为它与现代逻辑中的一条最重要的“分离规则”有异曲同工之效。从逻辑的角度     

逻辑批判──从黑格尔、尼采到阿多尔诺

现代逻辑与传统逻辑具有不同的所指。由于肇始于莱布尼兹的现代逻辑采用数学的研究方法，通常等值于数理逻辑。而由亚里士多德创立且经过中世纪加以完善的逻辑为传统逻辑。黑格尔、尼采以及阿多尔诺的逻辑批判主要指向传统逻辑。这一批判表征着逻辑与形而上学之间的走势及其既拒斥、对立又渗透、融合的矛盾冲撞关系。在现代逻辑中，从方法论上来看，除模态逻辑、多值逻辑、模糊逻辑置身于浓郁的形而上学氛围之中外，胡塞尔对心理主义逻辑的批判、卡尔纳普就语言和逻辑句法关系所作的阐释、奎因对经验主义两个教条的批判以及波普建立于逻辑非…     

数理逻辑的发展与数学柏拉图主义

数理逻辑的发展与数学柏拉图主义郭泽深符号化、演算化的数理逻辑的出现，推动了围绕着以解决数学基础为中心任务的元数学、数学哲学的发展。正如前苏联数学家Ａ·亚历山大洛夫所说：“对数学基础的研究，开辟了解决这个问题的另一条道路，即研究数学证明的逻辑手段，这就...     

广义量词理论述评

广义量词理论述评张维真（天津市委党校）通常，现代逻辑只研究和运用两类量词：全称量词和存在量词，广义量词理论则对逻辑量词进行了充分的推广，从而极大地提高了逻辑的表达能力。广义量词理论始于五十年代末期，但它发展很快，已成为数理逻辑中一个相对独立的研究领域...     

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

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