§ 1. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. ВИДЫ УМОЗАКЛЮЧЕНИЙ В процессе познания мы приобретаем новые знания. Некоторые из них - непосредственно, в результате воздействия предметов внешнего мира на органы чувств. Но большую часть знаний - путем выведения новых знаний из

§ 2. ВИДЫ АНАЛОГИИ По характеру уподобляемых объектов различают два вида аналогии: (1) аналогию предметов и (2) аналогию отношений.(1) Аналогия предметов - умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком -

§ 2. ВИДЫ ВОПРОСОВ Рассмотрим основные виды вопросов с учетом: 1) отношения к обсуждаемой теме, 2) семантики, 3) функций, 4) структуры.1. Отношение к обсуждаемой теме.В процессе обсуждения спорных проблем в науке, политике, судопроизводстве или деловых беседах важно различать

§ 3. ВИДЫ ОТВЕТОВ Познавательная функция вопроса реализуется в форме вновь полученного суждения - ответа на поставленный вопрос. При этом по содержанию и структуре ответ должен строиться в соответствии с поставленным вопросом. Лишь в этом случае он расценивается как

§ 2. ВИДЫ ГИПОТЕЗ В процессе развития знаний гипотезы различаются по своим познавательным функциям и по объекту исследования.1. По функциям в познавательном процессе различают гипотезы (1) описательные и (2) объяснительные.(1) Описательная гипотеза - это предположение о

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

3.11. Правила умозаключений с союзом «если… то» 1. Утверждать можно только от основания к следствию, т. е. во второй посылке утверждающего модуса должно утверждаться основание импликации (первой посылки), а в выводе – ее следствие. В противном случае из двух истинных

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

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

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

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

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

Доказать теорему А В - это значит установить логическим путем, что всегда, когда выполняется свойство А , будет выполняться свойство В.

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

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

В качестве примера рассмотрим рассуждение школьника, которому надо установить отношение «меньше» между числами 7 и 8. Учащийся говорит: «7 < 8, потому что при счете 7 называют раньше, чем 8».

Выясним, на какие факты опирается вывод, полученный в этом рассуждении.

Таких фактов два: Первый: если число а при счете называют раньше числа b , то a < b . Второй: 7 при счете называют раньше, чем 8.

Первое предложение носит общий характер, так как содержит квантор общности - его называют общей посылкой. Второе предложение касается конкретных чисел 7 и 8 - его называют частной посылкой. Из двух посылок получен новый факт: 7 < 8, его называют заключением.

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

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

В логике вместо термина «рассуждения» чаще используется слово «умозаключение».

Умозаключение - это способ получения нового знания на основе некоторого имеющегося.

Умозаключение состоит из посылок и заключения.

Посылки - это , содержащие исходное знание.

Заключение - это высказывание, содержащее новое знание, полученное из исходного.

Как правило, заключение отделяется от посылок с помощью слов «следовательно», «значит». Умозаключение с посылками р 1, р 2, …, рn и заключением Р будем записывать в виде: или (р 1, р 2, …, рn) Р.

Примеры умозаключений: а) Число а = b. Число b = с . Следовательно, число а = с.

b) Если в дроби числитель меньше знаменателя, то дробь правильная. В дроби числитель меньше знаменателя (5<6) . Следовательно, дробь - правильная.

с) Если идет дождь, то на небе есть тучи. На небе есть тучи, следовательно, идет дождь.

Умозаключения могут быть правильными и неправильными.

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

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

1) формализуют все посылки и заключение;

2) записывают формулу, представляющую конъюнкцию посылок, соединенную знаком импликации с заключением;

3) составляют таблицу истинности для данной формулы;

4) если формула тождественно-истинна, то умозаключение правильное, если нет - то умозаключение неправильное.

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

Правил много, но наиболее часто используются следующие:

1. - правило заключения;

2. - правило отрицания;

3. - правило силлогизма.

Приведем пример умозаключения, выполненного по правилу заключения: «Если запись числа х оканчивается цифрой 5, то число х делится на 15. Запись числа 135 оканчивается цифрой 5 . Следовательно, число 135 делится на 5 ».

В качестве общей посылки в этом умозаключении выступает утверждение «если А(х), то В(х) », где А(х) - это «запись числа х оканчивается цифрой 5 », а В(х) - «число х делится на 5 ». Частная посылка представляет собой высказывание, которое получилось из условия общей посылки при
х = 135 (т.е. А(135) ). Заключение является высказыванием, полученным из В(х) при х = 135 (т.е. В(135) ).

