school

Macau Periodical Index (澳門期刊論文索引)

Author
張留華
Title
走向建模論的邏輯規範——對現代邏輯"必然性"觀念的澄清
Journal Name
南國學術
Pub. Info
2020年11月30日, 第10卷第4期, 第615-627頁
Keyword
必然性；必須；現代邏輯；建模輪；規範性
Abstract
在哲學研究中，當談到思維的確定性以及思想方式的對錯好壞時，常常會拿邏輯作為說理工具；原因在於，說理者相信，有一種"邏輯要求"是人人都應遵循的，它代表著"邏輯上的必然性"。為了把此種必然性刻畫為邏輯真理，當代邏輯學家已經發展出不止一種類型的形式邏輯系統。在"邏輯多元化"格局下，越來越多的邏輯哲學家開始把邏輯的規範性由"邏輯分析"轉為卡爾納普意義上的"闡釋"。根據卡爾納普的"寬容原則"，衹要是對所謂"邏輯必然性"的一種"恰當的闡釋"，任何現存邏輯系統都是合法的，而且，如果需要，還應該提出更多其他的形式系統。然而，這也帶來一些疑問，此種"闡釋"功能何以意味著一種規範性？這是否消解了"邏輯是一種硬性要求"的認知？面對現代邏輯語境下的"邏輯必然性"令人焦慮的表象，可以借用新近流行的建模論邏輯觀予以澄清。因為，諸多形式系統所刻畫的邏輯必然性，是一種有別於外部強力的"自我強制性"約束，就像科學研究中所建模的模型那樣，衹有願意採用某一模型表達思想或預言結果時，它纔硬性地要求"必須如此這般"。作為一種建模，現代邏輯系統可以各式各樣，儘管它們就單個而言可謂"裁製出來的"，邏輯學本身並不是"凍結的演算"。人們可以選擇不採用某一模型（形式系統），也可以決定新建模型（形式系統），這原本就是"邏輯必然性"自由和彈性的一面。然而，衹要人們想在二階或更高層面上表達出（而不衹是在做）你認為理性的認識和行為，最好以相應的邏輯系統作為參照或指引，即便不必照搬其符號公式。從根本上看，現代邏輯中的"必然性"觀念不過是對科學研究及日常生活中"假言思維"或"條件信念"的精確化表達。其關注點在於：從特定的前提或"建模假說"出發，何以能退出什麼，何以推不出什麼，改變前提或假說後能推出什麼不同。無疑，此種"邏輯必然性"與認知結論的可修正性是相容的，甚至可以說前者預設了後者。 段落標題： 1. 當代邏輯學家對"必然性"的探求 2. 現代邏輯的規範性：走向"闡釋" 3. 從哲學上看"邏輯必然性" 4. 重估現代邏輯中的"必然性"：約束與自由 5. 建模論意義上的"條件必然性"