逻辑学课程教学大纲

(2004年制订，2006年修订)本课程尝试以现代逻辑为立足点，以较大篇幅讲解经典逻辑的部分基础内容，着重系统讲解命论证等传统逻辑的主要内容，此外也初步涉及模态逻辑。导论部分主要讨论逻辑的性质，逻辑的简逻辑学是一门区别于对象科学的元科学。现代逻辑从整体上系统处理思维形传统逻辑不可比拟的。本课程的教学目的总体上是培养现代逻辑的观念，初步理解现代逻辑最基本的知识和处理方法，以便为窥现代逻辑庞大的知识体系之一斑提供必要的准备。此外，通过较为系统的逻辑演算训练，以帮助学习者提高逻辑思维能力，进而培养和提高综合素质，并为更好地理解以回应1978年提出“逻辑要现代化”口号以来20多年的改革取向。同时也兼顾了传统逻辑的主要知识内容，以作为对人类知识文化遗产的某种传承。本课程在内容上和要求上作了较大的调整，课堂教学强调"思维之演算"能力的提高。在教学进程上也充分考虑了建构形式系统、逻辑推演之前2第一章导论"逻辑即规律";"必然性的联系或趋势”;"思维中的某种必然联系";"关于思维形式结构的规律";"逻辑，即必然地得出”(王路)欧洲：亚里士多德斯多噶派伊壁鸠鲁派中世纪弗兰西斯.培根约翰.穆勒笛卡尔学派中国：先秦的逻辑思想(惠施、公孙龙、荀况、韩非)后期墨家之百科全书式的逻辑专著《墨莱布尼茨的数理逻辑的理论布尔的逻辑代数弗雷格的逻辑演算系统罗素、怀海特的三十年代以后的三大划时代成果：哥德尔不完全定理塔尔斯基逻辑语义学图灵的图灵机理论思维的形式结构内容不同的思维可以具有共同的形式结构逻辑变项和逻辑常项；表示逻辑变项的自然语言和形式语言；经验科学和形式科学；元科学和35、传统逻辑和现代逻辑的奠基人分别是谁?为什么他们被称为奠基人?学科范畴的不同；并非所有语句都能表达命题；同一语句表达不同命题；不同语句表达同一命题复合命题的构成；复合命题的逻辑性质；逻辑语法学和逻辑语义学定义、联结词、表达式、真值表、逻辑性质、语义、推导规则三、联言命题(合取)定义、联结词、表达式、真值表、逻辑性质、语义、推导规则、运算律四、选言命题(析取)(一)相容选言命题：定义、联结词、表达式、真值表、逻辑性质、语义、推导规则、运算律德.摩根律(1)(2)及其说明：4否定合取等值式(p△q)<=>pVq德.摩根律(1)否定析取等值式(pVq)<=>┐pA┐q德.摩根律(2)(二)不相容选言命题(严格析取):定义、联结词、表达式、真值表、逻辑性质(一)充分条件假言命题：定义、联结词、表达式、真值表、逻辑性质、语义、推导规则(二)必要条件假言命题：定义、联结词、表达式、真值表、逻辑性质、语义、推导规则p-q<=>pV┐qp-q<=>7p→┐qp→q<=>┐q→┐p(假言易位)(三)充分必要条件假言命题：定义、联结词、表达式、真值表、逻辑性质、语义、推导规则┐(p<->q)<=>p-≠q67全异关系的两个词项S、P相对于论域I而言还有：量项(常项)+主项(变元S)+联项(常项)+谓项(变元P)(一)按质划分(按联项):肯定命题否定命题(二)按量划分(按量项):单称命题全称命题特称命题(三)按质、量划分(按逻辑常项):A命题SAP全称肯定命题E命题SEP全称否定命题0命题SOP特称否定命题(四)关于量项关于全称量项所有一切任何凡每一个关于特称量项有有些存在至少一个许多少数大多数关于特称量项的歧义问题(广义和狭义)关于特称量项的从弱原则(狭义用法)周延的定义(三段论的核心概念)直言命题的周延性第三节直接推理主、谓项相同(素材相同)的直言命题A、E、I、O四种命题之间的真值关系：矛盾关系反对换质法规则换位法规则换质法和换位法结合使用8二、结构；三段论由且只由三个直言命题构成；三段论由且只由三个词项构成；每2个命题有规则1中项在前提中至少周延一次规则2在前提中不周延的项，在结论中不得周延规则3前提与结论中否定命题的数目必须相同1、从三段论的判定规则导出16条导出规则模态；模态词一、必须命题、允许命题和禁止命题了解传统归纳法的主要内容。理解现代逻辑处理归纳法的方法，初步掌握概率归纳推理和统计一、关于"归纳推理"归纳和演绎"归纳推理"实例二、"归纳推理"的基本特征传统归纳法：枚举法类比法四、科学预测的逻辑模式：演绎预测模式；统计预测模式一、因果联系二、穆勒“五法”二、假说形成的逻辑方法第七章论证理解论证的规则，掌握反证法、选言语法等论证方法。学会辨识日常论证第一节论证的定义和构成一、演绎论证和归纳论证(例证法、类比论证法、喻证法)二、直接论证和间接论证(反证法、选言证法)违反"论据应当是真实判断”的规则所犯的逻辑错误叫做“虚假理由”或“预期理由"。违反“论据的真实性不应依赖论题的真实性来论证"的规则所犯的逻辑错误叫做“循环论证”。论据集应当一致：讨论"普罗泰戈拉之半费之讼"。违反"论题的真实性是从论据的真实性中必然推出来的，论据与论题之间要有必然的逻辑联系"伊壁鸠鲁曾经论证"上帝是不存在的"。请分析他的论证的结构：我们不得不承认上帝或者愿意扑灭世界上的邪恶，但他做不到；或者他能够做，但如果上帝愿意做，但做不到，这就不符合"上帝是全能的"这一宗教观念了；如果他既不愿意，又做不到，这当然同上帝的"全能、全善、全智"的本性根本不相符。1.宋文坚.新逻辑教程[M].北京：北京大学出版社，1992.2.王路.逻辑的观念[M].北京：商务印书馆，2000.3.叶峰.一阶逻辑和一阶理论[M].北京：中国社会科学出版社，1994.4.金岳霖.形式逻辑[M].北京：人民出版社，1979.5.陈波.逻辑学是什么[M].北京：北京大学出版社，2002.6.朱水林.形式化：现代逻辑的发展[M].人民出版社，1987.7.江天骥.归纳逻辑导论[M].长沙：湖南人民出版社，1987.8.孔庆荣.逻辑学原理[M].中国法制出版社，2000.2006年2月2006年2月2006年2月XD-WSS-1型水介式超声波水(液)位计XD-WSS-1型水介式超声波水(液)位计产品水文仪器许可证号：2.主要配置a.水位计室内机/水位计外用机(根据客户要求选用其一)图2-1水位计及换能器(左为室内机，右为外用机)3.主要特点4.主要性能指标5.仪器系统工作流程0.1m—30m(按规格不同)200—800kHz(按规格不同)5.2仪器工作方式5.3仪器具体连线与功能应用图5-2仪器背板2脚用于数据传输；3脚用于计算机向水位计发送测量工作指令；5脚为接地。5.3.3水位计数据通讯格式5.3.4电脑显示程序安装应用：参数，直接点下一步，直至程序安装完成。程序自动安装在C盘的双击打开软件(见图5-3),每次运行软件，需要进行“串口设置”,才能通过串口接收水位数据。串口设置时，只需在“串口选择”的选择框内选择水位计连接的通讯串口编号，其它设置默认即可(见图5-4)。图5-3图5-45.3.5启动工作与调整6.换能器水下固定安装6.1梯形断面水位测量点安装方式：(见图6-1、6-2根据现场实际情况，在紧挨渠道的堤坡PVC1、将配件中的φ75*φ50的PVC三通管及其它PVC附件取出，根据需要在当地购置一定长度的φ75和φ50的PVC管。断面中。φ75PVC管底部尽可能与渠底水平并要求较高的垂直度(声脉冲直线反射运行的需要);过滤网与φ50PVC连通管顶端相配接。3、将相应长度的φ50的PVC管与装配有换能器的φ50的PVC短管中；另在中75的PVC静水管上端锯开一个小口便于电缆线横向隐图6-1梯形断面安装示意图6-2PVC套筒安装细节示意图6-3PVC套筒实物拼装示意图(1)6-4PVC套筒实物拼装示意图(2)6-5PVC套筒实物拼装示意图(3)6.2闸、渠垂直建设物水位测量点安装方式闸壁、渠壁等设安装点，可将换能器固定在50mm—70mm的PVC静水管底部，并直接将PVC管垂直固定在建设物壁面上即可(安装方式一),也可将换能器配装在L型弯角件上，长边部分直接固定在建筑扬垂直面上(安装方式二)。图6-3垂直渠壁安装示意将换能器直接安装在水尺桩上(方式一),或在低水位处垂直埋埋在堤坡处。(见图6-4)6.4安装应注意的问题6.5仪器测量调整与渠底0位值设定将仪器测量并显示的数据与实际水位数据调整一致。图6-5拨码块示意图6.5.1拨码数值计算实际水位高度-水位计当前显示距离=差值(拨码数值)例：假设当水位计安装好后测量显示的水位值为225cm,而当例图6-66.5.2二进制数值拔码具体操作步骤：打开计算器，点击“查看”工具条，选择“科学型”,在计算器根据二进制数值，从低位到高位把1对应的拨码键拨到ON位，0对应的拨码键保持原位不变，例：二进制数101100对应的是低位拨码块(右码块)的6号、5号、4号、2号键，将这几个键位拔到ON即可。(见图6-7)6-7拨码92cm实际例图注意：拔码操作时请注意实物拔码块和示意图的方向差别6.5.3十进制数值拨码操作步骤同的数字，则选择比它小且最接近的数字作为减数，直至结果为0。以上例中92为例进行拔码操作：1、根据拨码原则(选择比设定值小且最接近),因为92没有直接对应的数字位，所以，在拔码盘中首先选择比92小且最接近的数值是64,其对应键位是2,将键位2的滑动块拨到ON方向即可；用92减去最大接近值64得92-64