Приведем примерумозаключения, выполненного по правилу отрицания: «Если запись числа х оканчивается цифрой 5, то число х делится на 5 . Число 177 не делится на 5 . Следовательно, оно не оканчивается цифрой 5 ».

Видим, что в этом умозаключении общая посылка такая же как и в предыдущем, а частная представляет собой отрицание высказывания «число 177 делится на 5 » (т.е. ). Заключение - это отрицание предложения «Запись числа 177 оканчивается цифрой 5 » (т.е. ).

И наконец, рассмотрим пример умозаключения, построенного по правилу силлогизма : «Если число х кратно 12, то оно кратно 6. Если число х кратно 6 , то оно кратно 3 . Следовательно, если число х кратно 12, то оно кратно 3 ».

В этом умозаключении две посылки: «если А(х), то В(х) » и «если В(х), то С(х) », где А(х) - «число х кратно 12 », В(х) - «число х кратно 6 » и С(х) - «число х кратно 3 ». Заключение представляет собой высказывание «если А(х), то С(х) ».

Проверим, правильны ли следующие умозаключения:

1) Если четырехугольник - ромб, то его диагонали взаимно перпендикулярны. АВС D - ромб. Следовательно, его диагонали взаимно перпендикулярны.

2) Если число делится на 4 , то оно делится на 2 . Число 22 делится на 2 . Следовательно, оно делится на 4.

3) Все деревья являются растениями. Сосна - дерево. Значит, сосна - растение.

4) Все учащиеся данного класса ходили в театр. Петя не был в театре. Следовательно, Петя - учащийся не данного класса.

5) Если числитель дроби меньше знаменателя, то дробь правильная. Если дробь правильная, то она меньше 1. Следовательно, если числитель дроби меньше знаменателя, то дробь меньше 1.

Решение: 1) Для решения вопроса о правильности умозаключения выявим его логическую форму. Введем обозначения: С(х) - «четырехугольник х - ромб», В(х) - «в четырехугольнике х диагонали взаимно перпендикулярны». Тогда первую посылку можно записать в виде:
С(х) В(х), вторую - С(а), а заключение В(а).

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

2) Введем обозначения: А(х) - «число х делится на 4 », В(х) - «число х делится на 2 ». Тогда первую посылку запишем: А(х) В(х), вторую В(а), а заключение - А(а). Умозаключение примет форму: .

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

Значит, что данное рассуждение неправильное.

3) Введем обозначения. Пусть А(х) - «если х дерево», В(х) - «х растение». Тогда посылки примут вид: А(х) В(х), А(а), а заключение В(а). Наше умозаключение построено по форме: - правила заключения.

Значит, наше рассуждение построено верно.

4) Пусть А(х) - «х - учащиеся нашего класса», В(х) - «учащиеся х ходили в театр». Тогда посылки будут следующими: А(х) В(х), , а заключение .

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

- значит оно верное.

5) Выявим логическую форму умозаключения. Пусть А(х) - «числитель дроби х меньше знаменателя». В(х) - «дробь х - правильная». С(х) - «дробь х меньше 1 ». Тогда посылки примут вид: А(х) В(х), В(х) С(х), а заключение А(х) С(х).

Наше умозаключение будет следующей логической формы: - правило силлогизма.

Значит, данное умозаключение верно.

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

Таблица 9

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

Посылка А(х) В(х) может быть записана в виде ТА ТВ , где ТА и ТВ - множества истинности высказывательных форм А(х) и В(х).

Частная посылка А(а) означает, что а ТА, а заключение В(а) показывает, что а ТВ.

Все умозаключение, построенное по правилу заключения, запишется на теоретико-множественном языке так: .

Рис. 58.

Примеры.

1. Правильно ли умозаключение «Если запись числа оканчивается цифрой 5, то число делится на 5. Число 125 делится на 5. Следовательно, запись числа 125 оканчивается цифрой 5 »?

Решение: Это умозаключение выполнено по схеме , что соответствует . Такой схемы среди известных нам нет. Выясним, является ли она правилом дедуктивного умозаключения?

Воспользуемся кругами Эйлера. На теоретико-множественном языке

полученное правило можно записать так:

. Изобразим на кругах Эйлера множества ТА и ТВ и обозначим элемент а из множества ТВ.

Оказывается, что он может содержаться в множестве ТА, а может и не принадлежать ему (рис. 59). В логике считают, что такая схема не является правилом дедуктивного умозаключения, так как не гарантирует истинности заключения.

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

Рис. 59.

б) Все глаголы отвечают на вопрос «что делать?» или «что сделать?». Слово «василек» не отвечает ни на один из этих вопросов. Следовательно, «василек» не является глаголом.

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

Тогда умозаключение примет вид: .

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

1) множества А, В, С пересекаются;

2) множество В пересекается с множеством С и А, а множество А пересекается с В , но не пересекается с С.

б) Обозначим через А множество глаголов, а через В множество слов, отвечающих на вопрос «что делать?» или «что сделать?».

Тогда умозаключение можно записать в следующем виде:

Рассмотрим несколько примеров.

Пример 1. Ученику предлагается объяснить, почему число 23 можно представить в виде суммы 20 + 3. Он рассуждает: «Число 23 - двузначное. Любое двузначное число можно представить в виде суммы разрядных слагаемых. Следовательно, 23 = 20 + 3».

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

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

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

Пример 2. Один из приемов ознакомления младших школьников с переместительным свойством умножения заключается в следующем. Используя различные средства наглядности, школьники вместе с учителем устанавливают, что, например, 6 3 = 36, 52 = 25. Затем на основе полученных равенств делают вывод: для всех натуральных чисел a и b верно равенство ab = ba.

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

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

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

Данный пример - это пример рассуждения по аналогии.

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

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

Сложными называются умозаключения, состоящие из двух или более простых умозаключений. Чаще всего такого рода сложные умозаключения или, как еще их называют в логике, цепи умозаключений, применяются в доказательствах. Рас­смотрим такие виды сложных умозаключений, как: а) пол­исиллогизм; б) сорит; в) эпихейрема.

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

Например:

Ни один, способный к самопожертвованию» - не эгоист.

Все великодушные люди способны к самопожертвованию.

Ни один великодушный, - не эгоист.

Все трусы - эгоисты.

Ни один трус не великодушен.

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

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

Другой пример прогрессивной цепи силлогизмов.

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

Все млекопитающие - позвоночные.

Все млекопитающие имеют красную кровь.

Все хищные - млекопитающие.

Все хищные имеют красную кровь.

Тигры - хищные животные.

Тигры имеют красную кровь.

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

Например:

Позвоночные есть животные.

Тигры - позвоночные.

Тигры - животные.

Животные - организмы.

Тигры -- животные.

Тигры - организмы.

Организмы разрушаются.

Тигры - организмы.

Тигры разрушаются.

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

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

Сорит строится по следующей схеме;

Все А есть В.

Все В есть С.

Все С есть Д.

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

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

Например:

Общественно опасные деяния аморальны.

Преступление - существенно опасное деяние.

Кража - преступление.

Кража аморальна.

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

Преступление аморально.

Кража - преступление.

Кража аморальна.

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

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

Лощадь - четвероногое.

Буцефал - лошадь.

Четвероногое - животное.

Животное - субстанция.

Буцефал - субстанция.

В полном виде этот полисиллогизм будет таким:

Лошадь - четвероногое.

Буцефал - лошадь.

Буцефал - четвероногое.

Четвероногое - животное.

Буцефал - четвероногое.

Буцефал - животное.

Животное - субстанция.

Буцефал - животное.

Буцефал - субстанция.

Гоклению (проф.. Марбургского университета, жил 1547- 1628 гг) принадлежит описание сорита, в котором опускается заключение прасиллогизма, становящееся первой, большей по­сылкой эписиллогизма. Он приводил такой сорит:

Животное - субстанция.

Четвероногое - животное.

Лошадь - четвероногое.

Буцефал лошадь.

Буцефал - субстанция.

В полном виде данный полисиллогизм выглядит так:

1. Животное - субстанция.

Четвероногое - животное.

Четвероногое - субстанция.

2. Четвероногое - субстанция.

Лошадь - четвероногое.

Лошадь - субстанция.

3. Лошадь субстанция.

Буцефал - лошадь.

Буцефал - субстанция.

Эпихейрема (пер с греч. «нападение», «наложение рук») - силлогизм, в котором каждая из посылок является энтимемой.

Например:

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

Мы, студенты института международных связей, так как учимся в этом институте.

Поэтому мы занимаемся логикой.

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

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

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

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

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

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

Упражнение

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

А. 3 - нечетное число.

