逻辑学研究的主体?推理(基于某些前提得到一些结论)
命题。
有效推理形式。
逻辑学的基本准则
同一律。 事物不能前后矛盾。
不矛盾律。a不等于非a。
排中律。a和非a,两个之中必有一个为真。
逻辑学的类型。
传统逻辑,古希腊,亚里士多德。
现代数理逻辑,阿基米德。
演绎和归纳
演绎。从一般到具体。
归纳。从具体到一般。
命题。
有效推理形式。
同一律。 事物不能前后矛盾。
不矛盾律。a不等于非a。
排中律。a和非a,两个之中必有一个为真。
传统逻辑,古希腊,亚里士多德。
现代数理逻辑,阿基米德。
演绎。从一般到具体。
归纳。从具体到一般。