형식 논리학의 근본 원리

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