Модус следующего условно категорического умозаключения. Чисто-условное, условно-категорическое, разделительно-категорическое и условно-разделительное умозаключения. Понятие о логике высказываний

УСЛОВНЫЕ И УСЛОВНО-КАТЕГОРИЧЕСКИЕ СИЛЛОГИЗМЫ, ИХ МОДУСЫ

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

Например, нам даются два суждения:

Все растения суть организмы. ,

Сосны суть растения.

Из них следует, что «сосны суть организмы».

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

Части силлогизма. Данные суждения называются предпосыл­ками или посылками (praemissae), а новое суждение, которое получается из сопоставления посылок, называется заключением (conclusio). Те понятия, которые входят в заключение и предпо­сылки, называются терминами (termini). Подлежащее заключения («сосны») называется меньшим термином (terminusminor), сказуемое заключения («организмы») называется большим тер­мином (terminusmajor), а термин («растение»), который не входит в заключение, называется средним термином (terminusmedius). Обозначение, терминов большими или меньшими находится зависимости от того, какой объём им присущ в одном из типичных случаев силлогистического вывода, как в только что приведённом. Самый больший объём приходится на долю сказуемого («организмы»), самый меньший - на долю меньшего тер­мина, подлежащего заключения («сосны»), а средний - на долю среднего термина («растения»), который не входит в заключение. Средний термин называется средним также потому, что он служит посредствующим связующим элементом между боль­шим и меньшим терминами. Средний термин служит для срав­нения большего термина с меньшим. Сами по себе эти термины не могут быть сравниваемы. Сравнение может происходить че­рез посредство среднего термина. Мы не могли бы связать тер­мин «сосны» с термином «организмы», если бы у нас не было термина «растения», который связывается, с одной стороны, с термином «организмы», с другой стороны, с термином «сосны» и, таким образом, служит связующим звеном между термином «сосны» и термином «организмы».

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

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

Схема условного суждения будет такова:

Если Л есть В, то С естьD ,

Первое суждение, называется «основанием», второе называется «следствием». Можно составить такой силло­гизм, в котором одна из посылок будет условным суждением; тогда у нас получится условный силлогизм.

Есть два типа условных силлогизмов:

1. Modusponens, или модус конструктивный.

Если А есть В, то С есть D.

А есть В.____________

Следовательно, С естьD,

Если дождь идёт, то почва мокрая. Дождь идёт

Следовательно, почва мокрая.

Этот тип умозаключения называется modusponens, потому что в нём основание полагается, утверждается (от ponere- вставить); в нём в меньшей посылке содержится утверждение основания. Вследствие того, что утверждается основание, утверждается также и следствие, потому что в данном случае основание есть причина следствия. Второй тип условных силлогизмов называется:

2. Modus tollens , или модус деструктивный. Он называется modustollens потому, что меньшая посылка содержит отрицание, и именно следствия (tollere-уничтожать).

Если А есть В, то С есть D.

С не есть D.

Следовательно, А не есть В,

Если дождь идёт, то почва мокрая

Но почва не мокрая

Следовательно, дождь не идёт.

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

Таким образом, получаем два типа условного силлогизма. Первый называется также модус конструктивный, потому что в нём получается утвердительное заключение (от construe - строю, созидаю), второй тип называется модус деструктивный, потому что в нём получается отрицательное заключение Мот destruo-разрушаю).

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

N приобрёл познания.

Мы здесь утверждаем следствие. Можем ли мы утверждать основание? Следует ли отсюда, что N читал хорошие книги? Нет, так как он эти познания мог приобрести при помощи различных других способов, например при помощи общения с учёными людьми, слушания лекций и т. п. Приобретение позна­ний имеет своей причиной не одно только чтение хороших книг, но и многие другие причины.

Попробуем отрицать основание; возьмём тот же сил­логизм:

Если кто-нибудь читает хорошие книги, то он приобретает познания.

N не читает хороших книг.

Следует ли отсюда, что он не приобретёт познания? Нет, не следует по тем же соображениям, которые только что были при­ведены.

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

1) утверждающий,

2) отрицающий.

В утверждающем модусе (modus ponens) в категорической посылке утверждается истинность антецедента условной посылки, а в заключении – истинность консеквента. Рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Его схема:

Например:

Если воду нагреть до ста градусов, вода закипит

Воду нагрели до ста градусов

Вода нагрелась

В отрицающем модусе (modus tollens) в категорической посылке отрицается истинность консеквента, а в заключении – истинность антецедента. Рассуждение построено от отрицания истинности следствия к отрицанию истинности основания. Схема modus tollens:

Например:

Если растение лишить влаги, оно погибнет

Растение не погибло

Следовательно, растение не лишено влаги

Возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия:

От утверждения истинности следствия к утверждению истинности основания:

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

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

ОТВЕТЫ НА ВОПРОСЫ

1. Каков предмет формальной логики?

1. Формальная логика – наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания.

2. Чем софизм отличается от паралогизма?

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

3. Могут ли быть одновременно истинными и одновременно ложными следующие пары суждений (поясните ссылкой на используемые законы логики):

а) Тот, кто ясно мыслит, ясно говорит

Не всякий ясно мыслящий, ясно выражает свои мысли

б) Абсурдные высказывания не могут быть логичными

Некоторые абсурдные высказывания вполне логичны

в) На столе царил беспорядок

Все вещи на столе были аккуратно разложены

г) Большинство людей стремится к добру

все люди стремятся к добру

д) Инспектор пошел навстречу остановившейся машине

Инспектор не пошел нам навстречу

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

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

4. Какой закон логики нарушается и в чем именно: Штирлиц и Мюллер стреляли по очереди. Очередь таяла, но не расходилась?

4. Штирлиц и Мюллер стреляли по очереди (в данном случае слово «по очереди» - наречие. Очередь таяла, но не расходилась (в данном случае слово «очередь» - существительное).

Закон тождества (не допускается подмена понятий).

5. Дайте полную логическую характеристику следующих понятий: корабль, вернувшийся из плавания; короткий; невидаль; производственный коллектив; Пятачок.

5. Корабль, вернувшийся из плавания – общее понятие, конкретное, безотносительное, положительное.

условным умозаключением называется такое опосредст­вованное умозаключение, в котором обе посылки являются услов­ными суждениями. Условным называется суждение, имеющее структуру: “Если а, то b ”.Структура чисто условного умозаклю­чения такая:

Если а, то b Схема:

Если b, то с.

Если а, то с а→b, b→c

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

((а→c)^ (b→с))→(а→с).

Условное суждение имеет форму: если A есть B, то C есть D, например: если Земля вращается вокруг своей оси, то происходит смена дня и ночи . Первое суждение есть основание (антецедент ), а второе - следствие (консеквент ).

Существуют два модуса условно-категорических умозаключений. Первый из них называется modus ponens , то есть устанавливающий, утверждающий, конструктивный модус; второй называется modus tolens , то есть разрушающий, отрицающий,деструктивный модус.

Конструктивный модус имеет следующий вид.

Если A есть B, то C есть D ;

A есть B ;

Следовательно, C есть D .

• В условно-категорическом умозаключении в конструктивном модусе

Деструктивный модус имеет следующий вид.

Если A есть B, то C есть D ;

C не есть D ;

Следовательно, A не есть B .

• В условно-категорическом умозаключении в деструктивном модусе отрицается консеквент.

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

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

История и предмет логики

Безотносительные анализ термина термин квадрат предметное значение.. логические операции с объемом понятия.. обобщение понятия это логическая операция перехода от понятия с меньшим объемом но с большим содержанием к понятию..

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

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

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

Твитнуть

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

История и предмет логики
В своем развитии логика прошла два этапа: 1) с IV в. до н. э. до XIX в. н. э. В этот период произошло возникновение формальной логики, автором которой традиционно считаетс

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

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

Понятие
Понятие – простая форма абстрактного мышления, которая фиксирует существенные признаки предмета или класса предмета. Логические характеристики понятия, как форма абстрактного мышления…..

Безотносительные
Анализ термина Термин: квадрат. Предметное значение: геометрическая фигура. Термин Пр

Способы решения логических задач
Известно несколько различных способов решения логических задач. Давайте назовем их так: § Метод рассуждений; пособ рассуждений - самый примитивный способ. Этим способом решаются самые прос

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

Отношения простых категоричсеких суждений. Логич квадрат
Логический квадрат

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

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

Умозаключение
Умозаключение – это форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение. Структура всякого умозак

Силлогизм
Категорический силлогизм – это умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание. Логическая теория такого рода умозаключений

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

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

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

Основные законы логики
Закон логики - общая норма рассуждения, регулирующая процессы речевого общения и трансляцию смысла. Законы: 1. Зако

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

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

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

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

Ошибки относительно доказываемого тезиса
1. “Подмена тезиса”. Тезис должен быть ясно сформулирован и оставаться одним и тем же на протяжении всего доказательства или опровержения - так гласят правила по отношению к тезису

Ошибки в основаниях (аргументах) доказательства
1. Ложность оснований (“основное заблуждение”).В качестве аргументов берутся не истинные, а ложные суждение которые выдают или пытаются выдать за истинные. Ошибка может быть непред

Контрольна робота

З курсу „Логіка”

Завдання

Теоретичне питання: Дедуктивні умовиводи

Задачі:

А - фінансист;

В - державний службовець;

С – спортсмен;

Д – студент?

4. Наведіть приклади судження, яке відповідає наведеній формулі. Складіть для нього таблицю істинності: (В Ú С) → А

6. Зробіть методом перетворення, обернення і протиставлення предиката безпосередні умовиводи з такого засновку:

Жоден із туристів нашої групи не знав німецької мови.

8. Побудуйте доказ тези методом доведення до абсурду:

Організація потребує фінансової допомоги.

9. Яка форма мислення виражена у міркуванні:

Зима. Вечоріє. Вночі, напевно, піде сніг?

Дедуктивные умозаключения

Выводы из сложных суждений . Другие виды дедуктивных выводов

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

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

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

Чисто условное и условно-категорическое умозаключения

Чисто условное умозаключение

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

Например:

Если изобретение создано совместным творческим трудом нескольких граждан (а), все они признаются соавторами изобретения (b)

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

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

Схема чисто условного умозаключения:

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

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

Рассмотрим пример:

Первая посылка - условное суждение, выражающее связь основания (а) и следствия (b). Вторая посылка - категорическое суждение, в котором утверждается истинность основания (а): иск предъявлен недееспособным лицом. Признав истинность основания, мы признаем истинность следствия (b): суд оставляет иск без рассмотрения.

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

Утверждающий модус дает достоверные выводы. Он имеет схему:

Другим модусом, дающим достоверные заключения, является отрицающий модус (modus tollens), в котором посылка, выраженная категорическим суждением, отрицает истинность следствия, а заключение отрицает истинность основания. Рассуждение направлено от отрицания следствия к отрицанию основания. Например:

Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма.

(3) Посылка, выраженная категорическим суждением, отрицает истинность основания, заключение отрицает истинность следствия. Рассуждение направлено от отрицания основания к отрицанию следствия, т.е.:

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

(4) Посылка, выраженная категорическим суждением, утверждает истинность следствия, заключение утверждает истинность основания. Рассуждение направлено от утверждения следствия к утверждению основания, т.е.:

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

Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законь! логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия - к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Необходимость вывода по утверждающему и отрицающему модусам можно показать в помощью таблиц истинности.

Утверждающий модус (рис.1).

Истинность импликации (столбик 3) зависит от истинности антецедента (основания) (1) и консеквента (следствия) (2). Импликация считается ложной тогда и только тогда, когда антецедент истинен, а консеквент ложен (2-я строка таблицы). Во всех остальных случаях импликация истинна. Истинность или ложность конъюнкции (4-й столбик) также зависит от составляющих ее членов (3 и 1).

Конъюнкция истинна тогда и только тогда, когда истинны оба ее члена (1-я строка таблицы).

Теперь установим истинность импликации (5-й столбик таблицы - утверждающий модус). Так как импликация антецедента (4) и консеквента (2) не содержит случая, когда антецедент истинен, а консеквент ложен, то импликация всегда истинна. Следовательно, высказывание ((р→q)р)→q является логическим законом. Отрицающий модус (рис. 2).

В столбиках 1 и 3, 2 и 4 показано, что если одно высказывание ложно, то его отрицание истинно. Импликация р и q (1 и 2) ложна только в одном случае (2-я строка таблицы) - столбик 5. Конъюнкция (столбик 6) высказываний (p → q) и ˉ|q (5 и 4) истинна только в одном случае (4-я строка таблицы). Импликация ((p→q) ˉ|q) и ˉ|р (6 и 3) всегда истинна, так как не содержит случая, когда антецедент истинен, а консеквент ложен. Следовательно, высказывание ((p→q)ˉ|q)→ˉ|p является логическим законом.

С помощью таблиц истинности можно показать недостоверность выводов по неправильным модусам.

При анализе условно-категорического умозаключения нужно иметь в виду, что основание и следствие большей посылки может быть как утвердительным, так и отрицательным суждением: p→q; ˉ|p→q; p→ˉ|q; ˉ|p→ˉ|q. Например:

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

В символической записи:

Возможны и другие разновидности модусов.

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

В символической записи: p q, где - знак эквивалентности. В таких умозаключениях достоверные заключения получаются по всем четырем модусам:

Рассмотрим для примера выделяющее условное суждение: «Если лицо виновно в совершении преступления, то оно подлежит уголовной ответственности». Нетрудно установить, что достоверное заключение получается по любому из приведенных модусов.

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений - дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».

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

Схема утверждающе-отрицающего модуса:

В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка - категорическое суждение - утверждает один член дизъюнкции, заключение - также категорическое суждение - отрицает другой ее член. Например:

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

В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Схема отрицающе-утверждающего модуса:

В символической записи:

где < ... > - символ закрытой дизъюнкции.

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

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

Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сде-Лб1: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание (сделка может быть и односторонней, для совершения которой достаточно изъявления воли одного лица - выдача доверенности, составление завещания, отказ от наследства и т.п.).

Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо вследствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (r). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме:

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

Заключение будет истинным, если в условной посылке учтены все возможные случаи.

Условно-разделительное умозаключение

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

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

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

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

Схема простой конструктивной дилеммы:

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

Обвиняемый подлежит уголовной ответственности за преступление против правосудия (с)

В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.

Схема сложной конструктивной дилеммы:

Если сберегательный сертификат является предъявительским "с (а), то он передается другому лицу путем вручения (b); если он является именным (с), то передается в порядке, установленном для уступки требований (d). Но сберегательный сертификат может быть предъявительским (а) или именным (с)

Сберегательный сертификат передается другому лицу путем вручения (b) или в порядке, установленном для уступки требований(d)

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

Схема простой деструктивной дилеммы:

Если Н - подозреваемый (а), значит, он или задержан по подозрению в совершении преступления (b), или является лицом, к которому применена мера пресечения до предъявления обвинения (с)

