1 第二讲 函项逻辑.docxVIP

1 第二讲?函项逻辑 lpar;1rpar;第二讲?函项逻辑 函项逻辑（FunctionLogic）与关系逻辑（the Logic of Relations）在分析传统中都相当重要，它们分别构成了弗雷格主义与罗素主义的基础部分。相比较而言，函项逻辑更为流行，并且在某种意义上可以涵盖关系逻辑，因此，专门讨论函项逻辑，这是必要的。学者们通常认为，函项逻辑取代词项逻辑，这是逻辑学的发展中最为重要的一个环节，同时，如果没有这个环节，当代形态的分析哲学将是无法想象的（出处？）。因此，这种讨论以对照词项逻辑（Term Logic）的方式进行，就既容易与前一讲衔接，又便于表现函项逻辑的强大之处。 1. 什么是逻辑分析 “命题（proposition）”这个词在通常的情况下是指句子，但在弗雷格和罗素那里则有专门的涵义。弗雷格与罗素都用“命题”这个词来指句子所表达的能够称其为知识的内容。在逻辑中通常要求句子所表达的知识性的内容，在结构上与句子对应，因此，在只关心结构的情况下，“命题”这个词是指句子还是指内容，不会造成影响。我们也可以通过句子结构来谈论内容是如何构成的，因此，当我们谈到命题的结构时，即可以指句子结构，也可以指构成句子内容的成分。 人们研究逻辑的最初目的，是想获得严格可靠的推理。在逻辑中实现这种可靠性的方法是，用一种数学结构来表示命题，从而用数学