이름을 말할 수 있으면 그 대상도 반드시 존재할까?

그림에서 무엇을 볼까요?

이름 U가 실제 대상을 가리키는 경우와 빈 이름인 경우를 갈라 존재 일반화 허용 여부를 비교한 흐름도.

LTCT 가상 목록에 ‘푸른 유니콘 U는 전시품이다’라는 문장이 있다고 합시다. 목록에서 U가 실제 물품 번호를 가리키는지 확인하지 않았다면 ‘전시품인 어떤 것이 존재한다’고 바로 결론내리기 어렵습니다. 아래 활동에서 이름의 지시 여부와 자유논리 방식을 바꾸면 존재 일반화가 허용되는 조건이 달라집니다.

이 활동은 음의·양의 자유논리 전체 의미론을 구현하지 않습니다. 빈 이름이 들어간 원자문장의 취급과 존재 결론을 분리하는 작은 교육 모형입니다. U가 실제 등록 번호를 가리키면 존재 조건을 충족해 일반화할 수 있고, 그렇지 않으면 결론을 보류합니다.