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