Prabros.

UnderstandingLambda Calculus

Version 0.0.01

Share this page

A Brief History of Lambda Calculus

A historical perspective on the threads that lead to the developments of Lambda Calculus

A good way to orient oneself to study a subject is to understand the prior art that has went into the development of the subject. To clarify the standing of Lambda Calculus and its stature within logic, let us sketch out the historical threads in the Western tradition that lead up to its creation and observe how it influenced and was influenced by related fields of inquiry.

One has to be careful when studying history through the lens of modern concepts for they act as retroactive ideas when understanding the past. What we now understand to be terms like for instance, modal logic, during earlier times, could be known by a combination of different terms. And for some concepts, they could be non-existent or could be remaining tacit in the conceptual structure of early periods. So when ascribing that a certain person invented a modern idea, we are usually referring to something that is identifiable in the form we know it today, though its historical roots could be fused together with an entirely disconnected piece of work.

I. Antiquity

The tradition of logic as we know it today can be considered to have taken shape with the philosophical discourses of Pre-Socratic philosophers. The roots quite likely extends further back in history at least as far as Egyptian and Babylonian times. For the current context of understanding the evolution of Lambda Calculus, which is situated in the linguistic tradition, we will begin our journey by describing the main schools of ancient logic in ancient Greece.

A great personality to start the discussion of history of logic with is Aristotle. Aristotle was a student of Plato. Logical argumentation was a significant theme in the Greek intellectual discourses. Aristotle can be considered to be a key figure who systematized the structure of these logical investigations. He wrote extensively on logic and analyzed the kinds of structures possessed by logical arguments. Most evolutionary threads of Lambda Calculus conversed with his canon and borrowed ideas from it for their subsequent developments.

Logic and rhetoric used to be two parts of a whole in antiquity. This period saw the development of syllogistic term logic which had in it the seeds of modal logic.

He established his work in the late 4th century. It emerged from the ambient dialectical milieu where debates and discussions using logic among peers were a part and parcel of the intellectual traditions. Aristotle created his canon by closely examining the internal form of language constructs, and logical arguments. With this insight he built a framework that categorized the internal structure of arguments in these discourses. This close connection between rhetoric and logic has to be kept in mind when reading about ancient works. This is because if a concept feels incomplete in the logical doctrine, it may be complemented in the rhetorical doctrine. The resulting logic he built is commonly known as term logic or syllogistic logic.

The building blocks of these logic are terms which can be thought of as categories or classes treated as subjects, which are then linked to something called a predicate using a construct for relating them called copula. These statements can then be converted to various other kinds and related to one another resulting in further classifications known as moods and figures.

Aristotle’s logic can be thought of as a term logic. His work also contained within them the seeds of modal logic whereby the possibilities and necessities of arguments are analyzed.

This work became the canon and remained the common touchpoint for evolution of logic up until late 19th century and in its original form still continues in certain practices to this day.

After this, his students Theophrastus and Eudemus developed the subject into late antiquity (400-100 B.C.) One interesting work could be the Poryphry tree which is a categorization format that resembles the knowledge graphs of today

If you are interested, join the explorations and sign up for the newsletter today and we will notify you as updates we make updates to the project.

Sign up to the newsletter to know about the latest updates on the project