科学网—liuyu2205的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › liuyu2205的博文

liuyu2205

https://wap.sciencenet.cn/?2322490

在中法文化之间流连| 不确定性问题和算法讨论| 智能哲学| NP理论| 非经典逻辑与中国传统逻辑| 英语博文| 图灵论著专研与精译工作群| AI伦理与社会群| 周剑铭论中国思想与中西文化系列文章| 在法国教逻辑课| 教学中的文化视角| 师徒对话| Paul Jorion的书译文| 解读哥德尔不完全性定理| 波普尔的《科学发现的逻辑》| 《易经》学习|

“前提（prémisse）” 术语溯源: 柳渝 2023-1-26 22:12; 一个 “ 前提（ prémisse ） ” 是一个命题，一个为支持结论而提出的陈述。前提一词来自拉丁文 praemissa ： prae （向前），和 mittere （发送）。 Aristote a déclaré que tout argument logique pourrait être réduit à deux prémisses et une conclusion1. Par exemple : 亚里士多德指 ...; 个人分类: 在法国教逻辑课|1159 次阅读|没有评论

霍恩子句（Horn Clause）与逻辑编程（Logic Programming）: 柳渝 2022-12-22 20:46; 溯源 “Horn 子句 ” 来自于逻辑学家霍恩（ Alfred Horn ）在 1951 年发表的文章 “On sentences which are true of direct unions of algebras”，首次强调了这种子句的重要性。 Horn 子句在命题逻辑中，Horn子句是带有最多一个肯定变元的子句（文字的析取）。有且只有 ...; 个人分类: 在法国教逻辑课|1623 次阅读|没有评论

霍恩（Alfred Horn）与霍恩子句（Horn Clause）: 柳渝 2022-12-9 16:39; 1. 霍恩霍恩（ Alfred Horn 1918-2001 ），美国逻辑学家，因其在格子理论和通用代数方面的工作而闻名。他在 1951 年发表的论文 “On sentences which are true of direct unions of algebras” 描述了 Horn 子句和 Horn 句子，后来成为逻辑编程的基础。霍恩出生在曼哈顿下东城，父母都是聋哑人 ...; 个人分类: 在法国教逻辑课|1530 次阅读|没有评论

逻辑课改革：“识别谬误” - 分享一个学生的作业: 柳渝 2022-7-6 17:04; 今年是我进行逻辑课改革尝试的第三年，继续实践我对逻辑课的期望：希望 “ 逻辑 ” 不仅作为科学技术的工具，而且作为 “ 批判性思维 ” （ Critical thinking ）的实践，回应当前世界的危机。我的围绕两个主题组织课程：如何进行有效推理？如何识别逻辑谬误？关于 “ 识别谬误 ” ， ...; 个人分类: 在法国教逻辑课|1995 次阅读|没有评论

术语“theorem”（定理）: 柳渝 2022-2-6 16:02; 一， “theorem” 字源 theorem ，拉丁文 theorema ，源自古希腊语 θεώρημα, the ố rêma (“ 奇观，盛宴，沉思 ”), 由 θεωρέω, theôréô (“ 检查，观察，考虑 ”) 演变而来 , 后缀为 -μα, -ma, 来自 θέα, thea (“ 沉思 ”) 和 ...; 个人分类: 在法国教逻辑课|2498 次阅读|没有评论

简介“自然演绎”推理: 热度 1 柳渝 2022-1-19 18:18; 在数理逻辑中，自然演绎（ natural deduction ）是一个形式系统，其推理方法是一种接近于自然推理的演绎法，与希尔伯特系统的主要区别是没有公理，这是证明理论史上的重要一步。一，自然演绎法的源起 “ 自然演绎 ” 是德国数学家根岑（ Gerhard Gentzen ， 1909 － 1945 ）于 1935 年在一 ...; 个人分类: 在法国教逻辑课|6318 次阅读|2 个评论热度 1

逻辑课改革实践 - “世界逻辑日”（2021/1/14）: 柳渝 2022-1-14 17:03; 2020 年 1 月我开始主讲法国儒勒 - 凡尔纳大学（ UPJV ）科学学院大学一年级的逻辑课，到今年已经三年了（ “ 世界逻辑日 ” （ 2021/1/14 ），写在 “ 世界逻辑日 ” ）。 2020 年 1 月 14 日正是第一届 “ 世界逻辑日 ” ，所以，每年都是在 “ 世界逻 ...; 个人分类: 在法国教逻辑课|2025 次阅读|没有评论

简介《数学原理》（Principia Mathematica）: 柳渝 2022-1-2 04:27; 《数学原理》（ Principia Mathematica ）是怀特海和罗素的作品，共三卷，于 1910-1913 年出版。与弗雷格的《概念文字》（ concept-script ）一起，对现代逻辑的诞生起着决定性的作用。一，内容《数学原理》包括集合理论，基数和序数以及实数，更高级的实分析定理没有包括在内。最初计划出版第四卷， ...; 个人分类: 在法国教逻辑课|7145 次阅读|没有评论

批判性思维（Critical thinking）（2）- 苏格拉底提问法: 热度 1 柳渝 2021-12-27 23:05; critical thinking 中的 critical 来自希腊语 critic ，意指 critique （批评）。批判性思维的思想根源与它的词源一样古老，可追溯到 2500 年前苏格拉底的教学实践和愿景，他通过一种探究性的提问方法发现，人们无法理性地证明他们对知识的自信主张。批判性思维的最早记录出现在柏拉图所记载的对 ...; 个人分类: 在法国教逻辑课|4720 次阅读|1 个评论热度 1

批判性思维（Critical thinking）（1）: 热度 1 柳渝 2021-12-27 18:37; “ 批判性思维 ” （ Critical thinking ）是一个内涵复杂的概念，泛指进行严格推理以解决问题，或分析事实以形成判断的能力和态度。批判性思维正在教学中得到越来越多的重视，人们逐渐意识到，学校教给学生的课程内容多是关于如何正确推理，而忽略了推理互补的一面：如何识别谬误。在哲学 ...; 个人分类: 在法国教逻辑课|3007 次阅读|3 个评论热度 1

12 3 4 下一页

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2023-9-22 12:09

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部