Foundations
The philosophical foundations required for logical analysis involve, inextricably intertwined, epistemology, philosophy of logic, philosophy of mathematics and metaphysics.
A solid position in the relvant aspects of these fields is pre-requisite to the establishment of practical languages, methods and tools for logical analysis.
|
|
Logical Systems
When the philosophical foundations are in place there remain subtantial practical problems in devising languages, logics, methods and tools (software) to make logical analysis deliver its promise.
Many of the substantial advances in logic and in information technology which have taken place since Russell's time are needed to make this work.
|
|
Applications
Formal analysis should encompass mathematics and should be as ubiquitous in its application.
Not only is work in epistemology and the philosophy of science and engineering relevant here, but also applied philosophers could work with scientist, using logical methods in much the same close relationship as there is between theoretical science and applied mathematics.
|
|