Questions tagged [type-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
3answers
78 views

Is type theory compatible with n-ary branching?

The question by curiousdannii and the extensive answer by lemontree here address the basic workings, advantages, and disadvantages of type theory. I have a related question in this area. As I ...
3
votes
2answers
77 views

Compositional Semantics of relative clauses

How do relative pronouns (which, who, invisible which= WH) fit into a sentences compositionality? Given that relative clauses modify Noun Phrases, I'd expect them to be of type <et,<et>> ...
3
votes
2answers
126 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 ...
3
votes
3answers
212 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 ...
0
votes
1answer
103 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 ...
3
votes
1answer
88 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 ...
4
votes
1answer
562 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 ...
2
votes
2answers
203 views

Are the following two versions of a meaning postulate of Montague Grammar equivalent?

Seem I can't use latex commands on here. Latex works on math.stackexchange, maybe it would be a good idea here as well if linguistics.stackexchange is intended to be a place for questions about formal ...