Skip to main content

Questions tagged [lambda-calculus]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
3 answers
3k views

What is the relationship between lambda calculus and logical form?

I was introduced to lambda calculus as a notation to express the semantics of a phrase, based on the semantics of its parts. I am under the impression lambda calculus does more than that, but I don’t ...
mac389's user avatar
  • 215
4 votes
1 answer
137 views

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

We have encountered this question when we try to read Heim and Kratzer's book. This following picture is taken from Heim & Kratzer (1998: 40). Our answers are simply based on the subscripts: (a) ...
Yili Xia's user avatar
  • 653
4 votes
1 answer
315 views

Is lambda calculus only applicable if syntax trees are binary branching?

Lambda expressions are evaluated "hierarchically"--we resolve functions in the daughter node before we resolve functions in the mother node. In a given constituency, a sister node may define a ...
RECURSIVE FARTS's user avatar
2 votes
2 answers
145 views

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

I know people have used lambda terms which "compile into" first-order logic, but based on what I have seen that is not particularly great for representing complex sentences with causal or temporal ...
lightning's user avatar
  • 345
2 votes
1 answer
586 views

Representing prepositions in lambda calculus/logic notation

How would I represent 'for' in "Are you here for a conference?" conference could be represented as lam x.conference(x). a conference could be represented as lam Q x.(conference(x) & Q(x)) I ...
mac389's user avatar
  • 215
2 votes
0 answers
304 views

Is there a way to express a negation modifier in lambda calculus?

I want to model the Middle High German sentence "Ih néhabo niêht in geméitun sô uuîlo geuuêinot" that can be glossed as "I Neg-have not-at-all in vain so much cried" meaning "I have not at all cried ...
nora's user avatar
  • 29
1 vote
1 answer
248 views

logic symbol for 'unlike, differing from'

I'd like to express 'unlike, differing from', in an 'academic/professional' fashion using logic symbol(s) or mathematical operators. The descriptions of the corresponding Unicode block seem to show ...
GJC's user avatar
  • 275
1 vote
3 answers
144 views

Parsing with CCGs - lambda part

I am following this video tutorial, starting 6th minute I would like to parse the following sentence square blue or round yellow pillow. For now I am interested in only how square and blue are ...
user1700890's user avatar
0 votes
1 answer
140 views

The determiner "a" in lambda form

In the sentence: A man loves Mary The lambda notation of the determiner 'a' is: λY.λX.∃z.Y(z)∧X(z) What about the general determiner 'a'? Is the lambda notation the same? or it should be: λX.∃z....
Alireza M. Kamelabad's user avatar
0 votes
1 answer
89 views

Gapping in Lambda Expressions?

I am having some trouble understanding how lambda-calculus works for gapping. How do you create a representation for "John bought and Bill cooked the turkey"? EDIT-- I realize this was RNR. For a ...
user11057's user avatar
0 votes
1 answer
346 views

Converting types into lambda notation and set notation

I am looking into different phrases and their semantic derivation. For example, the verb sneeze: Type (e,t) λx[SNEEZE]x In a sentence like: Michael and Jamie sneeze, I would like to know how to get ...
Lyhbm's user avatar
  • 105
0 votes
2 answers
341 views

How to represent a dative verb in first order logic?

I understand that the representation of an intransitive verb, V in lambda calculus would be lambda x. V(x), where x is the subject. How do I represent an intransitive verb followed by a ...
mac389's user avatar
  • 215