논리학자 목록

철학
Left to right: 플라톤, 이마누엘 칸트, 프리드리히 니체, 석가모니, 공자, 이븐 시나 플라톤 칸트 니체 석가모니 공자 이븐 시나
철학자
미학자 인식학자 윤리학자 논리학자 형이상학자 사회와 정치 철학자
전통
대륙 아리스토텔레스 분석 불교 스콜라 실용주의 실존주의 이슬람 중국 플라톤
시대
고대 중세 근대 현대
문학
미학 인식학 윤리학 논리학 형이상학 정치 철학
분과
미학 인식론 윤리학 법철학 논리학 형이상학 정치철학 사회 철학
목록
색인 개요 연도 문제 발표 학설 용어사전 철학자
철학 포털

다음은 논리학자 목록이다.

ㄱ

ㄴ

ㄷ

ㄹ

ㅁ

ㅂ

ㅅ

ㅇ

ㅈ

ㅊ

ㅋ

ㅌ

ㅍ

ㅎ

외부 링크

The MacTutor History of Mathematics archive - very complete list of detailed biographies. Many logicians are included.
A Selection of Great Logicians with detailed bibliographies (in progress)

비형식 논리학

수리논리학

v t e 수리논리학
일반	형식 언어 Formation rule 형식 체계 형식 증명 형식 의미론 논리식 집합 원소 모임 고전 논리 공리 자연 연역 추론 규칙 관계 정리 논리적 결과 공리계 유형 이론 논리기호 통사 Theory
명사논리학	명제 추론 논증 타당성 Cogency 삼단논법 대당관계 벤 다이어그램
명제 논리 불 논리	불 함수 명제 논리 규범논리 논리 연산 진리표
술어 논리	1차 논리 양화 술어 2차 논리 Monadic predicate calculus
소박한 집합론	집합 공집합 원소 열거 외연성 무한 집합 부분집합 멱집합 가산 집합 비가산 집합 재귀 집합 정의역 공역 상 사상 함수 이항연산 순서쌍
집합론	수학기초론 체르멜로-프렝켈 집합론 선택 공리 General set theory 크립키-플레이텍 집합론 폰 노이만-베르나이스-괴델 집합론 모스-켈리 집합론 타르스키-그로텐디크 집합론
모형 이론	모형 해석 비표준 모형 유한 모형 이론 진릿값 타당성
증명 이론	형식 증명 연역 체계 형식 체계 정리 논리적 귀결 추론 규칙 구문
계산 가능성 이론	계산 가능성 이론 처치-튜링 논제 재귀 재귀 집합 재귀 열거 집합 결정 문제 정지 문제 계산 가능한 수 μ-재귀 함수 원시 재귀 함수

기타 논리 체계

논리학자