《邏輯學(xué)課程簡介》

一、課程概述

邏輯學(xué)是一門研究思維形式、思維規(guī)律和思維方法的學(xué)科，具有高度的抽象性、嚴(yán)密的邏輯性和廣泛的應(yīng)用性。它是哲學(xué)、數(shù)學(xué)、計算機科學(xué)、法學(xué)、語言學(xué)等眾多學(xué)科的基礎(chǔ)，也是人們?nèi)粘Ｋ季S和交流中不可或缺的工具。

本邏輯學(xué)課程旨在系統(tǒng)地傳授邏輯學(xué)的基本理論和方法，培養(yǎng)學(xué)生的邏輯思維能力和批判性思維能力，提高學(xué)生的分析問題和解決問題的能力，為學(xué)生的專業(yè)學(xué)習(xí)和未來的職業(yè)發(fā)展奠定堅實的基礎(chǔ)。

二、課程目標(biāo)

知識目標(biāo)

使學(xué)生掌握邏輯學(xué)的基本概念、基本原理和基本方法，包括概念的內(nèi)涵和外延、命題的邏輯形式、推理的規(guī)則和方法等。

讓學(xué)生了解邏輯學(xué)的發(fā)展歷程和主要流派，以及邏輯學(xué)在各個領(lǐng)域的應(yīng)用。

培養(yǎng)學(xué)生閱讀和理解邏輯學(xué)術(shù)語和文獻的能力，為進一步學(xué)習(xí)和研究邏輯學(xué)打下基礎(chǔ)。

技能目標(biāo)

培養(yǎng)學(xué)生運用邏輯思維進行分析、推理和論證的能力，能夠準(zhǔn)確地判斷命題的真假、推理的有效性和論證的可靠性。

提高學(xué)生的批判性思維能力，能夠識別和糾正邏輯錯誤，對各種觀點和論證進行客觀的評價和分析。

增強學(xué)生的語言表達和文字寫作能力，使學(xué)生能夠運用邏輯清晰、條理分明的語言表達自己的思想和觀點。

素質(zhì)目標(biāo)

培養(yǎng)學(xué)生的科學(xué)精神和創(chuàng)新意識，使學(xué)生養(yǎng)成嚴(yán)謹(jǐn)?shù)乃季S習(xí)慣和實事求是的工作作風(fēng)。

提高學(xué)生的綜合素質(zhì)和競爭力，為學(xué)生的未來發(fā)展提供有力的支持。

培養(yǎng)學(xué)生的團隊合作精神和溝通能力，使學(xué)生能夠與他人進行有效的交流和合作。

三、課程內(nèi)容

邏輯基礎(chǔ)

邏輯學(xué)的研究對象和任務(wù)，邏輯學(xué)的發(fā)展歷程和主要流派。

概念的內(nèi)涵和外延，概念的種類和關(guān)系，概念的定義和劃分。

命題的邏輯形式，命題的種類和關(guān)系，命題的真假判斷。

推理的規(guī)則和方法，推理的種類和關(guān)系，推理的有效性判斷。

演繹邏輯

直言命題及其推理，包括直言命題的對當(dāng)關(guān)系、直言命題的變形推理、直言三段論等。

復(fù)合命題及其推理，包括聯(lián)言命題、選言命題、假言命題及其推理等。

模態(tài)命題及其推理，包括模態(tài)命題的對當(dāng)關(guān)系、模態(tài)命題的推理等。

歸納邏輯

歸納推理的基本概念和特點，歸納推理的種類和方法，包括完全歸納推理、不完全歸納推理、求因果五法等。

類比推理的基本概念和特點，類比推理的種類和方法，包括正類比、反類比、合類比等。

科學(xué)歸納法和假說演繹法，包括科學(xué)歸納法的基本步驟、假說演繹法的基本模式等。

邏輯思維方法

分析與綜合的方法，包括分析的基本步驟、綜合的基本方法等。

抽象與概括的方法，包括抽象的基本過程、概括的基本方法等。

比較與分類的方法，包括比較的基本步驟、分類的基本原則等。

