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

评论沙发是我的~

热门评论(0)
    全部评论(0)
      逻辑学
      • 学校:南京森林警察学院
      • 集数:58
      • 课程简介:逻辑学有两千多年的发展历史。人们通常把19世纪中叶以前的逻辑学称为传统逻辑,又称为形式逻辑,把19世纪中叶以后发展起来的数理逻辑称为现代逻辑,也称为符号逻辑。传统逻辑主要是指传统演绎逻辑和传统归纳逻辑,即由亚里士多德创立、经过中世纪和近代的演变而一直发展到19世纪的形式逻辑。其中,传统演绎逻辑通常从词项逻辑和命题逻辑这两个视角来研究人类语言中的推理现象,而传统归纳逻辑主要研究枚举归纳推理、穆勒五法和类比推理。传统逻辑还包括关于同一律、矛盾律和排中律等逻辑思维规律的理论。现代逻辑与传统逻辑的一个重要区别在于,现代逻辑在研究中广泛使用了人工符号语言,并发展为使用一种形式化的公理方法,同时也应用了某些数学理论。现代逻辑通过更为精确的人工语言来研究人类思维中的推理现象。现代逻辑作为一种研究理论工具,不仅有助于研究哲学问题,而且对研究人工智能与计算机理论也有重要价值。除了传统逻辑与现代逻辑,在上世纪70年代人们开始研究关于日常语言论证的非形式逻辑。非形式逻辑的任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序。形式逻辑研究论证主要是基于语义的研究,即真假命题之间的关系研究;而非形式逻辑研究论证主要是基于语用的研究,即从语境和论证目的角度进行研究,这更贴近人们的日常生活。
      相关推荐
      23:33
      烂俗故事凭什么横扫奥斯卡?
      2905播放
      03:17
      好莱坞电影里竟然也有关系户!
      7689播放
      19:16
      2020最强黑马电影:
      9.1万播放
      03:37
      这是关之琳的小众电影,你一定没看过...
      810播放
      00:46
      明日之战:好莱坞大片,太燃了……
      1785播放
      02:25
      堪称好莱坞最顶级的科幻片了,其它都...
      2372播放
      02:23
      这么好的原著却被好莱坞拍砸了,可惜...
      2602播放
      02:18
      堪称好莱坞恐怖片之首
      3390播放
      02:13
      堪称好莱坞惊悚片的里程碑,不寒而栗
      1285播放
      04:13
      李连杰赴好莱坞动作片经典②
      3186播放
      02:13
      当年整个好莱坞都对这部超级科幻片极...
      1384播放
      03:26
      好莱坞大型真香现场:最讨厌科幻的演...
      5593播放
      02:17
      看看好莱坞硬汉大师级导演拍得超级战...
      1610播放