References in:

Interpreting Descriptions in Intensional Type Theory

Journal of Symbolic Logic 70 (2):488 - 514 (2005)

You must login to add references.

Sense and reference.Gottlob Frege - 1948 - Philosophical Review 57 (3):209-230.details Frege's Puzzle in Philosophy of Language Frege: Über Sinn und Bedeutung in 20th Century Philosophy Fregean Sense in Philosophy of Language Fregean Theories of Attitude Ascriptions in Philosophy of Language Direct download (6 more) Export citation Bookmark 191 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...