[일반] 과정이 참이면 결과도 항상 참인 건 증명된거임?

[익명(220.71)]

예를 들어 수학의 수많은 명제들은 다 또 다른 정리나 정의 공리를 통해 증명하잖아 어떤 명제를 증명하는 과정 하나하나가 참이면 그 결론도 참인건 증명이 된거임?

[익명(210.94)]

그건 수학이 아니라 논리학(더 정확히는 형이상학)인데 라이프니츠 논리학이나 하이데거 철학적 논리학에서 증명(적절한 표현인진 모르겠지만) 함

[익명(220.71)]

이건 또 어케 증명한거지 수리논리학 맞나 그거 함 배워볼까 논리학 딱 들어보면 전건부정 뭐 이런것밖에 없는건줄 알았는데

[익명(210.94)]

ㄴㄴ 수리논리나 전건 후건 전칭 이런거는 형식논리학이고 저런건 논리법칙이 적용되는 형식이 아니라 법칙 자체의 본질에 접근하기 때문에 형이상학 영역이야 나는 형이상학적 논리학을 하이데거(라이프니츠의 것을 인용함)꺼만 공부해서 이외에도 있는진 모르겠는데 형이상학쪽으로 찾아보셈

[ultraproduct(ultraproduct)]

그게 이제 형식 (증명) 체계의 건전성이지. (soundness) 네 문장의 표현을 좀 다듬기는 해야 한다만