형식 논리학의 근본 원리

형식논리학은 아리스토텔레스에 의해 세워진 논리학으로서 순수한 사고(판단이나 추리)의 형식이나 법칙만을 연구하는 학문이며, 판단이나 추리의 내용과 대상은 일체 취급하지 않고 있다.
칸트는 “그런데 논리학이 고대로부터 확실한 길을 걸어온 것은 이 학설이 아리스토텔레스 이후 조금도 후퇴할 필요가 없었던 것으로 보더라도 명백하다. 더욱이 논리학에 대해서 기이한 것은 이 학설이 오늘날에 이르기까지 조금도 진보를 하지 못하고 따라서 그 자체로서는 이미 자기완성을 이루어 놓은 듯한 인상을 주고 있다는 사실이다.” 라고 말 할 정도로 형식논리학은 아리스토텔레스 이후 약 2천년간 거의 변경됨이 없이 계속되어온 것이다.
그것은 그 논리학이 사고에 관한 한, 나름대로의 객관적인 진리가 포함되어 있기 때문이다.
형식논리학에 접근하는 가장 자연스러운 방법은 이른바 연역 논증의 타당성 개념을 통하는 길일 것이다.
연역 논증이란 어떤 명제(결론)가 다른 하나 이상의 명제(전제)로부터 엄격한 필연성을 통해 도출된다고 주장하는 논증, 즉 전제를 긍정하면서 결론을 부정한다면 자기모순에 빠질 수밖에 없다고 주장하는 논…(생략)

(1) 사고의 원리