科学网—liuyu2205的博文

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

简介维特根斯坦的《逻辑哲学论》: 柳渝 2023-12-1 01:36; 维特根斯坦（ Ludwig Wittgenstein ， 1889 – 1951 ）的《逻辑哲学论》（ Tractatus Logico-Philosophicus ）被认为是 20 世纪最重要的哲学著作之一，对逻辑实证主义和分析哲学产生了重大影响。《逻辑哲学论》是一部关于意义的著作，关于划定意义的界限，把可言说的和不可言说的区分开来。可以说，这是一部语言的《 ...; 个人分类: 在法国教逻辑课|214 次阅读|没有评论

罗宾逊归约证明（Robinson resolution proof): 柳渝 2023-11-16 20:14; 假设用一个 SAT 求解器判断一个 SAT 公式的可满足性，如果求解器给出 “ 公式可满足 ” 的结论，并给出一个解，即一个满足公式的真值赋值，那么验证此结论是否正确很容易：只需将真值赋值带入公式，检查所有子句是否满足即可。例子： F1 = (x1 ∨ x2 ∨ x3) ∧ (x1 ∨ x2 ∨ ¬x3) ∧ (¬x ...; 个人分类: 在法国教逻辑课|355 次阅读|没有评论

“前提（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 : 亚里士多德指 ...; 个人分类: 在法国教逻辑课|1290 次阅读|没有评论

霍恩子句（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子句是带有最多一个肯定变元的子句（文字的析取）。有且只有 ...; 个人分类: 在法国教逻辑课|1958 次阅读|没有评论

霍恩（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 句子，后来成为逻辑编程的基础。霍恩出生在曼哈顿下东城，父母都是聋哑人 ...; 个人分类: 在法国教逻辑课|1811 次阅读|没有评论

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

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

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

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

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

12 3 4 下一页

会议

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

GMT+8, 2023-12-4 11:15

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部