Logic is a deep subject, at the core of much work in philosophy, mathematics, and computer science. In very general terms, it is the study of what (conclusions) follows from what (premises)—logical consequence—as in:

*Premise*: All men are mortal

*Premise*: Socrates is a man

*Conclusion*: So Socrates is mortal

The Early Modern philosopher, Immanuel Kant, held that Aristotle invented logic, and at his hands it was complete. There was nothing left to be done. As he says:

“Logic, by the way, has not gained much in content since Aristotle’s times and indeed it cannot, due to its nature… In present times there has been no famous logician, and we do not need any new inventions in logic, because it contains merely the form of thinking.”

— From the introduction to his lectures on logic

He was notoriously wrong.

In the development of Western logic, there have been three very significant phases interspersed with two periods of stasis—and even forgetfulness. (Logic in Eastern philosophy has its own story to tell.) The first was in Ancient Greece, where logic was developed quite differently by Aristotle and the Stoics. The second phase was at the hands of the great Medieval logicians, such as Jean Buridan and William of Ockham. They took up their Ancient heritage, but developed it in many new ways, with theories of *suppositio* (truth conditions), *insolubilia* (paradoxes), *consequentia* (logical consequence), and other things. The rise of Humanism in Europe had a profound effect. Scholasticism was swept away, and with it went all the great Medieval advances in logic. Indeed, it was only in the second half of the 20th Century that we have come to discover the many things that were lost. All that remained in the 18th Century was a somewhat stylized form of Aristotelian logic. That is what Kant knew, and that is why he believed that there had been no advances since Aristotle.

The third great period in the development of logic is the contemporary one. The ground for this was laid in the middle of the 19th century by algebraists, such as George Boole. But, driven by questions in the foundations of mathematics, a new canon of logic was invented by Gottlob Frege, taken over by Bertrand Russell, and then polished by some of the greatest mathematicians of the first half of the 20th century, such as David Hilbert and Kurt Gödel. The view that emerged came to be called *classical logic*—somewhat oddly, since it has nothing to do with Ancient Greece or Rome. Indeed, it is at odds with elements of both Aristotle’s logic and Stoic logic. At any rate, by the middle of the 20th Century it had become completely orthodox. It is now the account of logic that you will be taught if you take a first course in the subject in most places in the world.

However, this very orthodoxy can often produce a blindness akin to Kant’s. The way that logic is taught is usually ahistorical and somewhat dogmatic. *This is what logic is; just learn the rules.* It is as if Frege had brought down the tablets from Mount Sinai: the result is God-given, fixed, and unquestionable. No sense is provided of the fact that logic has been in a state of development for two and a half thousand years, driven by developments in philosophy, science, and mathematics—and now computer science.

Indeed, many of the most intriguing developments in logic for the last 50 years are in the area of non-classical logic. Non-classical logics are logics that attempt to repair various of the inadequacies perceived in classical logic—by adding expressive resources that it lacks, by developing new techniques of inference, or by accepting that classical logic has got some things just plain wrong. In the process, old certainties are disappearing, and the arguments generated in new debates give the whole area a sense of excitement that is rarely conveyed to a beginning student, or understood by philosophers not party to these debates.

What generated the third phase in the development of logic was its mathematization. Techniques of mathematics were applied to the analysis of logical consequence, to produce theories and results of a depth hithertofore unobtainable. For example, the work of Kurt Gödel and Alan Turing in the first half of the 20th century, established quite remarkable limitations on axiomatic and computational methods. But, for all its mathematical sophistication, the developments in logic were driven by deep philosophical issues, concerning truth, the nature of mathematics, meaning, computation, paradox, and other things. The progress in this third phase shows no sign, as yet, of abating. Where it will lead, no one, of course, knows. But one thing seems certain. Logic provides a theory, or set of theories, about what follows from what, and why. And like any theoretical inquiry, it has evolved, and will continue to do so. It will surely produce theories of greater depth, scope, subtlety, refinement—and maybe even truth.

*Featured image credit: ‘Logic Lane’ by Adrian Scottow. CC BY-SA 2.0 via Flickr.*

Thank you sirs for your insight!

I loved this piece. I’m just starting to get into formal logic myself, and I can’t stop reading about Non-Classical Logics; they’re very interesting!

I’m a Computer Science undergrad myself, so they most experience I have with Non-Classical logic is with the Database Language “SQL”. It’s underlying logic has 3 truth-values, and allows for violations of both Excluded Middle and even of Identity. Now those were headaches to think about initially, haha!