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