Logic & the Design of Digital Computers


From time immemorial, logic has been at the back of several facets of knowledge—humanities, science, technology, engineering and math. But wait! What is “logic”? Is there a way to measure the extent of our logical thinking? Are there principles of valid logic? If by the latter one means coherence, deductive inferences and syllogism, several philosophers and mathematicians, from Aristotle, von Neumann, to al-Khwārizmī, to Gottfried Leibniz, to Alan Turing, used such concept to decipher and manipulate the symbols of a mechanical language of thought. But, “logic”, as a principle of arithmetic, could also mean the construction of large edifices from small bricks (divided categories) using a binary language which consists of just two digits 0 and 1. But it seems, with the breakneck rapidity of computing and mathematical language, the role of logicians remains questionable.

Regardless, the use of logical concepts has been central not only in answering big questions and regulating daily matters, but also in designing and creating new technology like the map, the printer, digital computers, etc. It would suffice to refresh one’s memory of high school math drills and a number of nostalgic moments would be recalled. I was taught to equate people’s intelligence with solving math problems. The math-nerd your are, the better logician you become! It went on to frame my perception of assessing people’s logical thinking and computational literacy.  At that stage, one would have assumed that there is a strong connection not only between logic and math, but also between logic and modern digital machines.

Tracing the intellectual lineage of digital computers is not as recent as one might think. In fact, as Martin Davis argues, computers are in many ways the culmination of the glorious and powerful mathematical tradition we now call logic. Nevertheless, Davis traces biographical sketches of the lives of several contributors, a la Shakespearian tragedy, where each suffered an ill-fated dream. While logicians, such as Leibniz, grasped the broader significance of systematic logic and mechanizing calculation in fixing difficult problems and completing Aristotle’s project of codifying syllogisms, his doctrine of optimism of creating an encyclopedic compilation and reducing human reasoning to a purely mechanical and symbolic task, lingered myopic.

That being said, their conceptual marvel of logic and how it laid the ground for the design of modern technology is impeccable. Take the computer, for example and how it can perform so many different things simultaneously. It is remarkable that my ingenuous gadget on which I am typing this blog is equally adept at generating solutions to partial differential equations—the various input we enter and the kind of output we expect to obtain. So, the ultimate test of a theory of logic that aims at completeness is whether it encompasses all mathematical reasoning is relative and finite. But, at the end one still wrestles with the “engineers” vs. “logicians” dialectic or “who shaves the barber?” This dilemma demonstrates the existence of infinities that are higher than the infinity of the integers.


6 thoughts on “Logic & the Design of Digital Computers

  1. One of the most interesting facet of logic is how it relates to the development of coding and software–indeed, software, in French, is logicel, or based in logistics. How far will the divide go between the numeric and the innumeric now. Are those cursed with innumercy doomed to be end users who understand little of how the results they get are generated? Or are they now blessed with a leveled playing field, where the numeric are forced to produce something for the humanists’ consumption? Or do we have a whole new dichotomy opening up?

    1. Courtney, je suis tout à fait d’accord avec tes dires. Mais, je pense pas qu’on doit diviser les penseurs entre “humanistes” et “non-humanistes” puisqu’ils sont complementaires.
      On peut que parler de l’humanisme vu que la logique ou l’art de penser vient de meme source–l’intellect.
      So, none of these are cursed since both go in tandem.

  2. I really liked your final question and your articulation of what logic is. I also concentrated on the finite/infinite question, so I am curious to know if you could expand a bit on that. You also touched on the role of logicians for computing engineering, which would also be an interesting issue to research about. More generally, what is the role of humanists for computing engineering? Shouldn’t we take part into it?

    1. Caterina,
      It seems our posts for this week have wrestled with the same dilemma of “logicians” vs. “engineers”. I think we need to define a central principle in “computing engineering”, which lies within an “idea” and then transformed into physical realization. That same idea can’t be realizable if it is not sound and “logical”. So, humanists, thinkers, or logicians don’t play a single role in this process, but they frame the final design. In this line, both “engineers” and “logicians” go together like a stem and a blossom in a flower.

  3. I have always found it interesting that people are judged on their intelligence based on their ability to do mathematics. Often girls are considered as not being able to do math as well as boys. This logic has been deemed faulty, but some people still believe it. The use of computers is something that anyone can do, but programming is another story. It takes more that just logics and mathematics to achieve this, but it can be learned. Mathematics, it seems has become a part of our daily lives. Whether we like it or not.

  4. Kristin,
    I think we share the same view on the convergence of mathematical thinking into Humanism (Thinking in Action). I think intelligence is not innate in this sense, but rather an acquisition–developed by learning and practices. So, yes like other learning skill, as you put it, programming can be acquired.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s