논증의 타당성과 건전성을 입증하려면

[익명(39.119)]

대강 얼마나 배워야 하나요?

[ㅁㄴㅇㄹ(122.38)]

명제논리로 확인할수 있는 논증의 타당성이라면 명제의 형식화 방법은 기본이고 진리표만 알아도 타당하다는 것 까진 증명할순있고 그게 왜 그런지는 연역규칙과 논리적동치를 배워서 형식적증명을 할수 있어야 해요 건전성은 타당성도 갖추고 사실이어야 하는데 사실인지 아닌지는 자연과학에서 확인하는거고요 - dc App

[ㅁㄴㅇㄹ(122.38)]

명제논리에서 확인할수 없는 논증은 (일상생활에선 사용 빈도가 거의 없지만 ) 논증에 따라 맞는 논리체계의 추론 규칙이 필요 해요 다만,어떤과 모든 등의 술어논리에서의 개념이나 혹은 전제들간의 관계로 결론을 도출하는 경우가 아니라면, 증명할수 없는 타당한 논증이 있긴 해요 - dc App

[ㅁㄴㅇㄹ(122.38)]

어떤과 모든 등의 술어논리의 개념을 사용한 추론이라도 1차 술어 논리로 표현되는 논증이 아니라면 타당한데도 타당하다고 증명못하는 논증도 있습니다. 1차 술어니 2차술어니 하는 개념은 아직 필요가 없을겁니다 - dc App