形式邏輯的量化嘗試
說起形式邏輯，就不能不從亞里士多德說起。
我們知道，亞氏在其“工具論”一文中，研究和創立了形式邏輯的三種形式：同一 率，矛盾律，排中律。兩千年了基本沒有變動，直到思賓諾莎和萊不尼茲增加了一 條“充足理由律”。後來福雷格和羅素發現了符號邏輯，以及哥得爾證明了不完備 定理。
形式邏輯用來討論概念和語言表述的判斷，所以康德也稱其為“判斷邏輯”。如果 我們仔細觀察就會發現，形式邏輯判斷所基於的是概念化世界抽象出的“一個點”， 猶如幾何學上關於“點”的定義一樣，是一個沒有“量”的形式化代表。所以當我 們用來判斷變動的事物，概括更大的範圍，就不能用了。如赫拉克力特說，“你不 能同時踏入同一條河兩次”。在東方如佛教說，“世界既是真的又是假的”，等觀 點。
這種動態世界的表達，違反了形式邏輯，但確實真實存在。為了克服形式邏輯的限 制，黑格爾從古希臘的辯論術中總結了“辯證法”，並推而廣之為“正題，反題和 合題”的三步曲。用黑格爾的意思來說，這個辯證邏輯就是世界運動發展的本質。
二個世紀以來，黑格爾的辯證邏輯經歷了由輝煌到衰落的歷史。特別是他的學生馬 克思將其政治化，極端化以後引起的人類二十世紀的社會動盪後，人們現在普遍認 為，這個辯證法的人為誇張成分太大，基本不符合人類歷史發展的事實。這就是辯 證法在哲學上和社會生活中失敗的原因。
如果黑格爾的辯證法有問題，那么正確的方法是什麼？或還有沒有一個正確的從思 維規律，到人類歷史社會發展規律的方法論上，都起統一功能的真理存在？這些問題擺在 二十一世紀從今以後人類文明前進的道路上。
以下，我試圖用量化的方法，對形式邏輯進行補充，供討論。我稱此為“形式邏輯II式”。
定義
Def: 1 s : space 2 t: time 3 o: observer/object 4 n: 0...N (表述數量化的下限和上限) 5 LSI：同一律 6 LNC：矛盾律 7 LEM：排中律 8 LSR：充足理由律
表述：
I (LSI)： A（s1,0...n, t1, 0...n, p1, 0...n) = A (s1,0...n, t1, 0...n, p1, 0...n)
II (LNC): not (A（s1,0...n, t1, 0...n, p1, 0...n) and not A(s2,0...n, t2, 0...n, p2, 0...n))
III (LEM): either A（s1,0...n, t1, 0...n, p1, 0...n) or not A(s2,0...n, t2, 0...n, p2, 0...n)
IV(LSR): A（s1,0, t1, 0, p1, 0) and A(s2,n, t2,n, p2,n)
說明： 用三維坐標確定形式邏輯的點，它們分別是地點(X軸坐標)，時間(Y軸坐標)和觀測 者(Z軸坐標)。時間和地點的坐標的量度很容易規定。觀測者的定義稍微複雜，但也 可從幾方面確定，如心理健康狀況，教育知識程度，等。
這樣量化後的形式邏輯，就可概括更廣的範圍，因為它包括了事物的動態發展所需 要的時間和空間及觀測者的狀況。在這種情況下，對經典的形式邏輯是錯的陳述， 如”人不能踏入同一條河，對於上述"形式邏輯II", 就是正確的了。 |
