传统逻辑与数理逻辑中的命题推理区别与联系.docVIP

传统逻辑与数理逻辑中的命题问题区别与联系 逻辑是人的一种抽象思维，是人通过概念、判断、推理、论证来理解和区分客观世界的思维过程。形式逻辑是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方法的科学。 概念、判断、推理是形式逻辑的三大基本要素。概念的两个方面是外延和内涵，外延是指概念包含事物的范围大小，内涵是指概念的含义、性质；判断从质上分为肯定判断和否定判断，从量上分为全称判断、特称判断和单称判断；推理是思维的最高形式，概念构成判断，判断构成推理，从总体上说人的思维就是由这三大要素决定的。 它要求思维满足同一律、矛盾律、排中律和理由充足律。这四条规律要求思维必须具备确定性、无矛盾性、一贯性和论证性。任何具体思维都有它的内容，也有它的形式。任何具体思维，都涉及一些特定的对象。例如数学中的具体思维，就涉及数量与图形这些特定对象各个不同领域中的具体思维所涉及的对象是不相同的。但是，在各个不同领域的具体思维 中，又存在着一些共同的因素。例如，在各个不同领域的具体思维中，都要应用“所有……都是……”、“如果……那么……”这些思维因素。各个不同领域的具体思维都需要应用的共同思维因素，就是具体思维的形式，或者说，就是思维形式。各个不同领域的具体思维所涉及的特殊对象，就是具体思维的内容，或者说，就是思维内容。数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，