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

관심 주제로 찾아보기
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
스탠퍼드 철학백과의 부정 항목을 바탕으로 논리적 부정, 자연언어의 부정, 거부 행위를 구별하고 ‘참이 아니다’와 ‘반대편이 참이다’ 사이의 간격을 살펴봅니다.
Negation

핵심 근거는 2개로 같은 60단어·180단어 답을 길이 보너스 규칙과 근거 루브릭으로 채점해 선택이 뒤집히는 과정을 확인합니다.

같은 다섯 점에서 Pearson 상관계수와 산점도 모양을 나란히 읽어, 0의 의미와 숨은 비선형 관계를 구분합니다.
기본형 24÷4=6, 색 정보 추가형 24÷4=6, 8개 보관 조건 변경형 (24-8)÷4=4. 무관 정보와 실제 조건 변경을 구별한다.
1–5 / 5편