APP下载
反馈
第三节 直言三段论推理的导出规则
收藏
下载
手机看
扫描二维码 用手机看
已观看至0分0秒
打开网易公开课APP-我的-右上角扫一扫,在手机上观看,还可以缓存视频,加入学习计划
还没有公开课客户端?立即下载
0播放
选集(0)
自动播放
登录后可发评论

评论沙发是我的~

热门评论(0)
    全部评论(0)
      逻辑学
      • 学校:南京森林警察学院
      • 集数:58
      • 课程简介:逻辑学有两千多年的发展历史。人们通常把19世纪中叶以前的逻辑学称为传统逻辑,又称为形式逻辑,把19世纪中叶以后发展起来的数理逻辑称为现代逻辑,也称为符号逻辑。传统逻辑主要是指传统演绎逻辑和传统归纳逻辑,即由亚里士多德创立、经过中世纪和近代的演变而一直发展到19世纪的形式逻辑。其中,传统演绎逻辑通常从词项逻辑和命题逻辑这两个视角来研究人类语言中的推理现象,而传统归纳逻辑主要研究枚举归纳推理、穆勒五法和类比推理。传统逻辑还包括关于同一律、矛盾律和排中律等逻辑思维规律的理论。现代逻辑与传统逻辑的一个重要区别在于,现代逻辑在研究中广泛使用了人工符号语言,并发展为使用一种形式化的公理方法,同时也应用了某些数学理论。现代逻辑通过更为精确的人工语言来研究人类思维中的推理现象。现代逻辑作为一种研究理论工具,不仅有助于研究哲学问题,而且对研究人工智能与计算机理论也有重要价值。除了传统逻辑与现代逻辑,在上世纪70年代人们开始研究关于日常语言论证的非形式逻辑。非形式逻辑的任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序。形式逻辑研究论证主要是基于语义的研究,即真假命题之间的关系研究;而非形式逻辑研究论证主要是基于语用的研究,即从语境和论证目的角度进行研究,这更贴近人们的日常生活。
      相关推荐
      09:26
      三段论逻辑(一)(下)
      1354播放
      03:09
      类比推理:蛹:蝶。下列选项中哪一个...
      672播放
      13:31
      42吸收性创作,行书创作三段论总结...
      1383播放
      09:41
      论证逻辑33秒秒杀第3期:论证对象...
      1187播放
      04:58
      【中国海洋大学张若军教授:数学思想...
      1368播放
      05:24
      3.6 跨学科的类比(下)
      1104播放
      19:06
      【2022国考省考《判断推理》刷题...
      697播放
      07:43
      1.3 机电类比(上)
      1628播放
      06:55
      想改这破命的,一定要看看!这才是隐...
      1091播放
      05:47
      找出逻辑关系,每组有3个数字,发现...
      1304播放
      08:40
      判断推理第30讲 逻辑判断 论证 ...
      749播放
      22:56
      4:第一章 图形推理4 数量类(上...
      2377播放
      15:14
      51-40-1平面上的几何变换-字...
      1152播放