An analytic examination of varieties of analysis (mostly but not necessarily philosophical) and their philosophical, technical and technological underpinnings, historical and contemporary, formal and informal.

An account of Hume's fork and its significance for his philosophy.

Logic is the study of necessary truths and of systematic methods for clearly expressing and rigorously demonstrating such truths.

An introduction to mathematical logic.

Some ways of defining "Logic" are introduced and their merits discussed.

We consider the notions of necessary and contingent partly through consideration of possible worlds, in order to explicate logical truth.

Logicism is a philosophical theory about the status of mathematical truths, to wit, that they are logically necessary or analytic.

Philosophical Logicism revisits Bertrand Russell's dream of a philosophy made logically rigorous, taking advantage of a century of development in logic, mathematics and computing.

A Previous Version of this Page.

A few words on the purposes and character of the work.

The coverage of the twentieth century emphasises those aspects of the development of philosophical analysis which have greatest relevance to the method adopted in this analysis, "The Method of Logical Analysis", and culminates with a full account of the method and some ideas about its scope of applicability, within analytic philosophy and elsewhere.

First part of an analytic history of Philosophical Analysis, tracing the ideas from Socrates through to Russell's Logical Atomism and Wittgenstein's Tractatus via Aristotle, Leibniz, Hume, Kant and Frege.

A condensation of the formal backbone to the formal analyses, presenting the naked analytic truths obtained by deduction in the context of the formal models.

ALL the objects of human reason or enquiry may naturally be divided into two kinds, to wit, Relations of Ideas, and Matters of Fact.

Though not explicit, Hume's fork identifies the dichotomies we now talk about as analytic/synthetic, necessary/contingent, a priori/a posteriori.

The importance of Hume's fork lies not only in its clear presentation, but in its central place in Hume's philosophy. It is the seed of Hume's scepticism, which provides a more precise delimitation of the scope of deductive reason than had hitherto appeared.

A bigger picture with Hume's fork at its epicentre.