ext_6219 ([identity profile] gareth-rees.livejournal.com) wrote in [personal profile] nameandnature 2009-04-28 09:20 am (UTC)

I think the natural way to translate "my wife loves me" into logical form is
∃X: wife(X, me) ∧ loves(X, me)
and not, as you suggest above
∀X: wife(X, me) → loves(X, me)
because pragmatically speaking, referring to "my wife" is a claim that she exists.
(8 comments)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.