逻辑学简介

合集下载

逻辑学经典书籍

逻辑学经典书籍

逻辑学经典书籍摘要:1.逻辑学简介2.逻辑学经典书籍的分类3.代表性逻辑学经典书籍介绍3.1《形式逻辑》3.2《逻辑学导论》3.3《逻辑思维》3.4《数理逻辑》3.5《论证逻辑》4.阅读逻辑学经典书籍的意义正文:逻辑学是一门研究推理规律和思维规律的学科,它旨在帮助人们提高思维品质、培养良好的推理能力。

逻辑学经典书籍是学习和研究逻辑学的基石,它们为我们提供了丰富的理论知识、方法和实例。

下面,我们将对一些具有代表性的逻辑学经典书籍进行简要介绍。

1.逻辑学简介逻辑学可以分为形式逻辑、数理逻辑、论证逻辑等多个分支。

形式逻辑主要研究推理的形式,探讨概念、判断和推理的基本规律;数理逻辑则运用符号和数学方法研究逻辑结构;论证逻辑关注论证的构建、分析和评估。

2.逻辑学经典书籍的分类逻辑学经典书籍可以分为以下几类:形式逻辑、逻辑学导论、逻辑思维、数理逻辑和论证逻辑。

这些书籍在内容、深度和广度上各有侧重,适合不同层次的读者。

3.代表性逻辑学经典书籍介绍3.1《形式逻辑》《形式逻辑》是关于推理形式和规律的研究,是逻辑学的基础理论。

本书通过阐述概念、判断和推理的基本概念,以及推理的基本规律,为读者打下扎实的逻辑学基础。

3.2《逻辑学导论》《逻辑学导论》是一本引导读者进入逻辑学领域的入门书籍,它简要介绍了逻辑学的基本概念、历史发展和主要分支。

本书适合初学者入门学习,帮助读者了解逻辑学的基本内容和研究方向。

3.3《逻辑思维》《逻辑思维》旨在培养读者的逻辑思维能力,通过丰富的实例分析、练习和测试,使读者掌握逻辑思维的基本方法和技巧。

本书适合希望提高逻辑思维能力的读者。

3.4《数理逻辑》《数理逻辑》是一本关于符号逻辑和数学逻辑的书籍,它运用符号和数学方法研究逻辑结构和推理规律。

本书适合对数理逻辑有兴趣的读者深入学习。

3.5《论证逻辑》《论证逻辑》主要研究论证的构建、分析和评估,它通过阐述论证的基本概念、结构和评估方法,帮助读者学会分析、评估和构建有效的论证。

逻辑学_定义

逻辑学_定义
逻辑学研究思维活动中普遍适用的逻辑规 律,如同一律、矛盾律和排中律等。
逻辑学的历史与发展
古典逻辑学
古典逻辑学起源于古希腊 ,代表人物有亚里士多德 等,主要研究演绎推理和
形式逻辑。
现代逻辑学
现代逻辑学在19世纪末至 20世纪初得到快速发展, 包括数理逻辑、模态逻辑 和归纳逻辑等多个分支。
当代逻辑学
当代逻辑学在20世纪后半 叶至今持续发展,涉及计 算机科学、语言学、哲学 等多个领域,呈现出跨学
科的研究趋势。
02
逻辑学的基本概念
概念的定义与分类
概念的定义
概念是反映事物本质属性的思维形式 ,是构成判断和推理的基本要素。
概念的分类
根据概念所反映的对象数量不同,可 分为单独概念和普遍概念;根据概念 所反映的对象性质不同,可分为实体 概念和属性概念。
判断的定义与分类
判断的定义
判断是对事物情况有所断定的思维形式,是构成推理的基本 要素。
逻辑学的未来发展人工智源自与逻辑学的关系探讨人工智能对逻辑学的需求
人工智能的发展需要逻辑学提供形式化方法和推理机制,以实现更加智能的决策和问题解 决。
逻辑学在人工智能中的应用
逻辑学为人工智能提供了知识表示、推理和学习的理论基础,促进了人工智能在各个领域 的应用。
人工智能与逻辑学的互动关系
人工智能的发展推动了逻辑学的研究,同时逻辑学的发展也为人工智能提供了更加坚实的 基础。
验证科学假说
逻辑学提供了一套严谨的验证方法,如实验验证、逻辑推理等,有 助于科学家验证假说的真伪。
逻辑学对日常生活的指导作用
提高思维能力
学习逻辑学有助于提高人们的思维能 力,包括分析、判断、推理等能力, 有助于更好地应对生活中的各种问题 。

逻辑学 科普

逻辑学 科普

逻辑学科普逻辑学是一门研究推理和论证的科学,它可以帮助我们更好地理解世界,提高思考能力和判断力。

在这篇文章中,我们将介绍逻辑学的基本概念、方法和应用,让你能够掌握逻辑学的核心知识,并在日常生活中运用逻辑思维解决问题。

一、逻辑学的基本概念1.逻辑思维:逻辑思维是指运用已知的事实和规则,进行合理推理和判断的过程。

它可以帮助我们分析问题、评估证据和找出合理的解决方案。

2.逻辑学基本概念:包括前提、结论、推理、论证、悖论等。

了解这些概念有助于我们更好地理解逻辑学的基本原理。

3.演绎推理与归纳推理:演绎推理是从一般原则推导出特定情况的推理,而归纳推理则是从特定情况推导出一般原则的推理。

这两种推理方法在逻辑学中具有重要地位。

二、逻辑学的方法1.逻辑演绎法:通过已知的前提和逻辑规则,得出必然的结论。

这种方法可以确保我们的推理是正确的,但有时也会陷入“剃刀困境”。

2.逻辑归纳法:从一系列特定案例中总结出一般规律。

虽然这种方法有时会受到质疑,但它在科学发现和日常生活中具有重要意义。

3.批判性思维:批判性思维是指对论证进行深入分析,评估其合理性和有效性的思维方式。

掌握批判性思维有助于我们避免盲目接受信息,成为更具独立思考能力的人。

三、逻辑学的应用1.科学探究:科学家们利用逻辑推理和论证,分析实验数据,验证理论,推动科学的发展。

2.日常生活:我们在日常生活中会遇到各种问题,运用逻辑思维可以帮助我们分析问题、制定解决方案,并评估其可行性。

3.辩论与沟通:在辩论和沟通中,逻辑学可以帮助我们构建有力的论证,说服对方接受我们的观点。

4.哲学探讨:逻辑学为哲学提供了严谨的推理和论证方法,有助于我们深入思考世界观、价值观和人生观。

总之,逻辑学是一门具有重要意义的学科,它可以帮助我们提高思维能力、分析问题和解决问题的能力。

通过学习逻辑学,我们可以在日常生活、学术研究和沟通交流中更加严谨、有条理地表达自己的观点和思考。

让我们一起探索逻辑学的奥秘,为自己的思维插上翅膀。

