통합검색

AI가 03/04/2026을 하나의 날짜로 확정해도 될까?

03/04/2026은 월/일/연이면 3월 4일, 일/월/연이면 4월 3일입니다. 입력과 순서를 바꾸며 해석·거부·정규화를 확인합니다.

앞 문장의 ‘한 사람’을, 다음 문장의 ‘그’는 어떻게 기억할까요?

흐룬데이크와 스토크호프의 「Dynamic Predicate Logic」(1991)을 따라, 문장의 뜻을 정보 상태 사이의 변화로 읽고 존재양화와 연언이 대명사의 선행 대상을 어떻게 전달하는지 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Jeroen Groenendijk · Martin Stokhof, Dynamic Predicate Logic (1991)

아리스토텔레스의 중간항은 결론에서 왜 사라질까?

두 보편 전제가 공유하는 중간항이 작은 항과 큰 항을 잇는 방식을 읽고, 전제를 빼며 반례 모형이 생기는지 직접 셉니다.

‘모두 제출했다’가 거짓이면 아무도 제출하지 않았을까?

네 사람의 제출 상태를 바꾸며 ‘모두가 아니다’, ‘어떤 사람은 아니다’, ‘아무도 아니다’의 관계를 반례로 확인합니다.

AI가 파일을 저장했는지 확인하려면 어떤 기록이 필요할까?

저장 요청, 저장 명령, 도구의 응답, 저장된 파일을 다시 확인한 기록을 비교합니다. 빠진 기록에 따라 무엇을 확인할 수 없는지 살펴봅니다.