Выводы из сложных суждений

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

Рубрика Философия
Вид контрольная работа
Язык русский
Дата добавления 10.02.2014
Размер файла 20,2 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

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

Размещено на http://www.allbest.ru/

МИНОБРНАУКИ РОССИИ

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«ЧЕЛЯБИНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»

ФАКУЛЬТЕТ ЗАОЧНОГО И ДИСТАНЦИОННОГО ОБУЧЕНИЯ

КАФЕДРА ФИЛОСОФИИ

КОНТРОЛЬНАЯ РАБОТА

по дисциплине «Логика»

Тема «Выводы из сложных суждений»

Челябинск 2013

1. Раскрыть специфику выводов из сложных суждений

сложный суждение умозаключение

Решение

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

Особенность этих умозаключений состоит в том, что выведение заключения из посылок определяется не отношениями между терминами, как в категорическом силлогизме, а характером логической связи между суждениями. Поэтому при анализе посылок их субъектно-предикатная структура не учитывается.

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

В основе выводов логики высказываний лежит отношение логического следования. Некоторое высказывание q логически следует из посылок p1,p2,…pn, если q по содержанию связано с высказываниями p1,p2,…pn и высказывание ((p1^p2^…^pn) > q) является всегда истинным высказыванием.

2. Привести примеры чисто условного умозаключения

Решение

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

Схема умозаключения: (А > В) ^ (В > С) Значит, А > С.

Примеры.

1. Если морковь будут поливать, тогда она будет расти интенсивней. Если морковь будет расти интенсивней, то ее урожай будет больше.

Вывод: если морковь будут поливать, то ее урожай будет больше.

2. Если человек работает, то он получает зарплату. Если человек получает зарплату, то он себя обеспечивает.

Вывод: если человек работает, то он себя обеспечивает.

3. Привести примеры условно-категорического умозаключения. Раскрыть специфику модусов условно-категорического умозаключения

Решение

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

Примеры.

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

1. Правильный утверждающий модус: (( А> В) ^ А) > В

Если у человека высокая температура, то он болен. У этого человека высокая температура.

Достоверный вывод: этот человек болен.

2. Правильный отрицающий модус: ((А > В) ^ ¬В) > ¬А

Если у человека высокая температура, то он болен. У этого человека нет высокой температуры.

Достоверный вывод: этот человек не болен.

3. Неправильный утверждающий модус: ((А > В) ^ В) > А

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

Недостоверный вывод: у этого человека высокая температура.

4. Неправильный отрицающий модус: ((А > В) ^ > ¬А) > ¬В

Если у человека высокая температура, то он болен. У этого человека нет высокой температуры.

Недостоверный вывод: этот человек не болен.

4. Привести примеры разделительно-категорических умозаключений. Раскрыть специфику модусов разделительно-категорического умозаключения

Решение

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

Примеры.

1. Утверждающе-отрицающий модус: ((АvВ) ^ А) > ¬В

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

1.1. Это животное умеет бегать или плавать. Оно умеет бегать.

Недостоверный вывод: вероятно, оно не умеет плавать.

Т.к. альтернативы не исключают друг друга.

1.2. Это животное умеет бегать либо плавать. Оно умеет бегать.

Достоверный вывод: оно не умеет плавать.

2. Отрицающе-утверждающий модус: ((А ^ В) ^ ¬А) > В

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

2.1. Цветы делятся на красные и белые. Этот цветок не красный.

Недостоверный вывод: следовательно, он белый.

Т.к. еще бывают синие цветы.

2.2. Руки бывают левые и правые. Эта рука не левая.

Достоверный вывод: эта рука правая.

5. Привести примеры условно-разделительных умозаключений (конструктивные и деструктивные дилеммы)

Решение

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

В простой конструктивной дилемме первая посылка состоит из двух условных суждений, основания которых различны, а следствия совпадают; вторая посылка содержит дизъюнкцию обоих оснований: (А > В) ^ (С > В), А v С > В.

В сложной конструктивной дилемме первая посылка состоит из двух условных суждений, основания и следствия которых различны; вторая посылка содержит дизъюнкцию обоих оснований: (А > В) ^ (С > D), А v С > В v D.

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

В простой деструктивной дилемме первая посылка состоит из двух условных суждений, основания которых совпадают, а следствия различны. Вторая посылка содержит дизъюнкцию отрицаний обоих следствий: (А > В) ^ (А > С), ¬В v ¬С > ¬А.

В сложной деструктивной дилемме первая посылка состоит из двух условных суждений, основания и следствия которых различны. Вторая посылка содержит также дизъюнкцию отрицаний обоих следствий: (А > В) ^ (С > D), ¬В v ¬D > ¬А v ¬С.

Примеры.

1. Простая конструктивная дилемма

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

Вывод: обвиняемый подлежит уголовной ответственности.

2. Сложная конструктивная дилемма

Если заявление о преступлении является устным, то оно заносится в протокол и подписывается лицом, принявшим заявление. Если заявление является письменным, то оно подписывается заявителем. Заявление о преступлении может быть устным или письменным.

Вывод: заявление заносится в протокол и подписывается лицом, принявшим заявление, или подписывается заявителем.

3. Простая деструктивная дилемма

Если вы хотите быть счастливым, нужно иметь много денег. Если вы хотите быть счастливым, то нужно иметь чистую совесть. Невозможно одновременно иметь и деньги, и совесть.

Вывод: нельзя быть счастливым.

4. Сложная деструктивная дилемма

Если он умен, то он увидит свою ошибку. Если он искренен, то он признается в ней. Но он или не видит своей ошибки, или не признается в ней.

Вывод: он или не умен, или не искренен.

Размещено на Allbest.ru


Подобные документы

  • Изучение специфики модусов условно-категорического и разделительно-категорического умозаключения. Раскрытие специфики выводов из сложных суждений. Анализ условных и разделительных силлогизмов. Приведение примеров конструктивных и деструктивных дилемм.

    контрольная работа [12,4 K], добавлен 28.11.2014

  • Типы опосредствованых умозаключений из сложных суждений: условные, разделительные и условно-разделительные. Утверждающе-отрицающий и отрицающе-утверждающий модусы разделительно-категорических умозаключений. Виды диллем по качеству мыслительного акта.

    презентация [38,7 K], добавлен 14.10.2013

  • Выводы из сложных суждений. Виды дедуктивных умозаключений: условный, разделительный и условно-разделительный силлогизм. Методы установления причинных связей. Содержание важнейших формально-логических законов, суть доказательства и опровержения.

    контрольная работа [28,9 K], добавлен 21.10.2011

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

    контрольная работа [1,3 M], добавлен 25.04.2009

  • Операции логического обобщения. Примеры атрибутивных суждений, их логическая структура и изображение отношений между ними в виде кругов Эйлера. Неправильные категорические силлогизмы. Условно-категорические, разделительно-категорические умозаключения.

    контрольная работа [32,8 K], добавлен 05.12.2011

  • Непосредственные умозаключения из простых и сложных суждений. Простой и сложный категорический силлогизм. Несиллогистические дедуктивные опосредованные умозаключения (из суждений об отношениях). Условное и разделительное умозаключение из сложных суждений.

    реферат [191,1 K], добавлен 20.01.2015

  • Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".

    реферат [12,4 K], добавлен 22.02.2009

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

    контрольная работа [216,2 K], добавлен 11.03.2010

  • Характеристика логического определения суждений. Изучение логических связей между суждениями. Истинностное значение сложных суждений. Особенности логических связок, которыми связываются отдельные суждения. Условный (гипотетический) силлогизм и дилеммы.

    реферат [30,7 K], добавлен 13.08.2010

  • Характеристика внутренней структуры элементарных суждений, сущность логического квадрата. Правила для истинных модусов непосредственных умозаключений. Схема категорического силлогизма, понятие энтимем и эпихейрем. Особенности логики общения и спора.

    реферат [746,8 K], добавлен 16.07.2012

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.