|
課程概述
「形式邏輯」就是指傳統邏輯，狹義指演繹邏輯，廣義還包括歸納邏輯。由於本質上「形式邏輯」是知性邏輯，所以現代數理邏輯沒有超出「形式邏輯」即傳統邏輯的範疇。 [1]
亞里士多德的工具論是形式邏輯發展的基礎。可以說沒有工具論就沒有形式邏輯。
邏輯研究能夠提高一個人的理解、分析、評價和構造論證的能力。因為這個原因，邏輯為現代大學的教學做出了重大的貢獻。
「形式邏輯學」是關於「形式邏輯」即傳統邏輯的概念、範疇、規律的學科體系。
所謂「形式邏輯」就是指傳統邏輯，狹義指演繹邏輯，廣義還包括歸納邏輯。由於本質上「形式邏輯」
是知性邏輯，所以現代數理邏輯沒有超出「形式邏輯」即傳統邏輯的範疇。 [1]
所謂邏輯是思維的規律，邏輯學是關於思維規律的學說，思維規律是思維內容與思維「形式」的統一。「形式」邏輯也是從內容和「形式」的統一上來研究思維規律的學說，因而決不是什麼純「形式」的邏輯。正好像傳統把概念說成是思維的「形式」是混淆了概念和語言一樣，把傳統邏輯說成是思維「形式」的學說是混淆了傳統邏輯和語言學。如果像馬克思說的，只有語言才是思維的「形式」，那麼，只有語言學才是研究思維的「形式」和「形式」的規律（如語法規則）的學說。而傳統邏輯一開始就不是什麼「純思維形式」的科學。傳統邏輯的創始人亞里士多德認為判斷的主詞和賓詞的聯繫就反映了事物之間的客觀關係，列寧說他的邏輯學是尋求、探索，它接近於黑格爾的邏輯學。後來傳統邏輯的發展，與其說被「形式」主義化了，還不如說是被歪曲化了。因為，根據恩格斯的傳統邏輯和辯證邏輯的關係是初等數學和高等數學的關係的比喻，可以認為辯證邏輯（對稱邏輯是辯證邏輯發展的高級階段）研究人的認識的理性階段的規律，傳統邏輯則研究人的認識的知性階段的規律。超出了傳統邏輯的適用範圍，把傳統邏輯應用到整個人類認識的過程，使它成為詭辯的工具並陷入悖論是並不奇怪的。黑格爾之所以認為傳統邏輯可以成為詭辯工具，是因為黑格爾把傳統邏輯和形而上學混為一談，從而把傳統邏輯的局限性絕對化了。但正好像超出了真理的應用範圍，把真理變成謬誤並不等於真理本身就是謬誤一樣，超出了傳統邏輯的適用範圍，把傳統邏輯變成詭辯的工具也不等於傳統邏輯本身就是純「形式」的東西。以上內容摘自：陳世清著：《經濟學的形而上學》中國時代經濟出版社2011.2第2版
[1]
對像決定內容，特定的對象決定特定的內容。任何事物都是相對靜止狀態和絕對運動狀態的統一；對事物的質的相對穩定性，即同一事物、同一屬性、同一關係在同一時間、地點下的確定性的反映，不但是必要的，而且是可能的。這個反映是人類認識的必經階段——知性階段的基本任務，因而同一律是知性認識的基本規律。從傳統邏輯到對稱邏輯（中間經過矛盾邏輯），是人類思維方式發展的兩大階段。人類認識，無論是低級的還是高級的，都是客觀對象的反映；因此，無論是傳統邏輯還是對稱邏輯，都是關於思維規律的科學；作為它們研究對象的人類思維、思辯和實在的關係，都是內容和「形式」的統一、主觀與客觀的統一。世界是無限的，本性是辯證的和對稱的。人類對世界的認識，也是一個從片面到全面、從現象到本質、從相對到絕對、從抽像到具體、從不對稱到對稱的過程。這裡面有量變，也有質變。相對於整個人類來說，從傳統邏輯的思維方式到對稱邏輯的思維方式，達到對世界的對稱本性的認識，是認識發展史的一大飛躍。如果說，在此以前，人們滿足於傳統邏輯的思維方式，把它看成是唯一正確的思維方式，因而往往陷入形而上學的思維方式的話，那麼，人們感到，要對事物有一個完整的認識，只有用對稱邏輯的思維方式才有可能，用傳統邏輯的思維方式是不夠的了。這時候，傳統邏輯給人以脫離思維對象的假象，是正常的；把傳統邏輯看成是「形式」邏輯，是難免的。首要的任務，是通過歷史的和全面的考察，從假象返回本質，還傳統邏輯以本來的地位。這樣，我們就可以清楚地看到：傳統邏輯也是從內容和「形式」的統一上來研究思維的學說，因而決不是什麼「形式」邏輯。傳統邏輯內容的具體化和「形式」的抽像化、數學化、符號化是對稱的雙向同步過程。符號化不等於「形式」化。僅僅根據傳統邏輯「形式」的抽像化、數學化、符號化就把傳統邏輯看成是「形式」邏輯是線性思維的產物。以上內容摘自：陳世清著：《經濟學的形而上學》中國時代經濟出版社2011.2第2版
課程列表
名稱 時間長度
第01講 形式邏輯（一） 00:21:31
第02講 形式邏輯（二） 00:22:48
第03講 形式邏輯（三） 00:24:16
第04講 形式邏輯（四） 00:24:00
第05講 形式邏輯（五） 00:23:23
第06講 形式邏輯（六） 00:20:54
第07講 形式邏輯（七） 00:21:51
第08講 形式邏輯（八） 00:22:24
第09講 形式邏輯（九） 00:23:32
第10講 形式邏輯（十） 00:21:10
第11講 形式邏輯（十一） 00:21:45
第12講 形式邏輯（十二） 00:23:53
第13講 形式邏輯（十三） 00:24:02
第14講 形式邏輯（十四） 00:22:51
第15講 形式邏輯（十五） 00:24:05
第16講 形式邏輯（十六） 00:23:57
第17講 形式邏輯（十七） 00:23:49
第18講 形式邏輯（十八） 00:23:04
第19講 形式邏輯（十九） 00:23:47
第20講 形式邏輯（二十） 00:20:07
第21講 形式邏輯（二十一） 00:22:14
第22講 形式邏輯（二十二） 00:25:11
第23講 形式邏輯（二十三） 00:21:54
第24講 形式邏輯（二十四） 00:18:15
第25講 形式邏輯（二十五） 00:17:43
第26講 形式邏輯（二十六） 00:18:26
第27講 形式邏輯（二十七） 00:18:04
第28講 形式邏輯（二十八） 00:17:14
第29講 形式邏輯（二十九） 00:25:55
第30講 形式邏輯（三十） 00:26:56
第31講 形式邏輯（三十一） 00:18:17
第32講 形式邏輯（三十二） 00:19:21
第33講 形式邏輯（三十三） 00:27:21
第34講 形式邏輯（三十四） 00:21:24
第35講 形式邏輯（三十五） 00:21:36
第36講 形式邏輯（三十六） 00:19:41
第37講 形式邏輯（三十七） 00:20:34
第38講 形式邏輯（三十八） 00:22:52
第39講 形式邏輯（三十九） 00:18:58
第40講 形式邏輯（四十） 00:18:52
第41講 形式邏輯（四十一） 00:18:12
第42講 形式邏輯（四十二） 00:20:12
第43講 形式邏輯（四十三） 00:18:45
第44講 形式邏輯（四十四） 00:19:11
第45講 形式邏輯（四十五） 00:20:55
第46講 形式邏輯（四十六） 00:21:41
第47講 形式邏輯（四十七） 00:17:56
第48講 形式邏輯（四十八） 00:18:32
第49講 形式邏輯（四十九） 00:23:03
第50講 形式邏輯（五十） 00:19:12
第51講 形式邏輯（五十一） 00:22:47
第52講 形式邏輯（五十二） 00:23:26
|
MS_5422