普通邏輯學修訂第三版教學大綱課程信息課程名稱：普通邏輯學課程代碼：1001621004學分：3先修課程：無授課對象：理工科大學生課程介紹普通邏輯學是當前哲學基礎課程中的必修課程之一，是培養學生邏輯思維和語言表達能力的重要專業課。本課程的學習對于提高學生的思考水平、加強他們的批判性思維和邏輯推理能力，具有重要的意義。本課程主要講授了以下內容：邏輯學概述命題邏輯謂詞邏輯形式和非形式邏輯推理和證明認識與實在邏輯學在其他學科中的應用教學目標通過本課程的學習，學生將了解以下知識和能力：了解邏輯學的基本概念及其發展歷史，理解邏輯學在其他學科中的重要性和應用掌握命題邏輯的基本概念和符號，能夠正確使用命題邏輯進行簡單的推理和證明掌握謂詞邏輯的基本概念和符號，能夠正確使用謂詞邏輯進行簡單的推理和證明掌握邏輯學的基本方法和思維技巧，能夠應用邏輯學的方法進行批判性思考培養學生的歸納、演繹和證明能力，提高其語言表達能力和文獻閱讀能力教學內容1.邏輯學概述1.1邏輯學的起源和發展古希臘邏輯學中世紀邏輯學現代邏輯學1.2邏輯學的基本概念真值、命題、謂詞、量詞、關系合式公式、矛盾公式、演繹關系和語義關系1.3非形式邏輯與形式邏輯非形式邏輯：自然語言中的邏輯形式邏輯：用符號表示的邏輯，包括命題邏輯和謂詞邏輯1.4邏輯學在其他學科中的應用數學和自然科學中的邏輯語言學、計算機科學和哲學中的邏輯2.命題邏輯2.1命題邏輯的基本概念命題符號和真值表連接詞和條件語句命題推理2.2命題邏輯的應用命題邏輯在數學、科學和哲學中的應用3.謂詞邏輯3.1謂詞邏輯的基本概念謂詞符號和量詞符號表示語句的真值和量化范圍謂詞公式和謂詞推理3.2謂詞邏輯的應用謂詞邏輯在自然語言理解、程序設計和知識表示中的應用4.推理和證明4.1推理的基本形式歸納、演繹和類比推理等價推理和蘊涵推理4.2證明的基本方法直接證明、間接證明和反證法充分必要條件和歸謬法5.認識與實在5.1認識的基本問題知覺、概念、判斷和推理經驗和理性，真理和主觀性5.2實在的基本問題物質和形式實在和現象，客觀性和主觀性6.邏輯學在其他學科中的應用6.1邏輯學在數學中的應用集合論、數理邏輯和代數邏輯6.2邏輯學在計算機科學中的應用程序設計、人工智能和數據庫系統6.3邏輯學在哲學中的應用形而上學、認識論和倫理學教學方法本課程采用講授、案例分析和課堂討論等多種教學方法，其中以講授為主要教學方法。為了使學生在學習本課程過程中能夠加深對邏輯學的理解和掌握其基本方法和思維技巧，課堂上將提供豐富的案例進行講解和分析，并鼓勵學生積極參與課堂討論和思考，培養其批判性思維和邏輯推理能力。對于本課程學習過程中遇到的問題和疑問，將通過短信、郵件等方式提供及時的幫助和支持。評估考核本課程評估采用多種方式，其中包括課堂參與、作業、考察和論文寫作等，課堂參與和作業占總成績的30%，考察和論文寫作占總成績的70%。具體評估方式如下：課堂參與：包括課堂出勤、發言和參與討論，占總成績的10%作業：完成課堂練習和作業，占總成績的20%考察：考試形式為閉卷筆試，占總成績的40%論文：要求學生撰寫一份論文，占總成績的30%參考書目張維迎.邏輯學.北京：高等教育出版社，2010.劉緒才.當代邏輯學導論.北京：高等教育出版社，2015.楊立民.邏輯學教程.北京：高等教育出版社，2007.童國楨.邏輯學基礎.北京：人民教育