Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь FAQ Написать работу КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Прямых умозаключений логики суждений.Содержание книги
Поиск на нашем сайте
1. Условно-категорические – это умозаключения, в которых одна посылка – условное суждение, а вторая посылка и заключение – суждения категорические. Условно-категорические умозаключения бывают двух разновидностей:
(В схемах умозаключений над чертой записываются посылки, под чертой – заключение, черта означает «следовательно»; «А» и «В» – простые суждения). Пример. Если человек простужен (А), то он болен (В). Человек простужен (А). Он болен (В). Пример. Если человек простужен (А), то он болен (В). Человек не болен (ùВ). Он не простужен (ùА).
правильными. Пример. Из посылок «Если человек простужен (А), то он болен (В)» и «Человек болен (В)» вовсе не обязательно следует «Он простужен (А)». «Человек болен» может означать, что у него сломана нога, поднялось давление и т. п. И только с определенной долей вероятности может оказаться, что он болен, потому что простужен. Аналогично и для отрицающего модуса. 2. Разделительно-категорические – это умозаключения, в которых одна посылка – разделительное суждение, а другая посылка и заключение – суждения категорические. Разделительно-категорические умозаключения также бывают двух разновидностей:
Пример. Отрицающе-утверждающая схема: Либо мы уходим (А), либо мы остаемся (В). Мы не уходим (ùА). Мы остаемся (В). 3. Дилеммы (условно-разделительные силлогизмы) – это умозаключения, в которых две посылки – условные суждения, одна – разделительное, а заключение - либо простое суждение (в простой дилемме), либо сложное разделительное (дизъюнктивное) суждение (в сложной дилемме). Виды делемм:
Пример. «Если вы будете говорить правду (А), люди проклянут вас (В), а если будете лгать (С), то вас проклянут боги (D). Но вы можете только говорить правду (A) или лгать (C). Значит, вас проклянут боги (D) или люди (B)». Если мы выпишем из этого рассуждения только буквенные обозначения простых суждений, соединив их соответствующими логическими связками, то получим форму сложной конструктивной дилеммы. Имеется и еще одна форма дилемм – конструктивно-деструктивные (или все равно, что деструктивно-конструктивные). В этих умозаключениях некоторые из членов разделительной посылки указывают на наличие оснований условных посылок, а некоторые – отрицают следствия (консеквенты) других условных посылок. Например, конструктивно-деструктивной является дилемма вида: А®В, C®D AÚùD BÚùC 4. Чисто условные умозаключения – это вывод из любого количества посылок, которые представляют собой условные суждения, и заключения которых также являются условными суждениями. К этим умозаключениям, в частности, относятся транзитивность импликации и правило контрапозиции. Транзитивность импликации: А®В, В®С А®С Пример. «Если лобная кора головного мозга повреждена (A), то взаимодействие личности с внешней средой нарушается (B). В этом случае (B) человек утрачивает реальное восприятие действительности (C), а значит (C), превращается в раба ситуации (D)». Это умозаключение имеет форму транзитивности импликации с тремя посылками: A®B, B®C, C®D A®D Правило контрапозиции: А®В щВ®щА Пример. «Если человек знает геометрию (А), то он знает теорему Пифагора (В). Следовательно, если он не знает теоремы Пифагора (ùВ), то он не знает геометрии (ùА). Все приведённые выше формы умозаключений являются правильными, то есть их соблюдение гарантирует правильность заключения при истинности посылок. Иногда эти формы называют правилами соответствующих умозаключений. Для проверки правильности умозаключений, не сводимых к этим типам, используется, прежде всего, табличный метод, основанный на том, что между посылками и заключением дедуктивного умозаключения должно существовать отношение логического следования, означающее, что заключение не может быть ложным, если все посылки истинны. Чтобы проверить правильность умозаключения табличным способом, нужно, прежде всего, составить формулу этого умозаключения, а для этого: 1) записать посылки и заключение на языке логики суждений; 2) соединить между собой посылки с помощью конъюнкции; 3) присоединить заключение к посылкам с помощью импликации; 4) для полученной формулы составить таблицу истинности. Умозаключение будет правильным (гарантирующим истинность заключения при истинности посылок) только в том случае, если его формула является тождественно истинной (в последнем столбце таблицы все значения «истина»). Пример. «Если философ – дуалист, то он не материалист. Если он не материалист, то он диалектик или метафизик. Он не метафизик. Следовательно, он диалектик или дуалист». Данное умозаключение довольно сложно привести к какому-либо традиционному типу, поэтому проверим его правильность табличным способом. Запишем посылки и заключение нашего суждения на языке логики суждений. Обозначим: р – философ – дуалист; q – философ – материалист; r – философ – метафизик; s – философ – диалектик. Тогда первая посылка – «Если философ – дуалист (р), то он не материалист (ùq)» – на языке логики суждений имеет вид: рÉùq. Вторая посылка – «Если он не материалист (ùq), то он диалектик (s) или метафизик (r)» – запишется так: ùqÉsÚr. Третья посылка – «Он не метафизик: ùr. Заключение – «Он диалектик (s) или дуалист (р)»: sÚр. Соединяя посылки конъюнкцией (Ù) и присоединяя к ним заключение импликацией (É), получаем формулу: [(р®ùq)Ù(ùq®sÚr)Ùùr]®(sÚр). Для этой формулы составляем таблицу истинности:
Получилась выполнимая формула, так как последний столбец таблицы истинности содержит и значения «истина», и значения «ложь». Это говорит о том, что умозаключение вероятное. Заметим, что при проверке правильности умозаключений, мы можем не строить таблицу полностью, а, получив значения истинности посылок и заключения, ограничиваться рассмотрением только тех строк, в которых все посылки принимают значения «истина». Так, в нашем примере, получив значения в столбцах 6 (третья посылка), 7 (первая посылка), 9 (вторая посылка) и 12 (заключение), мы могли бы исследовать только строки 6, 7, 8, 14. Дело в том, что, с одной стороны, вести речь об истинности заключения имеет смысл только при условии истинности посылок. При ложных посылках, даже правильное по форме умозаключение не может гарантировать истинности заключения. А, с другой стороны, проверяя правильность умозаключения, мы, по существу, проверяем, соблюдается ли в нем отношение логического следования между посылками и заключением, которое как раз и состоит в том, что во всех случаях, когда посылки - истинные суждения, заключение - также истинное суждение, и ни в одной строке таблицы не наблюдается случая, когда все посылки истинны, а заключение ложно. При ложной же посылке мы вообще не можем говорить об отношении логического следования.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Последнее изменение этой страницы: 2016-04-19; просмотров: 264; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 3.147.75.217 (0.006 с.) |