|
|
The Architecture of Reason
From Aristotle’s Syllogisms to Marquand’s Logic Machine
Peter Manthos, 05/18/26
Illustration of Aristotle, and Allan Marquand’s Logic Machine, based on historical descriptions, generated by ChatGPT and released under public domain 亞里斯多德畫像與馬康的邏輯機
In the autumn of 1881, in a corner of Princeton’s Reunion Hall, a young instructor named Allan Marquand assembled a device that still stands as one of the most remarkable objects in the history of computing. Made of rods, levers, and keys, his Logic Machine attempted to mechanize Aristotle’s deductive reasoning. It was an effort to solve an old puzzle: how can you tell the difference between a sound argument and a clever one?
Aristotle faced this question when the Sophists, a group of philosophers, began to teach rhetoric, the art of persuasion. In 508 BC, Cleisthenes, the ruler of Athens, enacted a major political reform that made the Assembly (Ecclesia) the most powerful institution, creating a need for skillful orators. The Sophists filled this demand by offering lessons in rhetoric, grammar, ethics, and politics, for high fees. They claimed that there was no objective truth, only effective speech: if you could make a weak argument seem stronger, you were successful.
The problem, Aristotle diagnosed, was the lack of a universally accepted method for distinguishing a valid argument from a persuasive one. In his ‘Prior Analytics’ (350 BC), he answered the Sophists by inventing the ‘Syllogism’, a logical tool that could serve as a foundation for deductive reasoning. His work established logic as the basis for science and philosophy, influencing Western thought for centuries.
Through Latin translations in the Middle Ages, Aristotle’s logic gradually became the undisputed foundation of the Western scientific tradition. By the time universities emerged in twelfth-century Europe, formal logic became a cornerstone of the curriculum, and every educated person was expected to master it. Theology, medicine, law, and philosophy were all conducted by syllogistic reasoning.
The syllogism is a form of deductive reasoning in which a conclusion follows from two premises. If the premises are true, the conclusion is also true.
Classic example:
All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.
Each line is a proposition, a statement that defines a relationship between two terms. A term is a class of things: men, mortals, Socrates.
Every syllogism contains three terms:
The major term (the predicate) of the conclusion: mortal
The minor term (the subject) of the conclusion: Socrates
The middle term, the term that appears in both premises but not in the conclusion: man
The predicate defines a property of the subject; in the example: ‘All men are mortal.’ Each proposition declares that one class is either included in or excluded from another.
‘All men are mortal’: the class ‘men’ is a subset of the class ‘mortals’.
‘Socrates is a man’: the class ‘Socrates’ is a subset of the class ‘men’.
Allan Marquand (1853–1924) was born in New York City. His father, Henry Gurdon Marquand, was a philanthropist and art collector who served as president of the Metropolitan Museum of Art. Marquand studied classics, philosophy, and the natural sciences at Princeton University, graduating with a Bachelor of Arts. In 1874, he enrolled at the University of Berlin, focusing on philosophy and philology, and in 1875, he studied logic, metaphysics, psychology, and art history at the University of Göttingen. In 1879, he was admitted to the new Johns Hopkins University, where he studied under the logician Charles Sanders Peirce, earning a Ph.D. in philosophy in 1880. In 1881, he returned to Princeton in 1881 to teach Latin and logic.
In 1881, in Princeton, Marquand built a logic machine, inspired by the ‘Logical Piano’ made earlier by William S. Jevons in the UK. The machine was designed to mechanically perform Aristotle’s syllogisms: a user entered premises, and the machine would determine the valid conclusions.
It used a system of keys, rods, and levers to process logical terms and their relationships. Each key corresponded to a proposition or its negation. When keys were pressed to encode premises, the interlocking mechanism eliminated false combinations, leaving only those consistent with the statements.
The front of the machine had a row of keys, and inside the machine, a set of rods representing every possible combination of values for the terms that were used. With four terms, for example (A, B, C, D), there would be 2⁴ = 16 combinations, so 16 rods were used. Each rod carried a series of pins along its length — a pin at a specific point meant ‘this term is true,’ while no pin meant ‘this term is false.’
Behind the keyboard, levers connected the keys to the rods. Pressing a key moved its levers, locking any rod whose pin pattern contained the combination marked on the selected key. Pressing two keys simultaneously blocked the corresponding rods, eliminating the combinations made impossible by a premise.
For the syllogism: ‘All A is B; All B is C; therefore All A is C’, the operator would press the key assigned to ‘All A is B,’ and the key assigned to ‘All B is C’. This eliminated all combinations in which A is present without B, and B is present without C, leaving only those with both A and C present. The machine made any other conclusion physically impossible.
After inventing the Logic Machine, Marquand changed focus; he became an instructor in art and archaeology, and later founded Princeton’s Department of Art and Archaeology. He served as the first director of Princeton’s Art Museum and remained devoted to the arts for the rest of his career.
Allan Marquand’s Logic Machine remains a reminder of a different career, one that might have established him as a founding figure in computer science rather than art history. The surviving machine, displayed in Princeton’s Fine Hall Library, reminds us of the moment when Aristotelian logic and mechanical engineering came together.
Written by Peter Manthos
Peter Manthos is a Babyboomer. He lives in Athens, Greece, reads voraciously and writes Non-fiction in The Thinker’s Almanac - https://manthosp.substack.com/
Published in Brain Labs
Brain Labs is a place for people to write about ideas. Original, thought-provoking ideas. We challenge writers to find patterns and make connections in fresh, logical, vigorous, engaging, and often counter-intuitive ways.
本文於 修改第 1 次
|
本城市首頁
等級：8
