Skip to main content

Questions tagged [type-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
3 answers
947 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,218
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
2 answers
769 views

Compositional semantic: Type of conjunctions

My question is in regard to semantic type theory in connection with syntax. I understand the underlying structure of what type a certain type of phrase is ( i.e., proper names are <e>, verbs can ...
BritishLinguist's user avatar
2 votes
1 answer
89 views

What is the type and lambda denotation of the disjunction 'or' in the phrase 'five girls or boys run' using the generalised quantifier theory? [closed]

'Five girls and boys' I wonder what the denotation and type is of the disjunction 'or' in this phrase. I have 'five' as type <e,t><e,t>t> and the denotation as λPλQ[|P ∩ Q|= 10], but I ...
Marie's user avatar
  • 21