more from George Boole

Single Idea 7727

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic]

Full Idea

Boole introduced a new symbolic notation in which it was possible to represent both syllogisms and propositional arguments, ...but not both at once.

Gist of Idea

Boole's notation can represent syllogisms and propositional arguments, but not both at once


report of George Boole (The Laws of Thought [1854], Ch.3) by Joan Weiner - Frege

Book Reference

Weiner,Joan: 'Frege' [OUP 1999], p.27

A Reaction

How important is the development of symbolic notations for the advancement of civilisations? Is there a perfect notation, as used in logical heaven?