Analytical philosophy, AI

In graduate school at U of Texas, Austin, my study of philosophy shifted to the analytical. I read in philosophy of language, such as A. N. Prior, Donald Davidson, Saul Kripke, John Searle, J. L. Austin, and others. I also read in formal logic (Frege, Alfred Tarski, Rudolph Carnap), foundations of mathematics (Kurt Gödel, Paul Cohen), computability (Alan Turing), intuitionist and constructivist mathematics, modal logic, theories of indexical expressions in language, etc.

Working in language, formal logic, and artificial intelligence, I shared the conceit that artificial intelligence was applied philosophy.

I continued with Bertrand Russell, but also read Alfred Whitehead, a collaborator with different perspectives on many issues.

Ludwig Wittgenstein was a big influence, both his early work (the first part of the Tractatus) and his later, such as the Investigations.

Among my professors, Norman Martin was a philosophical logician; Michael Richter worked on model theory and ultraproducts, and Robert Simmons was an expert in semantics. Simmons and I worked on and wrote about this (Some relations between predicate calculus and semantic net representations of discourse).

My own dissertation, The logical structure underlying temporal references in natural language was steeped in this tradition. It was an effort to add the concept of time to normally timeless mathematical logic. It essentially tried to extend formal language beyond its familiar limits.