分析哲学期末重点提纲.docx

一、哲学导论分析哲学的三个阶段：第一阶段：为数学奠定逻辑的基础是早期分析哲学的核心问题（代表人物：弗雷格和罗素）；第二阶段：逻辑实证主义：为一切知识奠定基础。坚守两个重要的区分：分析和综合的区分；描述和评价的区分做出后一区分的原则是所谓：证实主义的原则。“拒斥形而上学”。第三阶段：奎因（1953）：经验主义的两个教条；亨佩尔：问题和变化（195）；日常语言学派的兴起（1962）How to do things with words。后期维特根斯坦（1953）Philosophical Investigation.PA：①0是自然数； ②每一个确定的自然数a，都有一个确定的后继数a ，a 也是自然数； ③如果b、c都是自然数a的后继数，那么b = c； ④0不是任何自然数的后继数； ⑤任意关于自然数的命题，如果证明了它对自然数0是对的，又假定它对自然数n为真时，可以证明它对n 也真，那么，命题对所有自然数都真。 二、谓词演算弗雷格三原则：1、始终把心理的东西和逻辑的东西，主观的东西和客观的东西区别开来。（反心理主义）说明：弗雷格认为心理主义没有将思想行为和（语言表达的）思想内容进行区分。他将思想看作是独立于个体判断而存在的抽象实体，它既不是抽象的物理对象，又不是心灵中的观念。2、绝不忘记概念和对象之间的区别。当代分析哲学认为亚里斯多德主谓逻辑的观念将导致众多哲学迷雾，而造成这种迷雾的根源就在于忘记了概念和对象之间的区别。3.绝不孤立地寻问一个词的意义，而只在命题的前后关系中寻问词的意义。（语境原则）符号化：小写字母a至w(带或不带正整数下标）为个体常项，它们用来表示自然语言中的专名。用其后紧跟一对（包含或不包含逗号的）括号的大写字母A至Z（带或不带正整数下标）谓词常项，表示自然语言中的谓词。一般命题符号化规则：在任何情况下，对一个命题的符号化都不应含有自由变项，因为含有自由变项的公式是一个开语句而不是一个命题。量词的辖域：量词的作用范围。约束变项：一个变项在一个公式中是一个约束变项，当且仅当，该变项至少有一次出现是约束的。自由变项：一个变项在一个公式中是一个自由变项，当且仅当，该变项至少有一次出现是自由的。重复约束：就是一个量词出现在另一个含有相同变项的量词的辖域内。空约束：就是在一个量词的辖域内没有第二次出现该量词所含的个体变项。三、谓词演算：命题的符号化四种直言命题的符号化，其一般形式是：A：x(P(x)Q(x))； E：x(P(x) Q(x))； I：x(P(x) Q(x))； O：x(P(x) Q(x))。等值式：x(P(x) Q(x)) x(P(x) Q(x)) x (P(x) Q(x)) x(P(x) Q(x))x(P(x) Q(x)) x (P(x) Q(x)) x(P(x) Q(x)) x (P(x) Q(x)) 论域：在特定场合下所谈论的某一类对象的集合叫做在那个场合下的“论域”。命题的多重量化：如果在一个命题中，至少有一个量词处于另一个量词的辖域内，那么我们称这个命题是多重量化的。四、谓词演算：解释 至少和至多：至少有一个东西： ?x（x=x)至少有两个东西： ?x ?y(x ≠y). 至少有三个东西:?x ?y ?z(x ≠y ∧x ≠z ∧y ≠z)至多有一个东西：?x?y(x=y).至多有两个东西：?x?y?z(x=y∨x=z∨y=z)至多有三个东西： ?x?y?z?u(x=y∨x=z∨y=z ∨z=u)命题的解释及其真假：对一个命题作出一个解释，当且仅当，对该命题：A.规定一个非空论域（UD）。B.给每一个谓词常项指定一个属性；C.给每一个体常项指定论域中的一个成员；D.给每一个命题常项指定真值。普遍有效式：一个命题是普遍有效式，当且仅当，该命题相对于每一个解释都是真的。 不可满足式：一个命题是不可满足式，当且仅当，该命题相对于每一个解释都是假的。 逻辑等值：命题P和Q是逻辑等值的，当且仅当，相对于每一个解释，P和Q均为真或者均为假。（命题P和Q是逻辑等值的，当且仅当，PQ是一个普遍有效式。 ）逻辑蕴涵：P逻辑蕴涵Q，当且仅当，相对于每一个解释，并非P真而Q假。 （P逻辑蕴涵Q，当且仅当，PQ是一个普遍有效式。 ）谓词推论的解释及其有效性：一个谓词推论是有效的，当且仅当，它相对于每一个解释并非所有前提真而结论假。 一个谓词推论是有效的，当且仅当，该推论的所有前提的合取Pr逻辑蕴涵其结论C。换言之，一个推论是有效的，当且仅当，“PrC”是一个普遍有效式。 五、谓词演算：推演全称例示：从一个全称命题可以推得它的一个替换例子。 应用量词推论规则销去或引入的量词必须处于公式的前端，并且其辖域延续到公式的末端。 都只能应用于整个命题，而不能应用于命题的某一部分。全称概括：在从一个全称命题的一个替换例子可