최근 수정 시각 : 2022-09-19 19:01:06

논리학 관련 정보



1. 논리학 일반 개념2. 형식 논리학3. 비형식 논리학4. 논리학자5. 기타6. 관련 도서7. 관련 학문

1. 논리학 일반 개념

논리학
Logics
{{{#!wiki style="margin: -0px -10px -5px; min-height: 28px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -6px -1px -11px; letter-spacing: -1px; word-break: keep-all"
<colbgcolor=#2ab5b5><colcolor=#fff> [[논리학#s-2.1|{{{#!wiki style="margin: 0 -8px"]] 명제 논리( 삼단논법 · 순환논법) · 공리 · 진리치 · 술어 논리 · 논증( 논증의 재구성) · 모순 · 역설 · 논리적 오류( 논리적 오류/형식적 오류)
<colcolor=#000,#fff> [[논리학#s-2.1.2|{{{#!wikistyle="margin: 0 -8px"]] 직관 논리 · 양상논리 · 초일관 논리 · 다치논리( 퍼지 논리) · 선형논리 · 비단조 논리
[[논리학#s-2.1.3|{{{#!wiki style="margin: 0 -8px"]] 집합론 · 계산 가능성 이론 · 모형 이론 · 증명 이론 · 계산 복잡도 이론 · 불완전성 정리
[[논리학#s-2.2|{{{#!wiki style="margin: 0 -8px"]] 딜레마( 흑백논리) · 논리적 오류/비형식적 오류( 양비론 · 진영논리 · 편견 및 고정관념 · 궤변)
분야 논리철학 · 수리논리학
관련 문서 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 · 수리논리학 둘러보기
}}}}}}}}} ||
  • 논리학: 형식/비형식 논리 일반에 대한 개괄을 제공한다.

2. 형식 논리학

수학기초론
Foundations of Mathematics
{{{#!wiki style="margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
{{{#!wiki style="letter-spacing: -1px"
다루는 대상과 주요 토픽
수리논리학 논리 · 논증{ 귀납논증 · 연역논증 · 귀추 · 유추} · 공리 및 공준 · 증명{ 자동정리증명 · 귀류법 · 수학적 귀납법 · 반증 · PWW} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문( 조각적 정의) · 명제 논리( 명제 · 아이버슨 괄호 · · · 대우) · 양상논리 · 술어 논리( 존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론
집합론 집합( 원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계( 동치관계 · 순서 관계) · 순서쌍( 튜플) · 서수( 하세 다이어그램 · 큰 가산서수) · 수 체계 · ZFC( 선택공리) · 기수( 초한기수) · 절대적 무한
범주론 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성
계산가능성 이론 계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수
정리
드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 불완전성 정리 · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리
기타
예비사항( 약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학 · 논리학 둘러보기 · 이산수학·수리논리학 둘러보기 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 }}}}}}}}}}}}


3. 비형식 논리학

4. 논리학자

5. 기타

6. 관련 도서

7. 관련 학문