통합검색

결론이 맞아도 추론은 틀릴 수 있을까?

맞는 말을 했다는 사실과 그 말을 뒷받침했다는 사실은 다릅니다. 전제와 결론 사이에서 반례가 하는 일을 살펴봅니다.

Logical Consequence

‘아직 모름’을 거짓으로 처리해도 될까?

참·거짓에 미정을 더하면 ‘그리고’와 ‘또는’은 어떻게 달라질까요? 다치논리의 한 체계를 정확히 제한해 살펴봅니다.

Many-Valued Logic

시각화가 틀리면 어느 단계부터 다시 봐야 할까?

Munzner의 중첩 모형은 시각화의 네 설계 층을 나누고, 위층의 오해가 아래층의 정교한 구현까지 연쇄적으로 무효화할 수 있음을 보입니다.

A Nested Model for Visualization Design and Validation

한 연구의 결과는 누구에게까지 적용할 수 있을까?

한 도시의 성인 80명에게서 본 6점 차이를 사람·장소·시간 축으로 어디까지 넓힐 수 있는지 따집니다.

AI의 설명과 내부 계산은 같을까?

공개 연구의 관계 추론 사례를 따라가며 관찰·개입·해석의 차이를 읽습니다.