Все нечетные числа - натуральные числа.

Все натуральные числа - рациональные числа.

Всё рациональные числа - действительные числа.

Следовательно, 3 - действительное число.

Б. Все, что укрепляет здоровье, полезно.

Спорт укрепляет здоровье.

Легкая атлетика - спорт.

Бег - вид легкой атлетики.

Бег полезен.

В. Все организмы - тела.

Все растения - организмы.

Все тела имеют вес.

Все растения - тела.

Все растения имеют вес.

Г. Благородный труд заслуживает уважения, так как благородный труд способствует прогрессу общества.

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

Следовательно, труд юриста заслуживает уважения.

Д, Что добро, того желать должно.

Что желать должно, то и одобрить надлежит.

А что одобрить надлежит, то и похвально.

Следовательно, что добро, то и похвально.

(Пример М.В. Ломоносова)

«Умозаключение» в логике 1. Умозаключение как форма мышления, его логическая структура и виды.

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

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

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

Должны быть истинными исходные сужденияпосылки.

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

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

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

Дедуктивные . . Индуктивные . . Умозаключения по аналогии.

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

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

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

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

Путем двойного отрицания, которое ставится перед связкой и передпредикатом, например: «Все суждения - предложения», «Ни одно суждение не является не предложением».

Путем переноса отрицания с предиката на связку, например:

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

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

Простым или чистым называется обращение без изменения количества суждения. Так обращаются суждения, оба термина которых, распределены или оба не распределены,например,«Некоторыеписатели-женщины», «Некоторые женщины - писатели».

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

Всоответствиисэтим,сужденияобращаютсяследующимобразом: Частноотрицательныесужденияобращению неподлежат.

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

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

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

Е «Ниодинучастниксеминаранеявляетсяюристом»I «Некоторыеучастникисеминара -юристы»О «Некоторыеучастникисеминаранеявляютсяюристами»

Из истинности общего суждения следует истинность частного, подчиненного ему суждения (из истинности А следует истинность I, из истинности Е следует истинность О). Что касается противоречивых суждений,тоониподчиняютсязаконуисключенноготретьего:еслиодноизних истинно, то другое обязательно ложно.

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

Категорический силлогизм (от греч. слова «syllogismos» -сосчитывание) – это такой вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, связанных одним термином, получается третье суждение – вывод. Например:

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

Понятия, входящие в состав силлогизма называются терминами силлогизма. Различают меньший, больший и средний термины. Меньший термин – это понятие, которое в заключении является субъектом. Больший термин – это понятие, которое в заключении является предикатом. Посылка, в которую входит больший термин, называется большей посылкой; посылка с меньшим термином – меньшая посылка. Понятие, посредством которого устанавливается связь между большим и меньшим термином, называется средним термином и обозначается буквой «М » (от лат. medius – средний).

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

Правила первой фигуры: меньшая посылка – утвердительное суждение, большая посылка – общее суждение

Вторая фигура . Средний термин занимает место предиката в обеих посылках.

Правила второй фигуры: одна их посылок – отрицательное суждениебольшая посылка

общее суждение

Третья фигура . Средний термин занимает место субъекта в обеих посылках.

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

Четвертая фигура . Средний термин занимает место предиката в большей посылке и место субъекта в меньшей посылке.

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

Необходимый характер вывода в простом категорическом силлогизме обеспечивается соблюдением общих правил:

Правила терминов

II фигура имеет следующие правильные модусы: АЕЕ, АОО, ЕАЕ, ЕIО

III фигура имеет следующие правильные модусы: ААI, ЕАО, IАI, ОАО, АII, ЕIО IV фигура имеет следующие правильные модусы: ААI, АЕЕ, IАI, ЕАО, ЕIО

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

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

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

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

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

два правильных модуса:

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

Отрицающий модус

Его структура такова: Если а, то b

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

Чисто разделительное умозаключение - это умозаключение, в котором обе посылки - разделительные суждения. Его структура такова: S есть А, или В, или С А есть или А1 , или А2

S есть или А1 , или А2 , или В, или С

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

Утверждающе-отрицающий модус.

Например:

Писатели бывают поэтами, прозаиками или публицистами Этот писательпрозаик Этот писатель не является ни поэтом, ни публицистом

Отрицающе-утверждающий модус.

Например:

При зубной боли я принимаю обезболивающее или полощу рот содовым раствором

У меня болит зуб, но нет возможности прополоскать рот

Я приму обезболивающее

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