课程目录
高教马工程逻辑学-1-大纲十四章；绪论第一节，逻辑学的研究对象和类型：逻辑学的含义；思想言辞理性规律，狭义是演绎推理，广义是思维的形式和规律
高教马工程逻辑学-2-绪论第一节，逻辑学的研究对象和类型：对象1形式，去掉具体内容；不同命题可形式相同；变项常项；逻辑看推理，推理看命题，命题看词项；对象2规律
马工程《逻辑学》3绪论第一节，逻辑学的研究对象和类型：逻辑学的类型：演绎推理和归纳推理；演绎→必然性→有效性→形式正确→结论包含于前提合取
马工程《逻辑学》4绪论第一节归纳研究前提对结论支持度；结论不为前提蕴含推理都是归纳，类比、回溯和合情；演绎推理是必然性，归纳是放大性创新，二者是相对的、联系的和
马工程《逻辑学》5绪论第二节逻辑学的性质与作用：与语言学哲学心理学的关系；思维连接了逻辑学和语言学，都是暗箱，需要统计学归纳；自然语言和人工语言，前者有模糊性
马工程《逻辑学》6绪论第二节逻辑学的性质与作用：逻辑语义学的真（真理），马克思主义哲学指导发展；逻辑学提供可靠的认识真理的必要条件；专门学科与辩证法相辅相成
马工程《逻辑学》7绪论第二节逻辑学的性质与作用：逻辑学与心理学-都是思维与认知，逻辑普适全人类性，基础性，工具性和规范性
马工程《逻辑学》8绪论第二节逻辑学的性质与作用：学习逻辑学的作用：提高效率，思维素质和文明建设，思维素质，理论素养，批判思维和创新思维
马工程《逻辑学》9第三节研究和学习方法：研究方法对象是思维形式和规律，目的是找出正确推理形式，形式化非形式化和系统化；形式化使自然语言符号化递归为符号和规则，语
马工程《逻辑学》10第三节研究和学习方法：公理化和自然演绎-公理推演定理，初始和导出概念，命题选公理，其余为定理；真前提和假设推断的形式化方法，常用，无公里，推
马工程《逻辑学》11第三节研究和学习方法-学习方法：形式化，去内容，数学内核；词项→命题→推理环环相扣，推理为中心，规则是重点；理论联系实际，老老实实做习题
马工程《逻辑学》12第四节逻辑学的发展-逻辑学的三大传统-西方：亚里士多德《工具论》三段论，逻辑学之父；斯多噶学派符合命题推理和命题逻辑；伊壁鸠鲁归纳法；中世纪
马工程《逻辑学》13第四节逻辑学的发展-培根归纳逻辑三表法因果联系；穆勒因果五法；莱布尼茨数学符号逻辑；中国先秦名辩学，周易爻画分类，春秋名实，孔子正名，荀子三
马工程《逻辑学》14第四节逻辑学的发展-道家老子正言若反寓言说理，法家韩飞矛盾说，秦汉王充论衡，南北朝言意之辩，唐印度因明汉传藏传，宋代格物穷理，朱熹类推，明清
马工程《逻辑学》15绪论第四节逻辑学的发展-五四时期罗素北大，汪奠基金岳霖；正理经，陈那印度逻辑之父；现代有经典数理和非经典，从布尔到罗素数理逻辑成熟，歌德尔不
马工程《逻辑学》16第一章传统词项逻辑-第一节词项-概述：主谓项，内涵外延，属性和类属；种类：单独词项有名词和限定摹状词（唯一）
马工程《逻辑学》17第一章传统词项逻辑-第一节词项-概述：集合非集合词项，整体属性，语境中含义；词项外延关系，全同，真包含，真包含于和全异；全异有矛盾和反对（中
马工程《逻辑学》18第一章传统词项逻辑-第二节直言命题-一类事物性质，直言命题=量项+主项+联项+谓项；量项是主项量，有特称全称；主项是被谈论，有单称和普遍；联
马工程《逻辑学》19第一章传统词项逻辑-第二节直言命题六类：（单称+全称+特称）肯否；SAP主周谓不周，SEP主周谓也周，SIP主谓都不周，SOP主不周谓周；或
马工程《逻辑学》20第一章传统词项逻辑-第四节对当方阵：形式逻辑中同素材同主谓AEIO真假制约关系；矛盾关系有SAP和SOP，SEP和SIP；差等关系有SAP和
马工程《逻辑学》21第一章传统词项逻辑-第四节对当方阵：SEP和SOP差等；SAP和SEP反对；SIP和SOP；Z串AEIO，上下反对，左右差等，对角矛盾
马工程《逻辑学》22第一章传统词项逻辑-直接推理：直言命题，直接推理，间接推理，前提真结论真，对当推理，变形推理（换质推理，换位推理）
马工程《逻辑学》23第一章传统词项逻辑-对当关系推理是由一个命题必然退出另一个命题；上反对，差等和矛盾推出16个有效式；矛盾关系有效式前提结论互推4个式
马工程《逻辑学》24第一章传统词项逻辑-直言命题变形推理：换质，改前提质，联项肯否，谓项补，AEIO都可换；换位，主谓换，周延外延扩大缩小，量项调整；换质位，连
马工程《逻辑学》25第一章传统词项逻辑-直言命题直接推理检验：对当方阵真假制约来检验，SAP有TF，T时SEP为F，SIP为T，SOP为F；F时SEP不定，SI
马工程《逻辑学》26第一章传统词项逻辑-第四节三段论-两个有共同词项的直言命题为前提推出新直言命题；词项规则：前提不周延结论不周延，中项至少周延一次；前提规则：
马工程《逻辑学》27第一章传统词项逻辑-第四节三段论-导出规则：两特前无结论，前特结必特；四格：M都主，都谓，一主一谓；规则：小肯大全；一前必否，大前全；小前必
马工程《逻辑学》28第一章传统词项逻辑-第四节三段论-式是由四种直言命题在大小前提和结论中的排列组合；词项非空24，否则只有11个有效式
马工程《逻辑学》29第一章传统词项逻辑-五非标准式三段论：省略前提结论三种，找中项排大小；六、文恩图有效性：难点，构建，用谁来求谁；欧拉无空项，文氏有阴影，非空
马工程《逻辑学》30第一章传统词项逻辑-六非标准三段论：抽象三段论形式→集合演算分析→具体文氏图→检验
马工程《逻辑学》31第一章传统词项逻辑-总结
马工程《逻辑学》32第二章命题逻辑-第一节命题逻辑概述-命题=真假句，二值原则：真值为真，真值为假
马工程《逻辑学》33二，简单命题与复合命题；三，推理-前提，结论，有效无效，前提真蕴含结论真，如果p那么q；并非q所以并非p。命题=公式；简单命题=命题变元
马工程《逻辑学》34简单命题非真既假，连接词决定复合命题真假；一、命题连接词真值表-1否定词：并非；2合取词只有全真结果才真；3析取词：都假结果才假；不相容析取
马工程《逻辑学》35一、命题连接词真值表-4蕴含：条件，前后件；前真后假才为假；充分条件是并联，必要条件是串联；5等值：充分必要可换位
马工程《逻辑学》36二复合命题推理：有效推理；否定：A真充要否否A真；合取：充要A真B真；析取：充要A真或B真；条件：充要A假或B真；真真MP，假假MT，两个假
马工程《逻辑学》37三复合命题等值推理-双重否定，德摩根律，交换律，结合律，分配律，幂等律，假言易位律，等等
马工程《逻辑学》38四复合命题推理综合运用：1条件三段论传递；2分情况二难推理；3反三段论；4反证法：假设为否，想肯；5假设为肯，想否
马工程《逻辑学》39第三节真值表-2的n次方真假组合；简单命题真值组合，衍生命题真假，整个公式；结果全真重言式，全假矛盾式，都有或然式；推理有效性检验化为蕴含式
马工程《逻辑学》40第三节真值表-自然语言推理；重言式结果全真泽为有效推理
马工程《逻辑学》41第三节真值表-归谬法假设原命题为假，引出矛盾，得出结论
马工程《逻辑学》42第三节真值表-真值表作用：定义；判定等值，有效无效，总结规则；是命题逻辑推理的钥匙
马工程《逻辑学》43第三章命题逻辑的自然演绎系统-跟岑雅思可夫斯基，有效推理规则系统；第一节证明子证明：第二节推理规则：NP，结果顾泽，连接词，左数右规则；假设
马工程《逻辑学》44第三章命题逻辑的自然演绎系统-蕴含消去，否定引入、消去；析取引入、消去；等值引入、消去规则；前提pre和假设hyp区别和联系
马工程《逻辑学》45第三章命题逻辑的自然演绎系统-第三节系统NP中的推导-1合取规则应用：
马工程《逻辑学》46第三章命题逻辑的自然演绎系统-二蕴含规则应用：从结论逆向思考，最后一步引入什么，条件和假设引入，假言连锁
马工程《逻辑学》47第三章命题逻辑的自然演绎系统-否定规则的运用-否定律，双重否定律，否定消去
马工程《逻辑学》48第三章命题逻辑的自然演绎系统-四析取规则应用
马工程《逻辑学》49第三章命题逻辑的自然演绎系统-五等值规则的应用
马工程《逻辑学》50第三章命题逻辑的自然演绎系统-六综合运用：（一）分配律
马工程《逻辑学》51第三章命题逻辑的自然演绎系统-六综合运用：（二）选言三段论，（三）德摩根律
马工程《逻辑学》52第三章命题逻辑的自然演绎系统-六综合运用：（四）否定蕴含律
马工程《逻辑学》53第三章命题逻辑的自然演绎系统-（五）否定后件律，任何有效推理在系统NP中都是可证的
马工程《逻辑学》54第三章命题逻辑的自然演绎系统-第四节无前提推导与演绎定理-存在证明则可证，重言式可证，反之亦然；公式集下，当且仅当蕴含，则可推演，此时无前提
马工程《逻辑学》55第三章命题逻辑的自然演绎系统-演绎定理：分配律，选言三段论，德摩根律，否定蕴含律，否定后件律，双重否定律，蕴含转换律
马工程《逻辑学》56第三章命题逻辑的自然演绎系统-演绎定理：假言易位律，输出律，双蕴含转换律
马工程《逻辑学》57第四章谓词逻辑-一阶逻辑量化命题内部解构，个体谓词和量词；第一节个体次谓词和量词-个体词专有名词，个体常元变元函数；函数符号复合得新函数
马工程《逻辑学》58第四章谓词逻辑-第一节个体次谓词和量词-个体词是项：个体变元，个体常元，变常元函数，仅此三者；范围论域非空
马工程《逻辑学》59第四章谓词逻辑-第二节谓词：性质或关系；一元二元多元，谓词是划分论域中的子集，等词，有序对集合
马工程《逻辑学》60第四章谓词逻辑-第三节量词-谓词逻辑只看所有和有的，组合表达自然语言中的创造性
马工程《逻辑学》61第四章谓词逻辑-谓词逻辑的形式语言-以共时常元变元元函数元谓词连接词量词等词技术符号；无函数关系即为等值关系；五个表达规则；原子公式全程公示
马工程《逻辑学》62第四章谓词逻辑-谓词逻辑的形式语言-二命题符号化-1直言命题：形式有效性；论域，符号，结果；总称模型；全称肯定命题和全称否定命题一般形式
马工程《逻辑学》63第四章谓词逻辑-符号化五例
马工程《逻辑学》64第四章谓词逻辑-嵌套量词
马工程《逻辑学》65第四章谓词逻辑-数量命题：至少，至多，恰好，等词；至少往多算，至多往少算
马工程《逻辑学》66第四章谓词逻辑-例10爱猫之人四种
马工程《逻辑学》67第四章谓词逻辑-例11段落符号化；符号化推理形式需要验证有效性
马工程《逻辑学》68第四章谓词逻辑-第三节基本语法概念-一自由与约束变元：量词辖域；括号和连词阻断；闭公式和开公式
马工程《逻辑学》69第四章谓词逻辑-第三节基本语法概念-二代入：项，公式代入；自由和约束
马工程《逻辑学》70第四章谓词逻辑-第三节基本语法概念-二代入：例18,19有疑问；易字替换受约束变元
马工程《逻辑学》71第四章谓词逻辑-第四节谓词逻辑语义-一模型和赋值：赋值确定项代表的个体
马工程《逻辑学》72第四章谓词逻辑-第四节谓词逻辑语义-定义11倒数第四句有疑问；三个结论：模型M中，赋值西格玛都满足公式A；两个赋值都满足公式A；自由代入；逻
马工程《逻辑学》73第四章谓词逻辑-第四节谓词逻辑语义-例25-27，谓词代替的有效推理
马工程逻辑学前五章学习难度梳理，后六章（统计归纳，科研逻辑，语言逻辑）的重要性
马工程《逻辑学》75-第五章谓词逻辑的自然演绎系统-第一节谓词逻辑自然演绎熊-1全称量词消去规则，2全称量词引入规则
马工程《逻辑学》76-第五章谓词逻辑的自然演绎系统三，存在量词消去规则：假定某个c具有性质A并由此推出结论B；四、存在量词引入规则：例题10-14
马工程《逻辑学》77-第五章谓词逻辑的自然演绎系统：四、存在量词引入规则：例题15-22
马工程《逻辑学》78-第五章谓词逻辑的自然演绎系统：四、存在量词引入规则：例题23-25
马工程《逻辑学》79-第五章谓词逻辑的自然演绎系统：第二节带等词的谓词逻辑自然演绎系统-1等词消去规则，2等词引入规则：然和个体均与自身相等；例26-例29
马工程《逻辑学》80-第六章传统归纳逻辑-第一节归纳推理：从个别到特殊，放大性，或然性；作用：创新，论证问题；效度和信度
马工程《逻辑学》81-第六章传统归纳逻辑-第二节枚举法，完全枚举法；第三节穆勒五法：1求同法；2求异法
马工程《逻辑学》82-第六章传统归纳逻辑-第三节求同求异法；第四节共变法
马工程《逻辑学》83-第六章传统归纳逻辑-第五剩余法；穆勒五法或然性；第四章类比推理：模拟法
马工程《逻辑学》84-第七章现代归纳逻辑-第一节概率和概率演算：一，概率和概率解释：古典概型；二，相对频率；三，主观主义
马工程《逻辑学》85-第七章现代归纳逻辑-二概率演算：命题语言表达概率；1初始规则，永真永假；2析取和否定规则
马工程《逻辑学》86-第七章现代归纳逻辑-三、条件概率和合取规则：P(B÷A)=P(AvB)÷P(A)；P(A^B)=P(A)×P(B÷A)；
马工程《逻辑学》87-第七章现代归纳逻辑-三、贝叶斯规则：大数定律；先验概率；抽样增加增加置信度
马工程《逻辑学》88-第七章现代归纳逻辑-贝叶斯规则三例，例13,14,15
马工程《逻辑学》89-第七章现代归纳逻辑-第二节统计推理-1、统计推理概述：铜币，环比，假说；2、类别形式和概念：1估计、假说检验和贝叶斯推理；2推理形式：总体
马工程《逻辑学》90-第七章现代归纳逻辑-第三节、抽样问题：无偏估计，有偏估计；误差，偏差；代表性
马工程《逻辑学》91-第七章现代归纳逻辑-第四节推理的应用：百分比陷阱，均值陷阱
马工程《逻辑学》92-第八章科学逻辑：演绎归纳的机制；第一节科学方法与科学逻辑：问题，假设，检验，实验，观察，解读，修正
马工程《逻辑学》93-第八章科学逻辑：第二节科学说明与科学预测-一、说明：理论，条件，现象；演绎和归纳；二、预测：现象，理论，辅助假说，假说；溯因预测，充分条件
马工程《逻辑学》94-第八章科学逻辑：第三节科学假说-一、基本特征：合理根据，尝试性，验证性；二、形成：1归纳；2演绎；3联想灵感；三、检验：修正；析取合取；历
马工程《逻辑学》95-第八章科学逻辑：第四节科学理论及其演化：一、假说转化为理论；二、科学理论系统的演化
马工程《逻辑学》96-第八章科学逻辑：三、科学悖论的形成与解决：追光悖论，量子力学，相对论；根本性，历史的发展的
马工程《逻辑学》97-第九章论辩逻辑：第一节非形式逻辑与论辩逻辑；第二节论证、反驳和辩护：一、论证的构建与评估：图尔敏模式
马工程《逻辑学》98-第九章论辩逻辑：线性论证，组合式论证，收敛式论证
马工程《逻辑学》99-第九章论辩逻辑：验证和误差，结论合理；二、反驳的构建与评估：1单一推理；2复杂系统；3批评论证者；4环境；5对立论证；三、构建与评估：1误
马工程《逻辑学》100-第九章论辩逻辑：第三节定义与划分：一、明确概念的方法：内涵与外延；二、定义的种类与评估：属概念+种差；替代原则；
马工程《逻辑学》101-第九章论辩逻辑：第三节定义与划分：三、划分的种类与评估：二元式；标准和范围；第四节谬误与诡辩：形式与飞行时；语用是复杂根源；
马工程《逻辑学》102-第九章论辩逻辑：第四节谬误与诡辩：二、非形式谬误的辨析：语用观点-目的、假设、理由、方式、语境、置信水平、失败因素；合理论证和谬误论证
马工程《逻辑学》103-第九章论辩逻辑：第四节谬误与诡辩：诉诸权威，因果，征兆，后果，实践，已确立，例外，先例，连锁，油滑斜坡
马工程《逻辑学》104-第十章语言交际的逻辑：第一节语言逻辑的概述：一、句法学：语言符号的空间排列；乔姆斯基生成语法，代数特征；语言机构深层相同，表层结构和转化
马工程《逻辑学》105-第十章语言交际的逻辑：二、语义学：符号与指称对象；真值法，可能世界语义学法，形式语义学；三、语用学：符号与使用者；第二节言语行为理论：维
马工程《逻辑学》106-第十章语言交际的逻辑：第二节言语行为理论：5式：断定式，指令式，承诺式，表情式，宣告式；5式在英语中的语法结构
马工程《逻辑学》107-第十章语言交际的逻辑：二、语用逻辑：7个公理；三、间接言语行为：约翰赛尔；主要和次要语用行为；说话者听话者理解配合
马工程《逻辑学》108-第十章语言交际的逻辑：第三节言语行为与成功交际：一、切当性；6个条件；二、成功交际的7条件：语用要点，前提条件，完成模式和力度，命题内容
马工程《逻辑学》109-第十章语言交际的逻辑：第三节言语行为与成功交际：理想语用行为的四个充要条件：货车运货，速度，目的地，环境和诚实性；三、间接言语行为准则：
马工程《逻辑学》110-第十一章逻辑思维的基本规律：统一矛盾和排中律；第一节逻辑规律与思维规范：一致明确确定；第二节矛盾律：本体化表述;语义表述；
马工程《逻辑学》111-第十一章逻辑思维的基本规律：（三）原子关系与原子逻辑矛盾；二、矛盾律的规范作用
马工程《逻辑学》112-第十一章逻辑思维的基本规律：第三节排中律：本体话表述；语义表述；分子矛盾与原子矛盾；规范作用：拒斥两不可；不表态
马工程《逻辑学》113（完结）-第十一章逻辑思维的基本规律：第四节同一律：本体化描述，语义描述；规范作用：意义的最基本条件，是辩证发展的