[일반] '논리학 ⊃ 형식 논리학 ⊃ 수학'이라고 생각해도 되나요?

[익명(221.162)]

[익명(1.245)]

본인 자유죠

[익명(141.223)]

닷붙이자면 그렇게 생각하시다 망신당하는것도 님 자유

[익명(221.162)]

[익명(14.36)]

그게 의미가 있나

[익명(27.35)]

그렇게 따지면 논리학 철학 아닌게 어딨누

[ExHentai.org(nsa15464)]

수학이 논리학의 일부임을 보이기 위해서는 수학의 기초적인 공리들이 논리학의 공리이거나 그것들로부터 도출된 명제여야 한다. 하지만 현대 수학의 기본 공리계인 ZFC 공리계에서 적어도 두 개의 공리(선택 공리, 무한 공리)는 논리적 명제가 아니다.

[ExHentai.org(nsa15464)]

예를 들어 수학자들이 무한공리("무한집합이 존재한다")를 받아들이는 이유는 우리가 기본적으로 수많은 무한집합(자연수의 집합, 실수의 집합 등등)들이 존재한다는 것을 알고, 그 존재를 보장하기 위해서이다. 즉 무한공리는 그 내용을 받아들이는 것이지, 그 논리적 형식을 받아들이는 것이 아니다. 이러한 이유로 수학은 논리학에 속하지 않는다.

[ExHentai.org(nsa15464)]

좆무피셜임

[익명(14.36)]

굳이 포함관계를???

[ㅅㄲㅁㅇ(borwein)]

플라톤주의, 논리주의, 형식주의 등으로 찾아보셈