The Fregean analysis of definite descriptions, implicit in the work of Frege and later defended by Strawson (1950) among others, represents the primary alternative to the Russellian theory.
His emphasis on formal rigor in specifying the type of knowledge that was eventually to be called "ontologies" by computer scientists, led him to the field of formal ontology in philosophy, where he began to study the metaphysics literature, focusing on the work of such notables as Quine, Strawson, and especially Simons.
Galen Strawson (born 1952), English philosopher and literary critic
Notable graduates of the BPhil include: Daniel Dennett, Peter Singer, George Boolos, Thomas Nagel, GA Cohen, Patricia Churchland, JJC Smart, Galen Strawson, Kris Kristofferson.