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
Related Tags
formal-semantics × 59semantics × 32
logic × 10
computational-linguistics × 8
type-theory × 7
syntax × 6
montague-grammar × 6
grammar × 5
pragmatics × 5
reference-request × 4
grammar-formalism × 4
lambda-calculus × 4
theoretical-linguistics × 3
subordination × 3
mathematical-language × 3
entailment × 3
quantifiers × 3
lexical-semantics × 2
generative-grammar × 2
philosophy-of-language × 2
negation × 2
definiteness × 2
logical-form × 2
presupposition × 2
english × 1