논리학은 타당한 추론에 대한 연구입니다. 논리학은 무엇이 무엇으로부터 도출되는지를 묻습니다. 타당한 논증이란 전제가 참일 때 결론도 반드시 참인 논증입니다. 논리학은 좋은 논증과 나쁜 논증을 구별하는 도구를 제공합니다. 아리스토텔레스는 삼단논법을 통해 논리학을 체계화했습니다. 중세 논리학자들은 이를 더욱 발전시켰습니다. 프레게와 러셀은 논증을 표현하기 위해 형식 언어를 사용하고 결론을 도출하기 위한 추론 규칙을 사용하는 현대 기호 논리학을 개발했습니다. 논리학은 수학, 컴퓨터 과학, 언어학, 철학 등 다양한 분야에서 사용됩니다.

논리학은 심리학과 다릅니다. 논리학은 사람들이 실제로 어떻게 생각하는지가 아니라 규범적 원리를 연구합니다. 사람들은 종종 비논리적으로 추론하지만, 그렇다고 타당성에 필요한 요건이 바뀌는 것은 아닙니다. 논리학은 수사학과도 다릅니다. 수사학은 설득을 목표로 하고, 논리학은 증명을 목표로 합니다. 둘은 겹치는 부분이 있을 수 있지만, 엄연히 구별됩니다. 논리학에는 명제 논리, 술어 논리, 양상 논리, 시간 논리, 다치 논리 등 여러 분파가 있습니다. 각 분파는 고유한 기호, 규칙, 의미론을 가지고 있습니다. 논리학은 기하학처럼 형식 과학이며, 정확한 추론이 요구되는 모든 분야에 응용될 수 있습니다.

논리의 종류

• 명제론.
• 술어.
• 모달.
• 비공식.

논리는 세상에 대한 지식 체계가 아닙니다. 논리는 무엇이 무엇으로부터 도출되는지에 대한 지식 체계입니다.