Автор говорит также, что в XX в. «...изменились представления о лежащих в основе доказательств логических принципах. Исчезла уверенность в их един­ственности и непогрешимости. Возникли также разногласия по поводу того, сколь далеко простирается сфера логики. ...Р. Л. Уайдлер пишет, что математическое доказательство есть не что иное, как «проверка

Законы других разделов логики столь же далеки от реальной жизни, как и зако­ны логики высказываний. Например, такой закон: «Ничто не может быть хорошим и плохим одновременно» [А. А. Ивин, 1999, с. 200].

А какими являются рождение неизлечимо больного ребенка или смерть человека, мучающегося от нестерпимых болей? Можно найти множество других примеров.

Серьезные проблемы возникают у формальной логики с последовательностью мышления