논리학 관련 정보

덤프버전 :



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


1. 개요[편집]


논리학에 대해 서술하는 문서.


2. 논리학 일반 개념[편집]




  • 논리학: 형식/비형식 논리 일반에 대한 개괄을 제공한다.



3. 형식 논리학[편집]


수학기초론
Foundations of Mathematics


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









4. 비형식 논리학[편집]





5. 논리학자[편집]



6. 기타[편집]




7. 관련 도서[편집]




8. 관련 학문[편집]




파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-11-20 02:03:00에 나무위키 논리학 관련 정보 문서에서 가져왔습니다.