연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
게르하르트 겐첸의 「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)
응답 방식·조건 충족·요청자의 확인을 바꾸어 확인된 사실, 성립한 합의, 남은 조건과 다음 발화를 갱신합니다.
Alternative Dispute Resolution Techniques: Negotiating Conditions
141–145 / 1399편
