加载中…为美国学生讲解符号逻辑演算（图）
(2023-12-02 06:35:41)
标签：
符号逻辑推理证明逻辑演算 |
分类： 配文图片 |
我本人专业为哲学，其中一个研究兴趣是西方大哲罗素的思想。罗素可誉为“百科全书”式的哲人，亦可称为英美分析哲学与现代数理（符号）逻辑的鼻祖之一。结果符号逻辑也成为我本人所教的基础课程之一。以下为在课堂上讲课时，一些美国学生对当时进行逻辑演算所拍的部分照片。尽管这些记录零零散散，断断续续，涂涂抹抹，明明暗暗，很不清晰明了，更不完整到位，甚或造成“断章取义”，但无论如何，还可算作某种教学生涯的点点“痕迹”。
讲解逻辑连接词的作用。
讲解重言式的不同的逻辑形式。
讲解如何运用规范真值表方法检验推论的有效性。
讲解如何运用简短真值表方法(假设法）检验推论的有效性。
讲解推理规则。
讲解9种推理规则（Inference Rules)和9种替换规则(Replacement Rules)。在符号逻辑中，推理规则或转换规则是一种逻辑形式，由一个函数组成，该函数采用前提、分析其语法并返回一个或多个结论。替换规则是可以仅应用于表达式的特定段的转换规则。逻辑系统可以被构造为使用公理、推理规则或两者作为系统中逻辑表达式的转换规则。尽管推理规则总是应用于整个逻辑表达式，但替换规则可以仅应用于特定段。在逻辑证明的上下文中，逻辑上等价的表达式可以相互替换。
让学生们在分组讨论练习后，将推理从自然语言翻译到符号语言结果写下，然后加以更正和解释。
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算，并作规范证明与条件证明的比较；后者基于于A → B的定义。即，当 A为假时，该蕴涵始终为真。 基本思想是假设 A 为真并推断
B一定为真。
运用推理规则和替换规则进行逻辑演算。
在学生们在教室白板上做完习题后，为之加以纠错、改正、补充，并示以其他可能的方法。
在学生们在教室白板上做完习题后，为之加以纠错、改正、补充，并示以其他可能的方法。
这位美国学生在谈对逻辑习题的理解。
学生们在做逻辑演算习题。
学生们在做逻辑演算习题。
学生们分组讨论逻辑演算习题。
学生们分组讨论逻辑演算习题。
学生们在完成逻辑演算小测验。
学生们在完成逻辑演算小测验。
有关真值函项逻辑的简要笔记。
讲解逻辑连接词（Connectives)的作用。
讲解逻辑连接词的作用。
讲解重言式的不同的逻辑形式。
讲解如何运用规范真值表方法检验推论的有效性。
讲解如何运用简短真值表方法(假设法）检验推论的有效性。
讲解如何运用简短真值表方法(假设法）检验推论的有效性。
讲解推理规则。
讲解9种推理规则（Inference Rules)和9种替换规则(Replacement Rules)。在符号逻辑中，推理规则或转换规则是一种逻辑形式，由一个函数组成，该函数采用前提、分析其语法并返回一个或多个结论。替换规则是可以仅应用于表达式的特定段的转换规则。逻辑系统可以被构造为使用公理、推理规则或两者作为系统中逻辑表达式的转换规则。尽管推理规则总是应用于整个逻辑表达式，但替换规则可以仅应用于特定段。在逻辑证明的上下文中，逻辑上等价的表达式可以相互替换。
让学生们在分组讨论练习后，将推理从自然语言翻译到符号语言结果写下，然后加以更正和解释。
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算，并作规范证明与条件证明的比较；后者基于于A → B
运用推理规则和替换规则进行逻辑演算。
运用推理规则和替换规则进行逻辑演算。
在学生们在教室白板上做完习题后，为之加以纠错、改正、补充，并示以其他可能的方法。
在学生们在教室白板上做完习题后，为之加以纠错、改正、补充，并示以其他可能的方法。
这位美国学生在谈对逻辑习题的理解。
学生们在做逻辑演算习题。
学生们在做逻辑演算习题。
学生们分组讨论逻辑演算习题。
学生们分组讨论逻辑演算习题。
学生们在完成逻辑演算小测验。
学生们在完成逻辑演算小测验。
有关真值函项逻辑的简要笔记。
丁子江的著述《罗素与分析哲学》。
《罗素与分析哲学》一书的第三章“罗素与怀特海的《数理逻辑》”。
《罗素与分析哲学》一书的第三章“罗素与怀特海的《数理逻辑》”。
喜欢
0
赠金笔
前一篇：美国学生的一次符号逻辑作业（图）