Formal logic (FL)

Internally funded project


Principal Investigator


Co-Investigators

No matching items found.


Project Details

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.


Last updated on 2015-06-03 at 12:19