香港赛马会正版图库|香港赛马会中特网

邏輯學概論(自主模式)

自主模式

  • 什么是隨堂模式?

    隨堂模式課程一般為每學期一輪次,課程每周更新,作業、考試有截止時間,由課程提供方老師、助教指導,課程完結,成績由老師確認后,統一發放證書。

  • 什么是自主模式?

    自主模式課程常年開放加入,課件全部開放,作業、考試無截止時間,有學堂在線招募選拔的助教指導,考核通過即可自動獲得證書。

國家級精品

來自于: 清華大學 | 分類: 數學(272)

課程描述

“邏輯”是什么?大家都很熟悉卻又似乎難以說清。本課程將告訴你:作為一門學科,邏輯學研究的是什么,以及它的基本思路、原則和方法。

什么是認證證書?
免費學習
認證學習
名師簽名
實名認證
權威性
紙質證書
付費購買
免費贈送

課程簡介

“邏輯”一詞很常用,但作為一門學科和課程,“邏輯學”涉及的內容范圍,比“邏輯”一詞日常的用法范圍要小得多。它的研究對象是推理,更準確地說,是“有效推理形式”。什么樣的是有效推理形式?怎樣判定?怎樣生成?邏輯學中要給出基本的方法。 作為面向非邏輯學專業學生的邏輯學概論課,本課程的著眼點不僅僅在于講授邏輯學中的具體內容,而更致力于使學生了解邏輯學的基本思路、準則和方法。能否和如何運用于實踐,則有待于我們的共同努力。 主要內容包括:中外邏輯發展簡史,復合命題的推理,命題演算,性質命題的推理,關系命題的推理,謂詞演算概要,歸納推理簡介,非經典(非標準)邏輯初步等。

展開

課程章節

第一講 什么是邏輯學
1.1 “邏輯"和邏輯學
1.2 推理和推理形式
1.3 有效推理形式
1.4 邏輯學的特點
1.5 邏輯學的基本準則
1.6 邏輯學和其他學科的關系
1.7 關于本課程《邏輯學概論》
第一講練習題
第二講 邏輯學的產生和發展
2.1 中國古代邏輯思想(上)
2.2 中國古代邏輯思想(中)
2.3 中國古代邏輯思想(下)
2.4 印度古代邏輯
2.5 古希臘和中世紀邏輯
2.6 近代西方邏輯
2.7 數理邏輯的提出和實現
2.8 數理邏輯的發展
第二講練習題
第三講 命題聯結詞及其基本推理形式
3.1 推理和命題
3.2 基本命題和復合命題
3.3 常用命題聯結詞及其基本推理形式(1)
3.4 常用命題聯結詞及其基本推理形式(2)
3.5 常用命題聯結詞及其基本推理形式(3)
3.6 常用命題聯結詞及其基本推理形式(4)
3.7 常用命題聯結詞及其基本推理形式(5)
3.8 常用命題聯結詞及其基本推理形式(6)
3.9 常用命題聯結詞及其基本推理形式(7)
第三講練習題
第四講 復合命題的推理: 有效推理形式的判定
4.1 重言式、矛盾式和可滿足式
4.2 具體推理轉換為推理形式
4.3 推理形式轉換為復合命題形式
4.4 有效推理形式的判定:真值表法
4.5 有效推理形式的判定:歸謬賦值法
第四講練習題
第五講 復合命題的推理: 命題聯結詞的充足集
5.1 命題聯結詞:真值函數
5.2 析取范式
5.3 為復合命題形式作與之等值的析取范式
5.4 合取范式
5.5 范式存在定理
5.6 命題聯結詞的充足集
5.7 命題聯結詞的獨元充足集
第五講練習題
第六講 命題演算:公理系統
6.1 公理系統的構成
6.2 命題演算的公理系統 L
6.3 命題演算公理系統 L 中的證明
6.4 命題演算公理系統 L 中的證明(續)
6.5 命題演算公理系統 L 中的推演
第六講練習題
第七講 命題演算:公理系統,自然演繹系統
7.1 公理系統出發點的延伸
7.2 公理系統的評價
7.3 公理系統的性質和評價及其意義
7.4 命題演算的自然演繹系統
7.5 命題演算自然演繹系統中的證明和推演
第七講練習題
第八講 基本命題的構成
8.1 基本命題的結構
8.2 詞項的內涵和外延
8.3 詞項的種類
8.4 詞項間的關系
8.5 詞項的定義
8.6 詞項的劃分
8.7 謂詞的分類
8.8 量詞
8.9 聯詞
第八講練習題
第九講 傳統邏輯中基本命題的推理
9.1 基本命題的推理
9.2 傳統邏輯對基本命題的分析
9.3 性質命題中主、謂詞的周延
9.4 命題變形的推理
9.5 根據對當關系的推理
9.6 三段論
9.7 三段論的式與格
9.8 有效三段論的判定
第九講練習題
第十講 基本命題的推理
10.1 性質命題
10.2 主詞非空的預設
10.3 關系命題的結構
10.4 關系命題根據量詞的推理
10.5 關系命題根據謂詞性質的推理方法
10.6 謂詞演算簡介
第十講練習題
第十一講 非經典邏輯初步
11.1 非經典(非標準)邏輯
11.2 多值邏輯
11.3 模糊邏輯
11.4 模態邏輯
11.5 規范邏輯
11.6 時態邏輯
11.7 弗協調邏輯
第十一講練習題
第十二講 余論
12.1 演繹和歸納
12.2 探求因果關系的邏輯方法
12.3 證論和反駁
12.4 悖論
12.5 本課程《邏輯學概論》內容回顧
第十二講練習題
期末考試
期末考試

授課教師

  • 陳為蓬 清華大學 人文學院 副教授

    陳為蓬,清華大學人文學院副教授,研究方向:自然語言的邏輯。講授《邏輯學概論》、《數理邏輯基礎》等課程多年,多次獲清華大學教學成果獎。

精華筆記

精華筆記正在評選中,去看看全部筆記

常見問題

目前還沒有常見問題喲!

香港赛马会正版图库 北京pk赛车是正规的吗 北京pk赛车走势经验 澳门博彩骗局 twiter是怎么赚钱的 北京pk10冠亚和值计划 湖北十一选五走势图app下载 开奶茶书店赚钱吗 赛车1期回血精准计划免费 快乐扑克3开奖 三分pk10全天精准计划群