作為哲學的數理邏輯

《作為哲學的數理邏輯》是2016年復旦大學出版社出版的圖書，作者是楊睿之。

基本介紹

• 中文名：作為哲學的數理邏輯
• 作者：楊睿之 
• ISBN：9787309126587
• 定價：32 元
• 字數：250千字
• 開本：16 開
• 裝幀：平裝
• 出版日期：2016年11月
• 出版社：復旦大學出版

內容提要

現代邏輯起源於19與20世紀之交人類對於數學基礎問題的思考。其早期發展無疑是對人類理性事業的重大推動。弗雷格概念文字、希爾伯特公理系統、塔斯基真定義、哥德爾完備性與不完備性定理、圖靈機對機械可計算的刻畫等成果不僅讓人類對數學基礎有了全新的理解，孕育了現代計算機科學，還促成了分析哲學的崛起，由此深刻地改變了哲學研究的樣貌。此後的數理邏輯越來越陷入高度的技術化與專業化，並漸漸淡出公眾、哲學家甚至其他領域數學家的視野。然而，無論是數學基礎問題還是一般的哲學問題都仍然呼喚著哲學與邏輯的再度攜手。本書試圖將經過演變與發展的數理邏輯與哲學重新介紹給對方，讓哲學工作者或愛好者快速正確地理解當代數理邏輯的主要工作，也讓邏輯學工作者或學生了解與他們的工作有關的哲學上的關切。

作者簡介

楊睿之，現任復旦大學哲學學院講師。北京大學哲學系邏輯學博士，哈佛大學訪問學者。主要研究方向為數理邏輯與數學哲學。