科学网—liuyu2205的博文

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

简介General Problem Solver (GPS) - 与Chatgpt对话: 柳渝 2023-12-7 23:00; 柳渝：可否解释由 Simon, Shaw 和 Newell 在 1959 年提出的通用问题求解器？ Chatgpt: 当然，我可以解释 Herbert Simon 、 J.C. Shaw 和 Allen Newell 于 1959 年提出的 GPS 。 GPS 是一种计算机程序，旨在使用类似人类解决问题的方法来解决问题。以下是通用问题解决程序的一 ...; 个人分类: 在法国教逻辑课|1054 次阅读|没有评论

皮尔士的真值-函数分析和真值表的起源: 柳渝 2023-12-4 18:57; PEIRCE’S TRUTH-FUNCTIONAL ANALYSIS AND THE ORIGIN OF TRUTH TABLES 译文:皮尔士的真值 - 函数分析和真值表的起源 Irving H. Anellis 摘要:我们探讨查尔斯 - 皮尔士( Charles Sanders Peirce ， 1839- 1914 )在 1893 年阐述真值表的技术细节和历史演变，其背景是他对涉及蕴含的命题的真值函数分析 ...; 个人分类: 在法国教逻辑课|1159 次阅读|没有评论

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

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

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

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

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

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

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

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

12 3 4 下一页

会议

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

GMT+8, 2024-4-20 08:38

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部