ФОРМАЛЬНАЯ ЛОГИКА

МЕНЮ


Главная страница
Поиск
Регистрация на сайте
Помощь проекту
Архив новостей

ТЕМЫ


Новости ИИРазработка ИИВнедрение ИИРабота разума и сознаниеМодель мозгаРобототехника, БПЛАТрансгуманизмОбработка текстаТеория эволюцииДополненная реальностьЖелезоКиберугрозыНаучный мирИТ индустрияРазработка ПОТеория информацииМатематикаЦифровая экономика

Авторизация



RSS


RSS новости


ФОРМАЛЬНАЯ ЛОГИКА — наука о законах и формах мышления, сложившаяся ещё со времен Аристотеля. Формальная логика учит мыслить правильно, соблюдая однозначность мысли, непротиворечивость мысли, её определенность, доказательность, последовательность. Если мышление протекает внутренне противоречиво, нестройно, непоследовательно, то становятся не возможными никакие научные знания, никакие аргументированные рассуждения, направленные на решение тех или иных вопросов «Логической противоречивости», — при условии, конечно, правильного логического мышления — не должно быть ни в экономическом ни в политическом анализе» (Ленин). Формальная логика выдвигает четыре основных закона мышления: 1) Мысль должна быть однозначной. Закон тождества учит тому, что надо уметь правильно отождествлять и различать вещи, что недопустима подмена одного понятия другим.

В любом рассуждении, споре, дискуссии каждое понятие должно употребляться в одном и том же смысле. И. В. Сталин пишет: «…во избежание путаницы мы должны заранее установить понятия, которыми мы оперируем». А есть А, говорит закон тождества. 2) Мысль должна протекать не противоречиво. Логический закон противоречия запрещает в процессе рассуждений, анализа вопросов противоречить самому себе. Ленин учит отличать противоречия неправильного рассуждения от противоречий живой жизни, противоречий диалектических. Противоречия неправильного рассуждения недопустимы. Нельзя, например, о положении, которое признается верным, одновременно говорить, как о неверном. А не есть не-А — таков смысл этого закона. 3) На один и тот же вопрос, правильно поставленный и правильно понятый, учит закон исключенного третьего, недопустимо отвечать неопределенно — ни «да», ни «нет», — уклоняясь от всякой определенности мысли. После необходимого уточнения вопроса всегда надлежит дать определенный ответ. Из двух противоречащих суждений одно необходима истинно, а другое ложно, и нет ничего третьего, или иначе говоря, А есть или В, или не-В. 4). Мысль должна протекать последовательно (закон достаточного основания). Всякая мысль лишь тогда верна, когда она обоснована, когда она вытекает как следствие из другой правильной мысли, служащей ей в данном случае основанием. Поэтому мышление должно быть последовательным. А есть потому, что есть В, учит закон достаточного основания. В беседе с первой американской рабочей делегацией на вопрос о возможности отмены монополии внешней торговли И. В. Сталин ответил:

«Делегация, видимо, не имеет возражений против того, что пролетариат СССР отобрал у буржуазии и помещиков фабрики и заводы, землю и железные дороги, банки и шахты. Но делегация, как мне кажется, несколько недоумевает по поводу того, что пролетариат не ограничился этим и пошёл дальше, отобрав у буржуазии политические права. Это, по-моему, не совсем логично или, вернее, совсем нелогично… Я думаю, что логика обязывает. Тот, кто думает о возможности возвращения буржуазии её политических прав, тот должен, если он хочет быть логичным, пойти дальше и поставить вопрос также о возвращении буржуазии фабрик и заводов, железных дорог и банков». Данный пример ярко показывает, что значит последовательность, логичность мысли. Как видно из приведенных четырех логических законов мышления, формальная логика выдвигает как обязательные наиболее общие закономерности мысли, наиболее общие правила последовательности и логичности мысли. Устанавливая основные законы и правила мышления, формальная логика затем переходит к рассмотрению различных форм, в которых осуществляется процесс мышления. Понятие, суждение и умозаключение — таковы эти формы мышления, составляющие три основных раздела формальной логики. В разделе о понятии формальная логика устанавливает виды понятий, их взаимоотношения, логические способы образования понятий, соотношение между объемом и содержанием понятий, раскрывает способы и правила определения и деления понятий.

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

В наиболее обширном своем разделе формальная логика дает понятие об умозаключении, классифицирует виды и приемы умозаключений, развивает учение о силлогизмах, о правилах силлогизма, о фигурах силлогизма, показывает значение и роль дедуктивных и индуктивных умозаключений в процессе познания и т.д. Наконец, формальная логика исследует способы и правила доказательства, раскрывает роль доказательства в процессе логического мышления. Таким образом, из рассмотрения содержания и задач формальной логики вытекает, что она есть как бы грамматика логического мышления. Подобно грамматике, которая, по определению И. В. Сталина, устанавливает правила изменения слов, правила соединения слов в предложения и таким образом придает языку стройный, осмысленный характер, логика позволяет придать мышлению стройный, осмысленный характер. Общее в грамматике и логике то, что они, устанавливая определенные правила, абстрагируются от частного и конкретного, определяют общие правила и законы, дающие возможность правильно сочетать слова в предложения, изменять слова (грамматика), строить правильно свою мысль, умело сочетать понятия в суждения, суждения — в умозаключения и т.д. (логика). Законы и правила, устанавливаемые формальной логикой, будучи элементарными законами и правилами, без которых невозможно никакое мышление, являются всеобщими, общечеловеческими.

Подобно языку они обслуживают мышление всех людей независимо от классовой принадлежности. Они не могут быть и не являются поэтому классовыми, как нет не может быть классовой грамматики. В противном случае люди не могли бы понимать друг друга. Законы и правила формальной логики — это законы и правила естественного процесса мышления. Вместе с тем различные теории об этих законах и правилах логического мышления могут создаваться и создаются буржуазными философами в реакционных целях. Так, идеалисты строят формальную логику как чисто формалистическую науку, оторванную от объективной действительности. Поэтому Ленин, говоря о необходимости изучения формальной логики, требовал внести в старую логику «поправки», то есть освободить ее от всяческих искажений и идеалистических наслоений. Формальная логика является «низшей математикой» мышления, сама по себе она недостаточна для научного исследования. Мощным инструментом научного исследования является марксистский диалектический метод, раскрывающий наиболее общие законы развития в природе, человеческом обществе и мышлении.


Источник: vk.com

Комментарии: