Наука о логике и его польза

Наука о логике и его польза thumbnail

Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 24 мая 2020;
проверки требуют 16 правок.

Грегор Рейш. «Логика представляет её центральные темы», Margarita Philosophica, 1503/08 (?). Две собаки veritas (с лат. — «истина») и falsitas (с лат. — «ложь») преследуют зайца problema (с лат. — «проблема»), логика, вооружённая мечом силлогизма, спешит позади. Слева внизу в гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию

Ло́гика (др.-греч. λογική — «здравый смысл, благоразумие; логика»,[1] от др.-греч. λόγος — лόгос — «слово; речь; поговорка; логика (здравый смысл)»[2]) — раздел философии, нормативная наука о законах и приёмах интеллектуальной (мыслительной) познавательной деятельности[3]

Поскольку новое знание получают посредством разума, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Поскольку мышление проявляется только в языке, то логика, исследуя законы мысли, обращается к языку как к единственному доступному ей материалу[4]. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

В любой науке логика служит одним из основных инструментов[5]. Логика является подразделом не только философии, но и математики, а булева алгебра — одной из основ информатики.

В рамках общей темы логики нашли широкое распространение такие дисциплины, как: история логики, философия логики.

Сущность логики[править | править код]

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

Подобно тому как умение говорить существовало ещё до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Логические операции: определение, классификация, доказательство, опровержение и др. — нередко применяются каждым человеком в его мыслительной деятельности неосознанно и с погрешностями. Некоторые склонны считать собственное мышление естественным процессом, не требующим анализа и контроля больше, чем, скажем, дыхание или движение, но реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач также существенны: интуиция, эмоции, образное видение мира и многое другое[6]. Однако нестрогость мышления ещё не значит, что оно не подчинено логике[7].

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

Многозначность термина[править | править код]

Слово «логика» используется также в значениях «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений»[8]. В частности можно говорить о логике в следующих случаях:

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

Неформальная, формальная, символическая и диалектическая логика[править | править код]

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

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

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

В рамках формальной логики имеется группа логик, именуемых неклассическими (иногда также используется термин «альтернативные логики»). Эта группа логик существенно отличается от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических следствий и логической истины[9].

Отношение к другим наукам[править | править код]

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

Основные понятия науки логики[править | править код]

Понятия логики, необходимые для понимания предмета:[10]

См. также[править | править код]

Примечания[править | править код]

  1. ↑ стр.483, логика: греко-русский словарь
  2. ↑ стр.483, логос: греко-русский словарь
  3. ↑ Логика. Большая российская энциклопедия. bigenc.ru. Дата обращения 30 мая 2020.
  4. Гусев С. С., Караваев Э. Ф., Карпов Г. В. (и др.). Логика: учебник для бакалавров / под ред. Мигунова А. И., Микиртумова И. Б., Федорова Б. И. — Москва: «Проспект», 2015.
  5. Gauch H. G. The PEL model of full disclosure // Scientific Method in Practice.— Cambridge University Press, 2003.— p.124.— 435pp.— ISBN 978-0-521-01708-4
  6. Ивин А. А. Логика. — М.: Знание, 1998.
  7. Тихонравов Ю. В. Философия: Учебное пособие. — М.: Инфра-М, 2000. — 269 с.
  8. Ефремова Т. Ф. Новый словарь русского языка. Толково-словообразовательный. (недоступная ссылка) — 2001—2002.
  9. John P. Burgess (англ.)русск.. Philosophical logic (неопр.). — Princeton University Press, 2009. — С. vii—viii. — ISBN 978-0-691-13789-6.
  10. Гетманова А. Д. Учебник по логике Архивная копия от 29 июня 2018 на Wayback Machine. — М.: Владос, 1995. — ISBN 5-87065-009-7
Читайте также:  Зеленый лук польза для организма

Литература[править | править код]

Энциклопедии

  • Логика / В. А. Бочаров // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
  • Логика / В. А. Бочаров, Б. В. Бирюков, З. А. Кузичева, М. М. Новосёлов (Логика в Новое время); З. А. Кузичева, А. С. Карпенко (Логика в России); Н. А. Канаева (Логика в Индии), А. И. Кобзев (Логика в Китае) // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
  • Логика в Электронной библиотеке по философии
  • Logic (англ.). Internet Encyclopedia of Philosophy. Дата обращения 13 июля 2020.

