科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
大学一年级逻辑课“改革”尝试
柳渝 2021-7-2 15:50
今年是我主讲儒尔 - 凡尔纳大学( Université de Picardie Jules Verne )计算机系一年级的 “ 逻辑课 ” 的第三年,总结和分享这三年里进行的逻辑课程的 “ 改革 ” 尝试。 一, “ 改革 ” 的内容 1 ,形式与内容 传统的逻辑教学通常将形式与内容分开,而将重点放在形式上。考虑到 ...
个人分类: 在法国教逻辑课|2180 次阅读|没有评论
数学中的三个危机 :逻辑主义、直觉主义和形式主义 - 译文(3):形式主义
热度 1 柳渝 2021-6-22 16:03
这个学派是由德国数学家大卫 - 希尔伯特( 1862-1943 )于 1910 年左右创立的。诚然,人们可以说在十九世纪已经有了形式主义,因为弗雷格在他的《算术原理》( Grundegesetze )第二卷中反对形式主义;《算术原理》第一卷于 1893 年出版,第二卷于 1903 年出版。然而,现代形式主义的概念,包括有限推理 ...
个人分类: 在法国教逻辑课|2220 次阅读|1 个评论 热度 1
数学中的三个危机 :逻辑主义、直觉主义和形式主义 - 译文(2):直觉主义
热度 1 柳渝 2021-6-21 05:20
这个学派大约在 1908 年由荷兰数学家布劳威尔( L.E.J.Brouwer , 1881-1966 )开创。直觉主义以一种与逻辑主义完全不同的方式来看待数学基础:逻辑主义从不认为经典数学有什么问题,他们固执想表明经典数学是逻辑学的一部分;而直觉主义则相反,他们认为经典数学存在很多问题。 到 1908 年,康托尔的集合论 ...
个人分类: 在法国教逻辑课|3968 次阅读|2 个评论 热度 1
数学中的三个危机 :逻辑主义、直觉主义和形式主义 - 译文(1):逻辑主义
柳渝 2021-6-19 14:37
亚伦道弗尔奖( Carl B. Allendoerfer )是美国数学协会( MAA )每年颁发的一个数学奖项,旨在奖励在《数学杂志》( Mathematics Magazine )上发表的论述清晰的论文。 《数学杂志》是美国数学协会的双月刊,其受众主要是大学数学老师以及数学系学生,刊登的文章主要为数学概念和数学理论提供例子、应用 ...
个人分类: 在法国教逻辑课|4100 次阅读|没有评论
期末考试试卷(2020-2021 逻辑课)
柳渝 2021-5-5 04:06
今年是我主讲儒尔 - 凡尔纳大学( Université de Picardie Jules Verne )计算机系一年级的 “ 逻辑课 ” 的第三年,课程 考核由二部分: 期末考试和 课题作业:识别谬误(2020-2021 逻辑课) 。现把期末考试试卷译出: 期末考试试卷( 2020-2021 逻辑课) (时间 2 ⼩时;闭 ...
个人分类: 在法国教逻辑课|990 次阅读|没有评论
课题作业:识别谬误(2020-2021 逻辑课)
柳渝 2021-5-4 19:27
今年是我主讲儒尔 - 凡尔纳大学( Université de Picardie Jules Verne )计算机系一年级的 “ 逻辑课 ” 的第三年,并且是在整个疫情期间以网上授课方式进行的,昨天( 5 月 3 日)期末考试结束。 今年我继续尝试逻辑课教学的改革:除了传统形式逻辑的基本教学内容外,初步引入 “ 识别谬误 ” ...
个人分类: 在法国教逻辑课|1539 次阅读|没有评论
归纳与演绎溯源 - 解读亚里士多德的一个例子
热度 2 柳渝 2021-4-27 04:28
归纳与演绎是科学研究中运用最为广泛的逻辑思维方法,贯穿着整个西方逻辑史和哲学史。 然而,归纳 与 演绎及二者的关系也是学习和理解逻辑的难点,其中涉及诸多相互纠缠的基本概念。亚里士多德在《前分析》中给出一个例子 将归纳与 演绎 纳入三段论的框架, 我们通过解读这个例子 追本溯源 归纳与演绎 。 ...
个人分类: 在法国教逻辑课|3540 次阅读|4 个评论 热度 2
“三段论(Syllogism)”简介
柳渝 2021-4-20 20:59
在传统逻辑中, “ 三段论( Syllogism ) ” 指从两个命题( “大前提”和“小前提”) 推导出 “ 结论 ” 的一种推理形式 ,是数学证明、科学研究及 日常沟通交流中 常用的一种推理 。 在希腊语中, syllogism 由 syn (与)和 logos (语言)组成,本意指 “ (一个命题)与(另一个 ...
个人分类: 在法国教逻辑课|4424 次阅读|没有评论
谬误(fallacies)与亚里士多德的《辩谬篇》
柳渝 2021-3-21 21:33
一,什么是谬误?【 1 】 在逻辑中,“ 谬误 ” ( fallacies )指不正确但又具有逻辑有效性表象的论证。 一般可以区分两种谬论: - 诡辩( Sophism ):有意欺骗他人的推理; - 谬论( paralogism ):无意欺骗性的推理。 但文献中也常用诡辩统称谬误。 Sophism ...
个人分类: 在法国教逻辑课|1928 次阅读|没有评论
“因为担心失衡跌倒,我们的思想紧紧抓住逻辑这个扶手” - 纪德的《地粮》
柳渝 2020-7-27 14:57
今年的 1 月 14 日,联合国教科文组织总干事奥德蕾 · 阿祖莱( Audrey Azoulay )在“世界逻辑日”的致辞中引用纪德的一句话: “ 因为担心失衡跌倒,我们的思想紧紧抓住逻辑这个扶手 ”( https://unesdoc.unesco.org/ark:/48223/pf0000372449?posInSet=4queryId=N-7dfbda92-60d7-40d1-9e31-cbb7b75c4 ...
个人分类: 在法国教逻辑课|2978 次阅读|没有评论

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

GMT+8, 2021-12-6 20:05

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部