逻辑学学习

1（1）所有S是P

 这就是在日常生活和学习中常见的一种直言命题的形式，即全称肯定命题的形式。 

（2）所有M是P

         所有S是M

一一一一一一一

         所有S是P

这是最常见的一种三段论的形式。横线表示推出关系，其上为前提，其下为结论。 

（3）一个命题符合实际情况，它就是一个事实上真的命题，这样的真我们就称之为事实真；反之，如果一个命题与事实不相符合，那它就是一个事实上假的命题，这样的假就是事实假。 

（4）这种仅仅依靠逻辑分析就可以确定的命题的真，我们就称之为逻辑真。 

（5）推理形式是逻辑学研究的最主要的逻辑形式。这是因为孤立的命题即脱离推理的命题，其真假并不是逻辑学所要研究的对象，那是需要各门具体科学去加以判定的。 

（6）所有M是P

         所有S是M

一一一一一一一

         所有S是P

就是一个有效的推理形式。对于使用了有效推理形式的推理来说，只要其前提是真的，结论就必然为真，不可能是假的 

（7）所有M是P

         所有S是P

一一一一一一一

         所有S是P

就是一个无效的推理形式。对于使用了无效推理形式的推理来说，即便其前提是真的，结论也不 真

（8）推理要具有可靠性（soundness），就必须前提真实并且形式有效。 

（9）（∀x）（S（x）→P（x））

 读作：

 对于任何x而言，如果x是S，那么x是P。 

（10）逻辑学是一门通过一定的语言形式来研究思维的逻辑形式尤其是推理形式的科学，它要解决的基本问题是推理的有效性与合理性问题 

（11）概念是对思维对象的反映。概念（concept）是通过反映对象的特有属性或本质属性来反映对象的一种思维形式。它是思维形式最基本的组成单位，是构成命题（或判断）、推理的要素。 概念总有其内涵和外延，二者构成了概念最基本的逻辑特征。 概念明确是正确思维的一个必要条件。

（12）一对象所具有的性质及其同其他对象之间的关系，统称对象的属性。 

（13）词项（term）是对表达概念的语词的逻辑抽象，并不包含这些语词的种种非逻辑的内容。