# David Corfield All types

The idea that constructions should apply to all types, not just to propositions, which are just some types.

• Modal types: necessary ingredients of a beef stew.

• Knowledge: Why restrict to ‘X knows $p$’ for a proposition? Perhaps other languages are better here, but we do have ‘X knows of people that sail’. [What is type theoretic difference between objects of savoir and connaître, or wissen and kennen?]

Contrast with the focus on propositions: “the semantics of sub-sentential terms derives from the role they play in complete sentences which are the primary bearers of meaning (Frege, ‘Foundations of Arithmetic’, 90)” (Redding, An Hegelian Solution).

Last revised on July 7, 2016 at 04:49:47. See the history of this page for a list of all contributions to it.