논리 기호의 뜻을 진리표 없이 설명할 수 있을까?
증명이론적 의미론은 논리 기호의 의미를 참값 표가 아니라 도입·제거 규칙에서 찾습니다.
Proof-Theoretic Semantics
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
증명이론적 의미론은 논리 기호의 의미를 참값 표가 아니라 도입·제거 규칙에서 찾습니다.
Proof-Theoretic Semantics
논리적 타당성, 청중 설득, 대화의 공정성은 서로 다른 질문입니다. 15개 차원의 논증 품질 분류를 평가표로 읽습니다.
Computational Argumentation Quality Assessment in Natural Language
그림과 도식으로 보는 논리의 세계 · 다양한 문화가 남긴 그림과 도식을 따라가며 시각 논리의 역사를 읽습니다. 관계도, 논증 지도, 진리표와 그래프를 살피고, 직접 그리며 추론을 검토하는 책입니다.
고전 진리표에서 A가 참이면 A→¬A는 거짓, A가 거짓이면 참. 연결 논리의 아리스토텔레스 논제와 구별하여 표시.
도입 → A와 B → A∧B / 조화 → 넣은 정보 → 회수 / 제거 → A∧B → A 또는 B를 비교하는 LTCT 교육용 도식
11–15 / 18편