형식논리학
形式論理學 / Formal logic
항목체계 사상교리
[정의] 논리의 형식적 구조를 연구하는 논리학.
[내용] 아리스토텔레스에 의해 세워진 논리학으로 순수한 사고의 형식이나 법칙만을 연구하고 판단이나 추리의 내용과 대상은 취급하지 않는 논리학이다. 논리학은 넓은 의미에서 이론의 형식적 구조에 대한 연구와 일상적 언어를 단서로 하는 철학적인 논의로 나눌 수 있다. 형식논리학은 형식적 구조를 연구하는 것으로서 좁은 의미에서는 삼단논법과 같은 논리구조를 연구하는 논리학이다. 형식논리학은 ‘S는 P이다’라는 형식의 명제, 즉 정언판단을 기본명제로 논증의 구조를 분석하며 사고의 법칙으로 동일률, 모순율, 배중률, 충족 이유율을 제시하며 개념, 판단, 추리를 사고의 3요소로 정리한다.