русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Опосредованные умозаключения из сложных суждений


Дата добавления: 2013-12-24; просмотров: 1036; Нарушение авторских прав


Полисиллогизм

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

Все правонарушения носят антиобщественный характер

Все преступления – правонарушения

Все преступления носят антиобщественный характер

Клевета – преступление

Клевета носит антиобщественный характер

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

Все пороки могут привести к совершению преступления

Эгоизм- это порок

Эгоизм человека может привести к преступлению

Зависть вызывается эгоизмом

Эгоизм человека может привести к преступлению

Среди пороков, способных привести человека к преступлению есть зависть

Энтимема – это умозаключение с опущенной одной из его частей (посылкой или заключением)

Клевета заслуживает наказания, потому что она преступление (энтимема с опущенной большой посылкой)

Эпихейрема – это сложносокращенный силлогизм, посылки которого являются энтимемами

Все преступления – правонарушения, следовательно, они носят антиобщественный характер.

Клевета - это преступление, следовательно, она носит антиобщественный характер

Клевета – это правонарушения

Прогрессивный сорит – это сокращенный прогрессивный полисиллогизм, в котором отсутствует заключение просиллогизма и большая посылка эписиллогизма

Все правонарушения носят антиобщественный характер

Все преступления – правонарушения

Клевета – преступление

Клевета носит антиобщественный характер

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



Все пороки могут привести к совершению преступления

Эгоизм- это порок

Зависть вызывается эгоизмом

Среди пороков, способных привести человека к преступлению есть зависть

Условные умозаключения

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

Если А, то В

Если В, то С

Если А, то С

Если данное деяние грабеж, то оно преступление

Если оно преступление, то карается в соответствие с законом

Если данное деяние грабеж, то оно карается в соответствие с законом

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

Имеются два правильных модуса, то есть выводы носят достоверный характер:

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

Если А, то В

А

В

Пример: Если данное деяние грабеж, то оно преступление

Данное деяние грабеж

Данное деяние преступление

Отрицающий модус -это такое условно-категорическое умозаключение, в котором мысль движется от отрицания следствия к отрицанию основания

Если А, то В

¬ В

¬А

Пример: Если данное деяние грабеж, то оно преступление

Данное деяние не преступление

Данное деяние не грабеж

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

Подразделяются:

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

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

- утверждающе-отрицающий модус – это умозаключение, в котором путем утверждения одного из членов разделительного суждения производится отрицание всех остальных (ponendo tollens)

а или в

в

не – а

Пример:

Преступление может быть совершено умышленно (а) или по неосторожности (в)

Данное преступление совершенно по неосторожности (в)

Неверно, что данное преступление не совершенно умышленно(¬ а)

- отрицающе - утверждающий модус - это умозаключение, в котором путем отрицание всех членов разделительного суждения производится утверждение оставшегося члена (tollendо ponens)

а или в

не - в

а

Преступление может быть совершено умышленно (а) или по неосторожности (в)

Данное преступление совершенно не по неосторожности (¬ в)

Неверно, что данное преступление совершенно умышленно(а)

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

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

Если А, то В; если С, то Д

Либо А, либо С

Следовательно, либо В, либо Д

Если на улице светит солнце, то погода ясная. Если на улице осадки, то погода пасмурная

На улице может быть либо осадки, либо солнечная погода.

Следовательно, на улице может быть либо пасмурная, либо ясная погода.

Данный силлогизм называется дилеммой, поскольку в разделительном суждении представлены две альтернативы.

Деструктивная дилемма: в большей условной посылке содержится два основания и два следствия. Меньшая посылка (разделительная) отрицает одно из возможных следствий. Заключение отрицает одно из возможных оснований.

Если А, то В; если С, то Д

Либо ¬ В, либо ¬ Д

Следовательно, либо А, либо С

Если на улице светит солнце, то погода ясная. Если на улице осадки, то погода пасмурная

На улице либо не ясная, либо не пасмурная погода

Следовательно, на улице либосолнечно, либо осадки

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

 



<== предыдущая лекция | следующая лекция ==>
Правила категорического силлогизма | Метод единственного различения


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.809 сек.