Формальная логика это кратко

Обновлено: 02.07.2024

Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными правилами [2] . Формальная логика занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а путем применения законов и правил мышления. В качестве начальной ступени формальной логики принято рассматривать традиционную логику [3] [4] , а в качестве её развития — математическую логику, использующей степень формализации, подобную математической, символический аппарат и логические исчисления [5] .

Логика, как эпистемологический инструмент, — исследующий знание как таковое, — изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (до правления Цинь Шихуанди) и Индии. В последних двух государствах логика не распространилась настолько, чтобы получить полноценное развитие. В античной же Греции логика сформировалась в своих основах столь определённо, что дополнилась только через 2 тысячелетия.

На этом этапе некоторые заметят влияние платонизма на австрийского логика. Совершенно верно, ведь Гёдель не раз заявлял о влиянии метафизики Платона на собственную деятельность. Но сам Платон развитию формальной логики способствовал лишь косвенно: в истории он вносит вклад в развитие другого направления — философской логики. Платоном созданы вопросы, на которых основывается вся западная академическая философия вплоть до наших дней. Философия, в том виде, котором она известна, возникла только благодаря учителю Аристотеля.

Платон — учитель Аристотеля

В другие периоды в логику также вносили дополнения:

также средневековыми схоластами введены несколько понятий;

Физика — наука о природе;

Метафизика — наука о природе природы;

Биология — раздел физики, наука о жизни;

Психология — раздел физики, наука о душе;

Кинематика — раздел физики, наука о движении;

2 | Терминология

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

3 | Формальная и неформальная логика

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

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

Законы формальной логики:

1. Закон тождества (А = А): эквивокация или двусмысленность недопустимы. Нельзя подменять одно понятие, другим.

2. Закон непротиворечия (А ∧ ¬А = 0): одно и то же утверждение не может быть истинным и ложным одновременно.

3. Закон исключения третьего или бивалентности (А ∨ ¬А = 1): утверждение может быть либо истинным, либо ложным — третьего не дано.

Принципы формальной логики:

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

4 | Сентенциальная логика (алгебра высказываний)

Базовые операции сентенциальной логики — логики высказываний, где заглавная буква означает предложение:

Значение переменных

Отрицание (для А)

5 | Предикатная логика первого порядка

В XX веке, после добавлений в область логики работ Лейбница и Фреге, на основе этой дисциплины создаётся новая — информатика. Программирование сохраняет преемственность с видоизменённой логикой Аристотеля — предикатной логикой, описательная способность которой выше, чем у логики высказываний (сентенциальной).

6 | Заключение

В середине XIX века, Готлоб Фреге дополнил логику Аристотеля двумя этими операциями, которые позже сформировались в отдельную дисциплину — предикатную логику. С введением в логику экзистенциального квантора (после универсального) — предикатная логика, в основе своей, завершилась как система…

Источники:

Читая иных авторов и комментаторов АШ, невольно возникает желание ознакомить их с основами формальной логики.

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

,Что такое логика

Логика – это наука о формах и законах правильного мышления. Логика появилась приблизительно в 4 веке до н. э. в Древней Греции. Ее создателем считается знаменитый древнегреческий философ и ученый Аристотель.

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

Формальная логика

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

Чтобы проще понять это, приведем пример. Существует два выражения:

все люди ходят на двух ногах;
все инопланетяне перемещаются на четвереньках.

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

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

Формы мышления

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

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

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

Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

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

Законы мышления

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

Существует четыре основных закона логики:

Закон тождества.
Закон противоречия.
Закон исключенного третьего.
Закон достаточного основания.

Что такое софизм

Софизм (от греч. sóphisma — уловка, ухищрение) – это умышленное нарушение законов логики для внешне правильного доказательства ложной мысли. Приведем пример софизма:

Любой мужчина – человек.
Женщина не мужчина.
Следовательно, женщина – не человек.

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

Теперь подробнее рассмотрим основные формы мышления.

Понятие

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

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

Понятие – это мысленное обозначение объекта (мысль о нем), а слово – это лишь языковое выражение этой мысли. Иными словами, понятие – это форма мышления, а слово – форма языка.

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

Суждение

Суждение (или высказывание) – это форма мышления, в которой что-либо утверждается или отрицается. Например:

Если человек читает, значит, он знает буквы.
Любой ребенок нуждается в матери.
Все собаки – это не кошки.
Многие цветы приятно пахнут.

Давайте рассмотрим основные свойства суждения, чтобы понять, чем оно отличается от понятия.

Любое суждение состоит из связанных между собой понятий. Для примера возьмем два понятия – мужчина и женщина. Из них можно составить несколько суждений:

