Если бы формальная логика открыла законы мышления
Об этом и речь. ФМ занимает свою определённую область знания и применения на практике. И никак не может быть расширена до "теории мышления", так как и животные и человек мыслят зачастую алогически. Невозможность такого расширения ФМ до "теории мышления" иллюстрируется лучше всего классическим примером Буриданова осла.
Критиковать же отдельные "достижения" ФЛ - бессмысленно, так как она не выполнила заявленное.
Скажем так, что не выполнили люди, возомнившие, что нашли универсальное средство для решения любых задач. Бертран Рассел, в начале 20 -го века, довольно чётко показал сильные и слабые места ФМ. К слабым относятся и зависимость от семантики и логические парадоксы и выбор начальных условий.
Это все равно что критиковать отдельные пункты инструкции по сборке утюгов
Верно.
в то время как по этой инструкции не собрали ни одного утюга.
Неверно. Вы сейчас пользуетесь программируемым логическим автоматом, для того, чтобы общаться на этом ресурсе.
ЗЫ: Кстати сказать, ЦП Вашей( и моей) машины, прямой потомок обычного электромеханического номеронабирателя телефона и шагового девятизначного соединителя на телефонной станции.