Questions tagged [logical-form]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
1answer
151 views

Every farmer who owns a donkey beats it - one more time on extending scope [duplicate]

Here is sentence: Every farmer who owns a donkey beats it Everyone claims that the following translation to first order logic is not correct (or maybe lacking consistency how quantifiers are ...
3
votes
1answer
38 views

directed graph representation of LF

I am a logician new to linguistics. I am curious if there has been any work on using the formalism of directed graphs (as opposed to, say, lambda-calculus or first-order logic) to represent LF of ...
4
votes
1answer
155 views

Do any spoken languages readily express boolean logic without ambiguity?

Anyone who has worked with programming knows that boolean logic is hard to express in english. Given the statement "A and B must be false", with no context one can understand the statement to mean A ...