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

관심 주제로 찾아보기
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
Miller의 고전 논문은 절대 판단과 즉시 기억 폭을 구분하고 청킹이 정보 단위를 바꾸는 방식을 논했습니다. 유명한 숫자의 범위를 정확히 읽습니다.
The Magical Number Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information
E-value는 관찰연구의 결과를 설명해 없애려면 측정하지 못한 교란이 노출·결과와 얼마나 강하게 연관돼야 하는지 위험비 척도로 묻습니다.
Sensitivity Analysis in Observational Research: Introducing the E-Value
완성 풀이가 초보자의 탐색 부담을 줄이는 이유와, 예시를 연습 문제·자기설명·점진적 빈칸과 연결해야 하는 이유를 종합 연구에서 살펴봅니다.
Learning from Examples: Instructional Principles from the Worked Examples Research
인원·모둠·근거 묶음·시간·전후 기록 방식을 바꾸어 비교 가능한 근거 갱신 카드, 처리량과 빠진 쌍을 계산합니다.
Section 2: Explanation of Key Team Leadership Concepts and Tools
421–425 / 2408편