-
这个题目。
既然没有别的同学来说，那我来说一下好了。
刚考完逻辑哲学。第一个复习点就是“「逻辑」是什么”。
可能很多人对于逻辑的理解是，逻辑就是我们的思维过程。
而学逻辑就是为了去完成那些逻辑题目！（初学此专业时私如此认为）
其实不然，康德说，
逻辑是对于一切一般对象的，关于思维的必然法则的先天的科学。
解释一下，逻辑是理性的，是必然真的推理过程。
思维过程中带有逻辑但不必然真，也包含很多经验的东西。
在这里只谈及我认为的逻辑，不谈逻辑学家所做出的大部分观点。
在这里要引入一个逻辑后承的概念。
结论即是前提的后承，后承分形式后承和语义后承。
逻辑后承只关乎形式后承，不研究语义后承（逻辑学分支——非形式逻辑，研究这个）。
Carnap说：逻辑后承有三个标准。
所以「逻辑地推出」就解释为，结论是前提的逻辑后承。
「」：这个符号我们称之为实质蕴含。
实质蕴含有个特点，保真性由真值表定义。
是错的，当且仅当A为真且B为假。
所以实质蕴含有怪论：假命题可以得出一切结论，真命题可以被所有命题推出。
根据实质蕴含，“如果我是中国人，那么奥巴马是美国人”这句话是对的。
但是前提和结论没有必然的联系。
所以有了相干蕴含，即，前提和结论是相干的有联系的。
个人在生活中比较认同相干蕴含。
===========================分割线===========================
逻辑分为很多种。
传统逻辑：三段论。（A是B，C是A，所以C是B）
经典逻辑：命题演算，一阶理论。
一个一阶逻辑有三个部分
对经典逻辑的扩充：
还有其他非标准逻辑（对经典逻辑的偏离）
多值逻辑、直觉主义逻辑、自由逻辑、非单调逻辑、量子逻辑、归纳逻辑…………
普遍认为，作为逻辑的形式系统有以下三个原则：
在逻辑上，有些基本的哲学问题被定义为对语义的理解不充分。
例如“存在”，我们普遍认为“存在”这个词只是量词，没有具体的意义。
———————————————————再分割—————————————————————
用听得懂的人话来讲
1. 如 文章是好男人
2. 如 所有的好男人是不会出轨的人
3. 如 文章是不会出轨的人。
这就是经典的三段论，从前提到结论的过程就是逻辑。
举个简单的形式系统。
形式系统L的三个公理。“”意为“推出”。
·
·
· 注：意思是非A，也可以这么表示
推理规则：MP规则（分离规则） ,,则有
这个形式系统就是其中一种逻辑。运用这个系统我们可以做出正确推理！
做逻辑研究，是希望我们的 形式有效性 可以很好地把握刻画 直观有效性。
通俗点可以理解为，把现实生活中的推理都变成形式化的东西！用这些符号去刻画世界！
我是工具主义者，逻辑只是一门工具，逻辑只关心推理过程，不关心推理内容。如果没有知识，那么逻辑基本没用，因为参与论证的命题及它的真值由我们的知识给出的。
-
