科学网—liuyu2205的博文 - 第2页

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

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

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

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

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

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

课题作业：识别谬误（2020-2021 逻辑课）: 柳渝 2021-5-4 19:27; 今年是我主讲儒尔 - 凡尔纳大学（ Université de Picardie Jules Verne ）计算机系一年级的 “ 逻辑课 ” 的第三年，并且是在整个疫情期间以网上授课方式进行的，昨天（ 5 月 3 日）期末考试结束。今年我继续尝试逻辑课教学的改革：除了传统形式逻辑的基本教学内容外，初步引入 “ 识别谬误 ” ...; 个人分类: 在法国教逻辑课|2228 次阅读|没有评论

归纳与演绎溯源 - 解读亚里士多德的一个例子: 热度 2 柳渝 2021-4-27 04:28; 归纳与演绎是科学研究中运用最为广泛的逻辑思维方法，贯穿着整个西方逻辑史和哲学史。然而，归纳与演绎及二者的关系也是学习和理解逻辑的难点，其中涉及诸多相互纠缠的基本概念。亚里士多德在《前分析》中给出一个例子将归纳与演绎纳入三段论的框架，我们通过解读这个例子追本溯源归纳与演绎。 ...; 个人分类: 在法国教逻辑课|6414 次阅读|4 个评论热度 2

“三段论（Syllogism）”简介: 柳渝 2021-4-20 20:59; 在传统逻辑中， “ 三段论（ Syllogism ） ” 指从两个命题（ “大前提”和“小前提”）推导出 “ 结论 ” 的一种推理形式，是数学证明、科学研究及日常沟通交流中常用的一种推理。在希腊语中， syllogism 由 syn （与）和 logos （语言）组成，本意指 “ （一个命题）与（另一个 ...; 个人分类: 在法国教逻辑课|9961 次阅读|没有评论

谬误（fallacies）与亚里士多德的《辩谬篇》: 柳渝 2021-3-21 21:33; 一，什么是谬误？【 1 】在逻辑中，“ 谬误 ” （ fallacies ）指不正确但又具有逻辑有效性表象的论证。一般可以区分两种谬论： - 诡辩（ Sophism ）：有意欺骗他人的推理； - 谬论（ paralogism ）：无意欺骗性的推理。但文献中也常用诡辩统称谬误。 Sophism ...; 个人分类: 在法国教逻辑课|5671 次阅读|没有评论

“因为担心失衡跌倒，我们的思想紧紧抓住逻辑这个扶手” - 纪德的《地粮》: 柳渝 2020-7-27 14:57; 今年的 1 月 14 日，联合国教科文组织总干事奥德蕾 · 阿祖莱（ Audrey Azoulay ）在“世界逻辑日”的致辞中引用纪德的一句话： “ 因为担心失衡跌倒，我们的思想紧紧抓住逻辑这个扶手 ”( https://unesdoc.unesco.org/ark:/48223/pf0000372449?posInSet=4queryId=N-7dfbda92-60d7-40d1-9e31-cbb7b75c4 ...; 个人分类: 在法国教逻辑课|3477 次阅读|没有评论

123 4 下一页

会议

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

GMT+8, 2023-6-2 07:42

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部