正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説した。
もくじ情報：第１部　様相論理入門（正規様相論理の構文論・意味論・ヒルベルト式公理系；正規様相論理の有限フレーム性・決定可能性；様相論理の発展と歴史的背景）；第２部　証明可能性論理（不完全性定理と証明可能性論理；ソロヴェイの算術的完全性定理；証明可能性論理の発展）；第３部　強制法と様相論理（公理的集合論の概要；強制法と多元宇宙論；強制様相論理）；第４部　真理と様相（真理に関するタルスキの定理と型付きの真理述語；クリプキの真理論―型をもたない真理論（１）；真理から様相へ―型をもたない真理論（２））

佐野　勝彦(サノ　カツヒコ)
京都大学文学部人文学科卒業（２０００年）。博士（文学）（京都大学）。現在、北陸先端科学技術大学院大学情報科学研究科助教。専門は哲学・論理学