Н не был задержан по подозрению в совершении преступления (не -b) или он не является лицом, к которому применена мера пресечения до предъявления обвинения (не - с).

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

Схема сложной деструктивной дилеммы:

Если предприятие является арендным (а), то оно осуществлю предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (b); если оно является коллективным (с), то осуществляет такую деятельность на основе находящегося в его собственности имущества (d) Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (не - b), ни на основе находящегося в его собственности имущества (не - d). Данное предприятие не арендное (не - а) или не коллективное (не - с)

Сокращенный силлогизм (энтимема)

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

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

Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Николаев - студент, поэтому он обязан сдавать экзамены». Здесь пропущена большая посылка: «Все студенты обязаны сдавать экзамены». Она представляет собой общеизвестное положение, формулировать которое необязательно.

Полный силлогизм строится по 1-й фигуре:

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

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

Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.

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

Рассмотрим наиболее распространенные виды энтимем.

Здесь пропущена большая посылка - условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.

Большая посылка - разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» - не формулируется.

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

Заключение, отрицающее все другие альтернативы, обычно не формулируется.

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

Сложные и сложносокращенные силлогизмы

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

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

Различают прогрессивный и регрессивный полисиллогизмы. В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма. Например:

В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма. Например:

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

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

В символической записи:

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

В процессе рассуждения полисиллогизм принимает обычно сокращенную форму; некоторые из его посылок опускаются. Полисиллогизм, в котором пропущены некоторые посылки, называется соритом. Различают два вида соритов:

1. Прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов. Например:

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

Например:

Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему:

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

Вторую посылку эпихейремы также составляют заключение и меньшая посылка силлогизма.

Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов:

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

Понятие о логике высказываний

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

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

Язык логики высказываний включает: алфавит, определение правильно построенных выражений, интерпретацию.

Алфавит логики высказываний состоит из следующих символов.

Символы для высказываний: р, q, r,... (пропозициональные переменные).

Символы для логических связок:

(3) Технические знаки (,) - скобки.

Допустимые в логике высказываний выражения, называемые правильно построенными формулами или сокращенно ППФ, вводятся следующим определением:

1. Всякая пропозициональная переменная - р, q, r, ... является ППФ.

2. Если А и В - ППФ (А и В - символы метаязыка, выражающие любые формулы), то выражения - АВ, AВ, А→В, АВ, ˉ|А также являются ППФ.

Все другие выражения, помимо предусмотренных п. 1 и 2, не являются ППФ языка логики высказываний.

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

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

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

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

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

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

Табличное построение предполагает определение логических отношений между формулами. Существенное значение для анализа рассуждений имеет отношение логического следования (символ├), которое определяется следующим образом. Из Ai,..., An как посылок логически следует В как заключение, если при истинности каждого Ai, ..., Ап истинным является и В. В языке-объекте отношение следования адекватно выражается импликацией. Значит, если A1,..., Аn ,├ В, то формула, представляющая собой импликацию вида (A1 ^ А2 ^ ... ^ Аn) → В, должна быть тождественно истинной.

Табличное построение логики высказываний позволяет определять логические отношения между высказывания и проверять правильность умозаключений, используя приведенный выше критерий. В качестве примера предлагаем провести табличным способом проверку правильности рассуждения формы (p→q) ├ (ˉ|q→ˉ|p). Заменив знак логического следования между посылкой и заключением на импликацию и построив таблицу для полученной формулы, видим, что она является тождественно истинной. Значит, рассуждение является правильным.

Если в рассуждении содержится более трех переменных, то строить полную таблицу для проверки его правильности затруднительно и тогда используют сокращенный метод проверки, рассуждая от противного. Поскольку при правильном рассуждении формула вида (A1 ^ ... ^ Аn) → В должна быть тождественно истинной, посмотрим, не может ли она при каком-то наборе значений переменных оказаться ложной. Предположим, что может. Если из этого предположения получим какое-нибудь противоречие, то предположение неверно (и проверяемое рассуждение правильно), а если из этого предположения не получим противоречия, то увидим набор значений переменных, при котором формула ложна, т. е. тот набор, который опровергает проверяемое рассуждение.

Логика высказываний как исчисление - это прежде всего так называемая система натурального вывода (СНВ). Аппаратом в ней служат правила вывода, каждое из которых является какой-нибудь элементарной формой умозаключения. Переходя по этим правилам от посылок или некоторых допущений к новым формулам, постепенно доходят до заключения. Вывод из посылок осуществлен, если удалось элиминировать все сделанные допущения. Таким образом, под выводом формулы В (заключения) из формул A1 – An (посылок) имеется в виду последовательность формул, каждая из которых является либо посылкой, либо допущением, либо получается по правилам вывода из предыдущих и последняя формула этой последовательности есть формула В, а все допущения при этом элиминированы.

Правила СНВ позволяют оперировать со всеми связками, имеющимися в алфавите языка. Они делятся на правила введения (в) и правила исключения (и) связок.

Кроме этих прямых правил получения новых строк вывода, в СНВ приняты непрямые правила, определяющие стратегию построения вывода. Например, если нужно вывести из посылок формулу вида импликации (Х1→(X2 →... (Xn-1→Xn))), то после выписывания посылок выписываются в качестве допущений все антецеденты заключения, начиная с антецедента главного знака импликации, т. е. Х1,X2, X3...,Xn-1. Если при этом удастся вывести Xn, то по непрямому правилу

собираем последовательно формулы: (Xn-1→Xn)

(при этом исключается допущение Xn-1), (Xn-2→(Xn-1→Xn)(Xn-2 исключается из числа допущений) и т. д., пока ни получим требуемое заключение

X1→(Xn-2→…(Xn-1→Xn).

Это правило построения прямого вывода.

Приведем пример вывода с применением этого правила:

((рq)→r)├ (р→ (q├ r))

Другое непрямое правило используется для построения косвенного вывода, при котором допущением является отрицание В или отрицание последнего консеквента х„. Это правило имеет вид

и говорит о том, что если из каких-то формул (r) и допущения (А) получено противоречие (В ˉ|В), то из этих формул следует ˉ|А. Таким образом, если строится косвенный вывод формулы вида (X1→(X2→... (Xn-1→X n)...), то после посылок выписываются формулы:

Затем по правилам вывода получаем следствия из всех имеющихся посылок и допущений до тех пор, пока ни получим две противоречащие друг другу формулы (В и ˉ|В), что свидетельствует о несовместимости допущения косвенного доказательства с другими допущениями и посылками. Отсюда делается вывод о его ложности. Тогда в вывод вписывается строка ˉ|ˉ|Xnи тем самым допущение косвенного доказательства исключается. Например, осуществим косвенный вывод:

Косвенный вывод считается законченным, если в ходе вывода получена какая-то формула и ее отрицание, т. е. противоречие. Таким образом, если строится косвенный вывод формулы вида X1→(X2→...Xn), то построчно выписывают все антецеденты от X1 до Xn-1 в качестве допущений; в последней строчке выписывают отрицание последнего консеквента - ˉ|Xn как допущение косвенного вывода. По правилам вывода получаем различные следствия из всех имеющихся посылок и допущений. Получение двух противоречащих следствий говорит о ложности допущения косвенного вывода. На этом основании ДКД отрицается, т. е. получаем двойное отрицание. Снятие двойного отрицания дает формулу Xn.

Основными логическими свойствами системы натурального вывода являются ее непротиворечивость и полнота.

Непротиворечивость означает, что из истинных посылок могут получаться только истинные следствия и если формула выводима из пустого множества посылок, то она тождественно истинна. Это исключает возможность вывести из пустого множества посылок какую-либо формулу (А) и ее отрицание (ˉ|А). Полнота системы означает, что дедуктивных ее средств достаточно, чтобы вывести из пустого множества посылок любую тождественно истинную формулу.

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

Задачі

1. Чи правильно визначені відношення між поняттями:

А - фінансист;

В - державний службовець;

С – спортсмен;

Д – студент?

Відповідь:

Поняття А, В, С і Д є порівнянні поняття, тому що спільне в них визначення особи, яка займається трудовою діяльністю, є родовою ознакою.

Із них сумісними поняттями є А і В (загальна видова ознака – наявність обов`язкової вищої освіти), С і Д (загальна видова ознака – надання права одночасно вчитись та професійно займатись спортом).

Поняття А і В несумісні з поняттям С, тому що для фінансиста заняття професійним спортом означає не заняття фінансами (прикладів суміщення в практиці не має), для державного службовця іншою професійною діяльністю (крім навчання і науково-педагогічної діяльності) заборонено законом.

Поняття А і В несумісні з поняттям Д, тому що поставлене питання розглядається в контексті однієї по кількості вищої освіти, тобто наявність вищої освіти виключає можливість навчання.

Таким чином, кола А і В не повинні пересікатись з колами С і Д.

Розглянемо сумісні поняття А і В.

В наведеному завдання між цими загальними поняттями існує відношення перехрещення, тому що їх видові ознаки не заперечують одна одну (наприклад, співробітник фінансового управління міністерства є одночасно і фінансистом, і державним службовцем).

Поняття А і В пересікаються правильно.

Розглянемо сумісні поняття С і Д.

Відношень тотожності тут не маємо, що очевидно, відношень підпорядкованості теж не маємо, тому що поняття студент розглядається по відношенню до понять А, В і С, а не окремого поняття С (наприклад, студент інституту фізичної культури).

Між цими загальними поняттями існує відношення перехрещення з тих же причин, що і між поняттями А і В.

Розглянемо несумісні поняття.

Між несумісними поняттями А і С, а також В і С існують відношення супідрядності, тому що вино входять, як було сказано вище, до одного роду – професія.

Між несумісними поняттями А і Д, а також В і Д існують відношення протилежності, тому що бути одночасно фінансистом (державним службовцем) з освітою і отримувати цю освіти неможливо.

Всі поняття (А,В,С,Д) є сумісними поняттями, враховуючи, що визначення цих понять показують відношення людини до трудової діяльності (родової ознаки).

По обсягу понять (розмір кіл Ейлера) визначено правильно.

Поняття „фінансист” більш об’ємне, ніж інші, існує в усіх галузях господарства.

Поняття „студент” повністю входить до обсягу поняття „державний службовець”, тому що по закону „Про державну службу” вища освіта обов’язкова.

2. Дайте реальне та номінальне визначення поняттям: Конституція, валюта, вулиця.

Відповідь:

Номінальні визначення понять.

Конституція – Основний закон держави.

Валюта – світові гроші.

Вулиця – місце прогулянок, або елемент плану забудівлі населеного пункту.

Реальні визначення понять.

Конституція – закон держави, який встановлює і регулює основні принципи життєдіяльності суспільства.

Валюта – грошова одиниця, що використовується як міжнародна розрахункова одиниця і є засобом обігу і платежу.

Вулиця – дорога, розташована між будівлями населеного пункту і призначена для проїзду транспорту і проходу пішоходів.

Валюта - світові гроші,

Обґрунтування: даному визначенні поняття „валюта” не розкривається його зміст, а з’ясовується ім’я цього поняття, тобто валюта – це гроші.

Вулиця – дорога

Реальні визначення понять

Конституція – нормативно-правовий документ, який встановлює і регулює державні правовідносини.

Валюта – засіб обігу і платежу в міжнародних і міждержавних розрахунках.

3. Визначте вид судження, терміни і їх розподіленість за допомогою “логічного квадрату”, утворіть інші судження, звернувши увагу на їх істинність:

Деякі приміщення потребують ремонту в цьому році.

Відповідь:

Логічний квадрат:

Усі приміщення потребують ремонту у цьому році			Жодне приміщення не потребує ремонту у цьому році
Деякі приміщення потребують ремонту у цьому році	І		Деякі приміщення не потребують ремонту у цьому році

Це істинне просте атрибутивне означене категоричне частково ствердне судження.

Істинне – тому що не має підстав вважати, що судження не відповідає тому, що є насправді.

Просте – тому що має один суб`єкт приміщення і один предикат потребують ремонту у цьому році.

Атрибутивне – тому що про предмет приміщення стверджується належність йому визначеної властивості потребують ремонту у цьому році.

Означене – тому що слово деякі має зміст тільки деякі, а не всі приміщення.

Частковоствердне– тому що за кількістю воно часткове деякі, а за якістю ствердне потребують.

Термін S (суб`єкт) приміщення нерозподілене, термін Р (предикат) потребують ремонту у цьому році розподілене, тому що обсяг предикату повністю включається в обсяг суб`єкту (приміщення бувають: які не потребують ремонту, які потребують ремонту і які відремонтовані).

Приймаємо судження І – істина, тоді по відношенню заперечення судження О – хиба. Якщо судження О – хиба, то по відношенню підпорядкування судження Е – хиба. Якщо судження Е – хиба, то по відношенню противності судження А може бути як істина, так і хиба. Але знаючи, що судження О – хиба, то по відношенню заперечення судження А – істина. Таким чином, А – істина, І – істина, Е – хиба, О – хиба.

По аналогії здійснюються міркування, якщо І – хиба.

Термін Р (предикат) „потребують ремонту у цьому році” – нерозподілене, тому що розподіленість предиката частковоствержувального судження встановити формально-логічними засобами неможливо і тому його вважають невизначеним і зараховують до нерозподілених (М.Г. Тофтул. Логіка: пос.для студентів ВНЗ. – К.: ВЦ „Академія”, 2002. -368сю, стор.84).

Розглянемо ознаки істинності наведеного судження.

По умові задачі нам дано судження І. Яке воно істинне чи хибне?

Припустимо судження І – хиба → Е – істина → О – істина → А – хиба.

Але із хибності А неможливо зробити висновок про хибність І .

Отже, що І – хиба не доказано.

Припустимо судження І – істина → Е – хиба

Далі наступає невизначеність по всім напрямкам логічного квадрату і однозначного достовірного висновку про істинність або хибність даного судження неможливо.

4. Наведіть приклади судження, яке відповідає наведеній формулі. Складіть для нього таблицю істинності:

(В Ú С) → А

Відповідь:

Якщо заповнити з помилками реквізити адресата або несвоєчасно подати платіжне доручення в банк, то кошти банком не будуть перераховані адресату.

Заповнити з помилками реквізити адресата (В) – істина.

Несвоєчасно подати платіжне доручення в банк (С) – істина.

Отже, (В Ú С) – істина.

Кошти банком не будуть перераховані адресату (А) – істина.

Отже, (В Ú С) → А – істина.

В	С	(В Ú С)	А	(В Ú С) → А
і	і	і
і	і	і

5. Проаналізуйте з погляду дотримання формально-логічних законів наведені міркування:

Свідок А.: Фірма Н. не мала солідних ділових партнерів. Внаслідок цього вона не отримувала великих прибутків.

Свідок Б. Фірма С. має великий досвід роботи і солідний авторитет. Два роки тому вона підписала договір про співробітництво з фірмою Н., що принесло їм солідні прибутки.

Відповідь:

Міркування свідка А.

Закон тотожності виконується, тому що поняття солідний діловий партнер та отримання великих прибутків тотожні.

Закон суперечності не діє, тому що обидва судження не протилежні.

Закон виключеного третього не діє, тому що обидва судження не суперечливі.

Закон достатньої підстави виконується, тому що закони економіки стверджують, що великі (солідні) фірми мають і великі (солідні) прибутки.

Міркування свідка Б.

Закон тотожності не виконується, тому що відбулася підміна понять. В першому судження йдеться про властивості фірми С, а в другому – фірми Н.

Закон суперечності не діє, тому що в судженнях йдеться не про один і той же предмет і не в один і той же час (два роки тому).

Закон виключеного третього не діє, тому що судження не суперечні.

Закон достатньої підстави порушується, тому що не має логічної підстави (підписання договору про співпрацю не приводить з необхідністю до отримання прибутків).

6. Зробіть методом перетворення, обернення і протиставлення предиката безпосередні умовиводи з такого засновку: Жоден із туристів нашої групи не знав німецької мови.

Відповідь:

Перетворення: Е на А.

Усі туристи нашої групи не знали німецької мови.

Обернення: S – P

Отже, P – S

Маємо загально заперечне судження, яке обертається без обмежень.

Жоден з знавців німецької мови не був туристом нашої групи.

Протиставлення предиката: загально заперечне судження перетворюється в частковоствердне. Жодне S не є Р → Деякіне Р є S.

Деякі не знавці німецької мови були туристами нашої групи.

Перетворення: Е на А

Отже, кожний турист нашої групи знав не німецьку мову.

Протиставлення предиката.

Отже, принаймні деякі туристи, що не знали німецьку мову, з нашої групи

7. Наведіть приклад деструктивної дилеми. Доведіть її правильність.

Відповідь:

1. Якщо керівництво акціонерного товариства ставить за мету збільшення статутного капіталу, то воно розмістить на фондовому ринку додаткові акції або викупить акції у акціонерів.

2. Керівництво акціонерного товариства направило прибуток на виплату дивідендів акціонерам.

Отже, Керівництво акціонерного товариства не ставило за мету збільшення статутного капіталу.

Більший засновок (1) є таким, що з нього випливає жва можливих наслідки (розміщення акцій або їх викуп).

Менший засновок (2) заперечує обидва наслідки, тому що кошти направлені не на капіталізацію, а на виплату дивідендів.

У висновку заперечена сама основа, з котрої виводили наслідки (мета – не мета).

Отже, маємо деструктивну дилему.

8. Побудуйте доказ тези методом доведення до абсурду: Організація потребує фінансової допомоги.

Відповідь:

Висунемо антитезу. Припустимо, істинним є теза: Організація не потребує фінансової допомоги.

Аргументом на користь того, щоб організації виділити фінансову допомогу є неспроможність організації виконувати свої функції.

Якщо організація не виконує свої функції, то вона не є організацією.

Отже, Організація, що не потребує фінансової допомоги, не є організацією. А це абсурд.

Отже, антитеза хибна і по закону виключеного третього початкова теза істинна.

9. Яка форма мислення виражена у міркуванні: Зима. Вечоріє. Вночі, напевно, піде сніг?

Відповідь:

Якщо зима, то, напевно, піде сні?

Якщо вечоріє, то буде ніч.

Отже, Вночі, напевно, піде сніг?

Зима (А) – загально стверджене судження дійсності

Вечоріє (А) – загально стверджене судження дійсності

Вночі, напевно, піде сніг? – судження можливості.

Це опосередкований умовивід - гіпотеза

Список літератури

1. Жеребкін В.Є. Логіка. – Х.: Основа, 1998.

2. Кириллов В.Н., Орлов Г.А. Упражнения по логике. – М.: МЦУПЛ, 1999.

3. Арутюнов В.Х., Мішин В.М., Кирик Д.П. Логіка. – К.: КНЕУ, 2000.

4. Волошко І.М., Семенов І.С. Практикум з логіки. – К.: Вид-во Київського ун-ту, 1993.

5. Ивлев Ю.В. Логика для вузов. – М.: Изд-во Моск. ун-та, 1997.

6. Ивлев Ю.В. Логика: Сборник упражнений. – М.: Книжный дом «Университет», 1999.

7. Кондаков Н.Н. Логический словарь. – М.: Сов. энциклопедия, 1990.

8. Упражнения по логике: Учебное пособие. – М.: Юрист, 1993.

9. Ішмуратов А.Т. Вступ до філософської логіки. – К.: Абрис, 1997.

10. Кириллов В.Н., Старченко А.А. Логика. – М.: Юрист, 1999.

11. Орендарчук Г.О. Основи логіки. – Тернопіль: СМП “Астон”, 2001.

12. Рузавин Г.Н. Логика. – М.: ЮНИТИ, 2002.

§ 7.

УСЛОВНЫЕ УМОЗАКЛЮЧЕНИЯ В ЛОГИКЕ

Чисто условным умозаключением называется такое опосред­ствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, име­ющее структуру: «Еслиа, то b ». Структура его такая:

Если a , то b Схема:

Если b , то c a -> b , b -> c

____________ ______________

Если a , то c a -> c

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

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

Если по проводнику пропустить электрический ток, то вокруг проводника образу­ется магнитное поле.

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

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

В чисто условном умозаключении существуют его разновид­ности (модусы). К ним относится, например, такой:

Формула:

Формула является законом логики. В этом умозаключении суждение b истинно независимо от того, утверждается или от­рицается а.

Примером такого умозаключения является следующее рас­суждение:

Если будет хорошая погода, уберем урожай.

Если не будет хорошей погоды, уберем урожай.

Уберем урожай.

Приведем пример из художественной литературы. Один из героев Агаты Кристи, оказавшийся на острове, рассуждает: «Генерал Макартур пребывал в мрачной задумчивости. Черт побе­ри, до чего все странно! Совсем не то, на что он рассчитывал... Будь хоть малейшая возможность, он бы под любым предлогом уехал... Ни минуты здесь не остался бы... Но моторка ушла. Такч то хочешь не хочешь, а придется остаться».

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

Оно имеет два правильных модуса, дающих заключение, с не­обходимостью следующее из посылок.

I .Утверждающий модус (modusponens ).

Формула (1): - является законом логики.

Можно строить достоверные умозаключения от утвержде­ния основания к утверждению следствия. Приведем два примера.

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

Ты хочешь наслаждаться искусством.

____________________________________

Ты должен быть художественно образованным человеком.

Для построения другого примера воспользуемся интересным высказыванием великого русского педагога К. Д. Ушинского: «Если человек избавлен от физического труда и не приучен к умственному, зверство овладевает им» 2 . Использовав это высказывание, построим условно-категорическое умозаключе­ние.

Если человек избавлен от физического труда и не приучен к умственному, то им овладевает зверство.

Этот человек избавлен от физического труда и не приучен к умственному.

_________________________________________

Этим человеком овладевает зверство.

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

Если этот металл натрий, то он легче воды.

Данный металл - натрий.

____________________________

Данный металл легче воды.

II .Отрицающий модус (modustollens ).

Формула (2): - также является законом логики

(это можно доказать с помощью таблицы).

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

Приведем два примера.

Еслирекавыходит из берегов, то вода заливает прилегающие территории.

Вода реки не залила прилегающие территории.

____________________________

Река не вышла из берегов.

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

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

Этот человек не является мерзким.

__________________________________

Этот человек при виде чужой доблести не ярится.

Первый модус, не дающий достоверное заключение.

Формула (3): - не является законом логики.

Нельзя получить достоверное заключение, идя от утвержде­ния следствия к утверждению основания. Например, в умозак­лючении

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

Суда не могут входить в бухту.

_____________________________

Вероятно, бухта замерзла.

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

Вероятное заключение получится и в таком умозаключе­нии:

Если данное тело - графит, то оно электропроводно.

Данное тело электропроводно.

_____________________________

Вероятно, данное тело - графит.

Второй модус, не дающий достоверное заключение.

Формула (4): - не является законом логики.

Нельзя получить достоверное заключение, идя от отрицания основания к отрицанию следствия. Например:

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

Этот человек не имеет повышенной температуры.

_____________________________________

Вероятно, этот человек не болен.

Люди иногда допускают логические ошибки при построении умозаключений. Они могут умозаключать так:

Если тело подвергнуть трению, то оно нагреется.

Тело не подвергли трению.

_____________________

Тело не нагрелось.

Но заключение здесь только вероятное, а не достоверное, ибо тело могло нагреться по какой-либо другой причине (от солнца, в печи и т. д.).

Заметим, что приведения такого рода примеров вполне до­статочно для того, чтобы показать, что формы умозаключений, выражаемые формулами (3) и (4), неправильны. Но никакое количество примеров применения форм, соответствующих фор­мулам (1) и (2), не в состоянии - если мы оперируем только примерами - обосновать их логическую правильность. Для та­кого обоснования требуется уже некоторая логическая теория. Такая теория, фактически отсутствующая в традиционной логи­ке, содержится в алгебре логики. Если формула, в которой ко­нъюнкция посылок и предполагаемое заключение соединены зна­ком импликации, не является тождественно-истинной, т. е. не выражает закона логики, то в умозаключении заключение не является достоверным. В таблице истинности (табл. 9) видно, что столбцы, соответствующие формулам (1) (modusponens ) и (2) ( modustollens ), состоят из одних знаков «И» («истинно»); следовательно, формулы (1) и (2) выражают законы логики, а это означает, что modusponens и modustollens представляют собой логически правильные формы умозаключений.

Таблицу для неправильных модусов предоставляем построить читателю. В ней наряду со знаками «И» мы увидим и знаки «Л» («ложь»), а это значит, что выражения

Не являются тождественно-истинными высказываниями, т. е. законами логики.

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

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

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

Утверждающий модус дает достоверные выводы. Он имеет схему:

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

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

35.Разделительно-категорическое умозаключение.

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

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, - утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждаюшеотрицающий и (2) отрицающеутверждающий.

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

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

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

Схема отрицающеутверждающего модуса:

,˥p/q

< > - символ закрытой дизъюнкции.

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