Formal logic (FL)
Principal Investigator
Co-Investigators
Project Details
Type of award: Internally funded project
Start date: 08/09/2009
End date: 09/09/2011
Website: http://url.com
Abstract
Main article: Algebraic logic Leibniz is the most important logician between Aristotle and 1847, when George Boole and Augustus De Morgan each published books that began modern formal logic. Leibniz enunciated the principal properties of what we now call conjunction, disjunction, negation, identity, set inclusion, and the empty set. The principles of Leibniz's logic and, arguably, of his whole philosophy, reduce to two: All our ideas are compounded from a very small number of simple ideas, which form the alphabet of human thought.Complex ideas proceed from these simple ideas by a uniform and symmetrical combination, analogous to arithmetical multiplication. The formal logic that emerged early in the 20th century also requires, at minimum, unary negation and quantified variables ranging over some universe of discourse. Leibniz published nothing on formal logic in his lifetime; most of what he wrote on the subject consists of working drafts. In his book History of Western Philosophy, Bertrand Russell went so far as to claim that Leibniz had developed logic in his unpublished writings to a level which was reached only 200 years later.
Keywords
- Logic
- Test case specification
Other Team Members
No matching items found.
External Partners
No matching items found.
Research Areas
Publications
No matching items found.
