Плиско В.Е. - Введение в математическую логику - 14. Интуиционистская логика
Парадоксы логики и математики
Эту статью можно считать приложением к разделу «Логика и диалектика» моей «Философии в стихах» (см. https://dzen.ru/a/Zw-bazZzsG73MwKQ, https://dzen.ru/a/Zw-cH9VFrQtViQ3N). Здесь дополнительно разъясняется отношение диалектики и формальной логики Всякая формализация в познании отвлекается от содержания реальности, и в первую очередь – от течения времени и от всеобщей связи явлений. Ведь иначе строгий формальный вывод был бы невозможен! Например, мы видим группу людей, в которой Ваня – самый высокий по росту, и намерены использовать эту посылку в дальнейших выводах...