西南大學的邏輯學精品課以國家級精品課程為基礎建設而成,由國家級教學名師何向東教授主持。以下是其詳細介紹:
課程內容:以何向東教授主編的國家 “十一五” 規(guī)劃教材《邏輯學教程》(第三版)為教學內容,系統(tǒng)介紹現(xiàn)代邏輯的基本理論,包括概念、命題、推理、論證等方面的知識,同時凸顯邏輯在日常生活和科學探究思維活動中的重要作用。
課程性質:邏輯學作為思維科學,是哲學專業(yè)、法律專業(yè)、計算機科學、基礎數(shù)學等專業(yè)的基礎課,也可作為大學公共課開設,是學習現(xiàn)代邏輯理論的入門課程,在提高學生思維素質與思維能力方面具有不可替代的作用。
課程目標:旨在培養(yǎng)學生嚴密的邏輯思維能力和理性分析能力,開啟學生的批判性思維和創(chuàng)造性思維,使學生全面掌握邏輯學的基本知識、基本原理和基本方法,為更好地掌握其他專業(yè)知識提供嚴密的推理基礎和必要的思維素養(yǎng)。
課程目錄
[1.1.1]--邏輯學的對象
[1.2.1]--邏輯學的性質及作用、邏輯學的發(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]--簡單析取式與簡單合取式