ОСНОВНЫЕ ЗАКОНЫ

ФОРМАЛЬНОЙ
ЛОГИКИ
В Ы П ОЛ Н И Л А : С Т УД Е Н Т К А 3 КУ Р СА ,
Г РУ П П Ы 2 6 Д - ТА - 4 2 / 1 8
А ВД О КУ Н И Н А П ОЛ И Н А
 ПОНЯТИЕ «ФОРМАЛЬНАЯ ЛОГИКА»

Формальная логика – важнейшая составляющая

духовной культуры общества. Ее достижения
используются при осмыслении различных
областей человеческой деятельности, широко
применяются в психологии и лингвистике, теории
управления и педагогике, экономической теории и
других науках. Разделы логики – теоретическая
основа кибернетики, теории информации, а также
методологическая основа познания и общения.
 ОБЪЕКТ ФОРМАЛЬНОЙ ЛОГИКИ

На объект формальной логики указывает само имя

этой науки. Оно пришло из Древней Греции, где
сложилась система логического знания. Имя
LOGOS «логика» является производным от греческого слова
«logos», имеющего множество значений, главные из
которых — «слово», «речь», «смысл», «понятие»,
СЛОВО РЕЧЬ СМЫСЛ «рассуждение», «разум», «закон». «Логика»
сохранила все эти значения: все они обозначают то,
с чем логика имеет дело.
 ЗАКОН ФОРМАЛЬНОЙ ЛОГИКИ
Закон формальной логики (мышления) — внутренняя, существенная, необходимая связь между
некими мыслями. Наиболее простые и вместе с тем необходимые связи выражаются в основных
формально-логических законах:

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

Эти законы называются основными, потому что выражают важные свойства правильного
мышления: его определенность, непротиворечивость, последовательность и обоснованность.
 ЗАКОН ТОЖДЕСТВА
Итак, формально-логические законы — это законы правильного построения и связи мыслей.
Рассмотрим их основное содержание. Закон тождества формулируется следующим образом:

Всякая мысль должна быть тождественна сама себе

Этот закон можно условно выразить в таком виде:

а есть а (или а = а), где а обозначает любую мысль.

 НАРУШЕНИЕ ЗАКОНА ТОЖДЕСТВА
ЗАКЛЮЧЕНИ
Требование закона тождества очевидно, однако нередки
случаи, когда оно нарушается. Отождествление
различных мыслей или различение тождественных

СУЖДЕНИЕ мыслей возникает, например, в связи с особенностями их

языкового выражения. Особенно опасны в этом
отношении синонимы и омонимы, неправильное
Е

употребление которых ведет к нарушению логического

строя мысли.
АРЕСТ Употребление таких слов в одном значении вызывает
отождествление различных понятий и, наоборот,
употребление одного из них в различных понятиях
вызывает ошибочное различение тождественных
понятий.
 НАРУШЕНИЕ ЗАКОНА
ТОЖДЕСТВА
Отождествление различных мыслей может
произойти и в результате того, что разные
люди в зависимости от профессии,
жизненного опыта и т.д. вкладывают в одно
и то же понятие разный смысл. Причем эта
подмена может быть как неосознанной, так
и сознательной, преднамеренной. Подмена
понятия означает подмену предмета
рассуждения. Рассуждение в этом случае
будет относиться к разным предметам, хотя
они и будут ошибочно приниматься за один
предмет.
 ПОДМЕНА ТЕЗИСА

Ошибкой, сходной с подменой понятия, является

ЧТОБЫ ПРАВИЛЬНО подмена тезиса. Эта ошибка возникает в
ПОЗНАТЬ доказательстве или опровержении, когда
доказывается или опровергается не выдвинутое
ДЕЙСТВИТЕЛЬНОСТЬ, положение (тезис), а другое положение, которое
СУЖДЕНИЯ НЕ принимается якобы за выдвинутое. Для того, чтобы
ДОЛЖНЫ правильно познать действительность, наши
суждения не должны быть противоречивыми.
ПРОТИВОРЕЧИТЬ Противоречия делают мышление
непоследовательным, бессвязным, они разрушают
мысль, затрудняют процесс познания.
 ЗАКОН НЕПРОТИВОРЕЧИЯ
Требование непротиворечивости мышления выражает второй основной формально-логический
закон непротиворечия:

Два противоположных суждения не могут быть одновременно

истинными; по крайне мере одно из них необходимо ложно.

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

исчислениях высказываний:

неверно, что а и не-а одновременно истинны. В этой формуле под а понимается

любое суждение, под не-а — суждение, отрицающее суждение а
 ЗАКОН НЕПРОТИВОРЕЧИЯ

В основе закона непротиворечия лежит

качественная определенность вещей и явлений,
ЕСЛИ ПРЕДМЕТ А относительная устойчивость их свойств. Отражая
ИМЕЕТ СВОЙСТВО, эту сторону действительности,
непротиворечия требует, чтобы мышление не
закон

В СУЖДЕНИИ ЕГО допускало противоречивых утверждений. Если,

например, предмет А имеет определенное
НЕЛЬЗЯ ОТРИЦАТЬ свойство, то в суждениях об этом предмете мы
обязаны утверждать это свойство, а не отрицать
его и не приписывать данному предмету того, чего
у него нет.
 ЗАКОН НЕПРОТИВОРЕЧИЯ
Нужно строго отличать формально-логические противоречия от противоречий объективной
действительности.

Противоречия, существующие объективно, — внутренний источник развития

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

Формально-логические противоречия — это противоречия путаного, неправильного

рассуждения, не являющиеся отражением жизненных, диалектических
противоречий и затрудняющие познание действительности.
 ЗАКОН
НЕПРОТИВОРЕЧИЯ
Закон непротиворечия указывает, что из
двух противоположных суждений одно
необходимо ложно. Но поскольку он
распространяется и на противные, и на
противоречащие суждения, вопрос о втором
суждении остается открытым: оно может
быть как истинным, так и ложным.
 ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО
Отношения между двумя противоречащими суждениями выражает закон исключенного третьего:

Два противоречащих суждения не могут быть одновременно ложными: одно из

них необходимо истинно; другое — необходимо ложно; третье суждение
исключено.

Поскольку закон исключенного третьего действует только в отношении противоречащих суждений,

из которых одно необходимо истинно, а другое необходимо ложно, то рассуждение ведется по
формуле:

«или-или» («либо-либо»). Третьего не дано.

 ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

Таким образом, подобно закону непротиворечия

ВЫСКАЗЫВАЯ ИСТИННУЮ закон исключенного третьего выражает
МЫСЛЬ, МЫ ДОЛЖНЫ последовательность, непротиворечивость
ОБОСНОВАТЬ ЕЕ мышления, не допускает противоречий в мыслях.
ИСТИННОСТЬ, ТО ЕСТЬ Но вместе с тем он представляет собой дальнейшее
ДОКАЗАТЬ ЕЕ развитие закона непротиворечия, устанавливая, что
два противоречащих суждения не могут быть не
СООТВЕТСТВИЕ С
только одновременно истинными (на что указывает
ДЕЙСТВИТЕЛЬНОСТЬЮ закон непротиворечия), но они не могут быть
также одновременно ложными: если истинно одно
из них, то другое необходимо ложно. Всякое
третье, среднее решение исключено.
 ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ
Требование доказательности мышления, обоснованности суждений выражает четвертый основной
закон формальной логики — закон достаточного основания, который формулируется следующим
образом:

Всякая истинная мысль имеет достаточное основание. Достаточным, то есть

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

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

фактами действительности. Но личный опыт ограничен. Поэтому человеку в своей деятельности
приходится опираться на опыт других людей.
ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ

Благодаря развитию научных знаний человек все

шире использует в качестве оснований своих мыслей
предыдущий опыт всего человечества, закрепленный
в законах и аксиомах науки, в принципах и
положениях, существующих в любой области
человеческой деятельности. Таким образом,
достаточным основанием какой-либо мысли может
служить любая другая, уже проверенная и признанная
истинной мысль, из которой вытекает истинность
рассматриваемой мысли.
 ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ

Если из истинности суждения а следует истинность суждения b, то а будет

логическим основанием для b, а b — логическим следствием этого основания.

Закон достаточного основания имеет важное теоретическое и практическое значение. Фиксируя

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

1. Кузнецов, В. Г. Логика: основы рассуждения и научного анализа : учебное пособие /

В.Г. Кузнецов, Ю.Д. Егоров. - Москва : ИНФРА-М, 2021. - 290 с. 
2. Кириллов, В. И. Логика : учебник / В.И. Кириллов. — 3-е изд., стер. — Москва :
Норма : ИНФРА-М, 2020. — 240 с.
3. Ерина, Е. Б. Логика : учебное пособие / Е. Б. Ерина. — 2-е изд. — Москва : РИОР :
ИНФРА-М, 2019. - 112 с.
4. Марков, С. М. Логика для бакалавров : учебное пособие / С.М. Марков. — Москва :
РИОР : ИНФРА-М, 2020. — 159 с.