邏輯謬誤

邏輯謬誤的基本概念和種類，包括形式邏輯謬誤和非形式邏輯謬誤。

常見的形式邏輯謬誤，如違反同一律、矛盾律、排中律等的謬誤。

常見的非形式邏輯謬誤，如訴諸權(quán)威、訴諸情感、訴諸無知等的謬誤。

邏輯應(yīng)用

邏輯學(xué)在數(shù)學(xué)、計算機科學(xué)、法學(xué)、語言學(xué)等領(lǐng)域的應(yīng)用。

邏輯思維在日常生活和工作中的應(yīng)用，如決策、溝通、辯論等。

邏輯考試和邏輯競賽的基本要求和方法，包括公務(wù)員考試、研究生入學(xué)考試中的邏輯部分。

四、教學(xué)方法

課堂講授

采用多媒體教學(xué)手段，結(jié)合實例和案例，深入淺出地講解邏輯學(xué)的基本概念、原理和方法。

注重啟發(fā)式教學(xué)，引導(dǎo)學(xué)生積極思考，培養(yǎng)學(xué)生的邏輯思維能力和批判性思維能力。

定期進行課堂討論和小組活動，讓學(xué)生在互動中加深對知識的理解和掌握。

實驗教學(xué)

開設(shè)邏輯實驗課程，讓學(xué)生通過實際操作和實驗，加深對邏輯學(xué)理論的理解和掌握。

實驗內(nèi)容包括邏輯推理實驗、邏輯思維訓(xùn)練實驗、邏輯謬誤分析實驗等。

實驗教學(xué)過程中注重培養(yǎng)學(xué)生的實踐能力和創(chuàng)新能力。

自主學(xué)習(xí)

提供豐富的學(xué)習(xí)資源，如教材、參考書籍、學(xué)術(shù)期刊、網(wǎng)絡(luò)課程等，鼓勵學(xué)生自主學(xué)習(xí)。

布置課后作業(yè)和思考題，引導(dǎo)學(xué)生進行拓展學(xué)習(xí)和深入思考。

定期進行學(xué)習(xí)成果展示和交流，讓學(xué)生在分享中提高學(xué)習(xí)效果。

課程簡介

01. 課程簡介

02. Ⅰ：1.1.邏輯：道理、原理、logos

03. Ⅰ：1.2.邏輯的目標(biāo)

04. Ⅰ：1.3.說話與推理

05. Ⅰ：1.4.推理的有效性

06. Ⅱ：2.1.論證結(jié)構(gòu)

07. Ⅱ：2.2.論證的兩個重要觀念

08. Ⅱ：2.3.語詞與命題

09. Ⅱ：2.4.命題的標(biāo)準(zhǔn)

10. Ⅱ：2.5.論證形式

11. Ⅱ：2.6.實例說明

12. Ⅱ：2.7.充分條件和必要條件

13. Ⅱ：2.8.有效論證的定義

14. Ⅲ：3.1.日常語言的復(fù)雜性

15. Ⅲ：3.2.歧義

16. Ⅲ：3.3.含混性

17. Ⅲ：3.4.開放性

18. Ⅲ：3.5.形式語言的必要性

19. Ⅲ：3.6.命題邏輯語言

20. Ⅲ：3.7.句式結(jié)構(gòu)樹

21. Ⅲ：3.8.關(guān)于句式的重要概念

22. Ⅳ：4.1.語意學(xué)

23. Ⅳ：4.2.古典邏輯語意學(xué)預(yù)設(shè)

24. Ⅳ：4.3.連接詞的語意

25. Ⅳ：4.4.恒真句

26. Ⅳ：4.5.矛盾句

27. Ⅳ：4.6.偶真句

28. Ⅳ：4.7.句式之間的關(guān)系

29. Ⅳ：4.8.一群句式之間的關(guān)系

30. Ⅴ：5.1.真值表法的結(jié)構(gòu)、模型

31. Ⅴ：5.2.真值表法演算步驟

32. Ⅴ：5.3.無效論證和反例結(jié)構(gòu)

