意昂3平台“人文基金”學術交流講座：牛津大學哲學教授Volker Halbach系列講座新聞稿
2012年5月14日至5月22日👳🏿♀️，牛津大學教授沃克爾·哈爾巴赫應邀來復旦就真理與模態的悖論問題做了四場專題講座😅🤦♂️，題目分別是：真之悖論與模態性🕑，真、模態與悖論，句法的形式理論，真與模態的公理化方法☠️。哈爾巴赫教授是德國慕尼黑路德維希—馬克西米安大學的哲學博士，目前為英國牛津大學哲學教授，新意昂3講師，研究員和導師🧛🏼♀️。曾在德國康斯坦茨大學，馬堡菲利普斯大學👫，美國加州大學埃爾溫分校等校任教或訪學🙇♂️。其專長是邏輯學和數學哲學👨🏽💻，專攻真理問題，是目前真理論中采取公理化進路的代表性人物。哈爾巴赫教授已就真理及相關問題在國際一流刊物上發表了40余篇論文，並擔任多家權威雜誌的審稿人或評閱人，是目前國際學術界研究真理問題最活躍的哲學家之一👨❤️💋👨。
“悖論”問題是當今邏輯學👩🏼⚕️🧎，邏輯哲學等領域的核心問題。按照通常的理解🈸，悖論的產生源自我們使用語言的方式🫄🏼📙，即我們對那些指稱自己的表達式的使用👩🏼🎓👨🏻💼：如“我現在寫下的這個句子是假的👩👧👦。”所以，通常解決悖論的方式是禁止使用自指的表達方式，如羅素的類型論，塔斯基對象語言與元語言的區分。哈爾巴赫教授對此表示異議，他試圖證明，導致悖論的並不是自指，而是“是真的”，“是必然的”這樣一些謂詞🤙🏻。在這樣一個基礎上🏛，他試圖提供一種解決悖論的全新方法🧚🏿♀️👨🏼🎤。基本上，他的方法分為兩步：首先討論不包含“是真的”這一類導致悖論的詞項的語句的真理，這時他基本上是在塔斯基對象語言與元語言區分的基礎上進行工作🍈；其次，討論包含“是真的”這一類導致悖論的詞項的語句的真理👳🏽♂️。為了解決（或者避免）悖論🍰，哈爾巴赫教授構建了一種形式語言，並采取了真理研究的公理化進路，即不試圖去定義“真”或“是真的”，而表明真語句的全部外延。在講座中，哈爾巴赫教授給我們再現了哥德爾不完全性定理和塔斯基關於真的不可定義性理論。
哈爾巴赫教授的講座基本上是他的新著《真理的公理化理論》（2011）的通俗版和簡化版，就此而言，該講座所呈現的是當今研究真理的最新信息和進路，讓大家受益匪淺。