逻辑学的基本概念详细概述

逻辑学的基本概念详细概述
法律解释
逻辑学在法律解释中也有所应用,帮助解释法律 条文的含义和适用范围,确保法律的正确实施。
3
法律论证
逻辑学在法律论证中发挥着重要作用,通过论证 和反驳,评估法律观点的合理性和正确性。
科学中的逻辑学应用
实验设计
01
逻辑学在实验设计中发挥着关键作用,通过合理的设计和安排
实验,确保实验结果的可靠性和准确性。
形式谬误
形式谬误是指在推理过程中违反形式逻辑规则的错误。常 见的形式谬误包括假两难推理、不当假设、循环论证等。
归纳推理错误
归纳推理错误是指在归纳推理过程中出现的错误。常见的 归纳推理错误包括以偏概全、过度概括、以全概偏等。
THANKS
感谢观看
模态逻辑的符号表示通常包括L(必然)、M( 可能)、G(必然地不)和H(可能地不)。
模态命题逻辑
01
模态命题逻辑是模态逻辑的一个分支,主要研究模态命题 的推理规则和形式化。
02
它包括基本模态命题逻辑和扩展模态命题逻辑,其中基本模态命 题逻辑只包含必然和可能两种模态,而扩展模态命题逻辑则引入
更多模态。
推理过程
在推理过程中,需要根据已知的逻辑公式和推理规则,推导出新的逻辑 公式。这个过程通常需要使用一些推理技巧,如归结推理、假言推理等 。
04
模态逻辑
模态逻辑的基本概念
模态逻辑是研究必然性和可能性这两种模态的 逻辑分支,主要关注命题或语句的真实性程度 。
模态逻辑包括简单模态逻辑和广义模态逻辑, 其中简单模态逻辑只考虑两种模态,即必然和 可能,而广义模态逻辑则引入更多模态。
逻辑学的重要性
逻辑学在科学、哲学、法律、政治等领域中具有广泛应用,是理解和评估 论证的基础。

逻辑学读书笔记

逻辑学读书笔记

逻辑学读书笔记摘要:一、逻辑学简介1.逻辑学的定义2.逻辑学的发展历程3.逻辑学的重要性二、逻辑学的基本概念1.概念与语词2.判断与命题3.推理与论证三、逻辑学的基本规律1.同一律2.排中律3.充足条件律四、逻辑学的应用1.科学研究2.辩论与演讲3.日常生活正文:逻辑学是一门研究思维规律和推理方法的学科,具有悠久的历史。

从古希腊哲学家亚里士多德开始,逻辑学便逐渐成为哲学研究的重要分支。

在我国,逻辑学的研究也源远流长,诸子百家的学说中,儒家、墨家、名家等都有关于逻辑学的探讨。

逻辑学对于人类的思维和认知活动具有重要意义,它帮助我们更好地认识世界、分析问题和有效地进行沟通。

逻辑学的基本概念包括概念、判断、命题、推理和论证。

概念是反映事物本质属性的思维形式,语词是概念的表达。

判断是对事物性质、关系和状态的肯定或否定,命题是判断的语句表达。

推理是根据已知判断推出新判断的过程,论证是用推理证明某个判断的真实性。

逻辑学的基本规律包括同一律、排中律和充足条件律。

同一律要求在同一思维过程中,一个概念或判断只表示一个事物或性质。

排中律指出在同一思维过程中,一个命题要么为真,要么为假,没有中间状态。

充足条件律表明在同一思维过程中,如果一个命题是另一个命题的充分条件,那么前者的真就可以推出后者的真。

逻辑学在科学研究、辩论与演讲以及日常生活中都有着广泛的应用。

科学家通过逻辑推理揭示自然界的规律,哲学家运用逻辑分析探讨人类认识的本质。

在辩论与演讲中,逻辑学可以帮助我们揭示对方观点的矛盾,有效地论证自己的观点。

在日常生活中,逻辑学可以帮助我们认清事物的本质,避免陷入错误的思维陷阱。

总之,逻辑学作为一门探究思维规律和方法的学科,对于人类的认知活动和实际生活具有重要意义。

逻辑学(完整)

逻辑学(完整)

逻辑学(完整)逻辑学是研究思维和推理的学科,其研究对象是人类思维活动的规律和方法,主要目的是提高人们的思维能力和推理能力。

逻辑学的起源可以追溯到古希腊,由于逻辑的普遍性和实用性,逻辑学的研究一直延续至今天,并且在不同领域都有着广泛的应用。

逻辑学涉及到许多概念和原则,其中最基本的概念是命题。

命题是表述真假的陈述句,它要么是真的,要么是假的。

逻辑学认为,同一命题在不同上下文中的真假性是不变的。

逻辑学还研究命题之间的关系,例如包容关系、排斥关系、等价关系等等。

逻辑学的另一个重要内容是推理。

推理是基于已知前提或综合其它信息得出结论的过程。

逻辑学要求推理具有必然性,即如果前提是真实的,那么推理的结论也应该是真实的。

逻辑学将推理分为演绎和归纳两种。

演绎是从前提中推断出必然的结论,归纳是从具体的信息中总结出一般规律。

逻辑学还研究推理的规则和方法,其中最著名的是三段论。

三段论是一种演绎推理方法,它由前提和结论两部分组成。

例如:所有人都会死,苏珊是一个人,因此苏珊将会死。

这种推理方法是有逻辑规律可循的,并且被广泛应用于语言、数学和科学等领域。

除了命题和推理,逻辑学还探究了许多其它概念和原则,如:真实性、合理性、有效性、一致性等等。

这些概念和原则都有助于提高我们的思维素质和分析能力。

逻辑学在现代社会中有着广泛的应用。

在科学领域,逻辑学可以帮助科学家进行严谨的推理和实验设计。

在商业领域,逻辑学可以帮助人们进行逻辑思维训练,以更好地解决问题和制定策略。

在教育领域,逻辑学可以帮助学生提高思维和表达能力。

在法律领域,逻辑学可以帮助律师和法官进行论证和裁判,保障司法公正。

综上所述,逻辑学是一门非常重要的学科,它不仅可以帮助我们提高思维和推理能力,还可以应用于各个领域,为我们的生活和工作带来诸多好处。

逻辑学

逻辑学
逻辑学,源于希腊文,原指言辞、思想、规律等,后专指研究概念、命题、推理或论证的学问。在我国,严复首次从英文logic翻译过来,逐渐获得通用。逻辑学在现代汉语中有多种含义,如客观事物的规律、特殊理论观点、人类思维规律以及研究思维结构形式的科学。它主要研究思维的逻辑形式、规律和简单逻辑方法,涉及概念、判断、推理等思维形式,以及同一律、矛盾律、排中律等思维规律。此外,逻辑学还涵盖明确概念的方法如定义、划分,以及观察、实验、比较、分析、综合等逻辑方法。逻辑学发展历史悠久,包括古希腊亚里士多德的《工具论》、古中国的名辩学、因明三个分支,而形式逻辑,特别是传统形式逻辑,是人们通常提及的逻辑学内容。学习逻辑学旨在提高思维准确性和敏捷性,培养分析理性精神和创新意识,并为进一步学习其他科学知识提供逻辑分析工具。

