First Order Theories of Individual Concepts and Propositions

There are .html, .dvi, .pdf and .ps versions of this paper.

2004 note: In present work, I have changed notation. I now write Knows(Pat,TTelephone,MMike) instead of true(Knows(pat,Telepone(Mike)) or knows(pat,Telephone(Mike)). The new notation is for compatibility with my and other peoples work in logical AI. I use caps for constants and double the initial letter to denote concepts.

Up to: Main McCarthy page

I welcome comments, and you can send them by clicking on .