科学网—liuyu2205的博文

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

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

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

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

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

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

大学一年级逻辑课“改革”尝试: 柳渝 2021-7-2 15:50; 今年是我主讲儒尔 - 凡尔纳大学（ Université de Picardie Jules Verne ）计算机系一年级的 “ 逻辑课 ” 的第三年，总结和分享这三年里进行的逻辑课程的 “ 改革 ” 尝试。一， “ 改革 ” 的内容 1 ，形式与内容传统的逻辑教学通常将形式与内容分开，而将重点放在形式上。考虑到 ...; 个人分类: 在法国教逻辑课|2244 次阅读|没有评论

数学中的三个危机：逻辑主义、直觉主义和形式主义 - 译文（3）：形式主义: 热度 1 柳渝 2021-6-22 16:03; 这个学派是由德国数学家大卫 - 希尔伯特（ 1862-1943 ）于 1910 年左右创立的。诚然，人们可以说在十九世纪已经有了形式主义，因为弗雷格在他的《算术原理》（ Grundegesetze ）第二卷中反对形式主义；《算术原理》第一卷于 1893 年出版，第二卷于 1903 年出版。然而，现代形式主义的概念，包括有限推理 ...; 个人分类: 在法国教逻辑课|2514 次阅读|1 个评论热度 1

数学中的三个危机：逻辑主义、直觉主义和形式主义 - 译文（2）：直觉主义: 热度 1 柳渝 2021-6-21 05:20; 这个学派大约在 1908 年由荷兰数学家布劳威尔（ L.E.J.Brouwer ， 1881-1966 ）开创。直觉主义以一种与逻辑主义完全不同的方式来看待数学基础：逻辑主义从不认为经典数学有什么问题，他们固执想表明经典数学是逻辑学的一部分；而直觉主义则相反，他们认为经典数学存在很多问题。到 1908 年，康托尔的集合论 ...; 个人分类: 在法国教逻辑课|4364 次阅读|2 个评论热度 1

数学中的三个危机：逻辑主义、直觉主义和形式主义 - 译文（1）：逻辑主义: 柳渝 2021-6-19 14:37; 亚伦道弗尔奖（ Carl B. Allendoerfer ）是美国数学协会（ MAA ）每年颁发的一个数学奖项，旨在奖励在《数学杂志》（ Mathematics Magazine ）上发表的论述清晰的论文。《数学杂志》是美国数学协会的双月刊，其受众主要是大学数学老师以及数学系学生，刊登的文章主要为数学概念和数学理论提供例子、应用 ...; 个人分类: 在法国教逻辑课|4524 次阅读|没有评论

期末考试试卷（2020-2021 逻辑课）: 柳渝 2021-5-5 04:06; 今年是我主讲儒尔 - 凡尔纳大学（ Université de Picardie Jules Verne ）计算机系一年级的 “ 逻辑课 ” 的第三年，课程考核由二部分：期末考试和课题作业：识别谬误（2020-2021 逻辑课）。现把期末考试试卷译出：期末考试试卷（ 2020-2021 逻辑课）（时间 2 ⼩时；闭 ...; 个人分类: 在法国教逻辑课|1165 次阅读|没有评论

会议

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

GMT+8, 2022-1-29 03:18

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部