통합검색

논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?

대수적 논리는 문장의 관계를 연산 구조와 연결합니다. 참·거짓에 숫자를 붙일 때 계산 규칙까지 명확히 해야 하는 이유를 살펴봅니다.

Algebraic Propositional Logic

논리 기호의 뜻을 진리표 없이 설명할 수 있을까?

증명이론적 의미론은 논리 기호의 의미를 참값 표가 아니라 도입·제거 규칙에서 찾습니다.

Proof-Theoretic Semantics

증명과 프로그램이 같은 구조라고 말할 수 있을까?

Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.

Propositions as Types

같은 규칙에 찬성하려면 찬성하는 이유까지 같아야 할까?

공적 이성의 논쟁은 공동 규칙을 누구에게 어떤 이유로 정당화해야 하는지 묻습니다. 공통 이유와 서로 다른 이유의 수렴을 구별합니다.

Public Reason

입력 분포가 바뀌면 AI 오류도 같은 방식으로 늘어날까?

전체 정확도 82%가 66%로 같게 떨어져도 입력 구성 80·20→40·60의 변화와 조건별 정확도 90%→70%의 관계 변화는 다른 진단임을 비교합니다.