逻辑学总结

逻辑学总结

逻辑学总结
逻辑学是一门研究关于推理、证明以及思考的学科。

它探讨的是
被理解为“正确”的思维和论证方式,因此它是一门非常重要的学科。

逻辑学主要包含以下几个方面的内容:
1. 命题逻辑:命题逻辑主要研究命题的真值和命题之间的关系。

它可以用形式化的符号表示命题,并且通过一定规则的推导得出结论。

2. 谓词逻辑:谓词逻辑是一种更为复杂的逻辑,它涉及到真值
赋值和量词。

在谓词逻辑中,可以用变量表示命题上的个体,并通过
量词来描述个体的数量。

3. 模态逻辑:模态逻辑主要研究命题的可能性和必然性。

它可
以表达“可能是这样”、“必须是这样”这样的概念。

4. 形式逻辑:形式逻辑是一种更为广泛的逻辑,它包括了以上
三个方面的内容,并且还涉及到逻辑结构和推理方式的问题。

逻辑学不仅仅是哲学范畴中的学科,它也有着广泛的应用。

在数学、计算机科学、人工智能等领域中,逻辑学都扮演着重要的角色。

总之,逻辑学的研究对于人们正确地思考、准确地表达思想起着
至关重要的作用。

通过学习逻辑学,我们可以提高自己的思维能力和
证明能力,为我们日常生活和学术研究都带来好处。

逻辑学专业介绍

逻辑学专业介绍

逻辑学专业介绍专业代码010102专业讲解逻辑学是一门研究思维形式及思维规律的专业。

逻辑最初的含义即规律,现在更多是指思维中的规律。

这种规律主要是命题(或判断)之间的推理及推导过程中的必然性,也称为思维的逻辑规律。

由于推理的重要性,逻辑学便以推理为研究中心,其主要目的就是找出推理规律。

目前,逻辑学已形成为一个多层次、多分支的庞大体系。

现代逻辑学与数学有非常密切的关系,数理逻辑就是现代逻辑学的主流。

专家点评逻辑学是辛苦枯燥的,专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识。

值得注意的是,逻辑学最好有一定的数学基础并对计算机感兴趣。

首先,这是逻辑学专业的能力要求,这些能力对于学好逻辑学有很大的帮助,一般不具备这些能力的学生也很难喜欢上逻辑学。

其次,数学基础和计算机能力对于就业也具有重要意义。

因为无论是逻辑理论方面的科研还是将来从事计算机科学和语言设计开发,都是重要的基石。

逻辑学并没有直接对口的行业,因此,学习逻辑学的学生在大学期间除了学好专业课程,对于未来的发展最好有清晰的规划,有准备地发展自己相应方面的能力。

如从事科研,读研或留学是首选;如向计算机方面发展,逻辑理论在计算机语言方面的应用就需特别关注;至于企事业单位和新闻出版,则需自己积极发展通用型技能。

总之,逻辑学不提供直接就业的能力训练,学生需要自己心中有数,方能有一个较好的发展,这也是所有哲学类专业相通的地方。

相近专业哲学、伦理学、宗教学代表院校重点院校:北京大学、中山大学、南开大学、中国政法大学、武汉大学、复旦大学、北京师范大学、清华大学、中央民族大学、吉林大学、南开大学、华东师范大学、浙江大学、厦门大学、山东大学、华中科技大学、湖南师范大学、南京大学、陕西师范大学、苏州大学、四川大学、南京师范大学、安徽大学、西安交通大学、同济大学、华中师范大学、上海大学、西南大学、西北大学、中国政法大学、内蒙古大学、中南财经政法大学、兰州大学、辽宁大学、大连理工大学、东北师范大学、南昌大学、大连海事大学、广西大学、贵州大学、云南大学、东北大学、湖南大学、北京航空航天大学、北京邮电大学、中国石油大学(华东)、郑州大学普通院校:山西大学、黑龙江大学、首都师范大学、湖北大学、上海师范大学、河北大学、湘潭大学、曲阜师范大学、河南大学、扬州大学、山东师范大学、湖南科技大学、西北政法大学、江西师范大学、华南农业大学、西藏民族学院、云南师范大学、云南民族大学、西北师范大学、齐齐哈尔大学、江西科技师范学院、聊城大学、青岛大学、沈阳大学、浙江工商大学、华侨大学、深圳大学、西南政法大学考研导读按照教育部对学科门类的划分,一级学科哲学下有马克思主义哲学、中国哲学、外国哲学、逻辑学、伦理学、美学、宗教学、科学技术哲学8个二级学科。

逻辑学资料

逻辑学资料

逻辑学
逻辑学是哲学的重要分支之一,它研究的是人类思维的规律和推理的方法。


过逻辑学的研究,人们可以更好地理解和运用逻辑推理,从而提高思维的清晰度和逻辑性。

逻辑学起源于古希腊,由亚里士多德系统化和发展,至今仍被广泛地应用于各个学科和领域。

在逻辑学中,逻辑推理是一个重要的概念。

逻辑推理是通过一系列的推断规则
和逻辑法则,从一组前提判断中得出结论。

逻辑推理分为演绎推理和归纳推理两种形式。

演绎推理是从一般到特殊的推理方法,而归纳推理则是从特殊到一般的推理方式。

逻辑学家通过研究逻辑推理的规律和方法,帮助人们在思维和推理过程中更加准确和有效地得出结论。

逻辑学不仅在哲学领域中有着重要地位,在数学、计算机科学、语言学等领域
也发挥着重要作用。

数学是逻辑学的一个重要应用领域,数学家通过逻辑学中的形式化方法和证明规范来推导和证明数学定理。

在计算机科学中,逻辑学被广泛应用于算法设计、编程语言和人工智能等领域,帮助人们更好地设计和分析计算机程序。

语言学家则通过逻辑学中的语义学和修辞学研究语言的逻辑结构和理解方式。

总的来说,逻辑学是一门研究人类思维和推理方式的重要学科,它对于提高人
们的思维能力和逻辑性具有重要意义。

通过深入研究逻辑学,人们可以更好地理解和应用逻辑推理,为各个领域的发展和进步提供良好的基础和支持。

逻辑学不仅仅是一门学科,更是一种人类思维的方式和方法,值得我们深入学习和探索。

逻辑学概要

逻辑学概要
(2)逻辑基本规律 ——主要指同一律、矛盾律、排中律和充足理由律。
(3)简单的逻辑方法 ——主要指定义、划分、限制、概括、观察和实验、分析和综合等方法。
3、性质
(1)基础性:逻辑学被列在七大基础学科(数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学)第二的位置。
逻辑
1、定义
(1)狭义而言,逻辑是有效推理的理论。
有效推理就是正确地从已知推出未知,并且不会出现真前提而假结论。
(2)广义而言,逻辑是有效推理和有效交际的理论。
有效交际就是正确地表达和理解,并且理解与表达相一致。
2、对象
(1)思维的逻辑形式 ——是指思维内容各部分之间的联系方式(或形式结构)。
(2)工具性:提供逻辑手段和方法;“思维的文法”
(3)无阶级性或全人类性:自古以来,中国、印度和西方都曾对逻辑这门学科的发生、发展作出不同程度的贡献。
4式中不变的部分,表示思维的形式;
(2)逻辑变项
——表示思维的内容。
注意:逻辑学只研究思维的形式,不研究思维的内容。

逻辑学基础知识

逻辑学基础知识

逻辑学基础知识目录一、逻辑学概述 (3)1.1 逻辑学的定义与范畴 (4)1.2 逻辑学的历史发展 (5)1.3 逻辑学的研究方法 (7)二、基本概念 (8)三、命题逻辑 (9)3.1 命题逻辑的基本符号 (10)3.2 命题逻辑的基本公式 (11)3.3 命题逻辑的推理规则 (12)3.4 命题逻辑的证明方法 (12)四、谓词逻辑 (13)4.1 谓词逻辑的基本符号 (15)4.2 谓词逻辑的基本公式 (16)4.3 谓词逻辑的推理规则 (17)4.4 谓词逻辑的证明方法 (17)五、演绎推理 (18)5.1 演绎推理的定义 (18)5.2 演绎推理的形式 (19)5.3 演绎推理的规则 (20)5.4 演绎推理的应用 (21)六、归纳推理 (22)6.1 归纳推理的定义 (23)6.2 归纳推理的形式 (24)6.3 归纳推理的规则 (26)6.4 归纳推理的应用 (27)七、逻辑谬误 (28)7.1 逻辑谬误的概念 (29)7.2 常见逻辑谬误的类型 (31)7.3 如何识别和避免逻辑谬误 (32)八、逻辑学在其他领域的应用 (33)8.1 逻辑学在哲学中的应用 (35)8.2 逻辑学在数学中的应用 (36)8.3 逻辑学在语言学中的应用 (37)8.4 逻辑学在法律中的应用 (38)九、逻辑学的发展趋势与挑战 (40)9.1 逻辑学的发展趋势 (41)9.2 逻辑学面临的挑战 (42)9.3 逻辑学的前沿问题 (43)一、逻辑学概述逻辑学,作为一门研究推理、论证和知识的科学,是人类认识世界、解决问题的重要工具。

它起源于古希腊,经过漫长的发展,逐渐形成了完整的理论体系。

逻辑学的研究对象是思维的形式、规律和有效性,旨在揭示人类思维的内在规律,提高人们的思维能力和论证水平。

逻辑基本概念:包括概念、判断、推理、论证等基本要素,以及它们之间的相互关系。

逻辑基本规律:包括同一律、矛盾律、排中律等,这些规律是保证推理正确性的基础。

什么是逻辑学_

什么是逻辑学_

逻辑学是研究思维形式、思维规律、思维方法和论证的科学。

论述一:逻辑逻辑是英语logic的音译词,它起源于古希腊文λογοδ(逻各斯),原意为思想、言辞、理性、规律性等。

到了近代,欧洲用“逻辑”一词来指称研究推理或论证的学科,一直沿用至今。

在现代汉语中,“逻辑”是个多义词,语义大致有如下几种:(1)指客观事物的规律、规律性。

例如,我们要研究中国建设的逻辑。

(2)专指思维的规律、规则。

例如,说话写文章要讲逻辑。

(3)指某种特别的理论或观点(往往含贬义)。

例如,明明是侵略,却说成是友谊,这是强盗逻辑。

(4)指逻辑学。

例如,各个专业的大学生都应当学习逻辑。

论述二:思维思维与人的认识活动密切相关。

人的认识活动,即对客观事物的认识,是一个不断深化的过程。

人的认识发展,是由感性认识到理性认识,由形象思维到抽象思维的过程。

感觉、知觉与表象,属于形象思维与感性认识的阶段;概念、判断与推理,属于抽象思维与理性认识的阶段。

感觉,是人脑对直接作用于感官的客观事物的个别属性的反映,它是最初级的认识过程。

例如,当苹果作用于我们的感官时,我们通过视觉可以反映它的颜色;通过味觉可以反映它的味道;通过嗅觉可以反映它的气味;同时,通过触觉可以反映它的质感。

人正是通过对客观事物的各种感觉认识到事物的各种属性。

感觉不仅反映客观事物的个别属性,而且也反映我们身体各部分的运动和状态。

例如,我们可以感觉到双手在举起,感觉到身体的倾斜,以及感觉到肠胃的剧烈收缩等等。

感觉虽然是一种极简单的认识过程,但它在我们的生活实践中却具有重要的意义。

有了感觉,我们才可以分辨外界各种事物的属性,才能分辨颜色、声音、软硬、粗细、重量、温度、味道、气味等,才能了解自身各部分的位置、运动、姿势、饥饿、心跳,有了感觉,我们才能进行其它复杂的认识过程。

知觉,是客观事物直接作用于感官而在头脑中产生的对事物整体的认识。

例如,当苹果作用于我们的感官时,我们认识到的不只是某种颜色,而是一个具有颜色、香味、硬度...的苹果,这就是知觉。

逻辑学概述

逻辑学概述

逻辑学概述一、逻辑学渊源和定义逻辑学的三大源头:古希腊的形式逻辑、中国先秦时期的“名学”以及印度佛教中的“因明”。

逻辑学是研究思维的形式和规律的科学。

旧称名学、辨学、论理学。

逻辑一词主要有三个应用领域,它们之间有着潜在的概念上的统一性。

首先是语言和语言的领域,包括发言、演说、描述、陈述、(用语言表达的)论证等等;其次是思想和思维过程的领域,包括思考、推理、解释、说明等等;第三是世界,即我们所言说、所思想的对象,包括构造原理、公式、自然法则等等。

二、逻辑分支逻辑是一个十分庞大的学科群,其分支主要包括如下:1.传统逻辑:亚里士多德的三段论。

2.经典逻辑:二值的命题演算与谓项演算。

3.扩展的逻辑:模态逻辑、时态逻辑、道义逻辑、认识论逻辑、优选逻辑、命令句逻辑、问题逻辑。

4.异常的逻辑:多值逻辑、直觉主义逻辑、量子逻辑、自由逻辑。

5.归纳逻辑。

6.思辨逻辑。

三、逻辑学的演变1.“同中辩异”的认识方法,就是指认识一类事物的共性到认识一类事物之间的差异性或者个别特殊性的推理方法,是一种演绎推理的思维形式。

2.“善譬”实际上是由已知者向未知者论证的一种演绎推理方法,已知者对甲乙两种事物的共性是已知的,而未知者则只知甲不知乙,因而已知者才有可能用已知的甲来喻未知的乙,使未知者也知道乙。

这是我国古代学者在论证中常用的一种推理证明形式。

3.“二难推论”,是辩论中经常出现的一种方法,特点是把二难推理的各种形式作为确立己见、反驳他人主张的工具。

4.“杀盗非杀人”。

盗贼也是人,杀死盗贼怎么不是杀人呢?推理形式,“或、假、效、辟、侔、援、推”等。

侔式推理的五种情况,即“是而然”、“是而不然”、“不是而然”、“一周一不周”、“一是一非”,并对这五种情况分别作了分析。

“杀盗非杀人”就属于“是而不然”。

5.“矛盾之说”主要是针对具有反对关系的两个命题,具有反对关系的两个命题不能同真,而不是在说具有矛盾关系的两个命题只能一真一假。

简单的逻辑学简介

简单的逻辑学简介

简单的逻辑学简介一、逻辑学定义逻辑学是一门关于推理或论证的学问,旨在研究推理的有效性和正确性。

逻辑学是形式化语言,特别是数学和计算机科学等领域的基础,它帮助我们理解如何合理地得出结论,以及如何评估论证的有效性。

二、命题基础在逻辑学中,命题是最基本的单位,它是一个陈述句,其真实性或假性是确定的。

一个命题如果为真,则被称为真命题;如果为假,则被称为假命题。

三、逻辑运算符逻辑运算符包括逻辑与(&&)、逻辑或(||)、逻辑非(!)等。

逻辑与表示两个命题同时成立;逻辑或表示两个命题至少有一个成立;逻辑非表示一个命题的反面。

四、条件推理条件推理是一种基于条件语句的推理方式,常见的条件语句有“如果…那么…”的形式。

条件推理可以分为归纳推理和演绎推理两种类型。

五、否定推理否定推理是通过否定一个命题来得出新的结论的推理方式。

否定推理的关键在于正确地否定原命题,并从否定后的命题中推出正确的结论。

六、集合论基础集合论是逻辑学的一个重要分支,它研究集合和集合之间的关系。

集合论基础包括集合的表示、集合的运算、集合的包含关系等。

七、归纳推理归纳推理是从个别到一般的推理方式,即从具体事例中概括出一般原理。

归纳推理可以通过观察、实验等方法得出结论。

八、演绎推理演绎推理是从一般到个别的推理方式,即从一般原理推导出个别事例的结论。

演绎推理通常采用三段论的形式,即由前提和结论组成的两个命题。

九、谬误识别谬误是错误的推理或论证方式。

逻辑学中有很多常见的谬误,如偷换概念、假因谬误等。

谬误识别是逻辑学中的一个重要能力,能够帮助我们避免错误的推理或论证。

十、论证结构论证结构是论证的基本框架,它包括论点、论据和论证方式三个部分。

一个好的论证需要有合理的论点、充分的论据和正确的论证方式。

2023年逻辑学专业介绍

2023年逻辑学专业介绍

2023年逻辑学专业介绍逻辑学是哲学中的一门重要学科,主要研究推理、证明和真理的基本原理。

逻辑学作为哲学的支柱,无论在哲学上还是其他领域都有非常重要的应用和意义。

逻辑学的学科体系比较完备,包括数理逻辑、形式逻辑、哲学逻辑等多个领域。

一、数理逻辑数理逻辑是逻辑学的一种重要的分支,也是现代逻辑学研究的一个重要领域。

数理逻辑主要研究符号系统的理论、推理关系和结构性质,其中包括命题逻辑、一阶谓词逻辑、模型论、证明论等。

命题逻辑研究的是命题之间的逻辑关系,即命题的真假和关系的合法性,探究一些明显的逻辑规则。

一阶逻辑则更加关注对象和属性的逻辑关系,也就是我们常说的“存在和一般性”。

模型论则更加关注整体和局部之间的语言和逻辑关系,证明论则是更多的探讨演绎推理的具体方法和技术。

在现代逻辑学研究中,数理逻辑是一种非常重要的工具,被广泛应用于人工智能、计算机科学、物理学、数学等领域。

因此,学习数理逻辑可以培养学生的抽象思维能力,大大提升他们在各种领域的工作能力和素养。

二、形式逻辑形式逻辑也是逻辑学的一个重要分支,其不同于数理逻辑在于其研究的是语言符号的表达形式和逻辑结构,强调形式和结构的语言。

形式逻辑是建立在符号和符号关系的基础之上的,也就是说,对于形式逻辑来说,符号是逻辑学的基本单位。

在形式逻辑的研究领域中,最为经典的代表是关系代数、矩阵理论、类论等。

关系代数是一种集合论概念的推广,其中代数运算的是关系构成的基础集合,从而构建了一种逻辑关系模型。

矩阵理论则是将逻辑关系模型转化为了数学上的矩阵运算问题,其由格罗顿迪克提出。

类论则是将数学对象分类,以及探究对象之间的映射和变换关系等问题。

形式逻辑的特点和数理逻辑不同,相较于数理逻辑更为直观和可视。

形式逻辑的教学和应用也更为广泛,特别是在计算机科学、人工智能、哲学等领域都有广泛的应用。

三、哲学逻辑哲学逻辑是哲学中的一个分支门类,其侧重于探究语言、推理和思考等方面的哲学问题。

高考专业详解-逻辑学专业详解

高考专业详解-逻辑学专业详解

高考专业详解-逻辑学专业详解一、专业简介1.专业初识逻辑学,是一门研究思维形式及思维规律的专业。

逻辑(logic),最初的涵义即规律,现在更多是指思维中的规律。

这种规律主要是命题(或判断)之间的推理及推导过程中的必然性,也称为思维的逻辑规律。

由于推理的重要性,逻辑学便以推理为研究中心,其主要目的就是找出推理规律。

目前,逻辑学已形成为一个多层次多分支的庞大体系。

现代的逻辑学与数学有非常密切的关系,数理逻辑就是现代逻辑学的主流。

2.学业导航本专业要求学生学习逻辑学、哲学、计算机科学和数学等方面的基本理论和基础知识,接受形式化方法、语义分析和公理化方法等方面的基本训练,具备专业研究的基本能力。

主干学科:哲学、数学。

主要课程:数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、四论导引(公理集合论、模型论、递归论、证明论)、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等。

3.发展前景作为研究思维规律的基础学科,逻辑学正加强同各个学科的联系,寻求自身发展的道路。

逻辑学会更深地渗透到哲学、语言学、认知科学、计算机科学、人工智能,以及法学、伦理学、经济学及管理科学等领域。

