Formal Philosophy
Overview
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?
Introduction
Why were you initially drawn into formal methods?
What is a Formal Method?
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
Illustrations
What examples from your work illustrate the role formal methods can play in philosophy?
Role of Philosophy
What is the proper role of philosophy in relation to other disciplines?
Neglected Topics
What do you consider the most neglected topics and/or contributions in late 20th century philosophy?
Open Problems
What are the most important open problems in philosophy and what are the prospects for progress?

up quick index © RBJ

privacy policy

Created:2006-03-14

$Id: x011.xml,v 1.3 2008/04/06 13:07:16 rbj01 Exp $

V