形式逻辑读书笔记
形势逻辑
形式逻辑学习心得这学期我有幸学习了形式逻辑的选修课,使我受益匪浅,起初我一直认为形式逻辑是非常枯燥无味的,毕竟在我看来,这些都是在生活中不常用的,就像政治学的哲学思想一样,什么“物质决定意识”之类的,总没有发现他有什么用,还搞得头昏脑胀。
不过通过这几节课的学习,我发现这并不是那么枯燥的,而且还很有用，让我对“判断和推理”有了浅薄的理解,所谓“判断”,是对思维对象有所断定的一种思维形式，判断其实就是我们对于事物的一些性质,特征,作用等方面的认识。
所谓推理,是从一个或几个一致判断中推出一个新的判断的思维形式。
我认为,推理就是根据对一个事物的一些特征,形状,作用,运动等方面的观察,得到更深一层的性质,对它的理解,或者其他的信息。
学了之后真的才发现生活与逻辑推理分不开，尽管我们有些时候没有意识但我们也时不时的不由自主的用起了逻辑推理，逻辑推理中的判断更与我们密不可分。
比如我们通过蚂蚁搬家，乌云满布来推断下雨，通过灯光来推断是否有人等等，而判断又分为简单判断和复合判断，在此重点论述一下复合判断：性质判断和假言判断。
性质判断是断定对象具有某种性质的判断。
其包括:全称肯定判断,即所有S 是P(SAP);全称否定判断,即所有S不是P(SEP);特称肯定判断,即有S 是P(SIP);特称否定判断,即有S不是P(SOP);单称肯定判断,即某个S是P;单称否定判断,即某个S不是P。
他们之中有的表示肯定,有的则表示否定,有的表示总体,有的却表示个体,其意义各不相同,却各有千秋,因此只有熟记这几个性质判断,才能对事物的性质拿捏得更加准确。
假言判断是断定事物之间条件关联的判断。
或者说,它是有条件地断定某个事物情况的判断,所以也叫“条件判断”。
包括充分条件假言判断(充分条件假言判断是断定前件是后件的充分条件的假言判断。
)、必要条件假言判断(必要条件假言判断是断定前件是后件的必要条件的假言判断)和充分必要条件假言判断(充分必要条件假言判断是断定前件是后件的充分必要条件的假言判断)。
形式逻辑》(金岳霖)读书笔记
形式逻辑》（金岳霖）读书笔记附目录：第一章形式逻辑的对象和作用第一节形式逻辑的对象第二节形式逻辑、数理逻辑与辩证逻辑第三节形式逻辑的作用第二章概念第一节概念的特征第二节概念与语词笫三节概念的内涵与外延第四节概念的种类第五节概念间的关系第六节定义什么是定义真实定义语词定义真实定义与语词定义的关系定义的规则第七节划分什么是划分划分的规则二分法划分与定义的关系习题第三章判断第一节判断的特征笫二节判断与语句第三节判断的种类第四节性质判断及其相互关系性质判断的形式A.E、I、O之间的真假关系第五节A、E、I、O的主项与谓项周延问题第六节关系判断及其相互关系关系判断的形式关系的对称性关系的传递性关系判断的量项笫七节假言判断第八节选言判断第九节联言判断第十节负判断第十一节各种复合判断之间的关系第十二节模态判断第十三节儿种特别的判断形式习题第四章演绎推理第一节推理的特征第二节推理的种类与演绎推理的特征第三节性质判断的推理：（一）直接推理换质法换位法换质位法附性法第四节性质判断的推理：（二）三段论三段论的定义与组成三段论的规则三段论的格与式三段论的还原省略三段论与复合三段论有关三段论的儿个问题第五节关系判断的推理第六节复合判断的推理假言推理选言推理联言推理二难推理儿种常见的以假言判断、选言判断和联言判断为前提的推理笫七节模态推理习题第五章归纳法第一节归纳法的特征第二节观察、实验与一些整理感性材料的方法观察与实验比较、分类、分析与综合笫三节简单枚举法与完全归纳法简单枚举法完全归纳法第四节类比法第五节判明因果联系的方法现象间的因果联系求因果联系的五种方法第六节概率与统计概率统计方法应用统计方法时常见的错误第七节假说假说的性质假说的发展假说的作用第八节归纳与演绎的关系习题第六章形式逻辑的基本规律第一节形式逻辑基本规律的一般性质第二节同一律第三节矛盾律第四节排中律习题第七章论证笫一节论证及其作用第二节论证的组成第三节论证的种类演绎论证和归纳论证直接论证和间接论证第四节论证的规则关于论题的规则关于论据的规则关于论证方式的规则第五节反驳笫六节儿种不正当的论证和反驳的手法习题附录逻辑史资料第一节弓I言第二节古话腊奴隶社会时期的逻辑学说亚里士多德的逻辑学说斯多阿派与伊壁鸠鲁派的逻辑学说第三节欧洲中世纪封建主义时期的逻辑学说第四节欧洲近代资本主义时期的逻辑学说培根的归纳逻辑《波尔罗亚尔逻辑》康德的逻辑学说穆勒的归纳逻辑莱布尼兹到布尔的数理逻辑第五节中国逻辑思想的发展公孙龙的逻辑思想后期墨家的逻辑思想荀况的逻辑思想汉以后逻辑思想的发展第一章第一节pl-7读书笔记1 •形式逻辑的定义：是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方法的科学。
形式逻辑金岳霖读书笔记3000字
形式逻辑金岳霖读书笔记一、概述金岳霖是我国当代逻辑学家中的泰斗，他在形式逻辑领域有着深远的影响。
本次读书笔记将对金岳霖的著作《形式逻辑》展开全面的阐述和总结，旨在深入理解形式逻辑的基本原理和方法，以及金岳霖在这一领域的贡献。
二、形式逻辑的基本概念形式逻辑，又称命题逻辑，是一种逻辑学的分支，主要研究命题之间的关系和命题推理的规则。
形式逻辑忽略命题的内容和真假，只关注命题之间的形式结构，通过符号化和形式化的方法来进行推理和证明。
金岳霖在《形式逻辑》一书中对形式逻辑的基本概念进行了深入的阐述，包括命题、范畴、三段论等内容。
三、命题与命题关系命题是逻辑推理的基本单位，其本质是对事实或概念的简明陈述。
金岳霖指出，命题可以分为简单命题和复合命题，简单命题是不能再分解的命题，而复合命题是由简单命题通过逻辑连接词构成的复合结构。
在形式逻辑中，命题之间存在着多种逻辑关系，包括合取、析取、蕴涵和等价等。
这些逻辑关系是命题逻辑推理的基础，金岳霖对其进行了系统的梳理和定义。
四、三段论三段论是古希腊哲学家亚里士多德创立的命题逻辑推理规则，包括甲言论、乙言论和丙言论三个命题，通过这三个命题之间的逻辑关系来进行推理。
金岳霖在《形式逻辑》中对三段论的结构和推演规则进行了详细的分析和说明，力求使读者全面理解三段论的推理过程及其应用。
五、形式逻辑的应用形式逻辑作为一种基本的推理工具，广泛应用于数学、哲学、计算机科学等领域。
金岳霖在书中举了大量的例子来说明形式逻辑在现实生活中的应用，包括推理证明、论证分析、逻辑谬误排除等方面。
通过这些例子，读者可以更加直观地感受到形式逻辑在实际问题解决中的价值和意义。
六、结语通过对金岳霖的《形式逻辑》进行深入阅读和思考，我们不仅可以全面了解形式逻辑的基本理论和方法，还可以深刻理解金岳霖在这一领域的学术贡献。
希望本次读书笔记能够对形式逻辑的学习和研究有所启发和帮助，同时也期望更多的读者能够关注并深入理解金岳霖在逻辑学领域的学术成就。
逻辑学读书笔记
逻辑学读书笔记逻辑学读书笔记范文（通用6篇）当赏读完一本名著后，相信你一定有很多值得分享的收获，何不写一篇读书笔记记录下呢？到底应如何写读书笔记呢？下面是小编精心整理的逻辑学读书笔记范文（通用6篇），希望能够帮助到大家。
逻辑学读书笔记篇1近来从网上看到一本小书，是一个美国人写的，不足150页，但读起来感觉越来越厚，不得不佩服外国作者的魅力了，甚至连本书的编辑也感慨：越不凡，越平凡!这本书书如其名，就是《简单的逻辑学》。
本书将逻辑分为五个章节。
第一章是准备，为成为一个逻辑思考者而要搭建的必要思想框架。
第二、三章是逻辑的核心，如何建立正确的逻辑思考。
第二章阐述了引导逻辑思考的基础事实，第三章重点是“论证—逻辑思考”的外在表现形式。
第四章，探讨导致非逻辑思考的态度及思维模式。
第五章围绕“谬误—非逻辑思考”的细节展开。
逻辑，作为一个整体，是个宽广、深奥、精彩纷呈的领域，这本书既没有刻板的理论论述也不是正规的教科书，这是一本现实应用的指南，对那些初次接触逻辑的人介绍逻辑的基本原理。
它期待造就实践者，而不是理论家。
通读全书，我比较感兴趣的是逻辑学四大原理之一的“充足理由律”(或称因果原理)，即任何事物都有其存在的理由。
“存在就是合理”。
它告诉我，事物的存在不是偶然的，它们都有其自身的根源。
当然“问题”，比如质量问题、投诉问题、收费问题等等，作为事物的一种特殊存在形式，理论上，产生其的根源是存在的，也是值得每个人去追寻探究的。
所谓原因，它必能导致我们所观察到的结果，并在结果上留下特定的印记;每一个结果，在一定程度上，都将反映出其根源的特性。
首先，在具体探寻问题根源的过程中，我们一般从结果出发。
每一个问题必然与其结果之间存在必然的相似之处，是我们要遵循的原则。
一般情况下，当我们探寻某个原因的时候，我们不能知道产生某种原因的结果是什么，但是我们可以通过前面的结果得到关于它的间接的知识。
通过统计、评估结果的强度、分布、性质，我们可以推测出原因的部分特性，这些知识将指引我们继续探寻的方向。
《形式逻辑》
《形式逻辑》《形式逻辑》读书笔记（作者：Alex） （１～５章）《形式逻辑》教材(中国⼈民⼤学出版社出版，1984年7⽉的版本)第⼀章形式逻辑的对象和意义说明：形式逻辑通常叫做“逻辑学”，简称“逻辑”。
我们这⾥讲的是普通形式逻辑，不同于称为现代形式逻辑的数理逻辑和符号逻辑。
定义：形式逻辑是关于思维的逻辑形式及其规律的科学，同时也研究⼀些认识现实的简单的逻辑⽅法。
第⼀节形式逻辑的对象形式逻辑研究的对象是：思维的逻辑形式及其规律。
还研究⼀些简单的逻辑⽅式，如：定义、划分、探求因果联系的⽅法等。
相关内容：1. 什么是思维？思维是在语⾔材料基础上，对客观现实的间接的概括的反映过程。
思维是在⼈们的认识过程中产⽣的。
2. 认识。
认识是⼈脑对客观世界的反映，它来源于⼈的实践活动。
认识分为：感性认识和理性认识。
2.1. 感性认识。
感性认识是⼈脑对客观事物的现象、部分和外部联系的反映，是认识的初级阶段。
感性认识的形式是：感觉、知觉、表象。
2.1.1 感觉感觉是我们对作⽤于感觉器官的客观事物的个别特性的反映。
如视觉反映对象的颜⾊[形状]。
2.1.2 知觉知觉是我们的感觉器官对客观对象的各种性质、各个部分的综合反映。
如对⼩鸟的知觉，就综合了它的⾊、⾳、形[甚⾄味]等感觉。
2.1.3 表象表象是感知过的事物在头脑中的再现的现象。
它所反映的是过去感知的，⽽眼前不存在的事物，是过去[多次]感知的同类事物在头脑中留下的映象。
[注：那它的前提应该是知觉和记忆？]2.2 理性认识理性认识是对客观事物的本质、全体和内部联系的认识。
理性认识阶段就是运⽤概念以作判断和推理的阶段，也就是思维阶段。
理性认识的形式是：概念、判断、推理。
2.2.1 概念概念是反映事物的范围和本质的思维形式。
它反映的事物包括⼀切认识对象。
2.2.2 判断判断是对于对象有所断定的思维形式。
2.2.3 推理推理是由已知判断推导或引申出新判断的思维形式。
3. 思维的特点[3点]3.1 间接性：1. 表现在理性认识来源与感性认识。
形式逻辑简明读本读书笔记
《形式逻辑简明读本》读书笔记第一章概念概念是事物及其特有属性在思维中的反映, 是人们认识事物的结果。
概念是思想的细胞。
概念要明确。
不允许偷换概念。
所谓一个概念明确,就是它的外延和内涵明确。
概念不明确会引起思想上的混乱, 或者写出不通的文章,甚至产生工作中的错误。
定义是明确概念的一种方法。
要下好定义,必须遵守四条规则:( 1 )定义者的外延与被定义者的外延必须相等。
( 2 )定义不能是否定判断。
( 3 )定义不能是比喻。
( 4 )定义不能循环。
下定义的最好方法,是以内涵定义为主,外延定义为辅。
分类是明确概念的一种辅助方法。
要做好分类, 必须遵守三条规则:( 1 )在每一次分类时,应当用同一个分类标准。
( 2 )分类后的各个子类的和应当与母类相等。
( 3 )分类后的各个子类,,不能互相重叠。
概念的外延与内涵之间有反变关系。
利用反变关系,可以帮助我们达到概念准确。
第二章判断判断就是断定事物情况的思想。
判断是用语句来表达的。
同一个判断可以用不同的语句来表达。
.简单判断就是不包含其他判断的判断。
包括单称肯定、单称否定、特称肯定、特称否定、全称肯定、全称否定等六种。
简单判断一般地由量项、主项、联项和谓项组成。
. 换位就是互相交换判断的主谓项,但不改变量项和联项, 也就是把话倒转过来说。
全称否定判断、特称肯定判新可以换位,全称肯定判新、特称否定判断不能换位。
简单判断的主项与谓项有周延和不周延的问题。
矛盾关系、反对关系、蕴涵关系, 是三种从形式方面来看的判断之间的真假关系。
掌握了它们,就可以使我们知道,作了某种判断,就一定能作或者不能作另外一些判断。
第三章推理推理是从一个或者几个已知的判断得出一个新判断的思维过程。
推理由前提与结论构成。
正确的推理要求: ( 1 )前提是真实的; ( 2 )推理形式是正确的。
形式逻辑研究推理,就是要研究推理的形式。
推理分为演绎推理和归纳推理两大类。
演绎推理的前提和结论之间的联系是必然的.归纳推理的前提和结论之间,没有必然联系.演绎推理在一般情形下, 是把一般的知识应用于特殊的场合。
《形式逻辑》课程笔记
《形式逻辑》课程笔记第一章绪论一、逻辑学的内容与对象1. 逻辑学是研究思维形式及其规律的科学，主要研究推理、论证、概念、判断、命题等思维形式，以及它们之间的逻辑关系和逻辑规律。
2. 逻辑学的对象包括：（1）思维形式：如概念、判断、推理、论证等。
（2）思维内容：如命题的真假、概念的内涵和外延等。
（3）思维规律：如同一律、矛盾律、排中律等。
二、逻辑学的性质与作用1. 逻辑学的性质：（1）逻辑学是一门基础科学，为其他科学提供研究方法和思维方式。
（2）逻辑学是一门工具科学，为实际应用提供逻辑分析和论证方法。
（3）逻辑学是一门交叉科学，与哲学、数学、计算机科学等领域密切相关。
2. 逻辑学的作用：（1）提高思维品质：通过学习逻辑学，可以培养严密的思维、批判性思维和创新性思维。
（2）指导科学研究：逻辑学为科学研究提供方法论指导，帮助科学家进行有效的推理和论证。
（3）促进人际沟通：逻辑学有助于提高沟通效果，使表达更加清晰、有条理。
（4）辅助决策制定：逻辑学为决策者提供逻辑分析工具，帮助做出合理、明智的决策。
三、逻辑学的研究与学习方法1. 逻辑学的研究方法：（1）形式化方法：将自然语言中的逻辑关系抽象为符号系统，研究符号系统中的逻辑结构。
（2）语义分析方法：研究逻辑形式的真假含义，探讨逻辑形式与现实世界的关系。
（3）辩证法：分析事物之间的矛盾和联系，揭示事物的本质和发展规律。
2. 逻辑学的学习方法：（1）理论学习：系统学习逻辑学的基本概念、原理和方法。
（2）案例分析：通过分析典型逻辑案例，加深对逻辑学理论的理解。
（3）实践应用：将逻辑学知识应用于实际问题，提高逻辑思维和论证能力。
（4）交流探讨：与他人交流逻辑学观点，取长补短，共同提高。
第二章推理概述一、推理的构成成分1. 推理是由前提、结论和推理形式组成的思维形式。
推理的目的是从前提出发，通过推理形式得出结论。
2. 前提：是推理中提出来的，作为推理依据的已知判断。
形式逻辑读书笔记
形式逻辑读书笔记导语：金岳霖是把西方现代逻辑介绍到中国的主要人物，他把西方哲学与中国哲学相结合，建立了独特的哲学体系，《形式逻辑》是其著作之一。
如下是店铺整理的几篇形式逻辑读书笔记，欢迎阅读与借鉴。
篇一：形式逻辑读书笔记2003年，我曾经发誓再也不看逻辑书了。
那时候，卓老师的一次持续5小时的逻辑课折腾得我想吐。
（从下午2点到晚上7点多，我至今都很佩服卓老师，他可真能讲，他不仅口才好，他的脑瓜子也太厉害了。
逻辑学是一门很扎实的课，是很伤脑经的学科，我一贯觉得。
5个小时，太扎实了。
但我又觉得逻辑，作为一门研究人的思维的学科，一定程度的逻辑训练是可以让人变聪明的。
）到了今年，我专门买了金岳霖的《形式逻辑》，今天正式开始读，到目前为止都是很态度端正的。
（由此可见——什么发誓之类的东西是无效的。
世界在变，一切都会变。
）（同时说明一下：金岳霖，好象就是那个一辈子逐林而居的痴情哲学家、逻辑学家。
）2010年3月的尾巴上，我打了四天针。
每天坚持正常上班，上班之余的时候用至少两三甚至三四小时去诊所打针。
手被那针头扎得青紫了，很疼。
而且，那药水也很厉害，很疼，每次都咬得我手腕很痛，浑身不适。
常常几近晕倒。
我希望那药水更疼一点，让我更清醒一些。
我其实一贯对疼都是非常敏感的，也是非常非常怕疼的人。
这是我今年最特别的记忆。
打针的时间，总是无聊。
于是，就带了一本逻辑书在看。
我已经很久没有看过逻辑书了。
看得比较吃亏，似懂非懂。
我先看的是前言和补记，对这本书籍有所了解，知道这是一本已经过时了的逻辑书，但我仍然为慕金岳霖之名，决定好好读一读。
然后决定先看看附录的《逻辑史资料》。
在欧洲，有从亚里士多德到欧几里德，斯多阿派与伊壁鸠鲁派，波底乌斯、布里丹，培根和亚诺德、康德、穆勒、莱布尼兹与布尔等等一系列研究逻辑的先哲；至于中国，从公孙龙的白马非马、墨经中关于逻辑的论说、荀况的名辞辩之说、到汉以后魏晋玄学家的追求，古印度逻辑学在隋唐年间传入中国，宋代朱熹主张“理在事先”，明末清初欧洲的逻辑学传入中国……编者之一（诸葛殷同）说，在中国，逻辑不好讲。
形式逻辑读书笔记
形式逻辑读书笔记
在形式逻辑的阅读过程中，我主要总结了以下几点内容：
1、形式逻辑的基本概念：形式逻辑是研究推理的规则和结构的科学，它不关注推理的前提和结论是否符合现实世界的实际情况，只关注推理的形式是否正确。
形式逻辑的基本概念包括命题、变量、量词、联结词、真值表等。
2、形式逻辑的公理和定理：形式逻辑的公理和定理是形式化语言中的规则和公式，它们是形式逻辑的基础。
形式逻辑的公理和定理包括重写规则、消解规则、普遍性定理、存在性定理等。
3、形式逻辑的应用：形式逻辑在计算机科学、人工智能、哲学、语言学等领域都有广泛的应用。
例如，在计算机科学中，形式逻辑用于设计和验证计算机程序的正确性；在人工智能中，形式逻辑用于构建专家系统和知识表示；在哲学中，形式逻辑用于分析和评估哲学论证的合理性；在语言学中，形式逻辑用于研究语言的结构和语义。
4、形式逻辑的局限性：虽然形式逻辑在很多领域都有广泛的应用，但它也有一些局限性。
例如，形式逻辑无法处理一些非形式化的推理，如隐含前提的推理和反讽等；另外，形式逻辑也难以处理一些复杂的语义现象，如含糊性和歧义性等。
总的来说，阅读形式逻辑的书籍让我对推理的结构和规则有了更深入的理解，也让我意识到形式逻辑在很多领域都有广泛的应用。
同时，我也认识到形式逻辑的局限性和不足之处，需要在实践中不断探
索和完善。
形式逻辑金岳霖读书笔记3000字
形式逻辑金岳霖读书笔记3000字《形式逻辑》是金岳霖先生的代表作之一，被誉为中国当代逻辑教材的经典之作。
这本书主要介绍了形式逻辑的基本概念、原理和方法，对于培养逻辑思维能力、提高思维质量具有重要的意义。
我对这本书进行了认真的阅读，并整理了一些读书笔记，以下是我对《形式逻辑》的一些理解和总结。
首先，形式逻辑是一门研究思维规律和推理规则的学科。
它研究的是一种抽象的、抽出事物共性、预设结构的、具有形式本质的思维规律。
形式逻辑的基本任务是研究思维的形式，即思维中独立于具体内容的规则。
在形式逻辑中，最基本的元素是命题。
命题是以陈述句的形式表达的具有真假性质的句子。
根据命题之间的关系，可以分为命题的连接、否定、充足等几种基本关系。
其中，命题的连接包括合取、析取、条件和双条件等。
通过对这些命题连接关系的研究，可以得出一些推理规则，比如合取范式、析取范式、归谬法和假言推理等。
在进行形式逻辑的推理过程中，常常需要使用命题推理和谓词推理。
命题推理是通过一系列的命题转换，从已知的命题中推导出新的命题。
谓词推理则是通过对谓词的处理，将命题中的变量转化为常量，从而进行更复杂的推理。
通过对这两种推理的学习和应用，可以提高我们的逻辑思维能力，使我们在分析问题、解决问题时更加严谨和合理。
在学习形式逻辑的过程中，我们还需要掌握一些常用的逻辑工具和方法。
比如，我们可以使用真值表来验证命题之间的等值关系和永真式、永假式的性质。
我们还可以使用推理规则和演绎法来推导出新的命题。
此外，我们还可以使用逆否、否定和等价等方法，对命题进行转换和简化，以方便我们的推理。
最后，形式逻辑不仅对于哲学、数学等学科有重要意义，同时也在日常生活中有着广泛的应用。
无论是在论证、辩证、推理还是争论中，都需要运用到逻辑思维和推理方法，以确保我们的观点正确、合理。
形式逻辑的学习可以帮助我们培养严密的思维方式和批判性的思考能力，提高我们的辨析能力和问题解决能力。
通过对《形式逻辑》的学习和阅读，我深入了解了形式逻辑的基本概念、原理和方法。
形式逻辑(金岳霖)笔记
形式逻辑学（金岳霖）第一章绪论一、逻辑学的发展历史（一）、西方1、古希腊时期：亚里士多德，《工具论》。
演绎逻辑；2、近代早期：培根，《新工具》；穆勒，《逻辑体系》。
归纳逻辑3、近代后期：黑格尔，《逻辑学》，辩证逻辑4、现代：罗素等，《数学原理》，数理逻辑（二）中国1、古代：墨子，《墨经》2、近代：严复，《穆勒名学》3、现代：金岳霖《形式逻辑》二、逻辑学的研究对象逻辑学是研究思维形式结构和基本规律的科学。
（一）什么是思维1、广义思维含义思维是指人的全部心理现象和认识过程。
2、狭义的思维含义思维是指理性思维。
（二）思维形式思维形式是指思维内容的组成和表达方式。
（三）思维形式的结构思维形式组成的要素的联系方式，各种具体思维形式中所隐含的最一般的、共同的东西。
简单判断结构：主项(S)、谓项(P)、联项、量项。
主项(S)和谓项(P)，又称为变项。
联项和量项又称为常项。
复合判断结构：p –>q。
三段论推理结构：三概念、三个判断组合。
三、逻辑的类型（一）形式逻辑与非形式逻辑形式逻辑是以形式规律为研究对象。
非形式逻辑是以非形式规律为研究对象。
（二）演绎逻辑（必然性推理）与归纳逻辑（或然性推理）第二章概念一、概念概述（一）概念的含义思维是反映思维的对象和特有属性的思维形式。
特有属性：性质和关系。
1、简单性质、简单关系；复杂性质、复杂关系2、具有相同属性的事物形成一类；具有不同属性的事物分别形成不同的类。
3、组成某类的那些个别事物，叫做某类分子。
4、特有属性和偶有属性5、本质属性和固有属性（两者为特有属性）6、真实概念和虚假概念（二）概念与语词1、联系。
概念是语词的思想内容，语词是概念的物质外壳。
2、区别：①概念具有全人类性，语词具有民族性②所有的概念都要用词语来表达（名、动、形、量、连），但并非所有的词语（大部分虚词）都表达概念。
虚词中的连词表达事物之间的条件、因果关系。
③同一概念可以用不同的词语来表达，同一词语可以表达不同的概念。
金岳霖形式逻辑念书笔记
《形式逻辑》念书笔记《形式逻辑》是现代哲学家、逻辑学家金岳霖于60年代组织那时研究逻辑学的专家、学者编写的我国第一部全国高等学校逻辑教材，代表了那时我国形式逻辑教材的最高水平。
通过再版修改后，全书共分为七章，详细介绍了形式逻辑的对象和作用、概念、判断、演绎推理、归纳法，和形式逻辑的大体规律和论证,附录部份还对西方逻辑史和中国逻辑史的有关资料做了简要介绍。
语言简单明了，深切浅出，曾影晌了一代又一代青年学生和大量逻辑爱好者，至今还被作为研习逻辑学的重要读物。
在第一章的内容中主要论述了形式逻辑的概念、大体规律及其作用等，而且将形式逻辑与数理逻辑和辩证逻辑相较较。
按照书中的概念形式逻辑是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方式的科学。
其中思维形式和思维内容在具体思维中，二者彼此依存，但他们具有相对独立性，同一思维形式可以具有不同的乃至相反的思维内容。
形式逻辑有三个大体即同一概、矛盾律和排中律。
形式逻辑只研究思维形式而不研究思维内容；只研究思维形式的真假条件；只研究其同一性。
思维形式是客观存在的，是不以人们意志为转移的。
思维形式及其规律是以事物的确实性和一些最简单的关系为客观基础的。
形式逻辑通过一些简单的逻辑方式对思维形式进行研究，如：概念、划分、实验、假说等。
形式逻辑的研究对象及其大体内容都是没有阶级性的可是不同阶级的世界观会决定形式逻辑的研究方向，而产生唯心主义和唯物主义的对立。
逻辑学分很多种，它们彼此联系又彼此区别，同是逻辑学可是按照它们的研究对象、研究方式和在熟悉中所起的作用及互补性可以看出它们的区别。
其中形式逻辑是熟悉客观世界的辅助工具。
正确反映客观世界的思维，必然是内容真实而形式又正确的思维，而形式逻辑就是关于正确思维形式的科学。
形式逻辑能从已知推出未知。
形式逻辑的规律是普遍有效的，从应用范围来讲是没有局限性的；但它离开实践，在熟悉中所起的作用又是有局限性的。
同时形式逻辑是论证思想和表达思想的必要工具。
形式逻辑》(金岳霖)读书笔记
形式逻辑》（金岳霖）读书笔记附目录：第一章形式逻辑的对象和作用第一节形式逻辑的对象第二节形式逻辑、数理逻辑与辩证逻辑第三节形式逻辑的作用第二章概念第一节概念的特征第二节概念与语词第三节概念的内涵与外延第四节概念的种类第五节概念间的关系第六节定义什么是定义真实定义语词定义真实定义与语词定义的关系定义的规则第七节划分什么是划分划分的规则二分法划分与定义的关系习题第三章判断第一节判断的特征第二节判断与语句第三节判断的种类第四节性质判断及其相互关系性质判断的形式A．E、I、O之间的真假关系第五节 A、E、I、O的主项与谓项周延问题第六节关系判断及其相互关系关系判断的形式关系的对称性关系的传递性关系判断的量项第七节假言判断第八节选言判断第九节联言判断第十节负判断第十一节各种复合判断之间的关系第十二节模态判断第十三节几种特别的判断形式习题第四章演绎推理第一节推理的特征第二节推理的种类与演绎推理的特征第三节性质判断的推理：（一）直接推理换质法换位法换质位法附性法第四节性质判断的推理：（二）三段论三段论的定义与组成三段论的规则三段论的格与式三段论的还原省略三段论与复合三段论有关三段论的几个问题第五节关系判断的推理第六节复合判断的推理假言推理选言推理联言推理二难推理几种常见的以假言判断、选言判断和联言判断为前提的推理第七节模态推理习题第五章归纳法第一节归纳法的特征第二节观察、实验与一些整理感性材料的方法观察与实验比较、分类、分析与综合第三节简单枚举法与完全归纳法简单枚举法完全归纳法第四节类比法第五节判明因果联系的方法现象间的因果联系求因果联系的五种方法第六节概率与统计概率统计方法应用统计方法时常见的错误第七节假说假说的性质假说的发展假说的作用第八节归纳与演绎的关系习题第六章形式逻辑的基本规律第一节形式逻辑基本规律的一般性质第二节同一律第三节矛盾律第四节排中律习题第七章论证第一节论证及其作用第二节论证的组成第三节论证的种类演绎论证和归纳论证直接论证和间接论证第四节论证的规则关于论题的规则关于论据的规则关于论证方式的规则第五节反驳第六节几种不正当的论证和反驳的手法习题附录逻辑史资料第一节引言第二节古希腊奴隶社会时期的逻辑学说亚里士多德的逻辑学说斯多阿派与伊壁鸠鲁派的逻辑学说第三节欧洲中世纪封建主义时期的逻辑学说第四节欧洲近代资本主义时期的逻辑学说培根的归纳逻辑《波尔罗亚尔逻辑》康德的逻辑学说穆勒的归纳逻辑莱布尼兹到布尔的数理逻辑第五节中国逻辑思想的发展公孙龙的逻辑思想后期墨家的逻辑思想荀况的逻辑思想汉以后逻辑思想的发展第一章第一节 p1-7 读书笔记1.形式逻辑的定义：学。
形式逻辑读后感(共7篇)
形式逻辑读后感（共7篇）第1篇：形式逻辑西方逻辑之父：亚里士多德形式逻辑的研究对象：研究思维形式的结构及其规律和简单逻辑方法的科学（结构、规律、简单逻辑方法）事物的表面现象和外部联系是认识的初级阶段，属于感性认识阶段。
而对事物本质、规律的认识属于理性认识阶段。
思维作为理性认识的过程，它对客观世界的反映具有概括性和间接性，思维的概括性是指思维能反映同一类事物的共同本质；间接性是指思维能认识感觉、知觉所不能直接提供的事物内在、本质的属性。
思维与语言：语言：自然语言、人工语言。
在现代形式逻辑中，各种演算是用人工语言表述的，传统的演绎逻辑和归纳逻辑基本是用自然语言表述的。
思维：内容、结构。
思维内容是指思维所反映的特定对象及其属性。
思维形式的结构也称作思维的逻辑形式，是指思维内容不相同的各种判断、推理所具有的共同联系方式。
结构是指判断、推理之间的共同联系方式。
形式逻辑的结构：任何逻辑形式都包含逻辑常项、变项。
研究的是制约思维逻辑形式真假的逻辑条件，即只研究形式，不研究内容。
形式逻辑的规律：同一律、矛盾律、排中律。
保证思维的确定性、一贯性、规定性。
形式逻辑的简单逻辑方法：定义、划分、限制和概括、探求因果联系的方法、论证。
形式逻辑的性质和作用：性质：工具性、基础性的学科。
形式逻辑和语法的关系和区别：形式逻辑的主要作用：1、2、3、4、概念反映对象本质属性的思维形式；思维主题所能涉及的一切都可以为思维所反映；思维对象：一切为人们思维所反映的事物和现象；属性：对象自身的性质和对象间的关系，分为本质属性、非本质属性；正确认识事物，探求知识；正确表述和论证思想；辩驳谬论，揭露诡辩；社会文化功能，启发民智、转换观念。
概念具有抽象性、概括性的特点；概念的作用：科学认识一定阶段的总结、科学知识体系的组成要件、构成推理判断的基本要素；概念舍弃了具体形象，只反映对象的本质属性；概念与语词的关系：概念的内涵和外延：概念的两个基本特征；内涵—对象的本质属性，质的方面的规定性，表明概念所反映的对象是什么；外延—概念的量的规定性，表明概念所反映的对象有哪些；概念的种类：单独和普遍概念、集合和非集合概念、正负概念、空概念。
形式逻辑读书笔记
形式逻辑读书笔记【篇一：《逻辑的引擎》读书笔记】【莱布尼兹】1奇思妙想：找到一个人类思想的真正的符号系统，以及操纵这些符号的恰当的计算工具上帝对所有可能的世界都无所布置，他选取创造了其中最好的一个给我们-任何事物都遵循了一个计划-我们当然可以用逻辑知识对任何一种知识加以揭示（理性的人们，坐下来算一算）2三个元素：百科大全书-涵盖人类所有的知识普遍文字：表示概念（而非语音）的符号系统，不仅真实，而且包含了人类全部思想领域；有助于判断和发明（使用门槛就是理性）-亚里士多德的范畴理论演绎规则：推理演算calculus ratiocinator，符号逻辑3机器：把推理归结为一种演算，并且最终支撑能够完成这些演算的机器（把优秀的大脑从繁复的计算中解脱出来）【布尔】1把逻辑变成代数：逻辑代数（以亚里士多德三段论为蓝本）-一劳永逸地证明了逻辑演绎可以成为数学的一个分支（true /false）与或非===》逻辑问题代数化2莱布尼兹对恰当是数学符号体系的信念+当时人们对代数科学的普遍接受=规律的力量【弗雷格】1概念文字：模仿算数语言构造的纯思维的形式语言-莱布尼兹普遍语言为导向-人工语言-所有计算机语言的前身2试图找到一个能够包含数学实践中的全部演绎推理的逻辑系统，并以他的逻辑系统为基础把代数构造出来-不用逻辑的方法来发展逻辑：机械化演算过程：通过对符号的直接操作是的逻辑推理自动进行-用逻辑来构造出一切数学3罗素悖论/集合论悖论【康托尔】1对实无穷的追寻：一个完成了的极限2无限集合的基数：莱布尼兹认为谈论无限集合的元素数目是没有意义的；康托尔沿着“一一对应”的思路继续研究下去：有理数-代数数-实数（连续统问题）3对角线方法：如果用自然数来做标签，那么我们可以发现没有一种对应可以包含自然数集的一切自己（由一切自然数集做组成的集合的基数要大于自然数的基数，我们可以证明这个基数就是实数的基数）-实数也是这样-也许我们可以永不止步4康托尔悖论/罗素悖论/集合论悖论5实证主义怀疑论-对康德、黑格尔的绝对唯心论的反抗【希尔伯特】1抽象思维的力量：不必构造出一个数学对象-反证-希尔伯特基本定理-解决果尔单问题，彻底说明不变量理论的终结2几何抽象的本性：那些定理通过纯逻辑就可以从公理中推到出来，而不必受到我们从图形中所看到的东西影响一致性：其实就是算数的一致性3信念：每一个明确的数学问题都必定可以完全得到解决（希尔伯特1930年演说）23个问题：连续统假设；*的一致性归结为另外一个集合的一致性-而算数却已经抵达了逻辑的根底-证明数学对象存在可以通过证明其一致性来达到4战争：实无限-算数一致性-存在-逻辑符号体系还原-抽象证明（舍弃对意义的考虑）{希尔伯特}数学与逻辑将通过一种纯形式逻辑的符号语言被发展出来-内部：数学演绎；外部：不考虑意义的符号操作*元数学：一致性证明在元数学内部完成*希尔伯特纲领：算数的一致性问题*完备性：任何一个从外部看来有效的公式都可以只用某种规则从系统内部导出（从皮亚诺公理系统开始pa）{罗素}希望能够够发展出一种符号逻辑体系，并利用其将弗雷格把算数还原为春逻辑的计划而不会导致悖论（层次）-证明了：在一个符号体系中对数学进行完全的形式化是绝对可能的-庞加莱--布劳威尔-忧伤的数学观点：数学在数学家的意识中，在于直观的构造（拒斥排中律，有些命题不是真的也不是假的）-数学不是逻辑，不在于语言表达（直觉主义）-在没有连续统和排中律的情况下要重建数学-外尔-存在与可计算【哥德尔】1维也纳学派：哲学的目的就是发展处怀特海罗素那样的符号系统，并对其进行研究，这些膝盖痛不仅仅可以包含数学，而且也可以包含经验科学。
读《形式逻辑》有感：逻辑之外
读《形式逻辑》有感：逻辑之外[模版仅供参考，切勿通篇使用]逻辑之外--读《形式逻辑》有感曾向阳大凡在行文说话之始，通常而言，我们都会思考如何将想表达的意思准确无误地予以表达。
该意思即为表达的内容，如何表达则为表达的形式。
大约形式逻辑研究的便是表达的形式问题，亦即“形式逻辑是一门以思维形式及其规律为主要研究对象的科学。
”翻开《形式逻辑》一书，我不由得想起近二十年前参加文秘大专自学考试的一门曰《普通逻辑》的课程来。
虽时隔久远，但依然清晰可见的是其中的一些逻辑名词和方法论述，尤其当时学来感觉既新鲜又深奥难明，也或多或少地影响了自己思考问题，文字写作的思路构架。
如今重读逻辑书籍，一番故地重游之感油然而来。
然而，时光又翻过了近两个十年，期间继续学习，在不同的专业领域几番探索，阅历亦渐长，对于逻辑似有了一些更深的认知。
其实，无论是《形式逻辑》抑或《普通逻辑》均是研究语言表达的逻辑问题，这也是我们在日常生活与工作中时时会遇见的一些问题。
诸如概念、判断、推理、论证等，这些也都是我们经常不自觉地运用的一些方法。
即便运用这些方法的人是初小文化，还是博士后，其语言的表达都存在一定的逻辑性，只是这种表达的水平有高下之分罢了！若要一个初小文化甚至博士后确切地说出其表达内容抽丝剥茧的逻辑关系，以及其为何会选择这种表达的形式，恐怕也难以说出一二（专门研究逻辑的人除外）。
这就好比修辞语法中的一些方法一样，若让你去一一说出你表达语言的主、谓、宾、状等，或者你运用了何种修辞的手法，怕莫也是一件让人纠缠的事情。
当然，一件事情上升到了研究的高度，其必然会鞭辟入里地深入总结归纳其中的规律，并用一种“一览众山小”的视野不断扩大发散其研究的方面，以不断地接近于客观现实，最终达到指导与改进实践的目的。
不过，我们也常遇见这么一种现象，研究经济的学者并不是腰缠万贯的企业家或商人，专门研究政治的学者并非政治家，专门研究文字的专家也未必是文学家等等。
行为逻辑学读后感
学习形式逻辑学的心得体会！（作用和意义）逻辑学是研究纯粹理念的科学，我们可以说逻辑学是研究思维、思维的规定和规律的科学。
但是只有思维本身才构成使得理念成为逻辑的理念的普遍规定性或要素。
理念并不是形式的思维，而是思维的特有规定和规律自身发展而成的全体，这些规定和规律，乃是思维自身给予的，决不是已经存在于外面的现成的事物。
在某种意义下，逻辑学可以说是最难的科学，因为它所处理的题材，不是直观，也不象几何学的题材，是抽象的感觉表象，而是纯粹抽象的东西，而且需要一种特殊的能力和技巧，才能够回溯到纯粹思想，紧紧抓住纯粹思想，并活动于纯粹思想之中。
但在另一种意义下，也可以把逻辑学看作最易的科学。
因为它的内容不是别的，即是我们自己的思维，和思维的熟习的规定，而这些规定同时又是最简单、最初步的，而且也是人人最熟知的，例如：有与无，质与量，自在存在与自为存在，一与多等等。
但是，这种熟知反而加重了逻辑研究的困难。
因为，一方面我们总以为不值得费力气去研究这样熟习的东西。
另一方面，对于这些观念，逻辑学去研究、去理解所采取的方式，却又与普通人所业已熟习的方式不相同，甚至正相反。
逻辑学的有用与否，取决于它对学习的人能给予多少训练以达到别的目的。
学习的人通过逻辑学所获得的教养，在于训练思维，使人在头脑中得到真正纯粹的思想，因为这门科学乃是思维的思维。
但是就逻辑学作为真理的绝对形式来说，尤其是就逻辑学作为纯粹真理的本身来说，它决不单纯是某种有用的东西。
但如果凡是最高尚的、最自由的和最独立的东西也就是最有用的东西，那么逻辑学也未尝不可认为是有用的，不过它的用处，却不仅是对于思维的形式练习，而必须另外加以估价。
形式逻辑已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻辑，19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。
形式逻辑是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必然推出的研究，它提供检验有效的推理和非有效推理的标准。
形式逻辑笔记
1、逻辑：表示事物发展的客观规律：观察处理问题时特殊的理论、观点或方法人类思维的规律、规则；研究思维形式和思维规律的学问（逻辑学）。
2、普通逻辑：传统的形式逻辑，是研究思维的逻辑形式及其基本规律和人们认识现实时所使用的简单逻辑方法的科学。
3、思维的逻辑形式：概念、判断和推理是思维的形式。
反映在概念、判断、和推理中的特能对象及其属性叫做思维的具体内容。
思维内容各部分之间的联系方式或形式结构，叫做思维的逻辑形式。
概念4、槪念：反映特立事物对象特有属性或本质属性的思维形式。
5、概念的内涵：反映在概念中的对象的特有属性或本质属性。
6、概念的外延：是指具有概念所反映的特有属性或本质属性的对象。
根据概念外延的大小分类7、单独概念：是反映独一无二的对象的槪念。
外延为一8、普遍概念：是反映一个以上对象的概念。
外延过一根据槪念所反映的对象是否为集合体分类9、集合概念：外延为集合体。
集合体由许多个体组成的统一整体，集合体所具有的属性，只为该集合体所具有，而不必为这个集合体中的某一个体所具有。
10、非集合槪念：外延为非集合体。
根据槪念所反映的对象是否具有某属性分类11、正槪念：内涵具有某种属性。
12、负概念：内涵不具有某种属性根据槪念外延是否为零分类13、实概念：外延为非零14、虚槪念：外延为零15、槪念的内涵与外延之间的反变关系：一个槪念的外延愈大，则它的内涵愈少，一个概念的外延愈小，则它的内涵愈多。
一个槪念的内涵愈少，则它的外延愈少：一个概念的内涵愈多，则它的外延愈小。
16、槪念的限制：是通过增加概念的内涵以缩小概念的外延来明确概念的一种逻辑方法。
（是缩小概念外延的方法，即由外延较大的槪念过渡到外延较小的概念，限制是由属概念过渡到种概念）单独概念是外延最小的概念，无法限制。
17、槪念的概括：是通过减少概念的内涵以扩大概念的外延来明确概念的一种逻辑方法。
（是扩大槪念外延的方法，即由外延较小的槪念过渡到外延较大的概念，概括是由种概念过渡到属概念）概括也是有限度的，概括的极限是范畴。
我看形式逻辑
《形式逻辑心得体会》班级：政治学与行政学1班姓名：翁琰丰学号： 201510021392016年 6 月 23日我看形式逻辑作为一个文科生来说，对于形式逻辑这门课，给我最深的印象就是难。
着实有不少知识是没有理解领会的，虽然课下也时有钻研，但成效并不是多么明显。
不过，不得不说老师诙谐幽默的教学方式，还是很有用值得肯定的，倘若是换个老师，我想必然不如现在。
单从形式逻辑的课本内容来说，非常有学习的必要性。
即使有难度，但是收获还是会有的，只是大小的问题。
逻辑学是研究思维的科学，研究思维形式结构的逻辑称为形式逻辑。
形式逻辑是一门历史悠久且具有强大生命力的科学。
是研究思维形式的结构及其规律和简单逻辑方法的科学，可见这还是围绕思维来展开的。
本书分为十个不同的章节，首先以绪论和概念，把逻辑学的基本内容描述个大概，重点谈到了复合、简单和模态三个命题及其推理，还有归纳和类比推理，阐述了逻辑思维基本规律，把假说和论辩也明确的深层次说明。
恍然一看，形式逻辑的内容不多，实则恰恰相反，只是我高度概括了一下而已，其中的知识是很丰富的，要想真正理解大概，不仔细研读几遍，我想是完全不可能的。
从形式逻辑研究对象的探讨中，自然不难发现，形式逻辑是一门具有工具性和基础性的学科。
一定意义上来说，人们通常称形式逻辑为“思维的语法”。
由于形式逻辑是撇开思维内容来研究思维形式结构，这一点就决定了它所研究的仅仅是逻辑真，而不是具体科学中的那种事实真。
与此同时，随着科学技术的快速发展，逻辑学的地位得到很大的提升，它已被列为基础学科之一。
这样自然就让本来让人觉得高大上的科学，开始走向平民化，让普通人接触到逻辑学，这不得不说是一个很大的进步。
就算很多人理解不了有些内容，不过我想这都不是最重要的，只要能掌握了基本的逻辑思维，能够把逻辑思维得到一定的实际运用和操作，那形式逻辑就没有白学。
形式逻辑研究的逻辑规则和逻辑规律，是人们在长期的实践中，在反复地反映事物最普通、最普遍关系的基础上总结概括出来的，它对任何人的思维都有着同样的规范性。
形式逻辑学的学习心得
形式逻辑学的学习心得今年学期初，我很幸运的接触到了这一门奇妙的学科——形式逻辑学。
逻辑学不单单是一门学科，它从中所有的内涵具有很大的科学文化价值。
在老师精辟的解说和那些生动的举例中，我能容易地感受到逻辑学的实用价值和审美价值，领略到逻辑学在各学科中的基础性作用。
逻辑学的伟大之处一点点浮出水面，一幅宏大的画卷展现在我眼前——逻辑学并不神秘遥远，它就在我们身边，它已悄悄渗入生活的每一个细小角落——我们思考的每一个环节，我们说的每一个词、每一个字中。
人们在说话，作文的时候都会自觉或不自觉的体现出一定的逻辑，并且符合逻辑的基本定律。
学习了逻辑学后，我对各种事物之间的关系有了更加明确的认识。
比如，在逻辑学上，一个概念的内涵和外延的关系是什么？我是这么理解的，内涵越大，外延就越小；内涵越小，外延就越大。
例如;一个年轻人，那么，这个概念中内涵就有年龄和男人的限定，我们就要排除“老男人”、女人之后才能符合要求。
如果没有年龄的限制，只需要排除女人就行了。
所以，你对一个事物的规定越多，符合规定的事物就越少；你对一个事物的规定越少，符合规定的事物就越多。
学习形式逻辑学，给我印象最深就是相容宣言命题这部分，利用相容选言推理既简单又实用。
它的规则就是否定一部分，就要肯定另一部分，肯定一部分，不能否定另一部分。
下面举个例子说明：a）、甲、乙、丙、丁四个人的血型各不相同，即他们的血型是a、b、o、ab四种血型中的一种.b）、甲自述：“我是a型”；乙自述：“我是o型，丙自述：“我是ab型”；丁自述：“我不是ab型”。
c）在这四个人的自述中，有三个的自述是正确的，有一个人的自述是错误的请问：（1）如果甲的自述是错误的，那么，甲、乙、丙、丁各处什么血型？（2）如果乙的自述是错误的，那么，甲、乙、丙、丁各处什么血型？（3）如果丙的自述是错误的，那么，甲、乙、丙、丁各处什么血型？（4）如果丁的自述是错误的，那么，甲、乙、丙、丁各处什么血型？（1）如果甲的自述是错误的，可得结论甲不是a型，而其他三个人的自述则是正确的，所以可得结论：乙是o型，丙是ab型，这样，甲只能是b型（不相容选言推理的否定肯定式，同理，丁只能a型。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
形式逻辑读书笔记【篇一：《逻辑的引擎》读书笔记】【莱布尼兹】1奇思妙想：找到一个人类思想的真正的符号系统，以及操纵这些符号的恰当的计算工具上帝对所有可能的世界都无所布置，他选取创造了其中最好的一个给我们-任何事物都遵循了一个计划-我们当然可以用逻辑知识对任何一种知识加以揭示（理性的人们，坐下来算一算）2三个元素：百科大全书-涵盖人类所有的知识普遍文字：表示概念（而非语音）的符号系统，不仅真实，而且包含了人类全部思想领域；有助于判断和发明（使用门槛就是理性）-亚里士多德的范畴理论演绎规则：推理演算calculus ratiocinator，符号逻辑3机器：把推理归结为一种演算，并且最终支撑能够完成这些演算的机器（把优秀的大脑从繁复的计算中解脱出来）【布尔】1把逻辑变成代数：逻辑代数（以亚里士多德三段论为蓝本）-一劳永逸地证明了逻辑演绎可以成为数学的一个分支（true /false）与或非===》逻辑问题代数化2莱布尼兹对恰当是数学符号体系的信念+当时人们对代数科学的普遍接受=规律的力量【弗雷格】1概念文字：模仿算数语言构造的纯思维的形式语言-莱布尼兹普遍语言为导向-人工语言-所有计算机语言的前身2试图找到一个能够包含数学实践中的全部演绎推理的逻辑系统，并以他的逻辑系统为基础把代数构造出来-不用逻辑的方法来发展逻辑：机械化演算过程：通过对符号的直接操作是的逻辑推理自动进行-用逻辑来构造出一切数学3罗素悖论/集合论悖论【康托尔】1对实无穷的追寻：一个完成了的极限2无限集合的基数：莱布尼兹认为谈论无限集合的元素数目是没有意义的；康托尔沿着“一一对应”的思路继续研究下去：有理数-代数数-实数（连续统问题）3对角线方法：如果用自然数来做标签，那么我们可以发现没有一种对应可以包含自然数集的一切自己（由一切自然数集做组成的集合的基数要大于自然数的基数，我们可以证明这个基数就是实数的基数）-实数也是这样-也许我们可以永不止步4康托尔悖论/罗素悖论/集合论悖论5实证主义怀疑论-对康德、黑格尔的绝对唯心论的反抗【希尔伯特】1抽象思维的力量：不必构造出一个数学对象-反证-希尔伯特基本定理-解决果尔单问题，彻底说明不变量理论的终结2几何抽象的本性：那些定理通过纯逻辑就可以从公理中推到出来，而不必受到我们从图形中所看到的东西影响一致性：其实就是算数的一致性3信念：每一个明确的数学问题都必定可以完全得到解决（希尔伯特1930年演说）23个问题：连续统假设；*的一致性归结为另外一个集合的一致性-而算数却已经抵达了逻辑的根底-证明数学对象存在可以通过证明其一致性来达到4战争：实无限-算数一致性-存在-逻辑符号体系还原-抽象证明（舍弃对意义的考虑）{希尔伯特}数学与逻辑将通过一种纯形式逻辑的符号语言被发展出来-内部：数学演绎；外部：不考虑意义的符号操作*元数学：一致性证明在元数学内部完成*希尔伯特纲领：算数的一致性问题*完备性：任何一个从外部看来有效的公式都可以只用某种规则从系统内部导出（从皮亚诺公理系统开始pa）{罗素}希望能够够发展出一种符号逻辑体系，并利用其将弗雷格把算数还原为春逻辑的计划而不会导致悖论（层次）-证明了：在一个符号体系中对数学进行完全的形式化是绝对可能的-庞加莱--布劳威尔-忧伤的数学观点：数学在数学家的意识中，在于直观的构造（拒斥排中律，有些命题不是真的也不是假的）-数学不是逻辑，不在于语言表达（直觉主义）-在没有连续统和排中律的情况下要重建数学-外尔-存在与可计算【哥德尔】1维也纳学派：哲学的目的就是发展处怀特海罗素那样的符号系统，并对其进行研究，这些膝盖痛不仅仅可以包含数学，而且也可以包含经验科学。
2循着希尔伯特纲领，博士论文给出证明：不论对公式中的字母做何种解释，只要其前提是真陈述，则它的结论就是真的。
然而实数算数系统的一致性是不可证明的（不可判定性）外部|= 真假/意义内部|- 演绎证明维也纳学派认为除了可证明性之外，数学真理的任何其他观念都是无意义的，都只是唯心论形而上学的怪胎-哥德尔的不可判定性证明了一种有意义的数学真理的观念不仅是存在的，而且范围还超出了任何给定的形式系统的证明能力 3编码思想沟通了内部和外部，同时也是证明的关键：一个外部的形式符号通过编码方式在内部表现出来康托尔对角线法则的运用:使被断言为不可证明的命题和那个做出这个断言的命题是同一个命题;u说某个命题在pm中不可证明，那个特殊命题就是u本身（自我指涉思想）说明真和可证明不完全是重叠的（反对维也纳学派的纲领）4编码的意义：从某个程度上完成了莱布尼兹的梦想，把元数学的概念植入到与语言本身中去5哲学问题-柏拉图主义问题在我们判断2+2=4之前，它是不是真的？抽象的对象是否是客观存在的（人们只能发现，不能发明）？心灵问题：人类心灵本质上是否等同于一台计算机？-假如人的心灵所有部分都可以用一台有限的机器模拟出来，那么我就可以利用哥德尔不完全性定理说明，某个命题虽然是真的，但是不能被人类所证明。
-假如人的心灵不能被还原为机械装置，那么说明心灵超越了物理实在（心灵不是蛋白质分子）。
【图灵】1判定性问题：图灵试图证明这些算法是不存在的两个惯常的解决路径：考虑一般问题的特殊情形；把一般问题还原为某些特殊情形不完备性理论：我们的数学活动（也可以扩展到所有的理性活动）不可能仅仅还原成某种机械装置的计算2图灵机：{思路}尝试把人的理性活动还原为机械过程-证明仅仅执行某些运算的机器不可能判定一个给定的结论是否可以用弗雷格的规则从给定的前提中导出-结论：判定问题的算法是不存在的{关键}通过某种算法程序可计算的任何东西都可以通过一台图灵机来计算，于是如果有一种计算是不能通过图灵机来计算的，那么就说明它不能被计算 #考虑人类计算过程的限制：a在计算的每个阶段，只有少数符号受到了注意b每一个阶段所采取的行动仅仅取决与收到主意的那些符号以及计算人当前的心灵状态#发现计算的本质过程：a写下符号b每一步关注一个单一的符号位c当前符号和他的心灵状态决定下一步d下一步#制造图灵机3应用对角线法则停机问题图灵机编码自我指涉4通用机【通用机】谁发明了计算机？冯诺依曼和摩尔学院现代计算机只是对图灵通用机的一个粗糙的模仿储存结构归属的争论【超越莱布尼兹之梦】人工智能及其边界的问题【篇二：形式逻辑学】第一章总论第一节思维与逻辑学思维：是人脑对于客观世界的间接的、概括的反映，这种反映是借助语言来实现的。
思维是在感性认识基础上产生的一种理性认识的活动段。
思维的三种类型：概念、命题、推理，概念、命题、推理也是思维的基本形式。
第二节普通逻辑学的研究对象普通逻辑学是研究思维的逻辑形式及其基本规律和一些简单方法的科学。
逻辑常项：是指在一个逻辑形式中不随思维内容变化而变化的部分。
体现了逻辑形式的本质特征。
逻辑常项是区分不同种类的逻辑形式的唯一依据。
逻辑变项：是指一个逻辑形式中可变的部分，可以用不同的具体概念或具体判断来加以代换。
第三节思维逻辑形式的基本规律论域：负概念与正概念所共同相对的那个特定范围，就是论域（议论的范围）。
同一思维过程：指同一时间、同一关系、同一思维对象三个方面的“三同一”思维过程。
“同一时间”是指思维对象正处在量变阶段，尚未发生质变之前的一段时间；所谓“同一关系”，是指思维对象的同一方面、角度、意义、场合等。
同一律的要求（1）概念必须保持自身同一。
在使用概念时必须保持概念的内涵和外延的同一，不能任意转移、变换。
（如：法律=国家立法机关制定的行为规范≠国家机关制定的条例；抢劫罪=以非法占有为目的，以暴力、胁迫或其它方法强行将公私财物据为己有的行为≠抢夺罪）（2）命题（判断）必须保持自身同一。
指人们在运用判断（命题）进行推理、论证的过程中，命题（判断）必须保持同一，不能随意转移、更替。
（既指构成命题（判断）的概念和内容，又指不能混特称和全称；不能混肯定和否定；不能混联言和选言?）。
（3）同一律要求的同一是指在时间、关系、思维对象相同（即同一思维过程）的条件下的同一。
（同一律并不否认思想的发展变化，一旦超出“三同一”思维过程，概念和命题的变化就不违反。
）1、偷换概念。
指在同一思维过程中，有意用另一个概念取代原来在某种意义上使用的概念。
2、混淆概念。
是指在同一思维过程中，不自觉地把两个不同的概念当作同一概念使用。
3、转移论题。
是指在思维（说话、讲演、写作）过程中改变（有意或无意）已经提出的论题，把它引向另一个论题。
4、偷换论题。
是指在思维过程中有意或无意用一论题来替代原来的论题。
（三）同一律在司法工作中的作用1、制定的“法典” （体系完整、结构严密）要求：概念和命题含义清楚明确，始终如一地保持其确定性，便于人民掌握和执行。
（如：《刑法》第99条规定，“以下”一词均包括“本数”，可在第63条关于“减轻处罚”的规定所用“以下”，又不包括“本数”——违反了同一律要求。
）2、对法律的解释（包括学理解释）要与法律自身的含义保持同一（要符合法律规定的本意）。
3、执法过程中，要与法律自身的含义保持同一（要符合法律规定的本意）。
（“今天结婚证已用完，你们可以先回去结婚，以后再来登记。
”）4、法律文书的制作同样需要遵守同一律。
5、应区别相近（相似）概念。
（如：从重—加重；抢劫—抢夺；不予—免予；服法—伏法；拘留—拘役—拘传；申诉—上诉—反诉。
） 1、在使用概念时。
在同一思维过程中，不能用两个互相否定的概念（矛盾或反对关系的概念）指称同一对象。
2、在使用命题（判断）时。
同一思维过程中，不能用两个互相矛盾的命题（a与o，e 与i）或两个互相反对（a与e）的命题陈述同一对象。
3、不在同一思维过程中（在不同的时间、不同的关系下），使用两个互相否定的概念或命题，并不违反矛盾律。
（如：去年断定“甲是律师”——今年断定“甲不是律师”；同时断定：“甲是律师”和“甲是矛盾律的要求运动员”）。
4、矛盾律反对思想中的矛盾，但并不否认事物自身存在的矛盾。
人们正确地反映事物的矛盾或矛盾的双方不会产生逻辑矛盾。
（如：离婚既是好事又是坏事—不能说“并非离婚既是好事又是坏事”。
）违反矛盾律要求的逻辑错误是“自相矛盾（出尔反尔、前言不搭后语、自己打自己嘴巴）”即在同一思维过程中，对两个相互矛盾或相互反对的思想都肯定为真。
具体说来，违反矛盾律就是对同一思维对象的两个具有矛盾关系或反对关系的概念、判断同时予以肯定，造成概念自毁或判断逻辑矛盾。
1、概念自相矛盾。
对于喜欢读书的学生来说，偷书不算偷；在沿海地区受贿几万元，算不上犯罪；爱迪生实验室一学生说：“我想发明一种能溶解所有物质的万能溶剂”。
2、命题自相矛盾。
公诉人的指控基本上完全正确。
我的辩护人讲得很全面，我只补充两点。
所售假酒已基本全部查封。