I am a philosopher and independent scholar living in Scottsdale, AZ.
I studied philosophy at Michigan State University, the University of Illinois at Chicago, and Princeton University. While at Princeton, I earned an M.A., was promoted to candidacy, and served on the faculty as an instructor.
Research Interests
- logic
- type theory
- automated reasoning
- philosophy of logic
- epistemology
- metaphysics
- axiomatic metaphysics
- computational metaphysics
- philosophy of mathematics
- philosophy of physics
- history of analytic philosophy
- philosophy of religion
Publications
My research has been published in
- Computers in Physics
- Grazer Philosophische Studien
- International Journal of Quantum Chemistry
- Journal of Molecular Structure (Theochem)
- Philosopher's Annual
- Philosophical Perspectives
- Physical Review B
- Proceedings of the DARPA Workshop on Image Understanding
- Proceedings of the 1993 ACM/IEEE Conference on Supercomputing
- The MIT Vision Machine
Research Institutions
My work in computational logic, metaphysics, mathematics, science, and engineering has been done at
- Eidgenössisches Institut für Reaktorforschung (Schweiz)
- Florida State University
- Massachusetts Institute of Technology
- Michigan State University
- Mississippi State University
- Oregon State University
- Princeton University
- Stanford University
- Thinking Machines Corporation
- University of Illinois at Chicago
- Yale University
