Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
142 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,805
1 vote
0 answers
45 views

Complete NL formalisms w/out syntax

What are the natural language formalisms that, roughly speaking, do away w/ syntax as a separate level of description? Cf. Steedman's "The Syntactic Process" (2000): "...syntactic structure is ...
jaam's user avatar
  • 504
2 votes
1 answer
550 views

Can we build semantic mappings for CFG same as we do in CCG?

In CFG we "simply" have production rules. Whereas in Combinatory Categorial Grammar (CCG) on the other hand, we have both composition rules over categories, and a mapping from syntax to semantics (...
matanox's user avatar
  • 299
3 votes
2 answers
416 views

Syntax presupposed by Heim and Kratzer

Heim and Kratzer's "Semantics in Generative Grammar", bases its semantics on some version of transformational syntax. However, it is remarkably inexplicit about formalising the syntax it presupposes ...
user65526's user avatar
  • 229