Презентация на тему Основы формальной логики

доказательства
Структура доказательства
Тезис
Доводы (аргументы)
Демонстрация
Виды доказательства
Прямое и косвенное доказательства
Индуктивное и

дедуктивное доказательства
Понятие и способы опровержения
Определение опровержения
Основные приёмы опровержения

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

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

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

процессе которого из аргументов (доводов) выводится истинность тезиса

истинным суждением. Если тезис ложен, то никакое доказательство не

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

доказанным истинным суждением.
Наиболее характерные ошибки:
«Основное заблуждение»
«Предвосхищение основания»
Логические операции

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

error fundamentalis) – логическая ошибка, вызванная нарушением закона достаточного основания в процессе аргументации, когда тезис обосновывается ложными

аргументами.

«Доказательства», основанные на ложных аргументах, не имеют логической силы.

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

посылка: истинна.
Меньшая посылка: ложна.
Вывод: ложен.

силы
Наполеон Бонапарт
птица
Следовательно,
средний термин
Все французы
птицы
Наполеон Бонапарт
француз
Вид умозаключения: простой категорический силлогизм.
Фигура: первая.
Модус: Barbara.
Большая

посылка: ложна.
Меньшая посылка: истинна.
Вывод: ложен.

силы
Наполеон Бонапарт
не умеет читать по-русски
Следовательно,
средний термин
Ни один русский
не умеет читать по-русски
Наполеон Бонапарт
русский
Вид умозаключения: простой категорический

силлогизм.
Фигура: первая.
Модус: Celarent.
Большая посылка: ложна.
Меньшая посылка: ложна.
Вывод: истинен.

силы
Если дважды два – пять, то я – папа римский.
Запишем

«дважды два» в виде суммы: 2 + 2.
Получим, что 2 + 2 = 5.
Вычтем из обеих частей по двойке – получим: 2 = 3.
Переставим правую и левую части – получим: 3 = 2.
Вычтем из обеих частей по 1 – получим: 2 = 1.
Нас с папой римским – двое.
Но так как 2 = 1, то папа римский и я – одно лицо.
Следовательно, я – папа римский.

Б. Рассел

Строго говоря, из ложного утверждения вообще «следует» что угодно.

petitio principii) – логическая ошибка, связанная с нарушением закона достаточного основания в процессе аргументации: в

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

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

не установлена
Может, вы и не заметили, но плохие парни

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

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

Томас Л. Фридман

следует» («не вытекает») (лат. non sequetur) – логическая ошибка, вызванная нарушением закона достаточного основания в

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

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

тезис не следует
Предположим, кто-то взялся доказать шарообразность Земли с

помощью следующих наглядных доводов:
При приближении корабля к берегу сперва показываются из-за горизонта верхушки мачт, а потом уже его корпус.
После захода солнца его лучи продолжают освещать крыши высоких зданий, вершины гор и облака, позднее – только вершины гор и облака, ещё позднее – только облака.
Но из этих «доводов» совершенно не следует, что Земля шарообразна:
они доказывают только кривизну земной поверхности,
замкнутость её формы
и изолированность Земли в пространстве.
Истинность тезиса о шарообразности Земли доказывается другими доводами, а именно:
В любом месте Земли горизонт представляется окружностью, и дальность горизонта всюду одинакова.
Во время лунного затмения тень Земли, падающая на Луну, всегда имеет круглые очертания, а круглую тень при любом положении отбрасывает только шар.

сказанного в относительном смысле к сказанному безотносительно» (лат. a dicto secundum

quid ad dictum simpliciter) – логическая ошибка, связанная с нарушением закона достаточного основания в процессе аргументации: положение, верное при определённых условиях, приводится в качестве аргумента, годного при всех условиях.

«Доказательство», основанное на поспешном обобщении, не имеет логической силы.

силы
Выглянув утром в окно и увидев, что мостовая –

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

чрезмерно доказывает, тот ничего не доказывает» (лат. qui nimium probat, nihil

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

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

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

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

от тезиса
«Порочный круг» (лат. circulus vitiosus) – логическая ошибка, вызванная нарушением закона достаточного

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

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

условии истинности того, что следует доказать
Сократ смертен
Все люди смертны
Сократ – человек
Аристотель смертен
Платон смертен
Диоген смертен
Сократ смертен
…

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

невзгод и страданий, и – в довершение ко всему – она слишком быстро приходит к концу.

Вуди Аллен

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

в доказательстве.

и аргументы должны быть суждениями ясными и точно определёнными.
Тезис

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

Общее правило

Правила, вытекающие из закона тождества

Правила, вытекающие из закона запрета противоречия

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

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

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

случая под общее правило, для чего используется первая фигура простого категорического силлогизма (в данном случае

– модус Barbara).

отрицательным суждением, например непринадлежности предметов некоего класса (S) другому классу (P) на том основании, что

предметам класса S не присущи признаки класса P, используется вторая фигура простого категорического силлогизма (в данном случае – модус Camestres).

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

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

Следует иметь в виду, что термин «косвенное доказательство» в судопроизводстве понимается иначе, чем в логике, а именно: косвенными доказательствами называются доказательства, удостоверяющие искомый факт посредством других фактов, прямо и непосредственно не свидетельствующих ни против, ни за обвиняемого, но позволяющих – в совокупности с другими обстоятельствами дела – определить виновного.

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

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

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

Косвенное доказательство Апагогическое косвенное доказательство

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

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

все яблоки – красные, «от противного».
Допустив «противный» тезис, что

все яблоки – зелёные, мы без труда докажем его ложность, просто предъявив одно незелёное (красное или жёлтое) яблоко.
Но из ложности утверждения «все яблоки зелёные» не следует истинность утверждения «все яблоки красные»: противные (контрарные) суждения не могут быть оба истинными, но вполне могут оказаться оба ложными.
Для того, чтобы апагогически доказать, что все яблоки – красные, нам следовало бы доказать ложность частноотрицательного суждения «некоторые яблоки не красные» (а это нам не удастся).

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

«начала», ни «конца»),
то отправившись из бесконечно удалённого прошлого, невозможно было бы

добраться до «сегодня»,

точно так же, как отправившись из «сегодня» в будущее, нельзя добраться до «конца времён».

Но «сегодня» наступило; следовательно, прошедшее время не было бесконечным, т.е. мир имел начало во времени.

Косвенное доказательство Апагогическое косвенное доказательство

Доказательство тезиса первой антиномии чистого разума

будущее
В прошлое
Из прошлого

в котором мира не было, т.е. пустое время.
Но в пустом

времени невозможно возникновение какой бы то ни было вещи,

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

Косвенное доказательство Апагогическое косвенное доказательство

Доказательство антитезиса первой антиномии чистого разума

будущее
В пустом времени невозможно возникновение чего бы то ни было.
Начало мира

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

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

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

или

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

общих суждений.

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

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

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

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

именно: доказательство не истинности, а ложности тезиса.

способ опровержения тезиса, выставленного оппонентом, это опровержение фактами («факты

– упрямая вещь»).
Косвенное опровержение:
Подвергаются критике доводы, которые выдвинуты оппонентом в обоснование опровергаемого тезиса.
Доказывается, что опровергаемый тезис не вытекает из доводов, приведённых оппонентом в подтверждение его истинности.
Доказывается, что из опровергаемого тезиса необходимо вытекает следствие, противоречащее истине.
Выдвигается и доказывается новый тезис – противоположный или противоречащий опровергаемому.

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

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