Логики, сколько их?

Логика должна была развиваться как нормативная и методологическая база философии, она должна была формировать методики обоснования истинности или ложности конструкций из суждений в философском рассуждении. Так и было до определенного момента. Но, если фундаментальным в философии является логический метод доказательства, то такое доказательство уже сложно назвать только логическим.

Не трудно догадаться, что это и стало основой противоречия между логикой и философией в оценке «правильного мышления». По этой причине основные понятия

системного мышления «потерялись» между логикой и философией.

Потому, что и та, и другая наука считает их своими, но закрепить это окончательно не может. Вполне объективно, между прочим. На полноправное использование понятий не хватает достаточных аргументов, в том числе и исторических. Философия родилась раньше, а логика, хоть и использовала эти понятия, ... но в составе философии. и для нужд философии. Вот эту запутанную ситуацию мы сегодня и видим.

Математизация логики еще более сдвигает системные ориентиры. Рассуждения, суждения и кванторы, силлогизмы,. теперь еще добавляются высказывания и логика первого порядка. Оказалось, что так приветствуемая логиками формализация логических понятий на основе законов математики привела логику к окончательному запутыванию системы взаимосвязей в этой науке. Математика вклинилась в сложившуюся систему понятий логики и разорвала прежде незыблемые связи, заменив их своими. При этом, не очень утруждая себя в объяснениях своих действий. Главное объяснение - это же очевидно. по правилам математики. А по правилам логики? Это уже не важно.

Формальная логика быстро выросла в самостоятельную науку и потеряла связь с логикой. Даже формальную.

Потому, что формальная логика стала математической. Потому, что цели и задачи математической логики никак не соприкасаются с понятием «мыслить». Математическая логика использует мощный математический аппарат, но почти не пользуется логическими методами и операциями.

С другой стороны, логика пытается использовать математическую объективность в доказательстве высказываний, но не может использовать это в своих логических умозаключениях, нацеленных на философские методы обоснования.

И можно констатировать, что логика и формальная логика, это уже практически разные логики .

Логические операции хорошо нам известны. И чисто математических операций в логике нет. Конъюнкция, дизъюнкция, отрицание и импликация вошли в математическую логику только потому, что оказались применимы и в рамках математического понимания. При этом им все же дали математический эквивалент. Умножение, сложение, инверсия.

Остальные операции в математическую логику не вошли. Почему? Нет математических аналогов понимания. И нормальные, давно известные логические операция выпали из современного общеизвестного понимания логики.

С другой стороны, мы уже говорили, что математизация вклинилась в логику и стала вносить коррективы. Так как этого требовала математическая логика. В концептуальной части остались только математические направления. Половина законов логики выражает только математические требования.

Как следствие из этого - математическая логика перестала понимать логику. Для математической логики причина и следствие ничего не значат.

Математическая логика не имеет такой исходной философии и имеет другую базу формализации, отличную от философской платформы человеческой логики.

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

Программирование оказалось оборотной стороной математического подхода к логике. Оно, как раз требует логического подхода, а не только математического. И мы вынуждены каждый раз составлять наборы логических аксиом для построения очередного языка программирования только для того, чтобы излагать логические конструкции программы. Программирование потребовало возврата к логике и её правилам и законам, помимо математики.

Странно, но мы этого как бы - не видим, и продолжаем говорить только о математической логике в компьютерной технике. Спросите любого программиста, знает ли он логику, и вы услышите много интересного.