Учебная и справочная литература

  • Гетманова А. Д. Учебник по логике. — М.: Владос, 1995. — 303 с. — ISBN 5-87065-009-7
  • Кондаков Н. И.: Логический словарь-справочник. — М.: Наука, 1975. — 720 с.
  • Кондаков Н. И. Введение в логику. — М.: Наука, 1967 на сайте Руниверс
  • Ивлев Ю. В. Учебник логики: Семестровый курс: Учебник. — М.: Дело, 2003. — 208 с — ISBN 5-7749-0317-6
  • Бочаров В. А., Маркин В. И. Основы логики: Учебник. — М.: ИНФРА-М, 2001. — 296 с. — ISBN 5-16-000496-3
  • Бочаров В. А., Маркин В. И. Глава I. Предмет и основные понятия логики // Основы логики: учебник. — М.: ИНФРА-М, 1998. — С. 224. — 9 с. — ISBN 5-86225-595-8. Архивная копия от 7 марта 2016 на Wayback Machine
  • Ивин А. А. Логика: Учебное пособие. — Изд. 2-е. — М.: Знание, 1998. — (На портале «Философия в России»; на сайте Славы Янко)
  • Ивин А. А., Никифоров А. Л. Словарь по логике — М.: Туманит, ВЛАДОС, 1997. — 384 с — ISBN 5-691-00099-3.
  • Горский Д. П. Логика: Учебное пособие для педагогических училищ.  (недоступная ссылка) — Изд. 3-е. — М.: Учпедгиз, 1961. — 160 с.
  • Челпанов Г. И. Учебник логики. — М., 1994.
  • Формальная логика / Под ред. И. Я. Чупахина, И. Н. Бродского. — Л.: ЛГУ, 1977. — 357 с.

Библиографическая литература

  • Антонова О. А. Милославов А. С. Сохор Т. Е. Логика. Библиографический справочник (Россия – СССР – Россия). – СПб., Наука, 2001. – 488 c. – ISBN 5-02-028488-2.

Ссылки[править | править код]

Предметные онтологии

  • Idea – Logic (англ.). Internet Philosophy Ontology project!. Дата обращения 13 июля 2020.
  • Logic and Philosophy of Logic – Bibliography (англ.). PhilPapers. Дата обращения 13 июля 2020.

Логические калькуляторы

  • A Logic Calculator (англ.). somerby.net. Дата обращения 13 июля 2020.

Источник

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

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

Логическое мышление

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

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

Выдающийся философ Джон Стюарт Милль писал:

«…Логика рассеивает туман, скрывающий от нас наше невежество и заставляющий нас думать, что мы понимаем предмет, в то время когда мы его не понимаем. Я убеждён, что в современном воспитании ничто не приносит большей пользы для выработки точных мыслителей, как логика».

Основы логики

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

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

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

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

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

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

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

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

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

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

все А – это Б

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

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

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

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

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

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

Читайте также:  В чем польза клонирования человека

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

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

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

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

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

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

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

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

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

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

Понятие

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

  • дерево
  • улыбка
  • телефон
  • солнце
  • молекула
  • бутерброд
  • красота

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

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

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

Суждение

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

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

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

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

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

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

Субъект (S) – это то, о чем идет речь в суждении. В суждении «Все растения не животные» речь идет о растениях, поэтому в данном случае субъектом являются растения.

Предикат (Р) – это то, что говорится о субъекте. В том же суждении «Все растения не животные» о субъекте «растения» говорится, что они – «не животные», поэтому предикатом данного суждения выступает понятие «животные».

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

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

Для закрепления давайте проанализируем простое суждение «Многие школьники любят физкультуру».

  • Субъект – «школьники»
  • Предикат – «физкультура»
  • Связка – «любят»
  • Квантор – «многие»

Надеемся, что это понятно. Стоит также отметить, что в некоторых суждениях квантор может отсутствовать. Однако он обязательно подразумевается. В суждении «Бабочки – это насекомые» квантор видимым образом отсутствует, но он подразумевается – это слово «все».

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

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

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

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

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

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

Например, вопрос: «В каком году Достоевский написал «Войну и мир»?» следует признать логически некорректным, так как его базисная часть выражена ложным суждением «Достоевский написал «Войну и мир»».

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

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

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

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

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

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

Дедуктивные умозаключения (дедукция) (от лат. deductio — «выведение») – это умозаключения, в которых из общего правила делается вывод для частного случая. Например:

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

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

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

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

Читайте также:  Имбирь при беременности польза или вред

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

Индуктивные умозаключения (индукция) (от лат. inductio — «наведение») – это умозаключения, в которых из нескольких частных случаев выводится общее правило. Например:

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

Умозаключения по аналогии (аналогия) (от греч. analogia — «соответствие») – это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Например:

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

Помните, что выводы аналогии и индукции всегда вероятностны.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

***

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

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

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

***

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

– Чтобы ее пить.

– Нет, за стеклом!

***

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

источник https://interesnyefakty.org

Источник