Date of Award


Degree Type


Degree Name

Doctor of Philosophy


It is argued that an adequate model-theoretic treatment of belief requires the devices of a "two-dimensional" intensional logic; a logic, that is, that can represent the relevant features of the epistemic situation of an agent in something like the way a logic of indexicals represents possible contexts of disourse. The general approach is illustrated by means of several examples, Kripke's "Puzzle About Belief" among them. A model theory is developed for a formal language containing a belief operator, quantifiers, description operator and identity predicate, and a truth predicate and reference operator. Certain properties of the model theory are demonstrated, and the application to "indexical belief" is sketched.



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.