Условные умозаключения в логике реферат
Обновлено: 07.07.2024
Условные умозаключения называются так потому, что в качестве посылок в них используются условные суждения (если а, то b). Условные умозаключения можно отразить в виде следующей схемы.
Если а, то b. Если b, то с. Если а, то с.
Выше указана схема умозаключений, являющихся видом условных. Для таких умозаключений характерно, что все их посылки являются условными.
Другим видом условных умозаключений являются условно-категорические суждения. Соответственно названию в этом умозаключении не обе посылки являются условными суждениями, одна из них — простое категорическое суждение.
Необходимо также упомянуть о модусах — разновидностях умозаключений. Существуют: утверждающий модус, отрицающий модус и два вероятностных модуса (первый и второй).
Утверждающий модус имеет самое широкое распространение в мышлении. Это связано с тем, что он дает достоверное заключение. Поэтому правила различных учебных дисциплин строятся в основном на основе утверждающего модуса. Можно отобразить утверждающий модус в виде схемы. Если а, то b. а. b.
Приведем пример утверждающего модуса. Если топор упадет в воду, он утонет. Топор упал в воду. Он утонет.
Два истинных суждения, которые являются посылками этого суждения, преобразуются в процессе вывода в истинное суждение.
Отрицающий модус выражается по следующей схеме. Если а, то b. Не-b. Не-а. Это суждение строится на основе отрицания следствия и отрицания основания. Умозаключения могут давать не только истинные, но и неопределенные суждения (неизвестно, истинны они или ложны). В связи с этим следует сказать о вероятностных модусах. Первый вероятностный модус на схеме отображается следующим образом. Если а, то b. b. Вероятно, а.
Как ясно из названия, следствие, выводимое из посылок при помощи этого модуса, является вероятным. Если дует сильный ветер, то яхту кренит набок. Яхту кренит набок. Вероятно, дует сильный ветер.
Как мы видим, от утверждения следствия к утверждению основания невозможно вывести истинное умозаключение.
Второй вероятностный модус в виде схемы можно изобразить так. Если а, то b. Не-а. Вероятно, не-b.
Приведем пример. Если человек лежит под солнцем, он загорит. Этот человек не лежит под солнцем. Он не загорит.
Как видно из приведенного примера, производя умозаключение от отрицания основания к отрицанию следствия, мы получим не истинное, а вероятностное следствие. Формулы утверждающего и отрицающего модусов являются законами логики, в то время как формулы вероятностных — не являются.
Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
Прикрепленные файлы: 1 файл
чисто условные.doc
по дисциплине логика
Оглавление
Список используемой литературы…………………………………………………… …9
1Чисто условное и условно-категорическое умозаключения
Чисто условное умозаключение
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.
Схема чисто условного умозаключения:
(р -> q) л (q -> г) /р —> г
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок - условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск
без рассмотрения (q)
Иск предъявлен недееспособным лицом (р)
Суд оставляет иск без рассмотрения (q)
Утверждающий модус дает достоверные выводы. Он имеет схему:
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет
иск без рассмотрения (q)
Суд не оставил иск без рассмотрения (не-q)
Неверно, что иск предъявлен недееспособным лицом (не-р)
Схема отрицающего модуса:
2. Разделительно-категорическое и условно разделительное умозаключения.
Разделительно-категорическое умозаключение
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.
1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)
Данная облигация не является именной (не-q)
Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции.
2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)
Данная облигация именная (q)
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.
Условно-разделительное умозаключение
Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим.
Разделительное суждение может содержать две, три и большее число альтернатив2, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.
Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.
I. Привести примеры, соответствующие следующим формулам:
- ((а ® b) Ù (`а ® b)) ® b.
- ((а ® b) Ù а) ® b.
- ((а ® b) Ù `b) ®`a.
- ((а ® b) Ù b) ® a.
- ((а ® b) Ù `а ) ®`b.
1 .Если треугольник является равносторонним, то сумма его внутренних углов равна 180°.
Если треугольник не является равносторонним, то сумма его внутренних углов равна180°.
______________________________ ______________________________ ______
Сумма внутренних углов треугольника равна 180°.
2. Если идет дождь, то асфальт мокрый.
В данный момент идет дождь.
______________________________ ______________________________ ______
Сейчас асфальт мокрый.
3. Если идет дождь, то асфальт мокрый.
В данный момент асфальт не мокрый.
______________________________ ______________________________ ______
Сейчас нет дождя.
4. Если у человека высокая температура, то он болен.
Этот человек болен.
______________________________ ______________________________ ______Возможно, у человека высокая температура.
5. Если идет дождь, то асфальт мокрый.
В данный момент нет дождя.
______________________________ ______________________________ ______
Асфальт не мокрый.
II. Приведите примеры правильных и неправильных условно-категорических умозаключений.
Если рождается мальчик (а), то ему покупают голубую одежду(b).
______________________________ ______________________________ ______
Ему купили голубую одежду(b).
Если рождается мальчик (a), то ему покупают голубую одежду (b).
Ребенку не купили голубую одежду (¬b).
Родилась девочка (¬a).
Если рождается мальчик (m), то ему покупают голубую одежду (n).
Купили голубую одежду(n).
Родился мальчик (m).
Если рождается мальчик (m), то ему покупают голубую одежду (n).
Родилась девочка (¬m).
Ей не купят голубую одежду (¬n).
Список используемой литературы:
1. Логика. Учебное пособие для студентов всех форм обучения и специальностей. Екатеринбург: Изд-во РГППУ, 2006. – с.
Условным называется умозаключение, в котором, по крайней мере, одна из посылок представляет собой условное суждение. В зависимости от того, одна или обе посылки являются условными, различают две разновидности условных умозаключений — условно-категорические и чисто условные.
Условно-категорическое умозаключение. Оно состоит из одной условной и одной категорической посылки. Заключение в этом случае — категорическое суждение. Логическим основанием для такого умозаключения служит определенная связь между основанием и следствием (антецедентом и консеквентом).
В условно-категорическом умозаключении мысль, вообще говоря, может протекать по следующим четырем направлениям:
1) от утверждения основания к утверждению следствия;
2) от отрицания основания к отрицанию следствия;
3) от утверждения следствия к утверждению основания;
4) от отрицания следствия к отрицанию основания.
Поэтому в зависимости от хода мысли теоретически возможны четыре разновидности, или модуса, условно-категорического умозаключения. Однако подобно тому, как в простом категорическом силлогизме из 64 возможных модусов правильны лишь 19, так и здесь из 4 правильны лишь 2 модуса.
Первый — это modus ponens — утверждающий модус, когда мысль движется от утверждения основания к утверждению следствия. Пример:
Если день солнечный, то сосновый лес пахнет смолой.
Следовательно, сосновый лес пахнет смолой.
Формула:
В символической записи:
Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу.
Решение суда обжаловано в кассационном порядке.
Следовательно, оно еще не вступило в законную силу.
Второй — modus tollens — отрицающий модус, когда мысль протекает от отрицания следствия к отрицанию основания. Пример:
Если день солнечный, то сосновый лес пахнет смолой.
Сосновый лес не пахнет смолой.
Следовательно, день не солнечный.
Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу.
Решение суда вступило в законную силу.
Следовательно, оно не обжаловано в кассационном порядке.
Формула:
Почему правильными являются только эти два модуса? В конечном счете их правильность определяется объективными взаимоотношениями между причиной и следствием в действительности, отражением которых прежде всего и выступают условные суждения. Если есть причина, то есть и следствие, а если нет следствия, то нет и причины.
Вот почему если нет данной причины, то это еще не значит, что не может быть и данного следствия: оно может оказаться следствием совсем другой причины. Например:
Если я простужусь, то заболею.
Я не простудился.
Следовательно, я не заболею.
Нет, такой вывод из посылок не следует с логической необходимостью. Я могу заболеть, если заражусь, отравлюсь и т. д. С другой стороны, если есть данное следствие, то это еще не означает, что оно вызвано именно данной причиной. Например:
Если я простужусь, то заболею.
Следовательно, я простудился.
Но подобный вывод тоже не обязателен. Я мог заболеть потому, что заразился, отравился и т. п.
Отсюда вытекают следующие четыре правила условно-категорического умозаключения, соблюдение которых при истинности посылок обеспечивает истинность вывода.
1. Можно идти от утверждения основания к утверждению следствия.
2. Можно идти от отрицания следствия к отрицанию основания.
3. Нельзя идти от отрицания основания к отрицанию следствия.
4. Нельзя идти от утверждения следствия к утверждению основания.
Символическая логика подводит более прочную, чем традиционная логика, базу под объяснение выводов в условно-категорических умозаключениях, а главное, под проверку их истинности или ложности. С помощью таблиц (матриц) импликации и конъюнкции можно показать, почему, например, утверждающий и отрицающий модусы являются правильными.
Чисто-условное умозаключение. Оно отличается от условно-категорического умозаключения тем, что обе его посылки — условные суждения. Поэтому и заключение — тоже условное суждение. Например:
Если данное деяние — мошенничество, то оно — преступление.
Если оно — преступление, то карается по закону.
Следовательно, если данное деяние — мошенничество, то оно карается по закону.
Схематически это умозаключение выглядит так:
Следовательно, если А, то С.
В символической записи:
Здесь действует правило: следствие следствия есть следствие основания.
ГЛАВА V УМОЗАКЛЮЧЕНИЕ
ГЛАВА V УМОЗАКЛЮЧЕНИЕ Умозаключение — это процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях.Исходные суждения называются посылками умозаключения, а получаемое суждение — заключением.В логике исследуются умозаключения,
ІІ. ДОКАЗАТЕЛЬСТВО И УМОЗАКЛЮЧЕНИЕ
ІІ. ДОКАЗАТЕЛЬСТВО И УМОЗАКЛЮЧЕНИЕ Так как доказательность — необходимое условие логичности истинного мышления, то в логике возникает вопрос о том, посредством каких форм мысли осуществляется необходимое требование доказательности.Такой формой мысли является
Умозаключение и его структура
Умозаключение и его структура Умозаключение – это форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение.Структура умозаключения включает посылки, заключение и вывод.Посылки – это исходные суждения, из которых выводится новое
Глава 3 Умозаключение
Глава 3 Умозаключение 3.1. Что такое умозаключение? Понятие, как мы уже знаем, является мысленным обозначением (отражением) какого-либо объекта или его признака, суждение представляет собой некое утвердительное или отрицательное высказывание об объектах, признаках,
3.1. Что такое умозаключение?
3.1. Что такое умозаключение? Понятие, как мы уже знаем, является мысленным обозначением (отражением) какого-либо объекта или его признака, суждение представляет собой некое утвердительное или отрицательное высказывание об объектах, признаках, отношениях и т. п.
4. Умозаключение
4. Умозаключение Суждения, так же как и понятия, не существуют сами по себе, вне связи с другими суждениями. Они связываются. между собой, образуя более сложные мысли, более сложные логические формы. Примеры такой связи суждений у нас уже были выше: все млекопитающие дышат
§ 1. ЧИСТО УСЛОВНОЕ И УСЛОВНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЯ
§ 1. ЧИСТО УСЛОВНОЕ И УСЛОВНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЯ Чисто условное умозаключениеЧисто условным называется умозаключение, посылки и заключение которого являются условными суждениями. Например:Если изобретение создано совместным творческим трудом нескольких
ГЛАВА V УМОЗАКЛЮЧЕНИЕ
ГЛАВА V УМОЗАКЛЮЧЕНИЕ Умозаключение — это процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях.Исходные суждения называются посылками умозаключения, а получаемое суждение — заключением.В логике исследуются умозаключения,
2. Разделительное умозаключение
2. Разделительное умозаключение Разделительным называется такое умозаключение, в котором хотя бы одна из посылок — разделительное суждение (дизъюнкция). В зависимости от характера другой посылки различаются три основные его разновидности:
III. Умозаключение
III. Умозаключение § 39Умозаключение есть полное выражение понятия. Оно вообще содержит суждение с основанием последнего. Тут два определения соединены посредством третьего, представляющего собой их единство. Налицо понятие в его единстве – среднем термине умозаключения
III. Умозаключение
III. Умозаключение § 65Умозаключение есть выражение (Darstellung) понятия в его моментах. Насколько единичность, особенность и всеобщность различны тут как моменты, настолько же крайние термины соединены посредством среднего термина (Mitte), представляющего собой их единство.§
Глава 10. Умозаключение. Рутковский
Отдел седьмой УСЛОВНОЕ И РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ
Условное (Conditionnel)
Умозаключение как форма мысли.
Структура и условия истинности.
Классификация умозаключений
По структуре : непосредственные и опосредованны
По направлению мысли : дедуктивные, индуктивные, традуктивные
Демидов И.В. Логика
- формат pdf
- размер 2 МБ
- добавлен 17 ноября 2011 г.
М.: Юриспруденция, 2000 г. - 138 стр. Содержание: Логика как наука Мышление как объект логики Соотношение языка и мышления Роль логики в формировании логической культуры юриста Основные этапы развития логики Понятие Понятие как форма мышления Соотношение понятия и слова Логическая структура понятия Виды понятий Логические отношения между понятиями Логические операции с понятиями Суждение Общая характеристика суждения Логическая стр.
Контрольная работа. Решение 16 задач
- формат doc
- размер 106 КБ
- добавлен 02 декабря 2009 г.
Виды отношений между понятиями. Обобщение понятия. Правильность определений. Правильность деления понятий. Суждения со сложным субъектом и сложным предикатом в символической записи. Объединенная классификация суждений. Антецедент и консеквент условных и эквивалентных суждений. Вывод путем превращения. Правильность обращения. Суждения противоположные, противоречащие и подчиненные данным. Суждения противоречащие, частичной совместимости и подчиняющ.
Лекция Умозаключение как форма мышления
- формат rtf
- размер 448.97 КБ
- добавлен 17 января 2012 г.
Лупандин В.Н. г.Орёл. Госуниверситет-УНПК. 2011. -14 с. В данной работе представлены основные материалы темы Умозаключение, раздела дедуктивные умозаключения. Рассматриваются вопросы: Общая характеристика умозаключений. Непосредственные умозаключения. Простой категорический силлогизм. Сложный категорический силлогизм. Условный силлогизм. Разделительный силлогизм. Условно-разделительный силлогизм.
Поварнин С.И. Логика. Общее учение о доказательстве
- формат pdf
- размер 13.22 МБ
- добавлен 20 января 2011 г.
Петроград 1916, Тип. Акц. Общ. Типографского Дела, 7 рота, 26. , 210 стр. От автора Введение Основные понятия логики. Единства. Относительные звенья. Ряды. Связки отношений. Логические классы. Деление классов. Суждение. Истинность и ложность. Обращение суждений. Умозаключение. Понятие об умозаключении. Умозаключение от несовместимости суждений. Внутрирядовые умозаключения. Соотнесения в целостных рядах. Соотнесения в частных рядах. Умозаклю.
Реферат Умозаключение
- формат rtf
- размер 23.52 КБ
- добавлен 15 июня 2010 г.
Введение Общая характеристика умозаключения Виды умозаключений Непосредственные умозаключения Ответ на вопрос Заключение Список использованной литературы
Шпаргалки для мобильного телефона
- формат doc, tif
- размер 700.09 КБ
- добавлен 07 декабря 2009 г.
Логика. 2009. Юрфак. Предмет и значение логики.doc Понятие как форма мышления. Понятие и слово. Логические приемы образования понятий.doc Содержание и объем понятия.doc Виды понятий.doc Отношения между понятиями.doc Определение понятий.doc Правила определения.doc Неявные определения.doc Деление понятий.doc Операции с классами.doc Общая характеристика суждения.doc Простое суждение и его виды.doc Категорические суждения и их виды (деление по количе.
Шпаргалки по логике
- формат doc
- размер 62.06 КБ
- добавлен 26 января 2012 г.
Экзамен Вуз: ИЭУП г. Набережные Челны,Татарстан, 2012 - 16 ст./препод. Николаева Е.С. Логика,как наука о мышлении; понятие и виды; суждение и виды,классификация суждений, распределенность терминов; умозаключение; логические операции: обобщение и ограничение,определение, деление; закон противоречия, категорический силлогизм логические основы аргументации фигуры и модусы категорического силлогизма По учебнику А.Д. Гетманова "Логика", Москва, 2000.
Шпаргалки по логике
- формат doc
- размер 746.5 КБ
- добавлен 02 декабря 2009 г.
Предмет и значение логики. Логика и право. Формы чувственного познания (ощущение, восприятие, представление) и абстрактное мышление (понятие, суждение, умозаключение). Понятие о логической форме и логическом законе. Истинность мысли и формальная правильность рассуждения. Основные черты правильного мышления. Понятие как форма мышления. Основные логические приемы формирования понятий. Содержание и объем понятий. Виды понятий. Отношения межд.
Шпоры логика (сдача 2009)
- формат doc
- размер 129.06 КБ
- добавлен 10 декабря 2009 г.
Предмет и значение логики Понятие как форма мышления. Понятие и слово. Логические приемы образования понятий Содержание и объем понятия Виды понятий Отношения между понятиями Определение понятий Правила определения Неявные определения Деление понятий Операции с классами Общая характеристика суждения Простое суждение и его виды Категорические суждения и их виды (деление по количеству и качеству) Выделяющие и исключающие суждения. Распределенность.
Шпоры по логике
- формат doc
- размер 222 КБ
- добавлен 03 июня 2010 г.
28 вопросов 1. Предмет, содержание и особенности логики, как науки. 2. Практическое значение логики 3. Мышление как объект научного анализа 4. Исторические этапы развития логики как науки 5. Понятие, как форма мысли 6. Классификации понятий 7. Отношения между понятиями 8. Обобщение и ограничение понятий 9. Определение понятий. Виды и правила определений 10. Деление понятий. Виды и правила делений 11. Суждение как форма мысли, структура суждения.
Читайте также: