不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道

博文

按标题搜索
逻辑课改革:“识别谬误” - 分享一个学生的作业
2022-7-6 17:04
今年是我进行逻辑课改革尝试的第三年,继续实践我对逻辑课的期望:希望 “ 逻辑 ” 不仅作为科学技术的工具,而且作为 “ 批判性思维 ” ( Critical thinking )的实践,回应当前世界的危机。 我的围绕两个主题组织课程:如何进行有效推理?如何识别逻辑谬误? 关于 “ 识别谬误 ” , ...
个人分类: 在法国教逻辑课|1543 次阅读|没有评论
术语“theorem”(定理)
2022-2-6 16:02
一, “theorem” 字源 theorem ,拉丁文 theorema ,源自古希腊语 θεώρημα, the ố rêma (“ 奇观,盛宴,沉思 ”), 由 θεωρέω, theôréô (“ 检查,观察,考虑 ”) 演变而来 , 后缀为 -μα, -ma, 来自 θέα, thea (“ 沉思 ”) 和 ...
个人分类: 在法国教逻辑课|1724 次阅读|没有评论
简介“自然演绎”推理
热度 1 2022-1-19 18:18
在数理逻辑中,自然演绎( natural deduction )是一个形式系统,其推理方法是一种接近于自然推理的演绎法,与希尔伯特系统的主要区别是没有公理,这是证明理论史上的重要一步。 一,自然演绎法的源起 “ 自然演绎 ” 是德国数学家根岑( Gerhard Gentzen , 1909 - 1945 )于 1935 年在一 ...
个人分类: 在法国教逻辑课|4355 次阅读|2 个评论 热度 1
逻辑课改革实践 - “世界逻辑日”(2021/1/14)
2022-1-14 17:03
2020 年 1 月我开始主讲法国儒勒 - 凡尔纳大学( UPJV )科学学院大学一年级的逻辑课,到今年已经三年了( “ 世界逻辑日 ” ( 2021/1/14 ) , 写在 “ 世界逻辑日 ” )。 2020 年 1 月 14 日正是第一届 “ 世界逻辑日 ” ,所以,每年都是在 “ 世界逻 ...
个人分类: 在法国教逻辑课|1593 次阅读|没有评论
简介《数学原理》(Principia Mathematica)
2022-1-2 04:27
《数学原理》( Principia Mathematica )是怀特海和罗素的作品,共三卷,于 1910-1913 年出版。与弗雷格的《概念文字》( concept-script )一起,对现代逻辑的诞生起着决定性的作用。 一,内容 《数学原理》包括集合理论,基数和序数以及实数,更高级的实分析定理没有包括在内。最初计划出版第四卷, ...
个人分类: 在法国教逻辑课|3531 次阅读|没有评论
批判性思维(Critical thinking)(2)- 苏格拉底提问法
热度 1 2021-12-27 23:05
critical thinking 中的 critical 来自希腊语 critic ,意指 critique (批评)。 批判性思维的思想根源与它的词源一样古老,可追溯到 2500 年前苏格拉底的教学实践和愿景,他通过一种探究性的提问方法发现,人们无法理性地证明他们对知识的自信主张。批判性思维的最早记录出现在柏拉图所记载的对 ...
个人分类: 在法国教逻辑课|3208 次阅读|1 个评论 热度 1
批判性思维(Critical thinking)(1)
热度 1 2021-12-27 18:37
“ 批判性思维 ” ( Critical thinking )是一个内涵复杂的概念,泛指进行严格推理以解决问题,或分析事实以形成判断的能力和态度。 批判性思维正在教学中得到越来越多的重视,人们逐渐意识到,学校教给学生的课程内容多是关于如何正确推理,而忽略了推理互补的一面: 如何识别谬误 。 在哲学 ...
个人分类: 在法国教逻辑课|2492 次阅读|3 个评论 热度 1
大学一年级逻辑课“改革”尝试
2021-7-2 15:50
今年是我主讲儒尔 - 凡尔纳大学( Université de Picardie Jules Verne )计算机系一年级的 “ 逻辑课 ” 的第三年,总结和分享这三年里进行的逻辑课程的 “ 改革 ” 尝试。 一, “ 改革 ” 的内容 1 ,形式与内容 传统的逻辑教学通常将形式与内容分开,而将重点放在形式上。考虑到 ...
个人分类: 在法国教逻辑课|2571 次阅读|没有评论
数学中的三个危机 :逻辑主义、直觉主义和形式主义 - 译文(3):形式主义
热度 1 2021-6-22 16:03
这个学派是由德国数学家大卫 - 希尔伯特( 1862-1943 )于 1910 年左右创立的。诚然,人们可以说在十九世纪已经有了形式主义,因为弗雷格在他的《算术原理》( Grundegesetze )第二卷中反对形式主义;《算术原理》第一卷于 1893 年出版,第二卷于 1903 年出版。然而,现代形式主义的概念,包括有限推理 ...
个人分类: 在法国教逻辑课|3981 次阅读|1 个评论 热度 1
数学中的三个危机 :逻辑主义、直觉主义和形式主义 - 译文(2):直觉主义
热度 1 2021-6-21 05:20
这个学派大约在 1908 年由荷兰数学家布劳威尔( L.E.J.Brouwer , 1881-1966 )开创。直觉主义以一种与逻辑主义完全不同的方式来看待数学基础:逻辑主义从不认为经典数学有什么问题,他们固执想表明经典数学是逻辑学的一部分;而直觉主义则相反,他们认为经典数学存在很多问题。 到 1908 年,康托尔的集合论 ...
个人分类: 在法国教逻辑课|6270 次阅读|2 个评论 热度 1

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

GMT+8, 2022-12-4 16:54

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部