Loogika aine ja ajalugu
aastast 1847 ja Mõtlemise reeglid aastast 1854. Eriti esimene neist avaldas suurt mõju loogika järgnevale arengule.
Nimelt rakendas Boole värskeid ideid matemaatilisest algebrast otse loogikale, ehitades üles loogika algebra, mida
sageli nimetataksegi Boole'i algebraks Kaugemaks eesmärgiks pidas Boole nagu Leibnizki loogika keele
väljaarendamist ja "mõtlemise aritmeetika" ehitamist. Erinevalt Leibnizist ja teistest varasematest loogikutest andis
Boole süsteemse, matemaatilise kuju niisuguse keele baasfragmendile - lausearvutusele.
Nagu öeldud, annab Boole' algebra lausearvutusele süstemaatilise, kuid mitte veel rangelt aksiomaatilise kuju. Samuti ei
jõua Boole lausearvutusest kaugemale, suhteid ja omadusi kirjeldava predikaatarvutuse juurde - seda teeb 1879. aastal
Frege.
Kõigi asjade klassi (nimetades seda Universumiks) tähistas Boole numbriga 1. Tühja klassi tähistas number 0.
annaabi.ee 
