분류논리학메타 문서논리학1. 논리학 일반 개념2. 비형식 논리학3. 형식 논리학4. 논리학자5. 기타6. 관련 문서 1. 논리학 일반 개념 논리학: 형식/비형식 논리 일반에 대한 개괄을 제공한다. 논증 추론 연역논증 귀납논증 명제 대우 역 이 증명 역설: 역설의 여러 예시를 소개하고 있다. 거짓말쟁이의 역설 더미의 역설 러셀의 역설 자기술어적과 비자기술어적 개념 정의 공리 진리치: 참, 거짓 필요조건과 충분조건 조건문 2. 비형식 논리학 논리적 오류: 일상 생활에서 등장하는 다양한 논리적 오류들을 구체적인 예를 들어 소개하고 있다. 삼단논법 정언삼단논법 변증법 순환논법 이율배반 자비의 원칙 궤변 딜레마: 딜레마의 여러 예시들을 소개하고 있다. 수사학 진영논리 Ad Hoc 안티테제 모순 흑백논리 오컴의 면도날 양비론 양시론 편견 및 고정관념 3. 형식 논리학 수리 논리학: 표준 논리(standard logic)의 기본적인 내용을 현대 논리학적 관점에서 소개한다. 수리 논리학/예비사항: 형식 논리학의 기초 개념과 관련된 논리학적, 언어철학적 사항들을 소개한다. 명제 논리 양화 논리 논리 연산: 공학적 관점에서 명제 논리(혹은 부울 대수)에 관한 내용을 소개한다. 귀류법 뢰벤하임-스콜렘 정리 존재성과 유일성 논리함수 불완전성 정리 P-NP 문제 Q.E.D. 컴팩트성 집합 ZFC 공리계 수학적 귀납법 양상논리 퍼지 논리 동치 동치관계 드 모르간의 법칙 불 논리 튜링 머신 정지 문제 존재함축 수학에서 쓰이는 약어들 벤 다이어그램 관계 이항 관계 함수 잘 정의됨 4. 논리학자 게오르크 칸토어 고트프리트 폰 라이프니츠 고틀로프 프레게 다비트 힐베르트 둔스 스코투스 루트비히 요제프 요한 비트겐슈타인 버트런드 러셀 솔 크립키 아리스토텔레스 알프레드 노스 화이트헤드 쿠르트 괴델 폴 코언 프랭크 램지 5. 기타 논리 퍼즐 기사와 건달 몬티 홀 문제 아인슈타인 퍼즐 아들 딸 문제 천사와 악마 6. 관련 문서 수학 관련 정보 철학 관련 정보 수학자 철학자