逻辑理论研究与应用研究的关系会更加密切,应用逻辑理论与逻辑应用的技术和方法的研究会成为逻辑学发展的新的动力。

国际范围来看,目前较成熟的现代演绎逻辑取得了新的进展。

尤为引人注目的是哲学逻辑的研究成果显著,其中的认知逻辑已成为国际逻辑界研究的一个热点。

4.前沿课题□数理逻辑:模型论、公理集合论、递归论、证明论及相关领域新进展研究□广义模态逻辑研究□当代归纳逻辑研究□逻辑与人工智能、计算机科学二、人才塑造1.考生潜质做事情有计划,数学基础较好,逻辑思维能力较强,喜欢做逻辑推理的智力游戏,业余喜欢看数学方面的科普读物,喜欢看《福尔摩斯探案集》等逻辑推理类的书籍,思维活跃,熟悉计算机操作的基本常识,对数据感兴趣并喜欢做概率统计等等。

逻辑学经典书籍

逻辑学经典书籍

逻辑学经典书籍摘要:1.逻辑学简介2.逻辑学经典书籍概述3.《形式逻辑》4.《西方哲学史》5.《逻辑学导论》6.《逻辑与思考》7.总结与建议正文:逻辑学是一门研究推理规律和思维方法的学科,对于提升思维品质、培养批判性思维具有重要意义。

本文将向您介绍几本逻辑学经典书籍,帮助您更好地学习和理解逻辑学。

1.逻辑学简介逻辑学是哲学的一个重要分支,主要研究推理和论证的基本规律,以及逻辑思维的基本方法。

逻辑学可以分为形式逻辑、实质逻辑和辩证逻辑等不同分支。

形式逻辑主要研究推理的形式结构,实质逻辑关注推理的内容和实质,辩证逻辑则强调对矛盾和问题的分析与解决。

2.逻辑学经典书籍概述以下五本书是逻辑学领域的经典之作,各具特点,为读者提供了丰富的学习资源。

3.《形式逻辑》《形式逻辑》是金岳霖所著的一本关于形式逻辑的专著。

该书系统地介绍了形式逻辑的基本概念、命题逻辑和谓词逻辑的基本规律,以及推理的基本方法。

书中提供了丰富的例题和习题,适合初学者深入学习。

4.《西方哲学史》《西方哲学史》是英国哲学家罗素的一部著作,该书对西方哲学史进行了全面梳理。

在逻辑学部分,罗素详细介绍了从古希腊到现代的逻辑学发展历程,以及各位哲学家的逻辑思想。

这本书对于了解逻辑学历史具有重要参考价值。

5.《逻辑学导论》《逻辑学导论》是一本面向初学者的逻辑学入门书籍,作者用通俗易懂的语言讲解了逻辑学的基本概念、命题逻辑和谓词逻辑的基本规律,以及逻辑论证的基本方法。

书中提供了丰富的实例和练习题,有助于读者掌握逻辑学的基本知识。

6.《逻辑与思考》《逻辑与思考》是一本以实际应用为导向的逻辑学书籍,作者结合生活中的例子,介绍了逻辑学的基本原理和思考方法。

书中涉及了批判性思维、论证分析、逻辑谬误等方面的内容,有助于读者提升思维品质和分析能力。

7.总结与建议逻辑学经典书籍为我们提供了丰富的学习资源,通过阅读这些书籍,我们可以更好地了解逻辑学的基本概念和思考方法。

课程逻辑学

课程逻辑学

课程逻辑学一、引言逻辑学是哲学的一个重要分支,研究推理的规则和原则。

它旨在通过分析和评估推理的有效性和正确性来提高我们的思维能力。

本文将介绍逻辑学的基本概念、逻辑推理的形式与内容,以及逻辑学在不同领域的应用。

二、逻辑学的基本概念1. 概述逻辑学是研究思维过程中的结构和规则的学科。

它关注推理的有效性和正确性,以及思维中的误区和谬误。

逻辑学的研究对象包括命题逻辑、谓词逻辑、模态逻辑等。

2. 命题逻辑命题逻辑是逻辑学的一个重要分支,用来研究关于命题的推理。

命题是一个陈述句,它可以是真或假。

命题逻辑分析命题之间的逻辑关系,如合取、析取、蕴含等。

3. 谓词逻辑谓词逻辑是逻辑学的另一个重要分支,用来研究关于谓词的推理。

谓词是一个含有变量的表达式,它可以是命题的函数。

谓词逻辑可以分析谓词之间的关系,如全称量化、存在量化等。

三、逻辑推理的形式与内容1. 形式逻辑推理形式逻辑推理是基于逻辑结构和规则进行的推理。

它忽略命题的具体内容,只关注推理的形式是否正确。

形式逻辑推理使用符号语言表示命题和逻辑关系,如命题符号、连接词等。

2. 内容逻辑推理内容逻辑推理是基于命题的内容进行的推理。

它考虑命题的真实性和实际意义,以及命题之间的语义关系。

内容逻辑推理需要对命题的概念和事实进行分析和评估。

四、逻辑学在不同领域的应用1. 数学逻辑学在数学领域的应用是最为广泛的。

数学是一门严谨的学科,逻辑在其中扮演着重要的角色。

通过逻辑推理,数学家能够发现和证明数学定理,解决各种复杂的问题。

2. 计算机科学逻辑学是计算机科学的基础。

计算机程序就是一系列的逻辑推理过程,通过逻辑语句来描述和解决问题。

逻辑学的概念和方法对于编写高效且正确的程序非常重要。

3. 法律逻辑学对法律领域也有很大的影响。

在法律案件中,律师需要通过逻辑推理来证明被告的有罪或无罪。

法官则需要运用逻辑学的原理来判断案件的合理性和合法性。

4. 哲学逻辑学是哲学的一个重要分支,哲学家运用逻辑推理来探索和解答存在的问题。

简介逻辑学的定义和作用

简介逻辑学的定义和作用

简介逻辑学的定义和作用逻辑学是一门科学研究推理、论证和思维规律的学科。

它以分析和评估推理形式的正确性和有效性为核心内容,以及研究正确思考和有效沟通所必须的基本规则。

逻辑学的作用在于帮助人们加深对真理和谬误的理解,并提供一种系统的工具和方法,用于推理、分析和解决问题。

1. 逻辑学的定义逻辑学是一门关于推理思维规律的科学,它研究的对象是思维和推理的结构、形式和功能。

逻辑学考察逻辑原则和逻辑关系,帮助人们理清思维中的逻辑细节,从而使思考更加准确和有效。

逻辑学起源于古希腊时期,一直以来都是哲学的重要分支学科。

2. 逻辑学的作用逻辑学在我们的日常生活和学术研究中起着重要的作用。

以下是逻辑学的几个主要作用:2.1 推理和论证的准确性逻辑学帮助人们分析和评估推理和论证的准确性。

