|
 盧卡西維茨(Jan Łukasiewicz,1878-1956),在烏克蘭西部利沃夫出生,為波蘭知名的哲學家與邏輯學家。他求學時對數學很有興趣,後來進入廉堡大學學習數學和哲學,於1902年取得博士學位,並獲皇室頒授一枚鑽石博士戒指;1906-1915年任利沃大學教授;1919年擔任波蘭教育部長;1920-1939年,創立華沙邏輯學院,培養出塔斯基這位高徒而成為國際知名學院,許多蜚聲國際的邏輯學者後來都來自於此;1922-1932年,兩度擔任華沙大學校長;1951-1939年任華沙大學教授;1946年起(第二次世界大戰後)任愛爾蘭皇家科學院教授。 《亞里士多德的三段論》為盧卡西維茨在邏輯學的主要著作,另著有《邏輯中的歸納法和因果關係問題》、《概率論的基礎理論》、《第一個多值邏輯系統的構造,並用以構造模態邏輯系統》、《為形式邏輯和數學表達式而制訂的一種創造性的語言》(即盧卡西維茨沒有括號的符號系統),以及四十餘篇單篇論文等。 因為有盧卡西維茨,波蘭成為數理邏輯的世界中心之一,人才輩出。
|
目錄
出版緣起 本書述評 第一版原序 第二版原序 克拉連頓出版社聲明 本書所引用的亞里士多德的原著與注釋的版本
導言 一、盧卡西維茨的生平 二、時代背景與社會環境 三、盧卡西維茨的學術發展 四、西方傳統邏輯的基本原則 五、本書值得關注的重點
第一章 亞里士多德三段論系統的要素 一、亞里士多德式三段論的正確形式 二、前提和詞項 三、為什麼單一詞項被亞里士多德略去了 四、變項 五、三段論的必然性 六、什麼是形式邏輯 七、什麼是形式化
第二章 亞里士多德三段論系統的斷定命題 八、斷定命題與推論規則 九、三段論的格 十、大項、中項和小項 十一、關於一個錯誤的歷史 十二、前提的次序 十三、一些現代注釋家的錯誤 十四、加倫的四個格
第三章 亞里士多德三段論系統 十五、完全的和不完全的三段論 十六、詞項邏輯與命題邏輯 十七、換位法證明 十八、歸謬法證明 十九、顯示法證明 二十、排斥的形式 二一、一些未解決的問題
第四章 用符號形式表達的亞里士多德系統 二二、符號系統的說明 二三、演繹理論 二四、量詞 二五、三段論系統的基本要素 二六、三段論的斷定命題的推導 二七、排斥的表達式的公理和規則 二八、我們的公理和規則不充分
第五章 判定問題 二九、不能判定的表達式的數目 三十、斯盧派斯基的排斥規則 三一、演繹的等值式 三二、化歸為初等表達式 三三、三段論系統的初等表達式 三四、三段論系統的一個算術的解釋 三五、結束語
第六章 亞里士多德的模態命題邏輯 三六、導言 三七、模態函項和它們的相互關係 三八、基本模態邏輯 三九、擴展定律 四十、亞里士多德對擴展的M-定律的證明 四一、命題之間的必然連繫 四二、「實質」蘊涵還是「嚴格」蘊涵? 四三、分析命題 四四、一個亞里士多德的悖論 四五、亞里士多德的偶然性
第七章 模態邏輯系統 四六、真值表方法 四七、C—N—δ—p系統 四八、δ-定義 四九、模態邏輯的四值系統 五十、必然性和模態邏輯的四值系統 五一、成對的可能性 五二、偶然性和模態邏輯的四值系統 五三、其他某些問題
第八章 亞里士多德的模態三段論 五四、有兩個必然前提的各式 五五、有一個必然前提和一個實然前提的各式 五六、有一個必然前提和一個實然前提的被排斥的各式 五七、爭論的解決 五八、有可能前提的各式 五九、偶然命題的換位律 六十、糾正亞里士多德的錯誤 六一、有偶然前提的各式 六二、模態邏輯的哲學含義 索引
|
|