George Boole
(Copyright © 2005 Piero Scaruffi | Legal restrictions - Termini d'uso )

Logic
Links:

Synopsis:
  • Applying algebraic methods to a variety of fields (Leibniz's project)
  • Logical propositions denoted by symbols
  • Laws of logic denoted by operators
  • "All humans are mortal" translates into "All y are some x" or y=vx, and can be further derived: y-vx=0, "Non-mortal humans do not exist"
  • Systematic use of symbols eliminates the ambiguities of natural language
  • Logic becomes as rigorous as Mathematics

(Copyright © 2005 Piero Scaruffi | Legal restrictions - Termini d'uso )