# Tag Info

### logic symbol for 'unlike, differing from'

(Why is there still no MathJax support for this SE?! Googling and copy-pasting unicode symbols every time you want to talk about semantics is really annoying.) What you want to say is basically ¬φ(a)...
• 6,540
Accepted

### Should λ-terms all be easily translated back into natural language syntax?

(a) is the denotation for gray proposed in (11) on p. 66. Its type is (et)et so that when applied to cat with type et we get gray cat with type et as well. In (b) we have a predicate f of which Ann is ...
• 4,394
Accepted

### The determiner "a" in lambda form

Perhaps "a" is an ambiguous reduced form derived from either (any) or (some). Thus "A man loves Mary" could be from either "Any man loves Mary" or "Some man loves Mary". Note the ambiguity of "Mary ...
• 12.5k

### What is the best/state-of-the-art logic for representing English language?

The wording of your question seems to imply an equivalence between first order predicate logic and higher order logics. They are not equivalent. First order predicate logic was shown to be ...
• 12.5k

### Parsing with CCGs - lambda part

I'll leave the lambdas to you, but you might like to know the syntactic structure. It is a RNR (right node-raising) construction, with "pillow" the raised node. The intonation I think makes that ...
• 12.5k
1 vote
Accepted

### Parsing with CCGs - lambda part

square = λf.λx.f(x) ^ square(x) blue = λg.λy.g(y) ^ blue(y) square ° blue (1) = λh.square(blue(h)) (2) = λh.[λf.λx.f(x) ^ square(x)]([λg.λy.g(y) ^ blue(y)](h)) (3) = λh.[λf.λx.f(x) ^ square(x)](λy.h(...
• 447
1 vote

### Parsing with CCGs - lambda part

Your computation is correct, and the video simply shows the wrong result. The order square(x) ^ blue(x) comes from the fact that squared is applied to blue where blue will be substituted for f in the ...
• 6,540
1 vote

### Converting types into lambda notation and set notation

As for and: You got your lambda term for and wrong. Either you mean coordination between subject DPs ("Mary and John sneeze") then your lambda term is λP[λx[λy[P(x)^P(y)]]], with just one ...
• 6,540
1 vote

### What is the best/state-of-the-art logic for representing English language?

I'd recommend looking at Jerry Hobbs' way of parsing and representing English, it's one of the most elaborate ones when it comes to logic and commonsense representation: Jerry Hobbs: "Discourse and ...
• 2,590

Only top scored, non community-wiki answers of a minimum length are eligible