VI. ДОКАЗАТЕЛЬСТВО - раздел Философия, ЛОГИКА Доказательство –Форма Мышления, Посредством Которой На О...
Доказательство –форма мышления, посредством которой на основе истинности одних знаний раскрывается истинность или ложность других.
Объективная возможностьдоказательства связана с: а) всеобщей обусловленностью предметов и явлений действительности; б) наличием недоказываемых истин.
Необходимость в доказательстве определяется с: а) общественной природой человеческого познания (человек стремится передать открытую истину другим людям, для чего он должен убедиться сам в ее истинности и убедить в этом других); б) несамоочевидностью большинства истин.
В языке доказательства выражаются посредством предложений, определенным образом связанных между собой и выражающих цепь умозаключений.
Доказательства используютсяи в теории, и на практике.
Участникамипроцесса доказательства являются: а) пропонент (отстаивает тезиз); б) оппонент (опровергает тезис и выдвигает антитезис); в) аудитория (к ней обращены аргументы пропонента и оппонента).
Структура доказательства: тезис – то, что доказывается;основания – то, чемдоказывают; способ доказательства – последовательная логическая связь тезиса и оснований.
Тезисом могут выступать разнообразные суждения (научного или практического характера, если они не очевидны и нуждаются в доказательстве).
Разновидностью тезиса выступает гипотеза (от греч. hypothesis – основание, предположение, догадка). Это – более или менее вероятное предположение, которое может стать предметом доказательства, а со временем обрести статус научного положения или теории.
В качестве оснований могут выступить: а) факты; б) определения; в) аксиомы и постулаты; г) ранее доказанные положения.
Схематично формула доказательства выглядит следующим образом: А-Б-В…- Т, где А, Б, В – основания, Т – тезис, а знак тире между основаниями и тезисом означает факт логического следования между ними.
В зависимости от цели выделяются два вида доказательства: а) собственно доказательство и б) опровержение.
Доказательство в собственном смысле словаиногда называется подтверждением. Под ним разумеется обоснование истинности тезиса.
Опровержениеесть обоснование ложности тезиса, которое тоже достигается с помощью истинных доводов.
Опровержение может принимать форму: а) опровержения тезиса; б) критики оснований (аргументов); в) обоснования отсутствия связи между основаниями итезисом. Нередко опровержение носит всесторонний характер: оно касается сразу всех компонентов доказательства.
В зависимости от способа обоснования выделяются: а) прямые и б) косвенные доказательства.
Прямое доказательство представляет собой рассуждение, в котором доводы непосредственно обосновывают истинность или ложность тезиса.
Косвенное доказательство. Оно отличается тем, что доводы в нем обосновывают истинность какого-либо тезиса опосредованно, через обоснование ложности другого, исключающего его суждения.
Косвенное доказательство может быть: а) апагогическим и б) разделительным.
Апагогическое доказательство(от греч. apagogos – уводящий в сторону), или доказательство от противного, состоит в том, что вначале предпринимается доказательство тезиса, противоречащего исходному; тезис доводится до абсурда или противоречия с теми или иными установленными истинами, затем из ложности такого тезиса делается вывод об истинности противоречащего ему.
Разделительное доказательствохарактеризуется тем, что из нескольких возможных тезисов методом исключения доказывается один.
Государственное образовательное учреждение... высшего профессионального образования... КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
VI. ДОКАЗАТЕЛЬСТВО
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
I. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ
Логика – наука о формах правильного мышления и законах, которым оно подчиняется.
Слово «логика» происходит от греческого слова «logos», что
История логики как науки
Проблемы логики начинают разрабатываться уже мыслителями Древней Индии и Древнего Китая, но зарождение логики как науки связано с именем античного философа Аристотеля
II. ПОНЯТИЕ
Понятие – это форма мышления, отражающая предметы в их существенных признаках. Как форма мысли понятие выполняет две задачи: 1) отличает объекты интересующего нас
Виды понятий
Понятия можно классифицировать по объему и по содержанию.
По объему понятия делятся на единичные, общие и пустые; по содержанию – на конкретные и
Отношения между понятиями
С точки зрения содержания, понятия делятся на сравнимые и несравнимые. Сравнимые – это понятия, имеющие некоторые общие признаки, позволяющие сравнив
Правила явного определения
Определение должно быть не только истинным по содержанию, но и правильным по форме. При определении чрез род и видовое отличие встречаются типичные ошибки, для предупреждения которых надо соблюдать
Обобщение и ограничение понятий.
Обобщение – это логическая операция перехода от понятия с меньшим объемом и большим содержанием к понятию с большим объемом и меньшим содержанием, т.е. от вида к
III. СУЖДЕНИЕ
Суждение – это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами и которая обладает св
Простое категорическое суждение
Состав простого категорического суждения:
субъект (S) – понятие о предмете суждения, логическое подлежащее
предикат (P) –
Виды простых категорических суждений
Атрибутивные суждения делятся на виды по качеству и количеству. По качеству они делятся на утвердительные и
Отношения между простыми суждениями
Простые категорические суждения делятся на сравнимые и несравнимые.
Несравнимыми являются суждения, которые имеют различные суб
Сложные суждения
Сложное суждение – это суждение, образованное из двух или более простых с помощью логических связок: конъюнкции, дизъюнкции, импликации и эквиваленции.
Модальность суждений
Модальность – это явно или неявно выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, об оценочных, временных и других его характерис
IV. ОСНОВЫЕ ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ
Закон мышления – это необходимая существенная связь мыслей в процессе рассуждения.
В формальной логике выделяют четыре основных закона, выражающих коренные свойства логического мышления –
V. УМОЗАКЛЮЧЕНИЕ
Умозаключение – форма мышления, в которой из одного или нескольких суждений на основании правил вывода получается новое суждение, следующее с необходимостью или
Дедуктивные умозаключения
В зависимости от числа посылок, дедуктивные умозаключения делятся на непосредственные и опосредованные.
Непосредственные умозаключения
S не есть не -P
Превращению подлежат все виды суждений.
Суждение А переходит в Е:Все S есть Р → Ни одно S не есть не-Р («Все птицы являются позвоночными живо
Р есть S
При обращении качество посылки не изменяется, а количество может изменяться. Обращение подчиняется правилу: термин, не распределенный в посылке, не может быть распределен в заключении.
Есл
Некоторые не-Р не есть S
Например: «Ни один кит не является рыбой» → «Некоторые не рыбы являются китами».
Суждение О преобразуется в суждение I
Некоторые S не есть Р
Опосредованные дедуктивные умозаключения
Простой категорический силлогизм – это опосредованное дедуктивное умозаключение, в котором из двух истинных категорических суждений, связанных средним т
Общие правила категорического силлогизма
Для получения истинного заключения из истинных посылок необходимо соблюдать правила силлогизма. Этих правил семь: три относятся к терминам и четыре – к посылкам.
Правила терминов
Правила посылок.
Первое правило: из двух отрицательных посылок заключение с необходимостью не следует. Например:
Ярко-красные цветы не имеют запаха
Этот цветок не имеет зап
Фигуры и модусы категорического силлогизма
Фигуры – это разновидности силлогизма, различающиеся расположением среднего термина в посылках.
Категорический силлогизм имеет четыре фигуры.
Энтимема
Энтимема (в уме, в мыслях) – сокращенный категорический силлогизм, в котором пропущена одна из посылок, как правило, большая или заключение.
Краткость формы обусловлив
Дилемма
Дилеммой называется условно-разделительное умозаключение, в котором одна посылка состоит из двух условных суждений, а другая является разделительным суждением, содержащим две альтернативы.
Индуктивные умозаключения
Индукция – умозаключение, где мысль движется от частного знания к общему знанию.
Объективную основу индукции составляет диалектик
Полная индукция
Для полной индукции необходимо исследование всех элементов класса предметов и установление принадлежности каждому из них изучаемого признака.
Индуктивное умозак
Неполная индукция
Неполной индукцией называется умозаключение обо всем классе предметов в целом на основе изучения лишь части предметов данного класса.
Формула неполной индукции:
Основные ошибки в индуктивных умозаключениях
Наиболее распространенными являются: а) отождествление причинной и временной последовательности явлений и б) «поспешное обобщение».
Отождествлен
Аналогия
Аналогия (от греч. analogia – соответствие, сходство) – умозаключение, посредством которого из сходства предметов в одних признаках выводится их сходство в других признаках.
Виды аналогии
Виды аналогии по характеру сходства предметов. В зависимости от того, о каком логическом сходстве идет речь – в свойствах предметов или в отношениях между самими предмет
Ошибки в доказательстве
Ошибки по отношению к тезису. Наиболее распространенными и типичными ошибками являются: а) «подмена тезиса» и б) «переход в дру
VI. ТЕСТЫ ПО ЛОГИКЕ
1. Форма мышления – это
а) соответствие мысли действительности
б) способ связи элементов мысли, ее строение
в) необходимая, существенная связь мыслей в процессе рассужден
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов