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?

In 1883, while a student of C. S. Peirce at Johns Hopkins University, Christine Ladd-Franklin published a paper titled On the Algebra of Logic, in which she develops an elegant and powerful test for the validity of syllogisms that constitutes the most significant advance in syllogistic logic in two thousand years. Sadly, her work has been all but forgotten by logicians and historians of logic. Ladd-Franklin's achievement has been overlooked, partly because it has been overshadowed by the work of other logicians of the nineteenth century renaissance in logic, but probably also because she was a woman. Though neglected, the significance of her contribution to the field of symbolic logic has not been diminished by subsequent achievements of others.

In this paper, I bring to light the important work of Ladd-Franklin so that she is justly credited with having solved a problem over two millennia old. First, I give a brief survey of the history of syllogistic logic. In the second section, I discuss the logical systems called “algebras of logic”. I then outline Ladd-Franklin's algebra of logic, discussing how it differs from others, and explain her test for the validity of the syllogism, both in her symbolic language and the more familiar language of modern logic. Finally I present a rigorous proof of her theorem. Ladd-Franklin developed her algebra of logic before the methods necessary for a rigorous proof were available to her. Thus, I do now what she could not have done then.

Certain set theoretical notions cannot be split into finer subnotions.