주제별 자료 · 연구와 학습

논리의 기초와 역사

기초 개념부터 기존 역사 연재까지 한곳에서

학술 연구 15편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.

해외 학술 연구의 7개 분야

읽기 난이도자료 유형조건 초기화

논리의 기초와 역사15편

표시정렬

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 입문

앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.

forall x: Calgary, Chapter 10: Truth-functional connectives

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 입문

같은 기록 없음이 열린 세계에서는 미정, 닫힌 세계에서는 거짓이 되는 과정을 직접 바꾸며 자료 완전성 가정을 점검합니다.

On Closed World Data Bases

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

추론 규칙을 전제로만 계속 추가하면 적용을 위한 다음 규칙이 남습니다. 전제 추가와 실제 적용을 분리해 봅니다.

What the Tortoise Said to Achilles

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 심화

Kripke의 진리 이론을 통해 다른 문장에 의존하는 진리 판정이 단계적으로 안정되는 과정과 자기지시 문장의 미정 상태를 살펴봅니다.

Outline of a Theory of Truth

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 심화

Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.

Linear Logic

1–5 / 15편