Построение доказательства; его роды и виды. Прямое и косвенное подтверждение тезиса.
Построение доказательства; его роды и виды. Прямое и косвенное подтверждение тезиса. - раздел Философия, ЛОГИКА В Зависимости От Цели Доказательства - Обоснования Истинности Тезиса Или Его ...
В зависимости от цели доказательства - обоснования истинности тезиса или его ложности - выделяются два вида доказательств:
1. Подтверждение тезиса – это обоснование истинности тезиса.
2. Опровержение тезиса – это обоснование несостоятельности тезиса.
Подтверждение тезиса бывает прямое и косвенное.
Прямое подтверждение тезиса – это обоснование тезиса, в котором его истинность выводится непосредственно из аргументов.
Обоснование может быть дедуктивное, индуктивное и в форме аналогии.
Дедуктивное обоснование заключается в подведении частного случая под общее правило. Например:
Тезис: Выстрел в Н. произведен с близкого расстояния (Т).
Аргументы:
1. Если вокруг раны следы пороха (А), то выстрел близкий (Т).
2. Вокруг раны Н. следы пороха (А).
А → Т, А
Т
Индуктивное обоснование – это логический переход от аргументов, в которых представлена информация о частных случаях, к тезису, обобщающему эти случаи. Например:
Тезис:
Для всех преступлений против собственности предусмотрено уголовное наказание.
Аргументы:
1. Преступления против собственности предусмотрены в 11 статьях Гл. 21 УК.
2. Каждая предусматривает лишение свободы.
В случае, если мы имеем полную индукцию, то получаем достоверное знание. Если индукция - неполная, то доказательство осуществляется с определенной долей вероятности.
Обоснование в форме аналогии – это прямое обоснование тезиса, в котором формируется утверждение о свойствах единичного явления. Дает проблематичное заключение. Например:
Тезис. Вероятно, в новой квартире фиалки будут цвести также хорошо, как и в старой.
Обоснование. В новой квартире (В), как и в старой (А), за фиалками хорошо ухаживают (Р), достаточно поливают и подкармливают Q. В новой квартире такое же освещение, как и в старой (R). Известно, что в старой квартире фиалки цвели (Т). Значит, и в новой, вероятно будут цвести (Т).
А – Р, Q, R, Т
В – P, Q, R
Вероятно, В - Т
Косвенным называют обоснование тезиса путем установления ложности антитезиса или других конкурирующих с тезисом допущений. Существуют два вида косвенного обоснования тезиса – апагогическое и разделительное.
Апагогическое (греч. - «уводящее») – это обоснование тезиса путем установления ложности антитезиса – противоречащего тезису допущения.
Обоснование происходит в следующей последовательности:
1) Тезису (Т) выдвигают антитезис (┐Т), условно признают его истинность (см. Логический квадрат и др. противоречащие суждения) и выводят логическое следствие ┐Т → С.
2) Следствие (С) сопоставляет с достоверными фактами (F). В случае их несовместимости, следствие (С) расценивают как ложное.
С ۷F, F
┐С
1) Из ложности следствия логически заключают ложность допущения.
┐Т → С, ┐С
┐Т
Разделительное обоснование – это косвенное обоснование тезиса, являющегося членом дизъюнкции, которое осуществляется путем установления ложности и исключения всех других конкурирующих членов дизъюнкции. Это обоснование методом исключения.
(Т ۷ B ۷ C), ┐C Ù ┐В
__________________
T
Дизъюнктивное суждение должно быть полным и строгим.
Курс лекций
Нижний Новгород
2012 г.
ББК: 20
Г 90
И.Н. Хряпченкова, А.Н. Штефан. Логика. Курс лекций – Нижний Новгород: НФ МГЭИ, 2012 – 89 с.
Предмет формальной логики.
В переводе с греч. Logos означает «слово, мысль, разум, речь». Термином «логика» обозначаются формальная логика и логика диалектическая. Формальная в свою очередь подразделяется на традиционную и с
Основные этапы развития логики.
Основными причинами возникновения логики являются: зарождение и первоначальное развитие наук, прежде всего математики. Математика основывается на теоретическом мышлении, которое предполагает
Значение логики.
Использование в умственной работе логического знания повышает продуктивность мышления. Так в самом общем виде можно определить пользу логики. Формально-логические законы лежат в основании мы
Понятие как центральная категория логики.
Объективная возможность возникновения и существования понятий в нашем мышлении обусловлена предметным характером окружающего нас мира, т.е. наличие в нем отдельных предметов, обладающих каче
Виды понятий по объему.
Общие (регистрирующие и нерегистрирующие), единичные и нулевые. Единичные - понятия, в которых мыслится один предмет (Н. Новгород). Нулевые или пустые понятия не содержат ни одного пр
Виды понятий по содержанию.
1) Конкретные и абстрактные. Конкретные - понятия, в которых мыслятся предметы или совокупности предметов (профессор, табурет, Москва). Абстрактные - понятия, в которых мыслятся связи
Логические отношения между понятиями.
Анализируя отношения между понятиями, прежде всего, следует выделить сравнимые и несравнимые. Сравнимые - понятия, имеющие в своем содержании существенные признаки, по к
Общая характеристика суждения
Более сложной по сравнению с понятием формой мышления является суждение. Понятие фиксирует предмет в уме. В суждении выражаются отношения между предметами и их признаками.
Суж
Сложное суждение.
Сложным называется суждение, состоящее из нескольких простых суждений. В зависимости от логического союза (связки) различают конъюнктивные (соединительные), дизъюнктивные (разделительные), импли
Отношения между суждениями
Отношения по истинности или ложности возможны только для сравнимых суждений - имеющих одинаковые субъект и предикат. У несравнимых суждений субъект и предикат - разные.
Сравн
Модальность суждений.
Модальность суждений - это явно или неявно выраженная дополнительная информация о степени обоснованности суждения, о типе зависимости между субъектом и предикатом. Модальность выражается сло
Логическая сущность вопроса
Развитие научных и практических знаний протекает как переход от ранее установленных суждений к новым, более точным и богатым по содержанию. Этот переход можно упрощенно представить в виде следующей
Виды вопросов
Рассмотрим основные виды вопросов в семантическом, функциональном, структурном и других аспектах.
1) Семантика вопросов.
С точки зрения качества базисного знания вопросы могут быт
Логическая сущность ответа.
Ответ должен строиться в соответствии с поставленным вопросом, тогда он выполняет свое назначение - уточнить неопределенную либо доставить новую информацию.
Ответ - новое суждени
Виды ответов.
1) Истинные и ложные ответы.
Ответ расценивается как истинный, если выраженное в нем суждение адекватно отражает действительность. Ответ расценивается как ложный, если выраженное в нем
Общие правила простого категорического силлогизма.
Правила терминов:
1. В силлогизме должны быть только три термина, т.е. М - средний термин - должен быть тождествен, иметь один смысл.
2. Средний терм
Сокращенные и сложные силлогизмы.
Рассмотрим сокращенный силлогизм (энтимема - «в уме», по-гречески). Силлогизм, в котором выражены все его части – обе посылки и заключение, называется полным. Однако на практике чаще использ
Полная и неполная индукция.
Полная индукция – это умозаключение, в котором на основе принадлежности каждому элементу или каждой части класса определенного признака делают вывод о его принадлежности классу в целом.
Научная индукция.
Научная индукция – это умозаключение, в котором обобщение строится на основе отбора необходимых и исключения случайных обстоятельств. Примером могут служить методы научной индукции Ф.
Понятие логического закона.
Критерием логичности наших рассуждений являются основные законы (принципы) формальной логики. Какое бы из множества существующих логических правил ни нарушил рассуждающий, можно всегда показать, чт
Сущность закона исключенного третьего.
Закон противоречия действует в отношении всех несовместимых суждений и устанавливает, что одно из них необходимо ложно, об истинности второго молчит. Согласно закону исключенного третьего
Закон достаточного основания.
Закон достаточного основания: ни одно суждение не может быть признано истинным без достаточного основания.
Значит, мы вправе опровергать любое утверждение, которое не обоснов
Понятие гипотезы, ее существенные признаки и логическая структура.
Процессу познания в научной или практической области всегда предшествует рациональное осмысление тех фактов, которые человек получает из наблюдения. Анализируя, обобщая догадки и предположения, нау
Виды гипотез: общие, частные, научные, рабочие.
1) По объекту описания различают гипотезы общие и частные.
Общей гипотезой называют обоснованное предположение о закономерных связях и об эмпирических регулярностях. Пример -
Проверка гипотезы.
Проверка гипотезы осуществляется в два этапа:
1) Дедуктивное выведение следствий. Зная особенности гипотезы Н, а также учитывая конкретные условия ее проявления, строят дедуктивный
Способы доказательства гипотезы.
Основные способы доказательства гипотезы: логическое доказательство и непосредственное обнаружение предположенных в гипотезе предметов.
1) Непосредственное обнаружение предполож
Понятие доказательства, его логическая структура.
Аргументировать суждение – это привести другие, логически связанные с ним и подтверждающие его суждения. Аргументация – это операция обоснования каких-либо суждений, в которой, наряду с логи
Прямое и косвенное опровержение тезиса.
Опровержение тезиса может быть прямым («сведение к абсурду») и косвенным.
Прямое опровержение тезиса осуществляется в следующем виде. Вначале делают апагогический шаг, т.е. у
Правила доказательства. Возможные логические ошибки.
Соблюдение правил и избежание ошибок в доказательствах важно при ведении спора.
Спор – это столкновение мнений, позиций, в ходе которого каждая сторона аргументировано отстаивает св
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов