코드를 읽고 설명하면, 합격합니다
이 레슨과 관련된 학습 키워드
세상을 바꾼 생각들 → 생각의 기초
논리(Logic)는 올바른 추론의 규칙과 원리를 연구하는 학문입니다. 철학, 수학, 과학, 법학, 컴퓨터 과학 등 모든 지적 활동의 토대를 이루는 "사고의 문법"이라 할 수 있습니다.
왜 논리가 중요한가? 우리가 내리는 모든 판단, 결정, 주장은 — 의식하든 아니든 — 전제에서 결론을 이끌어내는 추론 과정을 거칩니다. 논리학은 이 추론이 타당한지 아닌지를 판별하는 객관적 기준을 제공합니다.
역사적으로 아리스토텔레스(BC 384-322)가 형식 논리학의 체계를 처음 수립했고, 이후 스토아학파의 명제 논리, 라이프니츠의 보편 기호법, 프레게의 술어 논리(1879), 러셀-화이트헤드의 Principia Mathematica(1910-1913), 괴델의 불완전성 정리(1931), 튜링의 계산 이론(1936)으로 이어졌습니다.
논리학의 핵심 질문:
논리는 세 가지 차원에서 모든 학문을 떠받칩니다:
1) 형식적 차원: 수학 증명, 프로그래밍 로직, 알고리즘 검증
2) 비형식적 차원: 논쟁에서 오류 식별, 정책 토론 분석, 미디어 비판
3) 인식론적 차원: 지식의 정당화 구조, 과학적 방법론의 기반
여러분, 오늘은 철학의 핵심 도구인 논리와 추론을 다뤄봅시다.
논리학은 올바른 사고의 규칙을 연구하는 학문이에요.
슬라이드를 보면, 논리학이 중앙에 놓여 있고 여섯 개 분야가 연결되어 있습니다.
논리학은 철학의 다른 모든 분야를 떠받치는 기반이에요.
왼쪽 위를 보세요. 수학은 공리에서 출발해 정리를 증명하죠.
증명이라는 행위 자체가 논리적 추론의 연쇄입니다.
그 옆 철학 박스를 보면, 인식론과 존재론이 적혀 있어요.
지식이 진짜 지식인지 따지려면, 정당화 구조가 논리적이어야 합니다.
오른쪽의 자연과학은 가설-검증 방법론을 씁니다.
여기서 가설에서 예측을 끌어내는 과정이 바로 연역이에요.
극우 상단의 컴퓨터 과학을 보세요.
불 대수, 튜링 머신, 인공지능 — 전부 논리학 위에 세워졌습니다.
아래쪽 법학은 판례 추론과 유추를 통해 판결을 내리고요.
언어학은 문장의 참과 거짓 조건을 분석합니다.
결국 모든 학문은 전제에서 결론을 이끌어내는 추론을 핵심으로 합니다.
하단 타임라인을 보면, 아리스토텔레스부터 현대 AI까지 논리학의 역사가 이어져요.
기원전 384년 아리스토텔레스가 삼단논법을 정리한 것이 시작이었죠.
1879년 프레게, 1931년 괴델을 거쳐 1936년 튜링이 계산 이론을 만들었습니다.
논리는 단순한 철학 분과가 아니라, 인류 지식 전체의 뼈대예요.
이 레슨에서 우리는 그 뼈대를 직접 해부해볼 겁니다.
증명, 논증, 오류, 그리고 추론의 세계로 함께 들어갑시다.