Complex Belief involving Variables

By Dennis J. Darland

December 19, 2007

Copyright © 2007 Dennis J. Darland

Consider:

Tom believes there is something that Bill believes about Mary.

(Er)belief_r(Tom,now,’belief_r’,’Bill’,’s’,’Mary’) & symbol_1(Tom,now,’belief_r’,belief_r) & symbol_0r(Tom.now,’Bill’,Bill) & symbol_0r(Tom,now,’Mary’,Mary) & variable_1r(Bill,now,’s’,r) & belief_r(Tom,now,Bill,now,(Ew)symbol_1r,w,r) & belief_r(Tom,now,symbol_0r(Bill,now,’Mary’,Mary)

This is simplifies the correct analysis is really:

(Ebr)(Ebll)(Emy)(Emy2)(Es)(Er)belief_r(Tom,now,br,bll,s,my2) & symbol_1(Tom,now,br,belief_r) & symbol_0r(Tom.now,bll,Bill) & symbol_0r(Tom,now,my2,Mary) & variable_1r(Bill,now,s,r) & belief_r(Tom,now,bll,now,(Ew)symbol_1r,w,r) & belief_r(Tom,now,(Emy)symbol_0r(blll,now,my,Mary)

I’m not quite sure this is right.