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

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

Рубрика Философия
Вид контрольная работа
Язык русский
Дата добавления 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

  • Умозаключение как сложная форма мышления. Сущность теории умозаключений. Значение изучения индукции. Классификация умозаключений по направленности логического следования. Вывод нового суждения. Непосредственные умозаключения через отношение суждений.

    реферат [22,2 K], добавлен 10.02.2009

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

    задача [15,7 K], добавлен 10.02.2015

  • Гипотеза - система понятий, суждений и умозаключений. Специфика, признаки, структура, элементы гипотетических суждений. Аналогия — умозаключение о принадлежности предмету определенного признака на основе сходства с другим предметом. Степень вероятности.

    контрольная работа [29,1 K], добавлен 17.03.2009

  • Классификация непосредственных умозаключений. Диаграмма Эйлера для терминов: люди, мужчины, женщины, дети. Таблица истинности формулы. Определение истинного суждений при ложности данного: "Все промышленно развитые страны применяют безотходные технологии".

    контрольная работа [47,6 K], добавлен 29.03.2010

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

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

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

    реферат [13,5 K], добавлен 11.03.2012

  • Суть и разновидности суждений, различение по степени сложности. Качество и количество — важнейшие его логические характеристики. Единство суждения и предложения. Характеристика утвердительных суждений. Виды модальности. Познавательная ценность суждений.

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

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

    контрольная работа [175,6 K], добавлен 01.02.2016

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

    контрольная работа [79,0 K], добавлен 03.09.2010

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

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

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