0.14. В философской и логической литературе встречаются понятия психологизм в логике, логицизм, формализм и интуиционизм. О чем здесь идет речь?

Это исследования философского и методологического осмысления предмета логики как самостоятельной науки. Они возникли в конце 19-го века и «оживают» сегодня в связи с проблемами создания искусственного интеллекта, обладающим сознанием.

Психологизм- это направление в философском обосновании логики, согласно которому логика всего лишь ветвь психологии. Из авторитетных логиков этой точки зрения придерживался англичанин Д.С. Милль, автор знаменитого, интересного основательного логического труда «Система логики».

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

С современной точки зрения, аргументы в защиту психологизма и физикализма (вторая точка зрения) можно выстроить следующим образом:

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

Тем не менее, на основе имеющихся знаний о природе, окружающем мире, истории человечества мы можем рассматривать человека как уникальную целостную систему, состоящую из функциональных подсистем следующих подсистем:

-нано (частицы, физика) подсистема;

-био (гены, клетки) подсистема;

-психо (психика, душа) подсистема;

-мозг как подсистема накопления, хранения и переработки информации;

-когнито (подсистема познавательных средств). Это познавательные средства, дарованные человеку природой, а так же создаваемые им самим. Это теории, приборы и т.д.

-социокультурная и аксиологическая подсистемы (общество, культура, ценности, история человечества).

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

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

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

Таким образом, в современных условиях предмет логики значительно расширяется в область практического использования ее методов в психологии и других сферах деятельности человека.

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

В противном случае спрограммируют тебя.

Логицизм – это направление в философском обосновании математике и логике, представители которого в начале 20-о века (Г.Фреге, Б.Рассел и А.Уайтхед) сделали попытку вывести (обосновать) базовые принципы и основы теории множества математики из принципов и основ логики исключительно логическими методами, без обращения к аргументам психологического и философского характера.

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

Формализм–направление, связанной с обоснованием математики и логики в исследованиях выдающегося математика Д. Гильберт(1862-1943).

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

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

Логика формальная, изучая логические формы мышления, отвлекается от конкретного содержания мыслей, отраженных в их логических формах.

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

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

Интуиционизм-это также направление в обосновании математики и логики, одним из лидеров которого был голландский Л.Е.Я. Брауэр(1881-1966). Это направление противопоставлялось логицизму и основывалось на следующих принципах:

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

Вопрос о существовании объектов математики решается, если имеется процедура его актуального или потенциального построения, конструирования.

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

Например, они доказывали, что закон исключенного третьего (либо истинно суждение А или суждение не-А) традиционной логики неприменим в рассуждениях о бесконечных множествах математических объектах. Тематика интуиционистских логик особенно интересна применительно к изучению процессов принятия решений ( интуиция, предвидение и т.д.).