User:JHalcomb

Wikipedia is a fine thing.

I am a logician, writer, teacher, environmentalist, and computer consultant specializing in web site construction, scientific programming, and logic programming -- a philosopher of language and logic concerned with the relations between predicate logic, philosophy of language, mathematics, and computer applications. In this regard, I am an active and unrepentant advocate of logical methodology in science and computer programming, and I have worked for a number of years on tasks which, at a high level of sophistication, involve the study of such topics. These tasks have included the development of applications for automated theorem proving, natural language processing, and the construction of knowledge bases.