형식 논리학

1. 개요

형식 논리학이란 말의 내용이 참인지보다, 그 말들이 어떤 꼴로 연결되어 결론에 이르는지를 따지는 논리학이다.¹ 명제의 참/거짓, 조건명제의 P→Q 방향, 전칭과 특칭의 범위, 논리적 타당성의 기준이 모두 이쪽에서 한 줄로 묶인다. 수능 독서에서는 연역 추론을 읽을 때 "전제가 참이면 결론도 반드시 따라오는가"를 확인하게 만드는 배경 개념이다. 배중률처럼 고전논리의 기본 원리를 함께 알아 두면, 지문 속 논리 구조가 훨씬 덜 흐릿해진다.

2. 상세

2.1. 내용보다 형식을 본다

형식 논리학은 주장 안에 담긴 소재가 과학인지, 법학인지, 일상 사례인지에 먼저 관심을 두지 않는다. 대신 전제와 결론이 어떤 형식으로 이어졌는지, 그 형식이 결론을 필연적으로 끌어낼 수 있는지를 본다.

예를 들어 어떤 지문이 법 조항을 설명하더라도, 선지가 실제 법 지식을 묻는 것이 아니라 P→Q의 방향을 바꾸었는지 묻는다면 그 문제는 형식 논리학의 감각으로 읽어야 한다.²

2.2. 타당성은 형식의 문제다

BG는 연역 추론의 핵심을 "전제로부터 결론을 형식적으로 필연 도출"하는 데 둔다. 이때 평가 기준이 타당성이다. 전제가 참이라고 놓았을 때 결론이 반드시 참이어야 한다면, 그 추론 형식은 타당하다고 볼 수 있다.

중요한 점은 타당성이 "내용이 실제로 참인가"와 곧바로 같은 말은 아니라는 것이다. BG도 타당한 추론은 논리 구조로 평가되지만, 실제 유용성은 전제의 참거짓에 달려 있다고 정리한다.

2.3. 고전에서 현대까지 이어지는 축

BG의 2차 심화 표는 형식 논리학을 아리스토텔레스의 고전 논리에서 현대 수리논리학으로 이어지는 흐름 속에 둔다. 여기서 학생이 붙잡을 핵심은 사상사 이름을 외우는 것이 아니라, 형식 논리학이 계속 "추론의 꼴"을 평가하는 쪽으로 작동한다는 점이다.³

3. 수능에서는 이렇게 나온다

BG의 출제 패턴에서 형식 논리학은 연역과 귀납의 비교, 조건명제 기호화, 전칭·특칭 판단과 함께 움직인다. 지문이 긴 철학사를 말하더라도 선지는 결국 "이 추론이 필연적인가", "조건의 방향이 바뀌었는가", "모든/어떤의 범위를 놓쳤는가"를 묻는 식으로 바뀐다.

실전에서는 문장을 읽자마자 소재를 따라가기보다, 먼저 전제와 결론을 분리한다. 그다음 P→Q, 모든 S는 P, 어떤 S는 P처럼 형식으로 낮추면 선지의 바꿔치기가 잘 보인다.

4. 헷갈리기 쉬운 것들

흔한 오해	왜 틀렸나	바르게 이해하기
형식 논리학은 내용이 전혀 중요하지 않다는 뜻이다	형식 논리학의 평가 초점이 형식이라는 말이지, 실제 판단에서 내용의 참거짓이 사라진다는 뜻은 아니다	타당성은 형식, 실제 유용성은 전제의 참거짓과 함께 본다
어려운 철학자 이름이 나오면 사상사 암기가 핵심이다	BG의 핵심은 이름보다 연역·조건명제·전칭 판단의 구조다	이름은 흐름 표시, 문제 해결은 형식 표시
P→Q를 감으로 읽어도 된다	BG의 함정 포인트는 기호화 없이 직관으로 풀다가 말리는 경우를 지적한다	복잡한 선지는 반드시 화살표로 고정한다4

5. 관련 개념

• 논리적 타당성 — 형식 논리학이 추론을 평가할 때 쓰는 핵심 기준.
• 명제 — 참/거짓 판단이 가능한 단위. 형식 논리의 출발점이다.
• 조건명제 — P→Q 방향을 통해 전건과 후건의 관계를 정리한다.
• 전칭과 특칭 — 문장이 어느 범위의 대상에 적용되는지 표시한다.
• 배중률 — 고전논리에서 명제가 참 또는 거짓 중 하나라고 보는 원리.
• 비형식 논리학 — 형식만이 아니라 내용의 진리와 인식론적 사고로 넘어가는 인접 축.

각주

1. 근거: KICE-DB bg_철학_논리학_인식론의 2차 심화 핵심 개념 표. ↩

2. 법학 지문도 조건 구조로 바뀌면 논리학 문제가 된다. 그래서 법조문 해석 같은 문서와도 연결된다. ↩

3. BG는 아리스토텔레스의 고전 논리와 현대 수리논리학을 같은 흐름 안에서 제시한다. ↩

4. "형식"이라는 말은 내용을 무시하라는 허가가 아니라, 먼저 뼈대를 잡으라는 신호다. ↩