什么叫形式逻辑,数学是形式逻辑吗?

以概念、判断、推理是形式逻辑的三大基本要素 。概念的两个方面是外延和内涵,外延是指概念包含事物的范围大小,内涵是指概念的含义、性质;判断从质上分为肯定判断和否定判断,从量上分为全称判断、特称判断和单称判断;推理是思维的最高形式,概念构成判断,判断构成推理,从总体上说人的思维就是由这三大要素决定的 。
它要求思维满足同一律、矛盾律、排中律和理由充足律 。这四条规律要求思维必须具备确定性、无矛盾性、一贯性和论证性 。
形式逻辑就是:非此即彼,不能允许有逻辑矛盾

什么叫形式逻辑,数学是形式逻辑吗?

文章插图
数学是形式逻辑吗?
【什么叫形式逻辑,数学是形式逻辑吗?】数学不是是形式逻辑 。
其实,两者并没有完全的割裂,就好像艺术和语言一样,语言是一种艺术,同时,艺术也是一门语言,两个既有自己独立的领域,又有相互交融的关系 。
逻辑出现在数学中,是为了证明数学里面有一个不能证明的,逻辑用来推断未知,那很多未知需要用数学来表现出来 。到最后,这样的争论就会变成鸡生蛋,蛋生鸡的问题,所以,自然随意点就好 。