內容簡介

本書圍繞"邏輯學中很重要、很突出、很緊迫的問題是什麼"這一個主題展開，內容分上、下兩篇，共13章。上篇內容涉及描述邏輯中的非標準推理、可證邏輯中的問題與邏輯動態中的開放問題、可計算性理論、邏輯學的發展、邏輯與認知科學、中世紀的阿拉伯語義、應用邏輯與其他學科發展之間的關繫等。下篇內容涉及可證邏輯與證明邏輯、可計算性理論的研究動機與發展方向、可計算模型、相對論的一階邏輯基礎、數理邏輯的未來、區域空間理論等。