мужчины и женщины – это люди;
мужчины не являются женщинами;
некоторые женщины сильнее мужчин.

Любое суждение выражается в форме предложения (в то время как понятие выражается словом). При этом не каждое предложение обязательно должно быть суждением.
Любое суждение является либо истинным, либо ложным. Если оно соответствует действительности, оно истинное, а если не соответствует – ложное.
Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединенных каким-либо союзом.

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

Не пугайтесь этих слов, они вовсе не так сложны, как кажется на первый взгляд. Кратко рассмотрим их.

Связка – это то, что соединяет субъект и предикат. Роль связки могут выполнять самые разные слова: есть, является, находится, это и т. п.

Квантор – это указатель на объем субъекта. В роли квантора могут быть слова все, некоторые, каждый пятый, половина, ни один и т. п.

Вопросы в логике

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

Дело в том, что сам по себе вопрос очень близок к суждению. По сути, вопрос – это логическая форма, направленная на получение ответа в виде суждения.

Любой вопрос состоит из двух частей:

Основной (базисной), выраженной неким суждением (предпосылка вопроса);
Искомой, указывающей на необходимость дополнения этого суждения каким-то ответом.

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

Умозаключение

Умозаключение – это форма мышления, в которой из двух или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением (выводом). Например:

Все животные нуждаются в корме.
Лошади – это животные.
Лошади нуждаются в корме.

В приведенном примере первые два суждения являются посылками, а третье – выводом (умозаключением).

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

Все хищники питаются мясом.
Львы – это хищники.
Львы питаются мясом.

Основное достоинство дедукции заключается в достоверности ее выводов. Известный персонаж Шерлок Холмс пользовался дедуктивным методом при раскрытии преступлений.

Однажды, объясняя доктору Ватсону суть дедуктивного метода, он привел такой пример. Около убитого полковника была найдена выкуренная сигара, вследствие чего сыщики Скотленд-Ярда решили, что именно он выкурил ее перед смертью. Но Холмс отвергает эту версию на основании того, что полковник носил большие усы, а сигара выкурена до конца.

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

Петя любит играть.
Ваня любит играть.
Настя любит играть.
Петя, Ваня и Настя – дети.
Все дети любят играть.

Мотоциклист Вася обожает свой мотоцикл, быструю езду, ровную дорогу, и недолюбливает машины.
Мотоциклист Коля обожает свой мотоцикл, быструю езду и ровную дорогу.
Вероятно, Коля недолюбливает машины.

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

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

Логические парадоксы

Перед тем, как рассказать про основные законы логики, приведем интересные логические парадоксы, которые являются классическими.

Основные законы логики

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

В формальной логике существует 4 основных закона:

Закон тождества;
Закон противоречия;
Закон исключенного третьего;
Закон достаточного основания.

Рассмотрим по порядку каждый из них.

Закон тождества

Первый и наиболее важный закон логики – это закон тождества, который был сформулирован еще Аристотелем.

Закон тождества утверждает, что любая мысль (любое рассуждение) обязательно должна быть равна (тождественна) самой себе, т. е. она должна быть ясной и точной, простой и определенной.

Говоря иначе, этот закон запрещает путать и подменять понятия в рассуждении (т. е. употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова), создавать двусмысленность и т. п.

Получается, что высказывание было одно, а возможных значений у него два, вследствие чего нарушается тождество: 1 ≠ 2. Другими словами, в приведенном высказывании смешиваются (отождествляются) две различные (нетождественные) ситуации.

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

Интересен факт, что многие смешные афоризмы, анекдоты, задачи и головоломки построены именно на нарушении логического закона тождества. Например:

Не стой где попало, а то еще попадет.

***
– Я сломал руку в двух местах.

– Больше не ходи в эти места.

– Зачем (за чем) вода в стакане?

Закон противоречия

Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными.

Иначе говоря, логический закон противоречия запрещает что-либо утверждать и то же самое отрицать одновременно.

Однако тут возникает вопрос: кто в здравом уме будет что-то говорить и сразу же это отрицать? И если это так очевидно, то стоит ли вообще оформлять это в виде закона логики?

Но тут не все так просто.

Дело в том, что очевидные противоречия, когда что-то утверждается и сразу же отрицается, называются контактными. И они действительно крайне редки.
А вот дистантные, или неявные противоречия довольно часто встречаются. Дистантное противоречие – это противоречащие друг другу суждения, между которыми имеется значительный интервал. К примеру, в начале лекции оратор утверждает одно, а через час, в конце своей речи, утверждает прямо противоположное.

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

Закон исключенного третьего

Закон исключенного третьего существует для противоречащих друг другу суждений.

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

То есть, истинность одного из них обязательно означает ложность другого, и наоборот.

Закон достаточного основания

Закон достаточного основания утверждает, что любая мысль, для того чтобы иметь силу, обязательно должна быть обоснована какими-либо аргументами (основаниями).

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

Рассмотрим следующее рассуждение:

На улице сильный гололед (тезис), ведь машины не ездят (основание).

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

Или еще одно рассуждение:

Преступление совершил Петров (тезис), так как он сам признался в этом (основание).

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

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

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

Мне всегда казалось, что формальная логика, хотя бы в общих чертах, интуитивно, должна была быть усвоена ещё в начальных классах. Если уж человек, получивший аттестат о среднем образовании, формальную логику так и не осилил, то поймёт ли он изложенное здесь? Сомневаюсь.

Кстати, я было подумал что Вы изложите логику по, внезапно вошедшему в моду, так называемому "сталинскому" учебнику логики для средней школы, под авторством Виноградова. Его уже вряд ли можно отнести к "формальной логике" и четыре закона там другие - определённость, обоснованность, последовательность и непротиворечивость. Полюбопытствуйте, если есть желание.

Дружище, обратите внимание на последнюю строчку статьи. ;)

VipSV (6 лет 8 месяцев) 10:13-11/мая/20

Не мечите бисер . бесполезно.

Ну невозможно переубедить гоп-стопника вести себя прилично, он с этого живет.

Каюсь. Видимо, слова о видеолекции выключили моё чтение. 😕

Sergey316 (6 лет 11 месяцев) 02:06-11/мая/20

Логика- какая нахер логика?

Тыж умный человек)

Орудие патриота кирпичь)

Эт я те сразу скажу)

Нынче лучше сразу бить камунить в голову чё нить тяжёлым)

kolos (3 года 3 месяца) 02:46-11/мая/20

Sergey316 (6 лет 11 месяцев) 02:50-11/мая/20

Легко- с расстояния социальной дистанции- 1,5 метра)

В маске и перчатках)

kolos (3 года 3 месяца) 02:51-11/мая/20

Штоб, если промажешь, успеть свинтить?

Sergey316 (6 лет 11 месяцев) 03:22-11/мая/20

Я промажу? Смешишь) это вообще неочем))

kolos (3 года 3 месяца) 03:33-11/мая/20

После пятого стакана и не попадешь, и не свинтишь. Логика жеж )

Даа. мамкин логик.
Русский подучи, для начала. . неочем.
Разговаривать с тобой не о чем.

Sergey316 (6 лет 11 месяцев) 19:27-11/мая/20

Не буду хамить в ответ)

Знаю тебя и по комментариям и по постам)

Да не общайся никто не принуждает )))

kolos (3 года 3 месяца) 19:29-11/мая/20

Серый, малацца. Держи краба )

Sergey316 (6 лет 11 месяцев) 19:40-11/мая/20

Sergey316 (6 лет 11 месяцев) 20:10-11/мая/20

Не вопрос) водку шампанское взял по карте) пиво в наличку) надо все выпить пока домой приду) шалом) шаббат вторуюмесц!

Ладно. Погорячился я. Не серчай.

Sergey316 (6 лет 11 месяцев) 03:37-11/мая/20

Я уже с утра две сотни за рулём отмотал)

Sergey316 (6 лет 11 месяцев) 03:45-11/мая/20

Просто очень хорошо когда приезжаешь домой, а тут детки и кот ждут)

ильдар (7 лет 6 месяцев) 09:36-11/мая/20

Патриотизм — последнее прибежище негодяев
Эти люди — патриоты
Вывод — они негодяи

Патриотизм — последнее прибежище негодяев

Данные слова принадлежат Сэмуэлю Джонсону, английскому поэту и критику XVIII века. Впервые он произнес эти слова в беседе с Джеймсом Босуэллом[2]:

Ложные мифы, от которых зачастую отталкивается эта софистика, рассматриваются в статье Мифы о России.

Патриотизм космополиты воспринимают в лучшем случае как самообман, в худшем — считают фанатизмом, который из–за косных суеверий не даёт стране двигаться в светлое либеральное будущее.

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

В связи с различием логических форм выделяют два основных направления формальной логики:

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

Логика возникла в Древней Греции в рамках философии (см. Философия). История её развития насчитывает около двух с половиной тысячелетий и делится на два основных периода:

Античная логика (V век до новой эры — середина V века).
Схоластическая (Средневековая) логика (середина V века — XV век).
Логика Нового времени (XV–XVIII века).

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

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

Читайте также: