Introduction
Philosophical logicism investigates what analytic philosophy might be like if it were exclusively concerned with logical analysis.

Epistemology
Logicist Epistemology is an important subtheme of philosophical logicism.

Logic
A broad conception of logic is needed, encompassing as much as possible of the a priori.
Logic also contributes formal notations, suitable for support by intelligent software, and modern analytic methods for effective manmachine collaboration.


Mathematics
Logic, as the formal treatment of the a priori, encompasses mathematics.
An adequate foundation for logic must also suffice for mathematics.
The philosophy of mathematics is therefore of importance to philosophical logicism.

Metaphysics
Metaphysics (in a rather constrained sense) has a contribution to make to our understanding both of the nature of logical truth, and of the application of analysis in science and engineering.


Science
Science is concerned with formulating and testing general empirical theories from which specific factual conclusions can be deduced.
We consider the benefits of greater formality in this process.

Engineering
Engineering design applies scientific models to the design of desirable artefacts.
We carry through from the formalisation of science to the automation of engineering design.

