# Tag Info

Accepted

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

I can't see the sense in reducing everything in a language to either an "e" or a "t". Maybe this is a good place to start. Type theory (more accurately: so-called simple type ...
• 6,509
Accepted

### Intuitionistic type theory in linguistics

It's really nice to know that there are some other guys who are interested in type-theoretical semantics. I will give you some advice and references that might be interesting. First, there is a ...
• 99

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

Type theory avoids the paradoxes in set theory that were discovered early in the last century, e.g. Russell's paradox. It is not the only way to avoid the paradoxes. It is often used in the formal ...
• 12.5k

### Is type theory compatible with n-ary branching?

Church's original formulation of type theory (based on λ-calculus) suggests binary branching. One way of dealing with this limitation is the use of linear logic, whose connective for tensor ...
• 2,590

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

There are many “type theories.” In mathematics, Russell used a simple one to resolve paradoxes in set theory, but there are now other ways to get rid of them. Relevant to linguistics is Church’s “...
• 2,590
Accepted

### If adjectives denote functions of type <<e,t>,<e,t>>, then what denotation of *be* will allow adjectives to appear in predicative position?

Note 1: this sounds like a homework problem, so I'm going to try to give guidance toward the answer instead of just giving an answer outright. Note 2: writing out the types of all the variables gets ...
• 67k
1 vote
Accepted

### Does simple type theory distinguish between those common nouns that are used as arguments and those that are used as predicates?

For general use as an argument: You need EITHER a silent determiner (or another head) that converts <e,t> to either <<e,t>,t> or e OR a theory of coercion that performs its function ...
• 201
1 vote

### Is type theory compatible with n-ary branching?

As I understand type theory and as described by lemontree, type theory necessarily construes syntactic structures as being generated in terms of one input and one output. This is a misunderstanding. "...
• 119
1 vote

### Is type theory compatible with n-ary branching?

My answer is no, not n-ary branching, but rather binary branching. As Atamiri's answer might suggest, the basic notion of type theory is that of a function -- the types are just means to that end. ...
• 12.5k
1 vote
Accepted

### Compositional Semantics of relative clauses

This is a good start and your calculation works out, but the standard literature wouldn't agree on your suggestion that Tom destroyed is of type t. The crucial point is that that the moved-away ...
• 6,509
1 vote

### Compositional Semantics of relative clauses

The view which emerged from Lauri Karttunen's classic paper "Migs and Pilots" is that a relative pronoun is coreferential with the NP relative clause construction it occurs in. See Pauline Jacobson. ...
• 12.5k
1 vote

### Compositional semantic: Type of conjunctions

There are numerous kinds of coordinate structures that challenge such an approach to coordination in terms of types. The main difficulty concerns the fact that the strings that can be coordinated need ...
• 5,757
1 vote

### Converting types into lambda notation and set notation

As for and: You got your lambda term for and wrong. Either you mean coordination between subject DPs ("Mary and John sneeze") then your lambda term is λP[λx[λy[P(x)^P(y)]]], with just one ...
• 6,509
1 vote

### Solving type mismatch

As a little intellectual exercise, I looked around a little and found an online PDF using your notation - "Elements of Formal Semantics" (http://www.phil.uu.nl/~yoad/efs/EFS-ch3-online.pdf). ...
1 vote

### The semantic type of and?

I will first present a simple solution where "and" conjoins the respective NPs/VPs in such a way that the resulting conjoined elements combine with the VP/subject NP in such as if there was just a ...
• 6,509

Only top scored, non community-wiki answers of a minimum length are eligible