рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Условные и условно-категорические силлогизмы

Условные и условно-категорические силлогизмы - раздел Философия, Логика Ю.П. Попов И В Науке, И В Обиходе Приходится Часто Отмечать Зависимость Тех Или Иных Явл...

И в науке, и в обиходе приходится часто отмечать зависимость тех или иных явлений, событий, про-цессов от всякого рода обстоятельств: факторов, способных изменить течение дел, причинных воз-действий, порождающих известные события, внешних влияний, которые удерживают ход вещей в известных рамках. Короче, речь идет об условиях, определяющих все, что происходит вокруг нас. Обычно условия задаются с помощью оборота "Если..., то...": "Если работа окончена, то мы можем идти", "Если орудие железное, то оно не относится к каменному веку". Суждения, в которых зада-ются такого рода связи, называют условными, а в символической логике импликативными, или им-пликациями.

Условные суждения и вместе с ними условные умозаключения стали изучаться еще в Древней Гре-ции философами стоической школы. Правила оперирования такими умозаключениями довольно просты и легко устанавливаются.

Условные силлогизмы подразделяются на собственно условные и условно-категорические. Кроме того, они могут комбинироваться с другими умозаключениями, например с разделительными, о ко-торых речь впереди.

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

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

Если растут денежные доходы населения, то растет покупательная способность.

Если растет покупательная способность, то растут цены.

Если растут цены, то растет инфляция.

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

Выражение "Если..., то..." удобно заменять стрелкой, а сами высказывания - буквами a, b, c,... Тогда получается простая символическая запись, которая означает: если a, то b, если b, то c...

a => b.

b => c.

a => c.

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

Если алмаз огранен, то он - бриллиант. a => b

Данный алмаз огранен. a

Данный алмаз - бриллиант. b

Modus ponens

В нем от наличия основания условной связи делают вывод о наличии следствия. Название "утвер-ждающий" происходит от того, что этим модусом условно-категорического силлогизма утверждается то, о чем говорит следствие в его посылке. Но это вовсе не означает, будто его заключение может быть только утвердительным суждением. В том случае, когда следствие в условной посылке является отрицательным, то тогда и вывод тоже звучит как отрицание. Например, возьмем утверждение, сде-ланное в виде такой условной посылки: "Если температура ниже нуля, то лед не тает". Добавим сюда еще одну посылку: "Температура ниже нуля". Тогда нам придется делать такой вывод по схеме ут-верждающего модуса, который, однако, выражается отрицательным суждением: "Лед не тает".

При отрицающем модусе вывод делается от отсутствия следствия к отсутствию порождающего его основания:

Если данный материал - стекло, то он хрупкий. a => b

Данный материал не хрупкий -b.

Данный материал - не стекло -a.

Modus tollens

Надчеркивание над буквами в символической записи умозаключения выражает отрицание, означает то же, что не-a или, точнее, неверно, что a.

И этот модус, подобно предыдущему, в принципе может давать как утвердительный по логической форме вывод, так и отрицательный. Все зависит от того, каким суждением выражается основание условной посылки. Скажем, рассуждение "Если такси не свободен, то не горит "зеленый глазок"; но "зеленый глазок" горит" приводит к утвердительному выводу: "Такси свободен". Хотя получен он по отрицающему модусу.

Суммировать приведенные соображения можно одним простым и коротким правилом:

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

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

Если у больного ангина, то у него температура a => b

У данного больного нет ангины -a.

У данного больного нет температуры -b?

Если у больного ангина, то у него температура. a => b

У данного больного температура. b

У данного больного ангина? a?

Неправильные модусы

На самом деле в силу многозначности причинно-следственных связей, в силу того, что одно и то же следствие может вызываться многими причинами, выводы по таким модусам в лучшем случае веро-ятностны, но часто бывают и ложными. Наличие температуры не доказывает, что у больного обяза-тельно ангина, ибо и другие болезни тоже вызывают ее, и отсутствие ангины не гарантирует отсутст-вие повышенной температуры по тем же причинам. Только в том случае, когда связь между основа-нием и следствием взаимно-однозначная, то есть когда одно не бывает без другого, только тогда вы-воды по неправильным модусам дают верный результат. Например, условная посылка "Если год ви-сокосный, то в феврале 29 дней" позволяет строить умозаключения по всем четырем модусам, вклю-чая два неправильных.

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

 

– Конец работы –

Эта тема принадлежит разделу:

Логика Ю.П. Попов

ДАЛЬНЕВОСТОЧНЫЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТИХООКЕАНСКИЙ ИНСТИТУТ ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ И ТЕХНОЛОГИЙ ВЛАДИВОСТОК г... Предисловие...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Условные и условно-категорические силлогизмы

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Часть I. Традиционная логика
Наука о законах правильного мышления сложилась в Древней Греции. Ее основателем является ве-ликий Аристотель (384-322 гг. до н.э.), хотя теория понятия начала развиваться уже учителем Ари-стотеля -

Закон тождества
В этом законе непосредственно проявляется природа самых фундаментальных свойств логической мысли - определенности и последовательности. У самого основателя логики он формулируется неоднократно в ег

Закон противоречия
Закон противоречия раскрывает те же самые свойства определенности и последовательности, но только выражает их в отрицательной форме. Если по закону тождества требуется, чтобы мысль о не изменяющихс

Закон исключенного третьего
В логике принято различать два вида противоположности: контрарную (собственно противоположность) и контрадикторную (противоречие). Нам еще придется о них говорить в разделах о понятии и суждении. З

Закон достаточного основания
Четвертый основной закон формальной логики выражает то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Формулируется он обычно так: всякая мысль истин

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

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

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

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

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

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

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

Логический квадрат
Благодаря количественным и качественным характеристикам даже суждения с одними и теми же субъектами и предикатами могут различаться между собой. Их называют суждениями с одинаковой материей, потому

Модальные суждения
До сих пор нами рассматривались суждения, в которых отмечается только отношение между предметом и его свойством. Это очень распространенная форма высказывания, поэтому она и является объектом внима

Непосредственные умозаключения
Все умозаключения этого рода относятся к разряду дедуктивных. Часть из них уже рассматривалась нами, когда речь шла о логическом квадрате; возвращаться к ним нет необходимости. Помимо них есть еще

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

S a P P e MS a MS e P M a PM a SS i P
  (2) M e P S a M S e P P a M S e M S e P M i P M a S S i P P a M M e S S e P (3) M a P

Энтимема
Надо сказать, что сам по себе силлогизм в чистом виде практически не встречается в рассуждениях. Но зато широко распространены его сокращенные формы, так называемые энтимемы. В переводе с греческог

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

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

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

Аналогия
Аналогия в переводе с греческого означает сходство, подобие. Первоначально древние математики обозначали им пропорцию, однако со временем его смысловое значение расширилось. Помимо из-вестных число

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги