共查询到17条相似文献，搜索用时 919 毫秒
1.
周君 《绵阳师范学院学报》2012,31(1):111-113
经典逻辑由于出现了“实质蕴涵怪论”而遭到非议,其原因无非是把经典逻辑当成了“普遍适用”的逻辑规律。本文从实质蕴涵概念入手,概述了多种蕴涵理论,从而为实质蕴涵及其“怪论”辩护。 相似文献
2.
自从弗雷格提出“实质蕴涵”以后,逻辑学界就从未停止过对它的争论。特别是对由它引发的蕴涵“怪论”问题更是意见不一。虽然逻辑学界对蕴涵“怪论”争论了多年,但是却没能提出一种恰当的方法来消除它,其原因何在？本文试从什么是蕴涵“怪论”入手,谈到古今中外逻辑学人士尝试解决“怪论”而最终未能成功,继而分析了怪论出现的原因,最后得出结论—实质蕴涵“怪论”是逻辑的必然。 相似文献
3.
两个独立性是充分条件关系最重要的逻辑性质,是人类之所以能从已有知识获取新知识的逻辑依据。逻辑有效充分条件关系中的逻辑的两个独立性源自经验的充分条件关系,又回过头来为经验科学服务。数理逻辑中的实质蕴涵不是充分条件关系的科学抽象,从而产生蕴涵怪论。随着逻辑科学的发展,蕴涵怪论最终将被消除。 相似文献
4.
胡怀亮 《云南师范大学学报(哲学社会科学版)》2010,42(1):63-68
与格赖斯一样,杰克逊也认为把条件句作实质蕴涵的解释是不令人满意的,但却是真的;与格赖斯不同的是,他提出了一个不同的辩护方式,即利用规约含意理论对蕴涵怪论（paradox）进行消解。他认为蕴涵怪论的出现是因为我们自始至终搞混了真和可断定性,即自始至终坚持确定的条件句不是真的,因为它们不是可断定的。这种辩护与格赖斯的辩护一样,也存在一定的局限性。 相似文献
5.
古希腊麦加拉学派认为完善的条件句并非开始于真且结束于假,这个被称为“实质蕴涵”的观点经过弗雷格和罗素的继承而成为经典逻辑的核心观念。但冯棉先生总结出实质蕴涵有两类共七种“怪论”。第一类为“非相干性蕴涵怪论”,第二类为“相干性蕴涵怪论”。程仲棠先生认为实质蕴涵式中的命题常项只有“真”“、假”这两个语义,逻辑永真式只提供“认识中为真的最低层次的必要条件”。张建军先生用“蕴涵/析取”的转换来证明“怪论”并不怪。我们承认全部七种都具有“怪论”的身份,并分析证明怪论公式的命题代入例在实质蕴涵的本来涵义上都不是怪论。 相似文献
6.
霍书全 《广东广播电视大学学报》2006,15(4):29-32,49
推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪论”。虽然“怪论”难以消除,但在一定条件下也是可以消除的。既然推理如此特殊,我们只能通过扩充逻辑种类的方法间接完成对推理的刻画,应该抛弃狭义的逻辑观,使数理逻辑的优势发扬光大。 相似文献
7.
8.
实质蕴涵刻画推理的思考 总被引：2，自引：1，他引：1
李建华 《湘潭师范学院学报(社会科学版)》2000,(1)
用实质蕴涵刻画推理 ,尽管它不具有内容相关性和独立性 ,造成了反直观的“怪论” ,但它概括了“如果 ,那么”这类联结词各种用法中的共性 ,在日常用法中有其经验根据 ,具有广泛的适用性和使用的方便性。相对逻辑学家已提出的各种刻画推理的蕴涵理论 ,用实质蕴涵刻画推理是比较好的推理理论 相似文献
9.
实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。 相似文献
10.
实质蕴涵理论是逻辑学的一种基础理论,但它长期面临着蕴涵怪论的质疑,尤其是一些反例成为实质蕴涵理论的严峻考验。针对它所面临的“严峻反例”,国内目前主要有两种不同的化解路径：以程仲棠为代表的命题逻辑方案和以张建军为代表的形式蕴涵方案。这两种方案有着本质差别,究竟哪一种更合理,这需要立足于具体的分析来进行抉择。 相似文献
11.
胡泽洪 《华南师范大学学报(社会科学版)》2006,5(5):1-6
实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样, 其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象, 所谓的&;#1048577; 实质蕴涵怪论&;#1048577;其实并不怪, 它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系, 从而作了错误的解读所造成的; 作为一种特殊的条件语句, 在反事实条件句与实质蕴涵的关系问题上, 在反事实条件句与一般性条件句的区分上, 还有很多地方需要进一步探索。 相似文献
12.
王太忠 《昆明师范高等专科学校学报》2007,29(2):41-42,49
自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提。根据充分条件假言命题为真的情况下前后件之间的关系,只要构造的蕴涵式的前后件都为真,或者前后件都为假,或者前件为假且后件为真,那么这个蕴涵式的逻辑值就是真的,这样就可以销去假设前提了。 相似文献
13.
白利军 《兰州石化职业技术学院学报》2011,11(2):66-68
讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数. 相似文献
14.
V. Durand-Guerrier 《Educational Studies in Mathematics》2003,53(1):5-34
Implication is at the very heart of mathematical reasoning. As many authors have shown, pupils and students experience serious
difficulties in using it in a suitable manner. In this paper, we support the thesis that these difficulties are closely related
with the complexity of this notion. In order to study this complexity,we refer to Tarski's semantic truth theory,which contributes
to clarifying the different aspects of implication: propositional connective, logically valid conditional, generalized conditional,inference rules. We will show that for this purpose, it is necessary to extend the classical definition of implication as a relation between
propositions to a relation between open sentences with at least one free variable. This permits to become aware of the fact
that, in some cases, the truth-value of a given mathematical statement is not constrained by the situation, contrary to the
common standpoint that, in mathematics, a statement is either true or false. In the present paper, the didactic relevance
of this theoretical stance will be illustrated by an analysis of two problematic situations and the presentation of some experimental
results from our research on first-year university students' understanding of implication.
This revised version was published online in August 2006 with corrections to the Cover Date. 相似文献
15.
We report results from an analysis of responses to a written question in which high-attaining students in English schools,
who formed part of a longitudinal nation-wide survey on proof conceptions, were asked to assess the equivalence of two statements
about elementary number theory, one a logical implication and the other its converse, to evaluate the truth of the statements
and to justify their conclusions. We present an overview of responses at the end of Year 8 (age 13 years) and an analysis
of the approaches taken, and follow this with an analysis of the data collected from students who answered the question again
in Year 9 (age 14 years) in order to distinguish learning trajectories. From these analyses, we distinguished three strategies,
empirical, focussed-empirical and focussed-deductive, that represent shifts in attention from an inductive to a deductive
approach. We noted some progress from Year 8 to Year 9 in the use of the focussed strategies but this was modest at best.
The most marked progress was in recognition of the logical necessity of a conclusion of an implication when the antecedent
was assumed to be true. Finally we present some theoretical categories to capture different types of meanings students assign
to logical implication and the rationale underpinning these meanings. The categories distinguish responses where a statement
of logical implication is (or is not)interpreted as equivalent to its converse, where the antecedent and consequent are (or
are not) seen as interchangeable, and where conclusions are (or are not)influenced by specific data.
This revised version was published online in July 2006 with corrections to the Cover Date. 相似文献
16.
黄奕霖 《华侨大学学报(哲学社会科学版)》2004,(1):87-92
“言意之辩”是中国哲学史上的基本论争之一,也是一个涉及语言哲学的理论问题。以先秦“言意之辩”为切入点、勾勒中国古代语言哲学讨论的一些基本问题如语言与客观对象的关系,语言与思维的关系,并由此凸显出中国先秦哲学家们对语言问题的哲学思考。先秦的“名实之辩”主要是在认知领域讨论语言与客观对象的关系,“言意之辩”则是在“名实之辩”基础上的思想上的转进,主要涉及语言与思维,语言与人的关系,讨论问题的层次有两个：一是具体的语用层面,在日常生活中语言的表意功能,二是在哲学层面,语言对于形而上问题能否把握,如果能,又如何表达。 相似文献
17.
曾庆福 《昆明师范高等专科学校学报》2008,30(3):52-54
反事实条件句与实质蕴涵和严格蕴涵不同,在历史上解决反事实条件句的理论主要有共存性理论和相似性理论,但这两种理论都存在一定的局限性,实际上,反事实条件句是一个语用概念,它表达了对某种事件或现象的情感或意向,与主体有密切的关系。 相似文献