Skip to main content

Questions tagged [formal-semantics]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
10 votes
3 answers
2k views

Textbooks in Formal Semantics / Montague semantics

I'm looking for a cheap, thorough but reasonably accessible introduction to formal semantics. There appear to be lots of options on the market. I assume there are plenty of experts in formal semantics ...
لويس العرب's user avatar
5 votes
3 answers
939 views

What explanatory advantages does so-called "type theory" have?

Some linguists use a theory called "type theory"; you can see it in a few questions on this site. Apparently it is based on the "type theory" of maths, logic, and computer science. Wikipedia's ...
curiousdannii's user avatar
  • 6,200
13 votes
2 answers
2k views

Besides logics, what mathematical tools are used in the study of linguistics?

I learned of connections between linguistics and category theory when I'm learning the application of category theory in quantum field theory. Being aware that axiomatic set theory (logics) is ...
David Sun's user avatar
  • 303
6 votes
1 answer
2k views

How is category theory applied in linguistics?

I am learning monoidal category applied in quantum information and quantum field theory, and several references say that monoidal category is somehow related to linguistics via Hopf algebra of quantum ...
David Sun's user avatar
  • 303
5 votes
1 answer
315 views

What is the difference between function and predicate?

I am currently watching videos on formal semantics in Youtube. I find that the terms function and predicate are used a lot and that what they mean is similar. Functions take one or more arguments, and ...
Buffoon's user avatar
  • 683
5 votes
1 answer
11k views

the difference between upward and downward entailment

How does one show the difference of an upward entailment between that of a downward entailment? I have tried doing examples where the negative polarity item is moved from the verb phrase to the noun ...
R.Moyo's user avatar
  • 51
4 votes
1 answer
2k views

The semantic type of and?

Semantic types meaning for example a verb being of type (e,t), or an individual/entity being of type e. I am confused in these two sentences, because I believe the semantic type of 'and' is different ...
Lyhbm's user avatar
  • 105
3 votes
1 answer
213 views

Solving type mismatch

I am doing a semantic derivation of the following sentence: Cathy and Fred drank three coffees. I know the types of each individual component but when trying to work towards t, I find a type ...
Lyhbm's user avatar
  • 105
3 votes
1 answer
405 views

Truth-conditions of predicate-logic formulas for donkey sentences

I'm current learning about compositional semantics, quantifier raising and scope ambiguity in my semantics class and I'm having trouble answering some questions. I've attempted to answer the questions ...
LizJu's user avatar
  • 31
0 votes
1 answer
72 views

Formal semantics of subordinate clauses (compound sentences) - in categorial and type logical grammars?

I am trying to apply combinatory categorial grammars and type logical grammars (Montague semantics etc.) to the compound sentences and the subordinate clauses. Are there efforts to develop those ...
TomR's user avatar
  • 499
0 votes
1 answer
202 views

"in relation to which" - what type of subordinated clause and is this conjunction somehow distinct?

I am trying to analyse the sentence: Building land is a plot of land in relation to which a construction permit has been issued. and my question is - what type of subordinated clause is introduced ...
TomR's user avatar
  • 499
-2 votes
2 answers
123 views

For arbitrary x: 'Predicate Constant'(x) vs ∃x ( 'Predicate Constant'(x) )

Source: p 348, Understanding Semantics (2 ed, 2013) by Sebastian Löbner We can now see why employment of an existential quantifier makes a big difference. Compare (31a) with the ‘naked’ (31b): ...
user avatar
-4 votes
2 answers
156 views

Why does not 'the x dislikes the y and the y is a fox' = 'the x dislikes the fox'?

Source: Understanding Semantics (2 ed, 2013) by Sebastian Löbner [p 333:] In the following, the Individual Variables are: x, y. The 1-place Predicate Constant is: fox. The 2-place Predicate ...
user avatar