Skip to main content

Questions tagged [type-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
28 views

What is the semantic type and the lexical entry for 'to be right'?

Does somebody know what the lexical entry for '(be) right' is? And the semantic type of 'right' when its in the syntax tree. Is it an attitude predicate? For example in the sentence 'Beth is right ...
Lea's user avatar
  • 1
2 votes
0 answers
27 views

What are the practical differences between type-logical/categorial and context-free based approaches to semantic parsing?

I am currently reading Bob Carpenter's Type-Logical Semantics, which goes over the Type-Logical approach to natural language semantics. I understand that categorial grammar is technically different ...
Nathan BeDell's user avatar
3 votes
1 answer
133 views

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

Kearns (2011: 58-61) views the common noun dog to be of type <e, t>. This makes sense based upon the predicate use of such a noun, e.g. Those animals are dogs. What happens, though, when the ...
Tim Osborne's user avatar
  • 5,757
1 vote
0 answers
52 views

What are the different approaches to handling grammatical number in type theory?

What are the different approaches to handling grammatical number in type theory? This question asks about the type of and in five boys and girls. That noun phrase is interesting because boys and ...
Greg Nisbet's user avatar
  • 1,288
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
1 vote
1 answer
254 views

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

Suppose [[gray]] = λf ∈ D<e,t> . [λx ∈ De . f(x) = 1 and x is gray]. Since this function is of type <<e,t>,<e,t>>, it would seem that sentences like Julius is gray are ...
Edgar's user avatar
  • 21
1 vote
1 answer
234 views

Intuitionistic type theory in linguistics

How important is type theory for modern formal linguistics? I am looking for modern references that build on Ranta's (Ranta, Aarne. "Type-theoretical grammar." (1994)) use of type theory for ...
JRC's user avatar
  • 159
1 vote
3 answers
149 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 ...
Tim Osborne's user avatar
  • 5,757
3 votes
2 answers
371 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>> ...
BritishLinguist's user avatar
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
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
0 votes
1 answer
346 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 ...
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
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
2 answers
242 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 ...
Bert Zangle's user avatar