 Folk psychology routinely explains and predicts behavior by citing mental states, including beliefs, desires, intentions, fears, hopes, and so on. To explain why Mary walked to the refrigerator, we might note that she believed there was orange juice in the refrigerator and wanted to drink orange juice. Mental states such as belief and desire are called propositional attitudes. They can be specified using locutions of the form