A discussion of the role of analytic philosophy in constructing and applying the framework for Formal Analysis. The Fundamental Triple Dichotomy A short description of the dichotomies on which logical analysis is founded, with some rhetoric supporting their identification. Modelling the Triple Dichotomy A very simple mathematical model intended to clarify the issues behind the proposed identification of logical and analytic truths. If you add in value judgements the dichotomies become trichotomies, which for no known reason I prefer to call triads . Formal Analyticity A key to the broader application of logical analysis is its mechanisation.
Formalisation is a prerequisite for mechanisation.
The identification of necessary and analytic truth leads us to a sharper, if less conventional, characterisation of logic. In particular we seek a semantic characterisation, recognising that necessary truth is not completely formalisable. We therefore propose that logic be not considered essentially formal and that it be admitted to have subject matters, albeit abstract. In order to underpin a semantic characterisation of logical truth we need some discussion of possible worlds, which also serves to go beyond logic into metaphysics. We consider the relationship between logic and mathematics, and aim to ensure the adequacy of our languages methods and tools for mathematics and its applications.