Why were you initially drawn to formal methods?

What examples from your work illustrate the role formal methods can play in philosophy?

What is the proper role of philosophy in relation to other disciplines?

What do you consider the most neglected topics and/or contributions in late 20th century philosophy?

What are the most important open problems in philosophy and what are the prospects for progress?

The distinction between formal and rigorous methods is drawn.

I was acquainted with formal logic and had spent 5 years in software development before I formally studied maths and philosophy as an undergraduate. When I began undergraduate mathematics I already had a conception of proof which had been corrupted by exposure to the ideas of Bertrand Russell, and was reluctant to settle even then for informal proofs.

As a philosophy student I was unhappy with the