通过学习逻辑学,我们能够识别错误的推理方式,避免被不正确的论证所误导。

逻辑学让我们能够运用正确的推理方法和论证结构,增强我们的说服力和逻辑思维能力。

2.2 分析和解决问题逻辑学也教会人们如何分析和解决问题。

它提供了一种系统的方法,可以帮助我们发现问题的本质,并从中找到合理的解决方案。

逻辑学关注问题的逻辑结构和关系,帮助我们立足于事实、逻辑和合理性,辅助我们做出明智的决策。

2.3 批判性思维的提升逻辑学的学习也有助于培养人们的批判性思维能力。

通过逻辑学的训练,我们能够辨别信息的真实性与可靠性,能够更好地评估观点和论据的有效性。

这使得我们能够不受不合理论证的误导,培养独立和理性的思考能力。

2.4 沟通和表达的清晰度逻辑学对于沟通和表达的清晰度有重要的影响。

学习逻辑学可以使我们更加注重语言的准确性和思维的连贯性,提高我们的表达能力,并能更好地理解他人的思维过程。

逻辑学训练还可以帮助我们避免歧义和混淆,确保我们的观点和意图能够准确地传达给他人。

3. 结论逻辑学的定义和作用对于我们全面提升推理和思维能力,提高问题解决能力和沟通技巧具有重要意义。

它是一门实用且普遍适用的学科,无论是在学术研究、日常生活还是职场中,逻辑学的理论和方法都能给我们带来巨大的帮助。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

什么是逻辑?逻辑成为一门科学,那是从亚里士多德开始的,这恐怕怀疑的人很少。

我们知道亚氏并没有把他的研究叫做“逻辑”,但他明确指出他的研究对象是“三段论”,而这是关于从一个真的前提“必然地”推出一些结论的科学。

他的三段论有两种,一是蕴涵三段论,二是归纳三段论。

前者我们不必说,后者实际上是一种完全归纳,因而也是演绎性的。

因此,亚里士多德意义上的“逻辑”,就是关于“必然推理规则”,或“必然证明或论证规则”的科学。

他尽管提到过简单枚举归纳,但并不是从“逻辑”意义上来说的,只是为了和“逻辑”进行对比而从论辩的意义上而言的。

从词源来说:赫拉克利特最早使用logos也是指语言中体现的“客观次序”,也是在“必然”意义上讲的。

因此,“逻辑”的本义不仅仅是指“推理规则”,而且是指“必然推理规则”。

逻辑学和其它学科分科的意义,实际上就在这里。

如同当今中国许多人指责经济学没有研究“生产力”一样,硬要逻辑学去研究它的内容是否为真,本来就不合分科的原理。

如果逻辑学什么都可以研究,就应该叫“知识学”。

什么是归纳逻辑?培根提出科学的“归纳法”的时候,并没有说这就是逻辑;而是到了穆勒才把“归纳法”写进了他的《逻辑体系》中。

但是,他不是在“必然推理”的角度来使用“逻辑”概念的,他的逻辑是指建立在一套“程序化规则”的“推理”,至于使用这个规则是否得出必然的结论,那是无关紧要的。

他认为,凡是推理都有权叫逻辑。

可见,就是穆勒自己也认为,根据本来的逻辑定义,研究归纳其实不能算逻辑学。

值得注意的是许多现代归纳逻辑的大家,如卡尔纳普等根本不认为培根、穆勒的“归纳法”是什么“逻辑”而只认为它是一种“方法”,也不认为现代归纳逻辑起源于他们两个,而是起源于概率论;而最先研究的概率的目的,根本不是为了反对什么“唯理主义”,而是为了解决赌博的问题。

概率论创始人帕斯卡本人就是唯理主义者。

但是,现代归纳逻辑之所以叫逻辑,也不是因为它已经变成了一门关于“必然性规则”的科学,而是因为它本身已经“演绎化”。

但是,这并不能改变归纳逻辑是关于“概然性”的学科。

它和“逻辑”学要研究的领域根本不同。

一个“演绎化”的体系能否就是“逻辑学”?现代的一些科学,如博弈论内部也是演绎化的,能够因此就叫做“逻辑学”吗?楼主一方面指责“辩证逻辑”把本来不是“逻辑”的问题“泛逻辑化”了,一方面自己又说要用“归纳法”而不用“归纳逻辑”,这难道不是“泛逻辑化”吗?因此,所谓“归纳...演绎...”之类的东西,并不必“实践...理论...”具有更多“逻辑学”的东西。

什么是辩证逻辑?我们说,现代逻辑一般是把“归纳法”和“归纳逻辑”严格区分。

同样,辩证法和辩证逻辑也不一样。

在黑格尔之前的应该叫辩证方法(而不是姚大志说的是什么逻辑),而在黑格尔这里的确是要用“辩证法这种思维方式”,来建立“新的逻辑学”。

因此,他所谓的辩证法就是指辩证逻辑。

他的思路主要有两个:一、解决逻辑学的基础问题,即是用逻辑学来自己证明自己的前提为真(注意,绝不是从外面引一个什么“归纳法”来证明自己的前提为真),这就是一个圆圈式思维方式,而以前的逻辑则是直线性思维方式,所以无法具有反身性。

二、使得逻辑学不是建立在同一律,而是建立在对立统一律上。

我们知道,在黑格尔时代,所谓“形式逻辑”的同一律这个根本前提本身是没有经过证明的规律,所以形式逻辑作为关于“必然性规则”的科学本身就是不必然的。

如果把逻辑学建立在对立统一律上,就可以说明同一律的根据,从而使逻辑学的各规则之间的相互推演真正具有“完全性”和“必然性”。

就黑格尔说的这点而言,他试图创立的辩证逻辑的确可以说是比传统形式逻辑更高级。

至于黑格尔这种思路是否就真能建立起了他的辩证逻辑,这个可以怀疑、探讨和研究。

但是可以肯定,这里的逻辑含义也是从必然性来说的。

黑格尔说:“辩证法...是在科学内容里由以达到内在联系和必然性的唯一原则。

”他就是要阐述这一“达到内在联系和必然性的唯一原则”。

因此,这里提醒一下其他参与讨论的朋友,就是“辩证逻辑”和“形式逻辑”的区别不是在所谓“内容”和“形式”的区别。

而是我们上面说的内容。

所谓“形式逻辑”指的指逻辑学只研究逻辑常项,这点辩证逻辑也一样。

作为一门科学不可能去研究那些变动无常、不可把握的东西。

黑格尔说:“内容不如说是在自身那里就有着形式,甚至可以说惟有通过形式,它才有生气和实质;而且,那仅仅转化为一个内容显现的,就是形式本身。

”因此,辩证逻辑也只研究“辩证逻辑常项”,即逻辑的形式。

说黑格尔的辩证逻辑是要研究具体内容的,那是从罗素开始的无稽之谈。

