рефераты конспекты курсовые дипломные лекции шпоры

Раздел Философия
/
Метод сведения к абсурду.

Реферат Курсовая Конспект

Выберите учебное заведение

Метод сведения к абсурду.

Метод сведения к абсурду. - раздел Философия, Протагор, Уватом, Сократ, Платон, Аристотель. Логика как наука. Предмет и значение логики. Существуют 3 Способа Определения Истинности Суждения. Первый Метод –...

Существуют 3 способа определения истинности суждения.

Первый метод – табличный метод.

Второй метод – сокращенный табличный метод (абсурдный метод).

Третий метод – алгебраический. Его мы затрагивать не будем. Заключается к приведению формулы к нормальному виду. Приведение к основным логическим законам.

Первый шаг: Суждение импликативное (условное). Определить тип суждения. Значит предполагаем, что все суждение ложное. Теперь надо это подтвердить или опровергнуть.

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

Антецедент – истинно

Консеквент – ложный.

Получается из этого, что В – ложное.

А А – получается истинна.

В этом противоречие, следовательно формула ложна и суждение истинно.

Ответ: Тождественно-истинная формула.

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

Задача 2:

Эта формула представляет импликативное суждение. Предполагаем, что вся формула ложна. Видим, что она состоит из двух частей. Антецедента и Консеквента. По таблице знаем, что одно истинно, а другое ложно.

Разберем вторую часть (консеквент). В консеквенте слабая дизъюнкция. Она ложна, когда две лжи. Следовательно В и С ложны. По закону тождества. Все остальные В и С тоже ложны.

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

Ответ: Формула ложная. То есть тождественно-истинная.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Протагор, Уватом, Сократ, Платон, Аристотель. Логика как наука. Предмет и значение логики.

Протагор Уватом Сократ Платон Аристотель... Логика как наука Предмет и значение логики... Аристотель в века до н э систематизировал все научные данные и основал такую дисциплину как Логика...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Метод сведения к абсурду.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Единичный – это признак, который принадлежит только одному предмету.
Понятие как логическая форма состоит из двух элементов: 1) Содержание понятия – это совокупность существенных признаков 2) Объем понятия – это множество предметов, которые мыслятс

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

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

Правила определения
1) Определение должно быть соразмерным, то есть объем определяемого понятия должен быть равен объему определяющего понятия. При нарушении этого правила возникают ошибки: 1) Слишком широкое определе

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

Правила деления
1) Деление должно быть соразмерным. То есть сумма объёмов членов деления должна быть равна объёму делимого понятия. Ошибки: 1) Неполное деление. То есть сумма объёмов членов деления меньше, чем объ

Простое суждение – это суждение, выражающее связь между двумя понятиями.
Основой нашего суждения является понятие. Например, Иванов купил колбасу. Это простое суждение. Здесь два понятия. 1) Иванов. 2) Купил колбасу. Но не путать с реальными понятиями и понятия

Виды простого суждения.
Признак: Характер предиката: 1) Атрибутивные. (Atributio – свойство, признак предмета) – суждения о признаке предмета. Например, «асфальт мягкий». То есть, быть мягким принадлежит асфальту

Не распределенным термин – термин является нераспределенным, если он частично включается или частично исключается из объема другого термина.
Распределенный термин принято обозначать знаком + Нераспределенный термин принято обозначать знаком – Разберем распределенность терминов в общеутвердительном утвер

Логический квадрат
Это изобретение средневековых логиков. Это способ систематизации для для лучшего восприятия. Правила логического квадрата: 1) Противоположные суждения не могут быт

Сложное суждение – это суждение, состоящее из нескольких простых суждений, которые соединены между собой логическими союзами.
Например, «Идет снег» - простое суждение, а «Если идет снег, то на дорогах пробки» - сложное суждение. Состоит из нескольких простых. Виды сложных суждений – вид сложного с

Соединительные (конъюнктивные) суждения.
˄ - обозначаются (конъюнкция). Это главный логический союз в таком суждении. В русском языке, конъюнкция выражается с помощью таких союзов, как «и», «а

Условные (импликативные) суждения.
Имеют два вида: 1) Простые импликативные суждения. Соединяются условным союзом, который называется импликация и обозначается →. Значение: показывает наличие причинно-следств

Формализация сложного суждения и построение таблиц истинности.
Конечной целью формализации является определение, будет ли сложное суждение логическим законом или нет. Три значения сложного суждения: 1) Сложное суждение может быть тождественно

Фигура ПКС – это вид силлогизма, различающийся расположением среднего термина в посылках.
В каждой фигуре свои правила. В фигурах имеет значение, где расположены суждения. Суждения с большей посылкой находится сверху. Есть всего 4 фигуры: 1) М