Fhev F: _는 _이_보다 높다고 착각한다 h:그 e:에펠탑 v:에베레스트
좀더 구체적으로는 인식논리 필요함
H:_가_보다 높다 e:에펠탑 v:에베레스트 Hev 가 포함되게 하고 싶은가 본데 이 문장은 프레게의 따르면 '비일상적으로 나타난'거기 때문에 그런식으론 안됨 적어도 1차 술어논리에선
doxastic logic을 검색해 보시길. 양상 논리의 한 변형임.
Fhev F: _는 _이_보다 높다고 착각한다 h:그 e:에펠탑 v:에베레스트
좀더 구체적으로는 인식논리 필요함
H:_가_보다 높다 e:에펠탑 v:에베레스트 Hev 가 포함되게 하고 싶은가 본데 이 문장은 프레게의 따르면 '비일상적으로 나타난'거기 때문에 그런식으론 안됨 적어도 1차 술어논리에선
doxastic logic을 검색해 보시길. 양상 논리의 한 변형임.