形式逻辑读书笔记
形势逻辑
形式逻辑学习心得这学期我有幸学习了形式逻辑的选修课,使我受益匪浅,起初我一直认为形式逻辑是非常枯燥无味的,毕竟在我看来,这些都是在生活中不常用的,就像政治学的哲学思想一样,什么“物质决定意识”之类的,总没有发现他有什么用,还搞得头昏脑胀。
不过通过这几节课的学习,我发现这并不是那么枯燥的,而且还很有用，让我对“判断和推理”有了浅薄的理解,所谓“判断”,是对思维对象有所断定的一种思维形式，判断其实就是我们对于事物的一些性质,特征,作用等方面的认识。
所谓推理,是从一个或几个一致判断中推出一个新的判断的思维形式。
我认为,推理就是根据对一个事物的一些特征,形状,作用,运动等方面的观察,得到更深一层的性质,对它的理解,或者其他的信息。
学了之后真的才发现生活与逻辑推理分不开，尽管我们有些时候没有意识但我们也时不时的不由自主的用起了逻辑推理，逻辑推理中的判断更与我们密不可分。
比如我们通过蚂蚁搬家，乌云满布来推断下雨，通过灯光来推断是否有人等等，而判断又分为简单判断和复合判断，在此重点论述一下复合判断：性质判断和假言判断。
性质判断是断定对象具有某种性质的判断。
其包括:全称肯定判断,即所有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、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：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、命题自相矛盾。
公诉人的指控基本上完全正确。
我的辩护人讲得很全面，我只补充两点。
所售假酒已基本全部查封。