課程目錄

西南大學的邏輯學精品課以國家級精品課程為基礎建設而成,由國家級教學名師何向東教授主持。以下是其詳細介紹:

課程內(nèi)容:以何向東教授主編的國家 “十一五” 規(guī)劃教材《邏輯學教程》(第三版)為教學內(nèi)容,系統(tǒng)介紹現(xiàn)代邏輯的基本理論,包括概念、命題、推理、論證等方面的知識,同時凸顯邏輯在日常生活和科學探究思維活動中的重要作用。

課程性質(zhì):邏輯學作為思維科學,是哲學專業(yè)、法律專業(yè)、計算機科學、基礎數(shù)學等專業(yè)的基礎課,也可作為大學公共課開設,是學習現(xiàn)代邏輯理論的入門課程,在提高學生思維素質(zhì)與思維能力方面具有不可替代的作用。

課程目標:旨在培養(yǎng)學生嚴密的邏輯思維能力和理性分析能力,開啟學生的批判性思維和創(chuàng)造性思維,使學生全面掌握邏輯學的基本知識、基本原理和基本方法,為更好地掌握其他專業(yè)知識提供嚴密的推理基礎和必要的思維素養(yǎng)。

          課程目錄
[1.1.1]--邏輯學的對象
[1.2.1]--邏輯學的性質(zhì)及作用、邏輯學的發(fā)展
[1.3.1]--邏輯學研究與學習方法01
[2.1.1]--傳統(tǒng)詞項邏輯概述01
[2.2.1]--詞項01
[2.3.1]--直言命題01
[2.4.1]--直言命題的直接推理01
[2.5.1]--三段論1
[2.5.2]--三段論2
[2.5.3]--三段論3
[3.1.1]--命題邏輯概述01
[3.2.1]--復合命題及其推理01
[3.2.2]--復合命題及其推理02
[3.3.1]--命題形式和真值表方法01
[3.3.2]--命題形式和真值表方法02
[3.4.1]--命題邏輯的自然演繹系統(tǒng)NP1
[3.4.2]--命題邏輯的自然演繹系統(tǒng)NP2
[4.1.1]--命題的謂詞形式01
[4.2.1]--命題形式化的一般方法
[4.3.1]--謂詞邏輯公式01
[4.4.1]--簡單命題的邏輯結構01
[4.4.2]--簡單命題的邏輯結構02
[4.5.1]--謂詞邏輯推理的規(guī)則01
[4.5.2]--謂詞邏輯推理的規(guī)則02
[4.6.1]--一階量化演繹系統(tǒng)Qm01
[4.6.2]--一階量化演繹系統(tǒng)Qm02
[5.1.1]--歸納邏輯概述01
[5.2.1]--傳統(tǒng)歸納邏輯01
[5.3.1]--現(xiàn)代歸納邏輯01
[6.1.1]--科學邏輯概述、科學解釋與科學預測01
[6.2.1]--科學假說01
[6.3.1]--論辯邏輯01
[6.3.2]--論辯邏輯02
[6.4.1]--辨謬邏輯
[7.1.1]--邏輯思維的基本規(guī)則概述及同一律
[7.2.1]--矛盾律1
[7.3.1]--排中律1
[8.1.1]--三段論的基本規(guī)則(一)
[8.2.1]--三段論的基本規(guī)則(二)
[8.3.1]--三段論的基本規(guī)則(三)
[8.4.1]--一階邏輯中的代入
[8.5.1]--自然演繹系統(tǒng)中的全稱量詞規(guī)則
[8.6.1]--命題演算的基本置換定理
[8.7.1]--合取范式和析取范式及其應用
[8.8.1]--簡單析取式與簡單合取式

郵箱
huangbenjincv@163.com

凌源市| 垣曲县| 霍林郭勒市| 台安县| 瓮安县| 望谟县| 沂源县| 上虞市| 德保县| 响水县| 梅州市| 泰宁县| 澎湖县| 府谷县| 水富县| 蒲江县| 汨罗市| 建水县| 南宁市| 南康市| 长兴县| 青川县| 左贡县| 德保县| 藁城市| 铜川市| 广宁县| 磐安县| 卢龙县| 米脂县| 连云港市| 苏州市| 南和县| 陇南市| 阳西县| 三明市| 广宗县| 泸定县| 海林市| 天台县| 衡东县|