量化模態邏輯的語意學──副本對內涵

Abstract

我們將古典的命題邏輯擴展到命題模態邏輯，再擴展到量化模態邏輯。我們討論量化模態邏輯的語法與語意。我們展示了樹枝法是很好的工具；無論是用來討論命題邏輯、一階邏輯、命題模態邏輯、量化模態邏輯的各種系統、副本理論的各種系統、後設框架、擴充的後設框架。 我們討論了可能世界的幾種理論（模態實在論、模態實際論、重排主義），以及東西如何存在於可能世界。路易士的模態實在論與副本理論有其優點，可是我們在形上學與邏輯兩方面說明接受個體概念理論的理由。我們討論時間哲學上的三個理論（整存論、分存論、副存論），也討論這三個理論與跨世界等同問題的關係。在邏輯方面，某些情況下，體現個體概念理論的內涵邏輯系統可以表達基於副本理論的邏輯系統表達的事情。除此之外，我們還也試著進一步擴展副本理論為後設框架與擴充的後設框架。 我們回顧了內涵邏輯，說明從弗列格、卡爾納普、丘崎的想法。雖然丘崎的內涵邏輯比菲廷的內涵邏輯來得強大，但是丘崎的系統會遇到一些困難（例如異常的意含函數與羅素－邁希爾悖論）。這表示從量化模態邏輯進展到更高階的內涵邏輯時，仍然有一些議題需要研究。

We extend classical propositional logic to propositional modal logic and quantified modal logic. We discuss the syntax and the semantics of quantified modal logic. The tableau method is a useful tool for discussing various systems of quantified modal logic, including those which are related to counterpart theory and metaframe. We discuss different theories of possible worlds, such as modal realism and modal actualism, and how objects exist in possible worlds. Lewis$'$s modal realism and counterpart theory have some advantages, but we argue that there are further reasons to accept the theory of individual concepts from the perspectives of philosophy of time and translation of logics. We review the development of intensional logic and discuss ideas from Carnap and Church. Higher order intensional logic is more powerful than quantified modal logic, but it might face the challenges of the deviant sense-functions and the Russell-Myhill paradox.