논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
Miller의 고전 논문은 절대 판단과 즉시 기억 폭을 구분하고 청킹이 정보 단위를 바꾸는 방식을 논했습니다. 유명한 숫자의 범위를 정확히 읽습니다.
The Magical Number Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information
인원·모둠·근거 묶음·시간·전후 기록 방식을 바꾸어 비교 가능한 근거 갱신 카드, 처리량과 빠진 쌍을 계산합니다.
Section 2: Explanation of Key Team Leadership Concepts and Tools
반대 이유·확인 질문·시범 범위를 선택하면 확인된 사실, 실행 조건과 남은 쟁점이 달라지는 가상 도입 대화를 연습합니다.
Crisis + Emergency Risk Communication by Leaders for Leaders
근거 범위·적용 대상·예외·중단 기준을 바꾸어 권고문의 강도와 빠진 안전장치를 확인하고, 단정적인 초고를 조건부 문장으로 고칩니다.
WHO handbook for guideline development, 2nd Edition
246–250 / 821편