On Understanding
By Dennis J. Darland
June 2, 2007
Revised December 19, 2007
Copyright © 2007 Dennis J. Darland
S understands R(a,b,c) at time t can be defined simply as:
($w)($x)($y)($z)
· & Symbol_1r(S,t,w,R)
· & Symbol_0r(S,t,x,a)
· & Symbol_0r(S,t,y,b)
· & Symbol_0r(S,t,z,c)
IN OTHER SYMBOLS
(Ew)(Ex)(Ey)(Ez)
· & Symbol_1r(S,t,w,R)
· & Symbol_0r(S,t,x,a)
· & Symbol_0r(S,t,y,b)
· & Symbol_0r(S,t,z,c)
Belief implies understanding.
See http://dennisdarland.com/philosophy/naming.html
Ii is similar for other propositional attitudes such as wishing, hoping etc.
I thing these will generally imply understanding, and be similar structurally to belief, although representing different relations to the objects.
Back to Top http://dennisdarland.com/philosophy/index.html