Logikę klasyczną (klasyczny rachunek zdań, klasyczny rachunek predykatów) poznajemy na różnych poziomach edukacji. Logika ta ma własność, która w świecie pełnym niepewności może wydawać się bardzo pożądana: jeżeli na podstawie danego zbioru przesłanek X potrafimy wywnioskować zdanie A, to takie wnioskowanie będzie poprawne niezależnie od tego, co jeszcze się wydarzy i jak zaskoczy nas świat. Coś, co zostało raz poprawnie uzasadnione, pozostaje takie na zawsze.
