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

一、課程概述

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

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

二、課程目標(biāo)

知識(shí)目標(biāo)

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

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

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

技能目標(biāo)

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

提高學(xué)生的批判性思維能力，能夠識(shí)別和糾正邏輯錯(cuò)誤，對(duì)各種觀點(diǎn)和論證進(jìn)行客觀的評(píng)價(jià)和分析。

增強(qiáng)學(xué)生的語(yǔ)言表達(dá)和文字寫(xiě)作能力，使學(xué)生能夠運(yùn)用邏輯清晰、條理分明的語(yǔ)言表達(dá)自己的思想和觀點(diǎn)。

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

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

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

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

三、課程內(nèi)容

邏輯基礎(chǔ)

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

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

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

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

演繹邏輯

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

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

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

歸納邏輯

歸納推理的基本概念和特點(diǎn)，歸納推理的種類(lèi)和方法，包括完全歸納推理、不完全歸納推理、求因果五法等。

類(lèi)比推理的基本概念和特點(diǎn)，類(lèi)比推理的種類(lèi)和方法，包括正類(lèi)比、反類(lèi)比、合類(lèi)比等。

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

邏輯思維方法

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

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

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

邏輯謬誤

邏輯謬誤的基本概念和種類(lèi)，包括形式邏輯謬誤和非形式邏輯謬誤。

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

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

邏輯應(yīng)用

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

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

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

四、教學(xué)方法

課堂講授

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

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

定期進(jìn)行課堂討論和小組活動(dòng)，讓學(xué)生在互動(dòng)中加深對(duì)知識(shí)的理解和掌握。

實(shí)驗(yàn)教學(xué)

開(kāi)設(shè)邏輯實(shí)驗(yàn)課程，讓學(xué)生通過(guò)實(shí)際操作和實(shí)驗(yàn)，加深對(duì)邏輯學(xué)理論的理解和掌握。

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

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

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

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

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

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

課程簡(jiǎn)介

01. 課程簡(jiǎn)介

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

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

04. Ⅰ：1.3.說(shuō)話與推理

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

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

07. Ⅱ：2.2.論證的兩個(gè)重要觀念

08. Ⅱ：2.3.語(yǔ)詞與命題

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

10. Ⅱ：2.5.論證形式

11. Ⅱ：2.6.實(shí)例說(shuō)明

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

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

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

15. Ⅲ：3.2.歧義

16. Ⅲ：3.3.含混性

17. Ⅲ：3.4.開(kāi)放性

18. Ⅲ：3.5.形式語(yǔ)言的必要性

19. Ⅲ：3.6.命題邏輯語(yǔ)言

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

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

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

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

24. Ⅳ：4.3.連接詞的語(yǔ)意

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.無(wú)效論證和反例結(jié)構(gòu)

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

34. Ⅴ：5.5.可決定性

35. Ⅴ：5.6.簡(jiǎn)易真值表法

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.語(yǔ)法蘊(yùn)含關(guān)系

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

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

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

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

49. Ⅶ：7.6.有效論證實(shí)例

50. Ⅶ：7.7.無(wú)效論證實(shí)例

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

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

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

54. Ⅷ：8.3.定理

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

56. Ⅸ：9.1.自然演繹法的特性與分類(lèi)

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

58. Ⅸ：9.3.樹(shù)狀自然演繹法范例

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

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

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

62. Ⅹ：10.1.語(yǔ)詞邏輯的起源

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.述詞邏輯語(yǔ)言

74. Ⅺ：11.4.述詞邏輯句式說(shuō)明

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

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

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

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

79. Ⅻ：12.3.常用語(yǔ)詞翻譯

80. Ⅻ：12.4.論域

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

82. Ⅻ：12.6.確定描述詞

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

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

85. XⅢ：13.3.有效論證實(shí)例說(shuō)明

86. XⅢ：13.4.無(wú)效論證實(shí)例說(shuō)明

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

88. XⅢ：13.6.有效論證實(shí)例

89. XⅢ：13.7.無(wú)效論證實(shí)例

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

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

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

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

94. XIV：14.5.自然演繹法實(shí)例（一）

95. XIV：14.6.自然演繹法實(shí)例（二）

96. XV：15.1.謬誤的分類(lèi)

97. XV：15.2.形式謬誤

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

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

100. XV：15.5.假定的謬誤