New answers tagged formal-semantics
1
Note 1: this sounds like a homework problem, so I'm going to try to give guidance toward the answer instead of just giving an answer outright.
Note 2: writing out the types of all the variables gets messy, so for the purposes of this answer, x is a variable of type e, p is a variable of type t, and P is a variable of type ⟨e,t⟩.
So I would write the ...
1
Could we be looking at this from a different or incorrect view, but I do not think you are contradicting yourself.
I read your comment about "I don't know that John kissed Mary." to mean...
You as a person, could have been asked "Why did John kiss Mary" you could reply " I don't know that John kissed Mary." Implying that you ...
Top 50 recent answers are included
