기초부터 철학·AI까지 · 12개 분야

논리학 배우기

문장을 정확히 읽는 것에서 시작해 추론을 검토하고, 그림으로 관계를 읽고, 철학과 인공지능의 논리까지 이어갑니다.

12개 분야를 차례로 배우거나, 지금 관심 있는 주제부터 시작할 수 있습니다.

노트북 앞에서 학습 지도를 살펴보는 사람과 책 위에서 함께 바라보는 작은 안경 쓴 갈색 올빼미

전체 구조

논리학, 이렇게 이어집니다

처음이라면 1단계부터 차례로 따라가 보세요. 앞에서 배운 관계가 다음 분야의 도구가 됩니다.

1단계

논리의 기본 언어

문장을 논리 구조로 바꾸는 첫 단계

  1. 01논리학 첫걸음
  2. 02명제논리
  3. 03집합과 범주
2단계

형식과 추론

대상과 관계를 표현하고 결론을 검사하는 단계

  1. 04술어논리
  2. 05증명과 반례
  3. 06오류론
3단계

현실의 판단

불확실성·그림·확장된 체계로 넓혀 가는 단계

  1. 07귀납·확률·인과
  2. 08시각논리
  3. 09확장된 논리학
4단계

논리를 넓혀 보기

철학·역사·인공지능으로 연결하는 단계

  1. 10철학적 논증
  2. 11논리학자와 표기
  3. 12AI와 논리학

학습 경로

나에게 맞는 길로 시작해 보세요

모든 사람이 같은 순서로 배울 필요는 없습니다. 목적에 따라 첫 진입점을 고를 수 있습니다.

처음 배우는 사람

처음부터 차근차근

기본 용어와 관계 읽기부터 시작해 논리식과 추론으로 이어갑니다.

첫걸음 → 명제논리 → 집합과 범주 → 술어논리처음부터 시작하기
논능검을 준비하는 사람

문제를 풀기 위한 논리

문장을 구조로 바꾸고, 추론의 타당성과 반례를 빠르게 찾는 힘을 기릅니다.

첫걸음 → 명제논리 → 술어논리 → 증명과 반례 → 오류론 → 시각논리시험 중심으로 배우기
재미있는 주제부터 보고 싶은 사람

관심 있는 곳에서 시작하기

그림, 철학, 인공지능처럼 흥미로운 주제에서 논리를 만나도 됩니다.

시각논리 · 철학적 논증 · AI와 논리학관심 분야 고르기

12개 분야

필요한 분야를 골라 배우기

순서대로 배워도 좋고, 지금 필요한 내용을 골라 시작해도 좋습니다.

01
입문7단계

논리학 첫걸음

주장과 이유, 전제와 결론, 참과 타당성, 구조 읽기와 반례를 7단계로 익힙니다.

처음 배우는 분에게 추천이 분야 시작하기
다음 · 명제논리
02
입문8단계

명제논리

명제와 진리값, 부정·그리고·또는·조건문, 진리표, 괄호와 논리적 동치를 8단계로 익힙니다.

첫걸음 다음에 추천이 분야 시작하기
다음 · 집합과 범주
03
입문8단계

집합과 범주

원소와 집합, 포함·겹침·배제, 범주 문장, 벤·오일러 다이어그램, 삼단논법과 반례를 8단계로 익힙니다.

이 분야 시작하기
다음 · 술어논리
04
기본8단계

술어논리

논의 영역과 대상, 술어와 관계, 모든·어떤 양화사, 부정, 적용 범위, 양화사 순서와 동일성을 8단계로 익힙니다.

명제논리를 먼저 보면 더 쉬워요이 분야 시작하기
다음 · 증명과 반례
05
기본8단계

증명과 반례

증명의 목표와 추론 규칙, 직접 증명, 조건부 증명, 경우 나누기, 귀류법, 반례와 반례 모델을 8단계로 익힙니다.

이 분야 시작하기
다음 · 오류론
06
기본8단계

오류론

오류 판정 기준, 형식·관련성·전제·애매성·귀납·인과 오류, 진단 절차와 논증 고쳐쓰기를 8단계로 익힙니다.

이 분야 시작하기
다음 · 귀납·확률·인과
07
응용8단계

귀납·확률·인과

연역과 귀납, 일반화와 표본, 확률과 기저율, 가설과 증거, 상관과 인과, 교란과 개입, 결론의 강도를 8단계로 익힙니다.

이 분야 시작하기
다음 · 시각논리
08
응용8단계

시각논리

관계 읽기, 관계로 추론하기, 표현이 바뀌어도 같은 논리를 찾는 법을 논증도·벤·오일러·플로우차트·결정 다이어그램·인과 그래프·카르노 맵·존재그래프와 함께 8단계로 익힙니다.

이 분야 시작하기
다음 · 확장된 논리학
09
확장8단계

확장된 논리학

양상논리, 시간논리, 다치·퍼지논리, 직관주의 논리, 모순허용 논리, 관련성 논리와 체계 선택 기준을 8단계로 익힙니다.

명제·술어논리를 알고 보면 더 쉬워요이 분야 시작하기
다음 · 철학적 논증
10
확장8단계

철학적 논증

논증 읽기, 개념 분석과 사고실험, 신 존재 논증, 악의 문제, 자유의지, 인격과 정체성, 회의주의와 논증 평가를 8단계로 익힙니다.

이 분야 시작하기
다음 · 논리학자와 표기
11
확장8단계

논리학자와 표기

아리스토텔레스, 불, 프레게, 퍼스, 페아노·러셀·화이트헤드와 현대 논리 표기의 변화를 8단계로 익힙니다.

이 분야 시작하기
다음 · AI와 논리학
12
종합8단계

AI와 논리학

기호추론, 자동증명, 제약·탐색, 확률추론, 신경기호 결합, 언어모델의 추론, 검증과 사람의 판단을 8단계로 익힙니다.

앞 분야를 자유롭게 연결해 보는 종합 영역이 분야 시작하기
12개 분야 학습 완료

한 강씩 더 깊이

논리학 사용 설명서

하나의 개념을 짧은 수업으로 나누어 그림과 문제를 직접 움직이며 익힙니다.

12개 분야논리학 전체의 지도를 보고 분야별 핵심을 한 번에 익힙니다.
사용 설명서 16강한 개념씩 더 자세하게 연습하고 직접 확인합니다.
16개의 세부 수업
12345678
개념을 한 강씩 깊게 연습합니다

배운 것을 더 넓혀 보기

읽고, 그리고, 실험해 보세요

12개 분야에서 익힌 관계를 다른 자료와 활동으로 다시 만나 봅니다.