Abstract

The nature and value of what might be called formalism constitutes one of the recurrent themes in the history of logic. In each of the great ages of logic much the same pattern of events occurs. There is a period of discovery and development during which the formal element in logical relations is isolated and analysed for itself, and a science of logic is established. Although there may be doubt about the fringes of the subject, logicians at least are then fairly well agreed on what constitutes formal logic. Someone next arises who compares this science of logic with the use of argument in every–day life and, finding it of little relevance, protests against what he considers its vain and useless formalism. Such in substance is the attitude of Cicero towards the ancient formal logic of Aristotle and the Stoics, and of the literary humanists of the Renaissance towards the logic of the late Middle Ages. Such, in brief, is the position of Prof. Toulmin towards the mathematical form of modern logic.