科学网

 找回密码
  注册
皮尔士的真值-函数分析和真值表的起源
柳渝 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 年阐述真值表的技术细节和历史演变,其背景是他 对涉及蕴含的命题的真值函数分析 ...
个人分类: 在法国教逻辑课|458 次阅读|没有评论
简介维特根斯坦的《逻辑哲学论》
柳渝 2023-12-1 01:36
维特根斯坦( Ludwig Wittgenstein , 1889 – 1951 )的《逻辑哲学论》( Tractatus Logico-Philosophicus )被认为是 20 世纪最重要的哲学著作之一,对逻辑实证主义和分析哲学产生了重大影响。 《逻辑哲学论》是一部关于意义的著作,关于划定意义的界限,把可言说的和不可言说的区分开来。可以说,这是一部语言的《 ...
个人分类: 在法国教逻辑课|233 次阅读|没有评论
罗宾逊归约证明(Robinson resolution proof)
柳渝 2023-11-16 20:14
假 设用一个 SAT 求解器判断一个 SAT 公式的可 满足性,如果求解器给出 “ 公式可 满足 ” 的 结论,并给出一个解,即一个满足公式的真值赋值,那么验证此结论是否正确很容易:只需将真值赋值带入公式,检查所有子句是否满足即可。 例子: F1 = (x1 ∨ x2 ∨ x3) ∧ (x1 ∨ x2 ∨ ¬x3) ∧ (¬x ...
个人分类: 在法国教逻辑课|369 次阅读|没有评论
“前提(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 : 亚里士多德指 ...
个人分类: 在法国教逻辑课|1297 次阅读|没有评论
霍恩子句(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子句是带有最多一个肯定变元的子句(文字的析取)。有且只有 ...
个人分类: 在法国教逻辑课|1965 次阅读|没有评论
霍恩(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 句子,后来成为逻辑编程的基础。 霍恩出生在曼哈顿下东城,父母都是聋哑人 ...
个人分类: 在法国教逻辑课|1818 次阅读|没有评论
逻辑课改革:“识别谬误” - 分享一个学生的作业
柳渝 2022-7-6 17:04
今年是我进行逻辑课改革尝试的第三年,继续实践我对逻辑课的期望:希望 “ 逻辑 ” 不仅作为科学技术的工具,而且作为 “ 批判性思维 ” ( Critical thinking )的实践,回应当前世界的危机。 我的围绕两个主题组织课程:如何进行有效推理?如何识别逻辑谬误? 关于 “ 识别谬误 ” , ...
个人分类: 在法国教逻辑课|2070 次阅读|没有评论
术语“theorem”(定理)
柳渝 2022-2-6 16:02
一, “theorem” 字源 theorem ,拉丁文 theorema ,源自古希腊语 θεώρημα, the ố rêma (“ 奇观,盛宴,沉思 ”), 由 θεωρέω, theôréô (“ 检查,观察,考虑 ”) 演变而来 , 后缀为 -μα, -ma, 来自 θέα, thea (“ 沉思 ”) 和 ...
个人分类: 在法国教逻辑课|2638 次阅读|没有评论
简介“自然演绎”推理
热度 1 柳渝 2022-1-19 18:18
在数理逻辑中,自然演绎( natural deduction )是一个形式系统,其推理方法是一种接近于自然推理的演绎法,与希尔伯特系统的主要区别是没有公理,这是证明理论史上的重要一步。 一,自然演绎法的源起 “ 自然演绎 ” 是德国数学家根岑( Gerhard Gentzen , 1909 - 1945 )于 1935 年在一 ...
个人分类: 在法国教逻辑课|6673 次阅读|2 个评论 热度 1
逻辑课改革实践 - “世界逻辑日”(2021/1/14)
柳渝 2022-1-14 17:03
2020 年 1 月我开始主讲法国儒勒 - 凡尔纳大学( UPJV )科学学院大学一年级的逻辑课,到今年已经三年了( “ 世界逻辑日 ” ( 2021/1/14 ) , 写在 “ 世界逻辑日 ” )。 2020 年 1 月 14 日正是第一届 “ 世界逻辑日 ” ,所以,每年都是在 “ 世界逻 ...
个人分类: 在法国教逻辑课|2109 次阅读|没有评论

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

GMT+8, 2023-12-5 23:09

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部