기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 78편 · 기초 개념 52편 · 역사 연재 57편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
게르하르트 겐첸의 「Untersuchungen über das logische Schließen」 I–II(1935)를 따라, 자연연역과 시퀀트 계산에서 컷 제거와 부분식 성질이 증명의 정보를 어떻게 드러내는지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gerhard Gentzen, Untersuchungen über das logische Schließen I–II (1935)
게르하르트 겐첸의 「Die Widerspruchsfreiheit der reinen Zahlentheorie」(1936)를 따라, 산술 증명에 ε₀ 아래 순서수 표기를 붙이고 환원 때마다 값이 감소한다는 사실에서 무모순성을 얻는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie (1936)
예룬 흐룬데이크의 「The Logic of Interrogation: Classical Version」(1999)을 따라, 질문이 가능세계들을 답의 대안으로 나누고 관련 있는 답이 쟁점을 줄이는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Jeroen Groenendijk, The Logic of Interrogation: Classical Version (1999)
얀 우카시에비치의 「O logice trójwartościowej」(1920)를 따라, 두 값만으로 가능성을 다룰 때 생기는 문제에서 세 값 0·2·1의 동일성·함의 규칙과 고전 법칙의 변화를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Jan Łukasiewicz, O logice trójwartościowej (1920)
알프레트 타르스키의 《Pojęcie prawdy w językach nauk dedukcyjnych》(1933)를 따라, 대상언어와 메타언어를 나누고 만족 관계에서 진리 정의와 자기진리의 한계를 세우는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Alfred Tarski, Pojęcie prawdy w językach nauk dedukcyjnych (1933)
66–70 / 187편
