Sets, Logic, Computation: An Open Introduction to Metalogic

Richard Zach (remixer); Open Logic Project

英文原名: Sets, Logic, Computation: An Open Introduction to Metalogic

免費的後設邏輯教材，在形式邏輯入門之後，從集合與一階邏輯進入完備性、可計算性及不可判定性，適合願意逐步閱讀證明的哲學學生。

需要的基礎: 需要命題邏輯與一階邏輯入門，例如forall x的內容。願意閱讀證明並學習歸納法，不要求程式語言。

哲學logicspecialist reading

適合誰

適合從使用邏輯系統轉向研究系統能力的哲學及資訊學生。重點由符號操作轉為語言、推導系統和模型的性質，需要耐心辨析定義與證明的層次。

需要命題邏輯與一階邏輯入門，例如forall x的內容。願意閱讀證明並學習歸納法，不要求程式語言。

以集合基礎支持語法、結構與推導的精確定義，用完備性等結果連結證明和模型，再透過計算部分追問機械程序能解決哪些問題。對象語言與討論它的後設語言應持續區分。

每個定理先為假設造一個小例子。註明命題談的是公式、推導或模型，再獨立重做一段歸納證明，單查基礎步驟。學習機器構造時先手算短輸入，再進入不可判定性的一般論證。

本頁採用前置頁日期明確的官方Fall2025封存螢幕版。專案頁另供其他版本；持續更新的稿件不套用紙本ISBN。正文採CC BY4.0，封面美術另有條件。