Published online by Cambridge University Press: 15 January 2014
The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic logic and in the rationalistic era, its continuous development began with George Boole's The Mathematical Analysis of Logic of 1847, and it became a mathematical subdiscipline in the early 20th century. This style of presentation cuts off one eminent line of development, the philosophical development of logic, although logic is evidently one of the basic disciplines of philosophy. One needs only to recall some of the standard 19th century definitions of logic as, e.g., the art and science of reasoning (Whateley) or as giving the normative rules of correct reasoning (Herbart).
In the paper the relationship between the philosophical and the mathematical development of logic will be discussed. Answers to the following questions will be provided:
1. What were the reasons for the philosophers' lack of interest in formal logic?
2. What were the reasons for the mathematicians' interest in logic?
3. What did “logic reform” mean in the 19th century? Were the systems of mathematical logic initially regarded as contributions to a reform of logic?
4. Was mathematical logic regarded as art, as science or as both?