33. Ⅴ：5.4.無前提或無結(jié)論的論證

34. Ⅴ：5.5.可決定性

35. Ⅴ：5.6.簡易真值表法

36. Ⅵ：6.1.函映完備性

37. Ⅵ：6.2.具備函映完備性的連接詞集合

38. Ⅵ：6.3.謝菲爾線

39. Ⅵ：6.4.選言標(biāo)準(zhǔn)式（DNF）

40. Ⅵ：6.5.連言標(biāo)準(zhǔn)式（CNF）

41. Ⅵ：6.6.極端范例

42. Ⅵ：6.7.等值句式的DNF與CNF

43. Ⅵ：6.8.函映完備性的定理

44. Ⅶ：7.1.語法蘊含關(guān)系

45. Ⅶ：7.2.兩種證明策略

46. Ⅶ：7.3.真值樹的結(jié)構(gòu)

47. Ⅶ：7.4.真值樹的規(guī)則

48. Ⅶ：7.5.真值樹系統(tǒng)規(guī)則

49. Ⅶ：7.6.有效論證實例

50. Ⅶ：7.7.無效論證實例

51. Ⅶ：7.8.一致性的證明

52. Ⅷ：8.1.公理系統(tǒng)的結(jié)構(gòu)

53. Ⅷ：8.2.公理的取代句式

54. Ⅷ：8.3.定理

55. Ⅷ：8.4.論證的有效性

56. Ⅸ：9.1.自然演繹法的特性與分類

57. Ⅸ：9.2.樹狀自然演繹法規(guī)則

58. Ⅸ：9.3.樹狀自然演繹法范例

59. Ⅸ：9.4.線性自然演繹法等值規(guī)則

60. Ⅸ：9.5.線性自然演繹法蘊含規(guī)則

61. Ⅸ：9.6.線性自然演繹法范例

62. Ⅹ：10.1.語詞邏輯的起源

63. Ⅹ：10.2.句型結(jié)構(gòu)解析

64. Ⅹ：10.3.三段論的論證結(jié)構(gòu)

65. Ⅹ：10.4.三段論的樣態(tài)

66. Ⅹ：10.5.三段論的有效性

67. Ⅹ：10.6.三段論范例

68. Ⅹ：10.7.文式圖

69. Ⅹ：10.8.文式圖范例

70. Ⅹ：10.9.作業(yè)講解

71. Ⅺ：11.1.述詞邏輯的必要性

72. Ⅺ：11.2.述詞邏輯的新元素

73. Ⅺ：11.3.述詞邏輯語言

74. Ⅺ：11.4.述詞邏輯句式說明

75. Ⅺ：11.5.一元述詞的翻譯

76. Ⅺ：11.6.二元關(guān)系述詞的重要性質(zhì)

77. Ⅻ：12.1.量詞的翻譯原則

78. Ⅻ：12.2.二元述詞的翻譯

79. Ⅻ：12.3.常用語詞翻譯

80. Ⅻ：12.4.論域

81. Ⅻ：12.5.量詞與連接詞

82. Ⅻ：12.6.確定描述詞

83. XⅢ：13.1.推論規(guī)則

84. XⅢ：13.2.推論規(guī)則說明

85. XⅢ：13.3.有效論證實例說明

86. XⅢ：13.4.無效論證實例說明

87. XⅢ：13.5.不可決定性

88. XⅢ：13.6.有效論證實例

89. XⅢ：13.7.無效論證實例

90. XIV：14.1.推論規(guī)則

91. XIV：14.2.否定規(guī)則與個例規(guī)則

92. XIV：14.3.通稱規(guī)則

93. XIV：14.4.存在預(yù)設(shè)

94. XIV：14.5.自然演繹法實例（一）

95. XIV：14.6.自然演繹法實例（二）

96. XV：15.1.謬誤的分類

97. XV：15.2.形式謬誤

98. XV：15.3.不相干的謬誤

99. XV：15.4.誤導(dǎo)的謬誤

100. XV：15.5.假定的謬誤