Swipe to navigate through the chapters of this book
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.
Please log in to get access to this content
Aristotle the Philosopher. J.L. Ackrill. Clarendon Press Oxford. 1994.
The Calculus of Logic. George Boole. Cambridge and Dublin Mathematical Journal. Vol. III (1848), pp. 183–98.
An Investigation into the Laws of Thought. George Boole. Dover Publications. 1958. (First published in 1854).
Boole. Des McHale. Cork University Press. 1985.
Giants of Computing. Gerard O’ Regan. Springer Verlag. 2013.
A Symbolic Analysis of Relay and Switching Circuits. Claude Shannon. Masters Thesis. Massachusetts Institute of Technology. 1937.
- A Short History of Logic
- Springer International Publishing
- Sequence number
- Chapter number
- Chapter 14