통합검색

근거가 팽팽할 때 설득 부담은 결론을 어떻게 바꿀까?

근거 관계를 먼저 판정하고 미결정일 때만 설득 부담을 적용합니다. 부담의 위치와 하위 근거를 바꾸며 결론이 달라지는 조건을 확인합니다.

Burden of Persuasion in Argumentation

누구를 얼마나 믿을지는 왜 하나로 정해지지 않을까

윌리엄 코너는 복잡한 증언 상황에서 화자의 신뢰도를 판단할 때 어떤 비교 집단을 기준으로 삼는지가 중요하며, 증거가 하나의 신뢰 수준만을 결정하지 못할 수 있다고 논한다.

신뢰의 문제: 신뢰도·참조 집단·신뢰의 미결정성 (Trust Issues: Reliability, Reference Classes, and the Underdetermination of Trust)

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.

Gödel’s Incompleteness Theorems

언어모델과 정리증명기는 어디에서 역할을 나눌까?

LINC는 언어모델을 의미 파서로, 1차 논리 증명기를 판정기로 사용해 언어 이해와 형식 추론의 책임을 분리했습니다.

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

서로 모순된 기록이 있으면 어떤 결론이든 따라올까?

기록 가는 강의실 개방을, 기록 나는 강의실 미개방을 가리켜 붉은 충돌 지점에서 만난다. 구내식당 운영 노드는 연결되지 않아 미결정으로 남는다.