辩证逻辑和归纳的关系辩证逻辑也是关于必然性规则的科学,因而和培根、穆勒的所谓归纳法没有什么关系。

归纳和演绎(逻辑)各有相互不可替代的作用。

归纳主要用于搜索发现,逻辑用于证成;归纳研究在不充分条件下的可能过程,逻辑研究充分条件下的必然过程。

因此,辩证逻辑恐怕很难建立在“归纳1...演绎1...归纳2...演绎2...”的基础上。

硬要找一个公式,不如说是:分析...综合....。

这里的分析和综合都是逻辑学意义上(如亚里士多德把他的三段论就叫作分析),而不是方法意义上的。

方法意义上的这个公式其实在柏拉图的辩证法里面就已经有了。

制约逻辑——传统逻辑与现代逻辑的有机结合(当代逻辑的新领域:制约逻辑)二千三百年前,古希腊的伟大思想家亚里士多德(Aristotelés前384 —前322年)以《工具论》创立了传统形式逻辑,为逻辑发展史树起了第一座丰碑。

从19世纪中叶到20世纪初,经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力,吸收莱布尼兹的成果,建立了后来作为电子计算机理论基础的“正统数理逻辑”的现代公理系统,这是逻辑学发展史上的第二座里程碑。

1968年,中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑学说——制约逻辑,向前两座丰碑提出了挑战。

1978年,在我国逻辑学界元老沈有鼎教授的举荐下,经华裔美籍逻辑学家王浩教授推荐,林邦谨在美国数学会刊物《文摘》上发表论文《制约逻辑简介》。

1985年12月,林邦谨的专著《制约逻辑》在国内正式出版。

制约逻辑独树一帜,震动了逻辑学界,引起了国内外学者的关注。

制约逻辑是传统的形式逻辑与正统数理逻辑(现代逻辑)有机结合的产物,它运用现代逻辑提供的严格精密的数学方法,去构造一个能确切地体现传统形式逻辑的深刻正确的主导思想的非正统的逻辑制约系统。

林邦谨认为,传统形式逻辑密切结合人类普通思维和自然语言实际,把从已知进入未知的推理格式作为自己的主要研究对象,坚持贯彻不许循环论证,这是它的深刻而正确的主导思想。

但它对十些极简单的推理却不能从理论上加;以分析,演算技术也十分简陋、陈旧,远不能满足现代的需要。

正统数理逻辑系统地采用了现代数学方法,论证严谨,演算精密,但它却舍弃了推理格式中起决定作用的非数学的逻辑含义这一精髓,将其处理成真值函数、个体—真值函数关系,因而远离了传统形式逻辑的主导思想。

林邦谨木胆地综合融汇了上述两种逻辑的优点而摈弃二者之缺陷,创造出自外于传统两家的新逻辑体系——制约逻辑学说,即继承形式逻辑的正确主导思想和有效的推理格式,并采用数理逻辑所提供的数学方法来处理科学研究和社会生活中的各种逻辑问题。

它是久盛不衰的传统形式逻辑的现代发展。

制约逻辑学说指出,制约关系就是刻划清楚后的充分条件关系。

制约关系事实上构成了传统形式逻辑中可据以进行不循环论证的推理格式的理论核心:推理式的前后件之间必定满足普遍有效的制约关系,而在前件或后件中也必定出现制约关系。

制约逻辑体系由语义学、语构学、语用学三者组成。

制约逻辑语义学研究客观世界的逻辑结构和逻辑规律,而以其中的客观的制约关系和有关制约关系的客观的逻辑规律为主要研究对象。

制约逻辑语构学研究刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则。

制约逻辑语用学研究在指谓同一的原则下符号语言与自然语言的互相翻译。

总的说来,制约逻辑所研究的领域是:观实世界对象域上的个体、集、一元或多元函数、一元:或多元关系、关系间的直值函数关系、关系间的充分条件( 即制约) 关系,和上述种种关系的客观规律,以及它们在意识中的反映——概念( 词) 、命题和推理。

其中,制约( 充分条件) 关系为研究核心。

林邦谨在深入分析人类普通的逻辑思维实际的基础上,运用数理逻辑的演算技巧,提出了命题演算Cm 系统和名词演算Cn 系统。

Cm 中的“制约”命题夕p → q 跟p 和q 的真假共有七种,p → q 也获得三真四假的纪录。

这,点与莱维斯(Lewis) 的严格蕴涵一致。

但Cm 跟莱维斯的模态系统是有区别的。

Cm 系统有以下主要特征:(1) 在Cm 中,所谓“必然”,并非某二命题的性质,而只能是两个命题间的联系。

p → q 表示p 和q 之间有某种" 必然"联系。

(2) 除了为一般模态系统所避免的象p → (q → p) 等著各的蕴涵怪论以外,Cm 还避免了象T p → q 这一类最难避免因而为一般模态系统所容纳的蕴涵怪论。

(3) 跟一般模态系统不同,Cn有象[p → (q → r)] → [q → (p → r)] 这一类公式。

(4) 相当于在一般形式逻辑书中列出的传统命题逻辑推理式的定理它都具有。

(5) 没有象T (pVq)—>q 这一类公式。

(6) 凡是在传统形式逻辑中看起来好像是用了相当于被Cm排除了的二值系统中的定理的地方,Cm 都有很好的处理方法。

在Cm系统的基础之上建立的Cn系统,只是扩充形式语言(引八个体变元、函数词和谓词),而不用量词。

这样不仅在技巧上可避免拿有量词的形式系统所不可避免的许多麻烦,使演算的进程原则上是命题演算,而且更接近于普通逻辑思维实际。

同时,Cn系统将对解决判定问题提供明朗的前景。

林邦谨在演绎推理问题上提出了两个独立性,具有逻辑性质“ 可独立于前后件的真假确定不会是前真而后假”的制约式定理称为第一独立性。

具有逻辑性质“可在无需确定后件为真的情况下确定前件为真”的推理式定理称为第二独立性。

“两个独立性”是为在论证中出现的推理式所必具的确保论证不循环的逻辑精髓。

这是深刻的逻辑理论观点。

国内外一些专家学者认为制约逻辑在学术和科学实践等方面有重大的意义:(1) 它可以分析、处理一系列逻辑史上迄今争论不休、久悬末决的难题。

对命题的真假对错、主词存在、宾词周延和演绎推理能否推出新知,已证明的结论是否已证实,以及在数学史上引起第三次数学危机的悖论等问题,都可能给出确定的解决。

(2) 以它为逻辑基础建立的初等数论的形式系统N ,当Cn 。

的判定问题一经解决,就可能为最终解决哥德巴赫猜想提供新的思路。

这种数论系统还可能满足相容性和完全性( 与哥德尔不完全定理正好相反) .(3) 制约逻辑形式化公理系统,为计算机语言创造了符号语言体系。

相关文档
最新文档