что относится к законам логики
Логика: предикатная, формальная и сентенциальная. Кванторы и возникновение информатики
1 | Введение
Логика, как эпистемологический инструмент, — исследующий знание как таковое, — изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (до правления Цинь Шихуанди) и Индии. В последних двух государствах логика не распространилась настолько, чтобы получить полноценное развитие. В античной же Греции логика сформировалась в своих основах столь определённо, что дополнилась только через 2 тысячелетия.
Значительные изменения в греческую логику, помимо Буля, Моргана и Рассела, внёс Фреге — самая важная фигура основателей формальной семантики. Он разработал логику предикатов и 2 вида кванторов, попытавшись создать «логически совершенный язык» о котором мечтал Лейбниц. Значимой личностью является также Гёдель, который открыл знаменитые две теоремы о неполноте, описывающие невозможность объединения множества доказуемых утверждений со множеством истинных. Он утверждал, что доказательства математики зависят от начальных предположений, а не фундаментальной истины, из которой происходят ответы. Одна из главных идей его работ состоит в том, что ни один набор аксиом, — в том числе математических, — не способен доказать свою непротиворечивость.
На этом этапе некоторые заметят влияние платонизма на австрийского логика. Совершенно верно, ведь Гёдель не раз заявлял о влиянии метафизики Платона на собственную деятельность. Но сам Платон развитию формальной логики способствовал лишь косвенно: в истории он вносит вклад в развитие другого направления — философской логики. Платоном созданы вопросы, на которых основывается вся западная академическая философия вплоть до наших дней. Философия, в том виде, котором она известна, возникла только благодаря учителю Аристотеля.
Платон — учитель Аристотеля
В другие периоды в логику также вносили дополнения:
античной школой стоицизма введены термины «модальности», «материальной импликации», «оценки смысла и истины», которые являются задатками логики высказываний;
также средневековыми схоластами введены несколько понятий;
Но главное, что сами логические операции не изменились. «Органон» Аристотеля, как сборник из 6 книг — первоисточник, где подробно описаны главные логические законы. «Органон» (с древнегреческого ὄργανον), означает — инструмент. Аристотель считал, что логика является инструментом к познанию. Он объединяет методом получения информации такие науки:
Физика — наука о природе;
Метафизика — наука о природе природы;
Биология — раздел физики, наука о жизни;
Психология — раздел физики, наука о душе;
Кинематика — раздел физики, наука о движении;
2 | Терминология
У каждой из наук должен быть идентичный фундамент в способе получения гнозисов (знаний), который позволит упорядочить информацию и вывести новые силлогизмы (умозаключения). Только таким образом получится прогресс в познании истины. Без логики наука была бы похожа на коллекционирование фактов, ибо информация бы не поддавалась анализу.
Сам Аристотель находит логике как средству убеждения иное применение: в риторике, спорах, дебатах, выступлениях и т.д., описывая это в труде «Риторика». В западной философии принято давать чёткие определения перед рассуждениями, поэтому определимся с терминами. Логика — наука о правильном мышлении.
В языковой зависимости возникают трудности трактовки термина «наука», но даже в оригинальном названии труда Фридриха Гегеля «Наука логики» — «Wissenschaft der Logik», употребляется слово «наука» (Wissenschaft). Поэтому придём к консенсусу и будем считать, что научной можно назвать ту дисциплину, в которой возможны открытия, исследование и анализ. Логика в таком случае — наука, ибо внутри неё возможно совершать открытия. Яркий пример — комбинаторика Лейбница.
Слово «правильный» веет нормативными коннотациями: правильное поведение, правильное выражение лица, и т.д. Перечисленное соответствует некоторым критериям и логика выставляет их (критерии) для правильного мышления.
Слово «мышление» понимается на интуитивном уровне, но чёткое объяснение затруднительно, обширно и иногда не объективно.
Бюст Аристотеля
3 | Формальная и неформальная логика
Первоначально, деление логики происходит на формальную и неформальную. Формальная логика отличается тем, что, в отличие от неформальной, записывается уравнениями. Неформальная же логика пишется выражениями в форме языка, поэтому она подходит для риторики, а формальная логика для абстрактных наук.
Формальная логика равным образом делится на дедуктивную и индуктивную. Они различаются тем, что в дедуктивном аргументе истинность условий гарантирует истинность умозаключения или вывода. В индукции же, при истинности условий одинаково возможен ложный и истинный вывод.
Законы формальной логики:
1. Закон тождества (А = А): эквивокация или двусмысленность недопустимы. Нельзя подменять одно понятие, другим.
2. Закон непротиворечия (А ∧ ¬А = 0): одно и то же утверждение не может быть истинным и ложным одновременно.
3. Закон исключения третьего или бивалентности (А ∨ ¬А = 1): утверждение может быть либо истинным, либо ложным — третьего не дано.
Принципы формальной логики:
1. Принцип достаточного обоснования: достаточными являются такие фактические и теоретические обоснования, из которых данное суждение следует с логической необходимостью.
4 | Сентенциальная логика (алгебра высказываний)
Базовые операции сентенциальной логики — логики высказываний, где заглавная буква означает предложение:
Отрицание (Утверждение ¬A истинно тогда и только тогда, когда A ложно): если имеем утверждение «А» и имеем утверждение «не А», то, когда утверждение «А» будет истинным — утверждение «не А» будет ложным. Также и когда утверждение «А» будет ложным — утверждение «не А» будет истинным.
Конъюнкция (Утверждение A ∧ B истинно, если и A, и B — истинны. Ложно в противном случае): в английском языке — союз «and/&»; в русском — «и». В утверждении «А и В», между «А» с «В» стоит знак конъюнкции — «∧». Утверждение «А и В» является истинным, если «А» с «В» являются истинными одновременно. Если хоть один элемент ложен, то всё утверждение ложно. «А и В» подразумевает, во-первых: истинность «А», во-вторых: истинность «В».
Дизъюнкция (Утверждение A ∨ B верно, если A или B (или оба) верны. Если оба не верны — утверждение ложно): в английском языке — союз «or»; в русском — «или». Существует два типа дизъюнкции — включающая и исключающая (в логике используется включающее «или»). Условия таковы, что утверждение «А или В» будет истинным, когда один или оба элемента истинны, но никогда — когда оба элемента ложны. Это противоречит нашему обыденному мышлению, т.к. когда спрашивают: «Чай или кофе?» мы выбираем один элемент, но в логике подразумевается выбор не только одного, а нескольких возможных.
Импликация (Утверждение A ⇒ B ложно, только когда A истинно, а B ложно): в английском языке — «therefore»; в русском языке — «следовательно». Подразумевает истинность одного элемента при истинности другого. Потому что условия истинности соблюдаются всегда, кроме случая, когда «А» истинно, а «B» ложно. Поэтому утверждение: «А» ложно, следовательно «B» ложно — истинно. Покажется, что когда «А» ложно, а «В» истинно — не соблюдаются условия, но это не так. Если вы скажете, что после дождя промокните — это утверждение будет истинным вне зависимости от того, пошёл дождь или нет.
Эквивалентность (Утверждение A ⇔ B истинно, только если оба значения A и B ложны, либо оба истинны): если истинно утверждение «А, следовательно В» и истинно утверждение «В, следовательно А», то истинными являются выражения «А эквивалентно В» и соответственно «В эквивалентно А». Условия истинности соблюдаются в случаях, когда оба элемента истинны или оба ложны.
Значение переменных
5 | Предикатная логика первого порядка
В XX веке, после добавлений в область логики работ Лейбница и Фреге, на основе этой дисциплины создаётся новая — информатика. Программирование сохраняет преемственность с видоизменённой логикой Аристотеля — предикатной логикой, описательная способность которой выше, чем у логики высказываний (сентенциальной).
Прежде чем разобрать этот новый тип логики, поговорим об её отличии от сентенциальной. Главная особенность предикатной логики, что заглавными буквами обозначаются предикаты, а не целые высказывания. Можно сказать, что предикат — это математическая функция, которая «накладывает» множество субъектов на множество утверждений.
Высказывание «Я пошёл в зоопарк» — состоит из субъекта и предиката. В нём субъект — «Я», а предикат — то, что остаётся кроме субъекта («пошёл в зоопарк»). Субъект — тот, кто совершает действие в предложении или имеет выраженное свойство; предикат — всё оставшееся. Таким образом, если в сентенциальной логике высказывание «Я пошёл в зоопарк» выражалось бы одной заглавной буквой, то в логике предикатов использовались бы две буквы (заглавная и подстрочная): «P» — для предиката; «x» — для субъекта. Субъекты обозначаются переменной («x»), потому что в предикатной логике появляются две относительно новые операции: универсальный и экзистенциальный кванторы. Особенность кванторов заключается в том, что ими возможно записать выражение истинное при всех возможных переменных «х» или хотя бы при одном.
Универсальный квантор (квантор всеобщности) обозначается символом — «∀», с указанием переменной под ним. Возьмём утверждение «Все пингвины чёрно-белые». В логике высказываний оно бы выражалось как «X ⇒ P», где «X» — нечто являющееся пингвином, а «P» — нечто являющееся чёрно-белым. В предикатной логике же используются субъекты и предикаты, поэтому нечто являющееся пингвином (субъект), обозначалось бы переменной «х» снизу под предикатом. «»х» — является пингвином, следовательно, является чёрно-белым». Записывается так: P(х) ⇒ B(х), где P(х): х — пингвин; B(х): x — чёрно-белый.
Однако этого недостаточно, ведь непонятно, один субъект «х» чёрно-белый или больше одного, а может вообще все. Поэтому утверждение «»х» — является пингвином, следовательно, является чёрно-белым», берётся в скобки и перед скобками используется символ «∀» с переменной «х» под ним — которые вместе и будут универсальным квантором.
Универсальный квантор переводится как: «Для всех «х» истинно, что …». Теперь утверждение «х — является пингвином, следовательно, является чёрно-белым» с универсальным квантором перед ним, расшифровывается так: «Для всех «х» истинно, что «х» — является пингвином, следовательно, является чёрно-белым». Это означает, что чем бы ни был объект во вселенной, если этот объект пингвин — он является чёрно-белым. Полная запись будет выглядеть так:
Экзистенциальный квантор (квантор существования) обозначается символом — «∃» с указанием переменной под ним. Возьмём утверждение «Некоторые пингвины серые». Как и в прошлый раз, выражение «»x» — является пингвином и «х» — является серым» возносим в скобки и ставим перед ними квантор, в этом случае экзистенциальный с указанной переменной. «»x» — является пингвином и «х» — является серым» записывается так: P(х) ∧ C(х), где P(х): х — пингвин; C(х): x — серый.
Экзистенциальный квантор можно перевести так: «Есть такой «х», для которого будет истинно, что …». Подразумевается, что есть как минимум один «х», для которого выполняются условия выражения. Если вам говорят, что ДНК не существует, достаточно показать одну молекулу дезоксирибонуклеиновой кислоты для опровержения этого утверждения. Также и с кванторами, если существует хотя бы один серый пингвин, то утверждение об отсутствии серых пингвинов будет ложно. Полная запись экзистенциального квантора для выражения «Есть такой «х», для которого будет истинно, что «x» — является пингвином и «х» — является серым», будет выглядеть так:
6 | Заключение
Примечательно, что есть возможность перевода одного вида квантора в другой. Возьмём утверждение «Все пингвины не являются серыми». Для универсального квантора текстовая запись будет такая: «Для всех «х», будет истинным утверждение о том, что если «х» — является пингвином, то «х» — не является серым объектом». Но утверждение изменяется и для экзистенциального квантора, используя знак отрицания: «Нет такого «х», для которого бы было истинным утверждение о том, что «x»— является пингвином и «х»— является серым».
В середине XIX века, Готлоб Фреге дополнил логику Аристотеля двумя этими операциями, которые позже сформировались в отдельную дисциплину — предикатную логику. С введением в логику экзистенциального квантора (после универсального) — предикатная логика, в основе своей, завершилась как система…
Источники:
1 — Аристотель: «Органон» — «Первая аналитика» и «Вторая аналитика»;
2 — Аристотель: «Риторика»;
3 — Готлоб Фреге: «Исчисление понятий»;
4 — «Monatshefte für Mathematik und Physik» 1931 г.: Курт Гёдель «О принципиально неразрешимых положениях в системе Principia Mathematica и родственных ей системах»;
5 — The Early Mathematical Manuscripts of Leibniz;
6 — Мельников Сергей: «Введение в философию Аристотеля»;
7 — Гильмутдинова Нина: «Логика и теория аргументации»;
Законы логики, которые должны знать все
Все мы хотим понять, что правильно, а что нет. Так, фраза «это нелогично» стала чуть ли не самой используемой при критике какого-нибудь сериала или фильма. Но вот о том, что такое логика и как вообще различать, что логично, а что нет, — знают далеко не все. А ведь у неё как у раздела философии есть своё понятие и законы.
Логика по Аристотелю
Древние греки вообще любили рассуждать о том, как устроен наш мир и в чём его смысл. У них это, кстати, получалось вполне неплохо. Так, учёный и философ Левкипп и его ученик Демокрит открыли атомы, не имея при этом наших микроскопов. Сделать это им удалось в том числе благодаря логике.
В Античности очень часто пользовались рассуждениями об объекте для его познания. Строился этот принцип на том, что во Вселенной есть законы, которые человек способен понять через мысли и опыт.
Вот и Аристотель был парень не промах. Он вывел четыре основных закона логики и определил, что это наука, которая является вспомогательной для познания мира. Она изучает законы и форму мышления, ведь только структурировавший своё мышление учёный будет способен совершать открытия.
Первый закон: закон тождества
Суть первого закона в том, что у каждого слова должно быть одно определённое значение. Так как люди выражают информацию в основном при помощи слов, то от того, что мы понимаем под каждым словом, и зависит результат любого диалога, понимание книги, фильма, сериала и так далее. Без точного определения мы попросту не можем правильно выразить свои мысли.
Конечно, так же важен и сам контекст, в котором слово употребляется. Первый закон логики указывает именно на значение слова в один определённый момент в одном определённом месте. Ведь существуют такие слова, как «ключ», «шип» и прочие омонимы, понимание значения которых как раз и зависит от контекста.
Так, например, при нарушении закона логики на фразу «Мне не повезло: я сломал ногу в двух местах» можно было бы ответить: «Так не ходи в эти места», — так как понятие слова «место» заранее не было обговорено. Конечно, подобные мелочи мы редко замечаем в повседневной жизни, так как наше логическое мышление достаточно развито, чтобы находить правильные ответы на простые вопросы.
Второй закон: закон непротиворечивости
Этот закон еще называют законом правильного мышления. Его суть состоит в том, что высказывание и одновременное его отрицание не может быть истиной. Конечно, нужно отличать нарушение второго закона логики от игры слов. Так, обычная фраза строгих мам «закрой рот и ешь» нарушает второй закон, а вот фраза «в моём детстве у меня не было детства» — нет.
Третий закон логики: закон исключённого третьего
Если есть два противоположных суждения, когда одно из них отрицает другое, например А равно Б и А равно не Б, то не может быть иного суждения. Или в другой формулировке:
Если два суждения об одном предмете противоречат друг другу, то они не могут быть одновременно ложными или одновременно истинными. Важно отличать суждения противоречащие и противоположные.
Противоположное суждение может иметь третий вариант ответа. Если мы говорим: «Собака маленькая» и «Собака большая», — возможен третий вариант: «Собака средняя». А в противоречащем суждении мы можем сказать: «Эта собака небольшая» и «Эта собака большая». В этом случае верный ответ только один.
В реальной жизни этот закон применяется при обсуждении любых противоречивых тем. В результате такого диалога оба собеседника будут пытаться формулировать свою мысль так, чтобы она была логичной. Но при этом ответ на обсуждаемый вопрос всегда будет один, следовательно кто-то будет неправ, так как в своём суждении нарушает законы логики. Останется только определить, кто неправ.
Четвёртый закон логики: закон достаточного основания
Любые суждения, высказанные мысли, утверждения и так далее должны иметь твёрдые основания. Выдвинутое утверждение должно иметь достаточно аргументов, чтобы считаться истиной, и, следовательно, само вытекать из аргументов.
Являясь последним из законов, закон достаточного основания вобрал в себя предыдущие. Так как весь наш мир строится на наших суждениях о нём, важно, чтобы каждое суждение было обосновано. Верить во что-то без доказательств — это выбор глупцов, ведь недоказанное суждение стоит мало.
Конечно, для применения этого закона необходимо проверять каждое сомнительное суждение уже доказанными фактами. Так ты значительно уменьшаешь риск быть обманутым.
4 закона логики
В поле зрения логики как науки о познавательной деятельности пребывают не только формы мышления, но и отношения, возникающие между ними в мыслительном процессе. Дело в том, что не каждая совокупность понятий, суждений, умозаключений дает возможность построить эффективное размышление. Для него обязательными атрибутами являются последовательность, непротиворечивость, обоснованная связь. Эти аспекты, необходимые для эффективных размышлений, призваны обеспечить логические законы.
Логические законы
Чтобы избежать искаженного представления о предмете статьи, укажем, что, говоря об основных законах логики, мы имеем в виду законы формальной логики (тождества, непротиворечия, исключенного третьего, достаточного основания), а не логики предикатов.
Логический закон – внутренняя существенная, необходимая связь между логическими формами в процессе построения размышления. Под логическим законом Аристотель, который, к слову, первым сформулировал три из четырех законов формальной логики, подразумевал предпосылку к объективной, «природной» правильности рассуждения.
Многие учебные материалы часто предлагают следующие формулы для записи основных законов логики:
Стоит помнить, что такое обозначение во многом условно и, как отмечают ученые, не всегда в полной мере способны раскрыть суть самих законов.
1. Закон тождества
Аристотель в своей «Метафизике» указывал на тот факт, что размышление невозможно «если не мыслить каждый раз что-нибудь одно». Большинство современных учебных материалов закон тождества формулирует так: «Любое высказывание (мысль, понятие, суждение) на протяжении всего рассуждения должно сохранять один и тот же смысл».
Отсюда следует важное требование: запрещается тождественные мысли принимать за различные, а различные – за тождественные. Поскольку естественный язык позволяет выражать одну и ту же мысль через различные языковые формы, то это может стать причиной подмены исходного смысла понятий и к замене одной мысли другой.
Чтобы подтвердить закон тождества Аристотель обратился к анализу софизмов – ложных высказываний, которые при поверхностном рассмотрении кажутся правильными. Наиболее известные софизмы, наверное, слышал каждый. Например: «Полупустое есть то же, что и наполовину полное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное» или «6 и 3 есть четное и нечетное. 6 и 3 есть девять. Следовательно, 9 есть и четное, и нечетное».
Внешне форма рассуждения правильная, но при анализе хода рассуждения обнаруживается ошибка, связанная с нарушением закона тождества. Так, во втором примере всем понятно, что число 9 не может быть одновременно и четным, и нечетным. Ошибка в том, что союз «и» в условии употребляется в разных значениях: в первом как объединение, одновременная характеристика чисел 6 и 3, а во втором – как арифметическое действие сложения. Отсюда и ошибочность вывода, ведь в процессе рассуждения к предмету были применены разные смыслы. По сути, закон тождества – требование в определенности и неизменности мыслей в процессе рассуждения.
Извлекая будничный смысл из вышесказанного остановимся на понимании того, к чему относится закон тождества. В соответствии с ним всегда стоит помнить, что прежде чем приступить к обсуждению любого вопроса, нужно четко определить его содержание и неизменно ему следовать, не смешивая понятий и избегая двусмысленностей.
Закон тождества не предполагает, что вещи, явления и понятия неизменны в некоторых моментах, он основывается на том, что мысль, зафиксированная в определенном языковом выражении, несмотря на все возможные преобразования, должна оставаться тождественной сама себе в пределах конкретного соображения.
2. Закон непротиворечия (противоречия)
Формально-логический закон непротиворечия основывается на доводе, что два несовместимых друг с другом суждения не могут быть одновременно истинными; как минимум одно из них ложно. Оно вытекает из понимания содержания закона тождества: в одно время, в одном отношении истинными не могут быть два суждения о предмете, если одно из них что-нибудь утверждает о нем, а второе это же отрицает.
Сам Аристотель писал: «Невозможно, чтобы одно и то же одновременно было и не было присуще одному и тому же, в одном и том же смысле».
Разберемся с этим законом на конкретном примере – рассмотрим следующие суждения:
Для того, чтобы определить какое высказывание истинно, обратимся к логике. Можем утверждать, что одновременно оба высказывания быть правдивыми не могут, поскольку являются противоречивыми. Из этого следует, что если доказать истинность одного из них, то второе обязательно будет ошибочным. Если же доказать ошибочность одного, то второе может быть как истинным, так и неправдивым. Чтобы узнать правду, исходные данные достаточно проверить, например, с помощью метрики.
По сути, этот закон запрещает утверждать и отрицать одно и то же одновременно. Внешне закон противоречия может показаться очевидным и вызвать справедливое сомнение по поводу целесообразности выделения столь простого вывода в логический закон. Но здесь есть свои нюансы и связаны они с природой самих противоречий. Так, контактные противоречия (когда что-либо утверждается и отрицается почти в одно и то же время, например, уже следующим предложением в речи) более чем очевидны и практически не встречаются. В отличие от первой разновидности, дистантные противоречия (когда между противоречивыми суждениями находится значительный интервал в речи или тексте) – более распространенные и их нужно избегать.
Чтобы эффективно использовать закон противоречия достаточно правильно учитывать условия его употребления. Основным требованием является соблюдение в высказываемой мысли единства времени и отношения между предметами. Другими словами, нарушением закона непротиворечия не может считаться утвердительное и отрицательное суждения, которые относятся к разному времени или употребляются в разных отношениях. Приведем примеры. Так, высказывания «Москва – столица» и «Москва – не столица» могут быть одновременно правильными, если мы говорим в первом случае о современности, а во втором – об эпохе Петра I, который, как известно, перенес столицу в Санкт-Петербург.
В плане разности отношений истинность противоречивых суждений можно передать на таком примере: «Моя подруга хорошо владеет испанским языком» и «Моя подруга плохо владеет испанским языком». Оба утверждения могут быть истинны, если в момент речи в первом случае говорится об успехах в изучении языка по университетской программе, а во втором о возможности работы профессиональным переводчиком.
Таким образом, закон противоречия фиксирует отношения между противоположными суждениями (логическими противоречиями) и никаким образом не касается противоположных сторон одной сущности. Его знание необходимо для дисциплины процесса мышления и исключения возможных неточностей, которые возникают в случае нарушения.
3. Закон исключенного третьего
Намного «знаменитей», чем предыдущие два закона Аристотеля, в широких кругах, благодаря значительной распространенности сентенции «tertium non datur», что в переводе значит «третьего не дано» и отображает суть закона. Закон исключенного третьего – требование к мыслительному процессу, согласно с которым если в одном из двух выражений что-либо о предмете утверждается, а во втором отрицается – одно из них обязательно истинно.
Аристотель в Книге 3 «Метафизики» писал: «…ничего не может быть посредине между двумя противоречивыми суждениями об одном, каждый отдельный предикат необходимо либо утверждать, либо отрицать». Древнегреческий мудрец отмечал, что закон исключенного третьего применим лишь в случае высказываний, употребленных в прошедшем или настоящем времени и не работает с будущим временем, ведь нельзя сказать с достаточной долей уверенности произойдет или не произойдет что-либо.
Очевидно, что закон непротиворечия и закон исключенного третьего тесно связаны. Действительно, те суждения, которые подходят под действие закона исключенного третьего, подходят и под закон непротиворечия, но не все суждения последнего, попадают под действие первого.
Закон исключенного третьего применим к таким формам суждений:
Одно суждение утверждает что-либо о предмете в одном и том же отношении в одно время, а второе – то же самое отрицает. Например: «Страусы – птицы» и «Страусы – не птицы».
Одно суждение утверждает что-либо относительно всего класса предметов, второе – отрицает это же, но относительно лишь некоторой части предметов. Например: «Все учащиеся группы ИН-14 сдали сессию на отлично» и «Некоторые учащиеся группы ИН-14 не сдали сессию на отлично».
Одно суждение отрицает характеристику класса предметов, а второе эту же характеристику утверждает в отношении некоторой части предметов. Пример: «Ни один житель нашего дома не пользуется Интернетом» и «Некоторые жители нашего дома пользуются Интернетом».
Позже, начиная с эпохи Нового времени, закон был раскритикован. Известная формулировка, применявшаяся для этого: «Насколько верно утверждать, что все лебеди черные, исходя из того, что нам до сих пор встречались только черные?». Дело в том, что закон применим лишь в аристотелевской двузначной логике, которая основывается на абстракции. Поскольку ряд элементов бесконечен, проверить все альтернативы в подобного рода суждениях очень сложно, здесь требуется применение других логических принципов.
4. Закон достаточного основания
Четвертый из основных законов формальной или классической логики был сформулирован по прошествии значительного периода времени после обоснования Аристотелем первых трех. Его автор – видный немецкий ученый (философ, логик, математик, историк; этот список занятий можно продолжить) – Готфрид Вильгельм Лейбниц. В своей работе о простых субстанциях («Монадология», 1714 г.) он писал: «…ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, – без достаточного основания, почему именно дело обстоит так, а не иначе, хотя эти основания в большинстве случаев вовсе не могут быть нам известны».
Современное определение закона Лейбница основано на понимании, что всякое положение для того, чтобы считаться вполне достоверным, должно быть доказанным; должны быть известны достаточные основания, в силу которых оно считается истинным.
Функциональное предназначение данного закона выражается в требовании соблюдать в мышлении такую черту, как обоснованность. Г. В. Лейбниц, по сути, объединил законы Аристотеля с их условиями определенности, последовательности и непротиворечивости рассуждения, и на основании этого разработал понятие о достаточном основании для того, чтоб характер размышления был логичным. Немецкий логик хотел этим законом показать, что в познавательной или практической деятельности человека рано или поздно наступает момент, когда недостаточно иметь просто истинное утверждение, нужно чтобы оно было обоснованным.
При детальном анализе оказывается, что закон достаточного основания мы применяем в повседневной жизни довольно часто. Делать выводы, основываясь на фактах – значит применять этот закон. Школьник, указывающий в конце реферата список использованной литературы и студент, оформляющий ссылки на источники в курсовой работе – этим они подкрепляют свои выводы и положения, следовательно, используют закон достаточного основания. С тем же самым люди разных профессий сталкиваются в процессе своей работы: доцент – при поиске материала для научной статьи, спичрайтер – при написании речи, прокурор – во время подготовки обвинительного выступления.
Нарушение закона достаточного основания также широко распространено. Иногда причиной тому неграмотность, иногда – специальные уловки с целью получения выгоды (например, построение аргументации с нарушением закона для победы в споре). Как пример, высказывания: «Этот человек не болеет, у него ведь нет кашля» или «Гражданин Иванов не мог совершить преступление, ведь он прекрасный работник, заботливый отец и хороший семьянин». В обоих случаях ясно, что приводимые аргументы в недостаточной мере обосновывают тезис, а, значит, являются прямым нарушением одного из основных законов логики – закона достаточного основания.
Интересуетесь развитием логического мышления и мышления глобально? Обратите внимание на курс «Когнитивистика»».
Отзывы и комментарии
Поделиться своими знаниями в области законов классической логики, порекомендовать литературу для детального ознакомления с ними, а также обсудить данную статью вы можете путем добавления комментария в специальное поле ниже.