[[분류:논리학]][[분류:메타 문서]]

[목차]
== 개요 ==
논리학에 대해 서술하는 문서.

== 논리학 일반 개념 ==
[include(틀:논리학)]
 * [[논리학]]: 형식/비형식 논리 일반에 대한 개괄을 제공한다.

 * [[개념]]
 * [[공리]]
 * [[논증]]
  * [[귀납논증]]
  * [[연역논증]]
  * [[추론]]
 * [[대우#s-4|대우]]
 * [[명제]]
 * [[역#s-2.1|역]]
 * [[모순]]
  * [[아포리아]]
  * [[이율배반]]
 * [[역설]]: 역설의 여러 예시를 소개하고 있다.
  * [[거짓말쟁이의 역설]]
  * [[더미의 역설]]
  * [[러셀의 역설]]
  * [[자기술어적과 비자기술어적]]
 * [[이#s-2.2|이]]
 * [[정의]]
 * [[조건문]]
 * [[증명]]
 * [[진리치]]: [[참]], [[거짓]]
 * [[필요조건과 충분조건]]
 * [[논리적 오류]]
  * [[논리적 오류/형식적 오류]]
  * [[논리적 오류/비형식적 오류]]:일상 생활에서 등장하는 다양한 논리적 오류들을 구체적인 예를 들어 소개하고 있다.

== 형식 논리학 ==
[include(틀:수학기초론)]

 * [[수리논리학]]: 표준 논리(standard logic)의 기본적인 내용을 현대 논리학적 관점에서 소개한다.
  * [[수리논리학/예비사항]]: 형식 논리학의 기초 개념과 관련된 논리학적, [[언어철학]]적 사항들을 소개한다.
  * [[명제 논리]]
  * [[양화 논리]]
  * [[논리 연산]]: [[공학]]적 관점에서 [[명제 논리]](혹은 부울 대수)에 관한 내용을 소개한다.

 * [[P-NP 문제]]
 * [[Q.E.D.]]
 * [[ZFC 공리계]]
 * [[관계]]
  * [[이항 관계]]
  * [[함수]]
 * [[귀류법]]
 * [[논리함수]]
 * [[동치]]
  * [[동치관계]]
 * [[드 모르간의 법칙]]
 * [[뢰벤하임-스콜렘 정리]]
 * [[벤 다이어그램]]
 * [[불 논리]]
 * [[불완전성 정리]]
 * [[수학에서 쓰이는 약어들]]
 * [[수학적 귀납법]]
 * [[양상논리]]
 * [[잘 정의됨]]
 * [[존재성과 유일성]]
 * [[존재함축]]
 * [[집합]]
 * [[컴팩트성]]
 * [[튜링 머신]]
  * [[정지 문제]]
 * [[퍼지 논리]]

== 비형식 논리학 ==

 * [[Ad Hoc]]
 * [[궤변]] 
 * [[딜레마]]: 딜레마의 여러 예시들을 소개하고 있다.
 * [[변증법]]
  * [[아우프헤벤]]
 * [[삼단논법]]
  * [[정언삼단논법]]
 * [[수사학]]
 * [[순환논법]]
 * [[안티테제]]
 * [[양비론]]
 * [[양시론]]
 * [[오컴의 면도날]]
 * [[자비의 원칙]]
 * [[진영논리]] 
 * [[편견 및 고정관념]]
  * [[이돌라 설]]
 * [[흑백논리]]

== 논리학자 ==
 * [[게오르크 칸토어]]
 * [[고트프리트 폰 라이프니츠]]
 * [[고틀로프 프레게]]
 * [[다비트 힐베르트]]
 * [[둔스 스코투스]]
 * [[루트비히 비트겐슈타인]]
 * [[버트런드 러셀]]
 * [[솔 크립키]]
 * [[아리스토텔레스]]
 * [[알프레드 노스 화이트헤드]]
 * [[월터 피츠]]
 * [[쿠르트 괴델]]
 * [[폴 코언]]
 * [[프랭크 램지]]
 * [[앨런 튜링]]
== 기타 ==
 * [[퍼즐|논리 퍼즐]]
  * [[기사와 건달]]
  * [[몬티 홀 문제]]
  * [[아들 딸 문제]]
  * [[아인슈타인 퍼즐]]
  * [[천사와 악마(논리)|천사와 악마]]

== 관련 도서 ==
 * [[논리야 놀자]]

== 관련 학문 ==
 * [[수사학]]
 * [[수학 관련 정보]]
  * [[수학자]]
 * [[철학 관련 정보]]
  * [[철학자]]

[[분류:논리학]]