A Short History of Logic

  • Gerard O’ReganEmail author
Part of the Undergraduate Topics in Computer Science book series (UTICS)


Logic is concerned with reasoning and with establishing the validity of arguments. It allows conclusions to be deduced from premises according to logical rules, and the logical argument establishes the truth of the conclusion provided that the premises are true. The origins of logic are with the Greeks who were interested in the nature of truth. Aristotle developed syllogistic logic, where a syllogism consists of two premises and a conclusion. The Stoics developed an early form of propositional logic, where the assertibles (propositions) have a truth-value such that at any time they are either true or false. Boole’s symbolic logic and its application to digital computing are discussed, and we consider Frege’s work on predicate logic.


  1. 1.
    G. O’Regan, Guide to Discrete Mathematics. (Springer, 2016)Google Scholar
  2. 2.
    J.L. Ackrill, Aristotle the Philosopher. (Clarendon Press Oxford, 1994)Google Scholar
  3. 3.
    G. Boole, The calculus of logic. Cambridge and Dublin Math. J. III(1848), 183–198 (1848)Google Scholar
  4. 4.
    G. Boole, An Investigation into the Laws of Thought. Dover Publications. 1958.(First published in 1854)Google Scholar
  5. 5.
    D. McHale, Boole. (Cork University Press, 1985)Google Scholar
  6. 6.
    G. O’ Regan, Giants of Computing. (Springer, 2013)Google Scholar
  7. 7.
    C. Shannon, A Symbolic Analysis of Relay and Switching Circuits. Masters Thesis, Massachusetts Institute of Technology, (1937)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.SQC ConsultingMallow, County CorkIreland

Personalised recommendations