1. Понятие умозаключения

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

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

Все кошки - млекопитающие.

Все кошки - животные.

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

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

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

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

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

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

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

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

Данный текст является ознакомительным фрагментом.

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

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

3.8. Умозаключения с союзом «или» Обе посылки и вывод простого, или категорическом силлогизма являются простыми суждениями (А, I, Е, О). Если же одна из посылок силлогизма или обе его посылки представлены сложными суждениями (конъюнкция, нестрогая и строгая дизъюнкция,

§ 2. НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ Суждение, содержащее новое знание, может быть получено посредством преобразования суждения. Так как исходное (преобразуемое) суждение рассматривается как посылка, а суждение, полученное в результате преобразования, - как заключение,

А. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ В процессе рассуждения иногда за дедуктивные принимают умозаключения, которые таковыми не являются. Последние называют неправильными дедуктивными умозаключениями, а (собственно) дедуктивные - правильными.Выделение способов рассуждения,

В. ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ В отличие от дедуктивных умозаключений, в которых между посылками и заключением имеет место отношение логического следования, индуктивные умозаключения представляют собой такие связи между посылками и заключением по логическим формам, при

§ 4. УМОЗАКЛЮЧЕНИЯ ПО АНАЛОГИИ Слово “аналогия” греческого происхождения. Его смысл может быть истолкован как “сходство объектов в каких-то признаках”.Умозаключением по аналогии называется рассуждение, в котором из сходства двух объектов в некоторых признаках

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

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

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

2. Дедуктивные умозаключения Как и многое в классической логике, теория дедукции обязана своим появлением древнегреческому философу Аристотелю. Он разработал большую часть вопросов, связанных с этим видом умозаключений.Согласно работам Аристотеля дедукция - это

1. Понятие умозаключения по аналогии Значимой характеристикой умозаключения как одной из форм мышления человека является вывод нового знания. При этом в умозаключении вывод (следствие) получается в ходе движения мысли от известного к неизвестному. К такому движению

ЛОГИЧЕСКИЕ УМОЗАКЛЮЧЕНИЯ Подавляющее большинство рассуждений, претендующих на то, чтобы считаться логичными, таковыми на самом деле не являются. Они являются псевдологичными, логичнообразными или в лучшем случае лишь частично логичными. Логичными являются рассуждения

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

ГЛАВА I ПОНЯТИЕ ОБРАЗЦА И ПОНЯТИЕ ПОДРАЖАНИЯ Следует выбрать кого-нибудь из людей добра и всегда иметь его перед глазами, - чтобы жить так, словно он смотрит на нас, и так поступать, словно он видит нас. Сенека. Нравственные письма к Луцилию, XI, 8 Возьми себе, наконец, за

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

		Пример ошибки	Примечание
В силлогизме должно быть		Знания – ценность Ценность хранят в	При нарушении этого правила возникает ошибка
только три термина: больший,			«учетверение термина»: один из терминов
средний и меньший		Знания хранят в сейфе	употребляется в двух значениях.
	термин должен	Некоторые растения	Если средний термин не распределен ни в одной
быть распределен хотя бы в одной			из посылок, то отношение между крайними
из посылок		Малина – растение _	терминами в заключении остается
		Малина – ядовита	неопределенным.
Термин, нераспределенный в		Все фермеры трудолюбивы Иванов не	При нарушении этого правила может возникнуть
посылках, не может быть		фермер _	ошибка «незаконное расширение термина»
распределен и в заключении		Иванов не трудолюбив
Правила посылок
		Пример ошибки	Примечание
Из двух частных посылок вывод		Некоторые звери дикие	Одна из посылок должна быть общей
сделать нельзя		Некоторые живые существа – звери
Если одна из посылок – частное		Все слоны имеют хобот	Из этих посылок общий вывод невозможен.
суждение, то и вывод будет частным		Некоторые животные – слоны	Нельзя утверждать, что все животные имеют
		Некоторые животные имеют хобот
Из двух отрицательных посылок		Бухгалтер – не дантист	В таком случае все термины исключают друг друга
вывод сделать нельзя		Экскурсовод – не бухгалтер
Если одна из посылок –		Все гейзеры – горячие источники
отрицательное суждение, то и вывод		Этот источник не является горячим
будет отрицательным		Этот источник – не гейзер
Посылками силлогизма могут быть суждения, различные по качеству и количеству. В этой связи различают модусы простого категорического силлогизма.
Всего правильных модусов в четырех фигурах 19.
	фигура имеет следующие правильные модусы: ААА, ЕАЕ, АII, ЕIО

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Например:

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

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

Например:

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

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

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

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

ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ (ЛОГИКА ВЫСКАЗЫВАНИЙ)

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

знать

• – виды высказываний,
• – структуру и модусы высказываний;

уметь

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

владеть

– навыками практического использования высказываний в профессиональной практике.

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

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

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

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

• – 1) чисто условные умозаключения;
• – 2) условно-категорические умозаключения;
• – 3) чисто разделительные умозаключения;
• – 4) разделительно-категорические умозаключения;
• – 5) условно-разделительные умозаключения.

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

К умозаключениям логики высказываний также относятся:

• а) сведение к абсурду;
• б) рассуждение от противного;
• в) рассуждение по случаю.

Эти виды умозаключений в логике называются непрямыми умозаключениями. Они будут рассмотрены в главе "Логические основы аргументации".

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

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

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

Различают чисто условное и условно категорическое умозаключение.

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

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

Символическая запись:

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

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

Пример .

(р → q) Если бензин подорожает (р),

то цены на продукты вырастут (q)

(q → r ) Если же цены на продукты вырастут (q),

r )

(р → r) Если бензин подорожает (p ),

то уровень жизни населения понизится (r )

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

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

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

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

Пример .

Если этот металл – натрий (р), то он легче воды (q)

Данный металл натрий (р)

Данный металл легче воды (q)

Этой схеме соответствует формула (1): (p → q) ∩ p) → q . которая является тождественно истинной, т.е. рассуждение по данному модусу всегда дает достоверное заключение.

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

Таблица 9.1

			(p → q) ∩ p)	(p → q) ∩ p) → q

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

Согласно этой схеме, можно самостоятельно придумать множество примеров:

Если ты придешь ко мне на свидание, то я куплю тебе мороженое

Ты пришла на свидание

Следовательно, я куплю тебе мороженое

Или, например:

Если ты меня любишь, то я этого заслуживаю

Ты меня любишь

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

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

Он нам показывает:

• 1) для того чтобы доказать высказывание q, следует найти такое высказывание p , которое было бы не только истинным, но и составленная из них импликация р → q, также была бы истинной;
• 2) высказывание р должно быть достаточным основанием для истинности q.

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

3) данный вид умозаключения показывает, что modus ponens является частным случаем закона достаточного основания.

Допустим, нам требуется доказать, что сегодня снег на улице тает. Достаточным основанием для этого служит тот факт, что сегодня на улице температура выше нуля градусов. По для того, чтобы полностью обосновать доказываемое положение, нам еще необходимо связать эти два высказывания с помощью импликации: "Если температура на улице выше нуля градусов, то снег тает", приведя это утверждение к логической форме, мы получим выражение (p → q) ∩ p) → q, мы узнаем в нем утверждающий модус или другое его название "от утверждения основания к утверждению следствия".

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

Пример .

Если у человека высокая температура (р). то он болен (q)

Человек – болен (q)

Человек имеет высокую температуру (р)

Если мы построим схему данного умозаключения, то она будет выглядеть следующим образом: (p → q) ∩ q) → p .

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

Таблица 9.2

			(p → q) ∩ p)	(p → q) ∩ p) → q

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

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

Этот модус имеет следующую схему:

Пример .

Если бы Лжедмитрий I был учеником иезуитов (р), то он хорошо бы знал латынь (q)

Неверно, что Лжедмитрий I хорошо знал латынь (┐ q)

Следовательно, Лжедмитрий I не был учеником иезуитов (┐р)

Формула (2): (p → q) ∩ ┐p) → ┐p – также является законом логики.

Проверим данное умозаключение с помощью таблицы истинности обозначив, через р – "Лжедмитрий I был учеником иезуитов", q – "Лжедмитрий I хорошо знал латынь". Получим следующую формулу:

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

Таблица 9.3

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

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

У этого человека температура не повышена (┐ p)

Следовательно, он не болен (┐q)

Проверим истинность данного умозаключения с помощью таблицы истинности для следующей формулы ((р → q) ∩ ┐p ) → ┐q. Здесь в третьей строке (табл. 9.4) высказывание ((р → q) ∩ ┐p ) истинно, а высказывание ┐q ложно. Значит, между ними нет отношения логического следования, а это означает, что данное умозаключение неправильно.

Таблица 9.4

					(p→q)∩┐p)	((p→q)∩┐p)→┐q

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

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

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

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

Например:

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

Суда не могут входить в бухту ( q)

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

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

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

Пример .

Если в воздухе в самолете взорвется радиомина (р),

то он не долетит до места назначения (q )

Самолет не долетел до места назначения ( ┐ q)

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

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

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

Изучением этих основ занимается логика.

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

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

Исследование форм мышления

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

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

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

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

Что касается абстрактного мышления, то для своих исследований оно использует такие инструменты:

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

Презентация: "Основные понятия логики. Логика-наука о формах мышления"

Что подразумевают под понятием

Понятие – это определение предмета при помощи одного или нескольких признаков.

Как формируются в человеческом сознании понятия, было известно еще Аристотелю.

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

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

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

Исследование процессов формирования понятий

Хоть общая картина формирования понятий ясна уже давно, но с конкретизацией деталей и процессов дела обстоят не так просто.

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

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

Презентация: "История науки алгебры логики"

Каждый аспект выведен в определенную категорию логических исследований понятия.

• признаки предметов, по которым формируется понятие;
• виды понятий;
• интенсиональность и экстенсиональность понятий;
• отношения между понятиями;
• обобщение понятий.

Признаки предметов для определения понятий

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

Самый простой подход к выявлению понятия – слово. Одно слово – одно понятие.

Есть, конечно, и сложные понятия, для формирования которых требуется несколько слов, а то и предложений. Однако основные понятия все-таки эквивалентны слову.

При упоминании слова «соль» человек автоматически вводит в свой текущий мыслительный процесс все основные свойства, присущие соли (соленая, белая, сыпучая). В данном случае соль – понятие, а соленая, белая, сыпучая – признаки.

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

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

• основные признаки – выражают сущность предмета (соль – соленая);
• второстепенные признаки – дают второстепенную характеристику (соль – белая).

Презентация: "Основы логики"

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

Виды понятий

Классифицируются не только признаки, но и сами понятия. При этом практически не существует классификаций понятий по признакам. Считается, что это очень громоздкая и неинформативная классификация.

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

Основные виды:

• очевидные;
• единичные;
• конкретные;
• безотносительные.

Интенсиональность и экстенсиональность понятий

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

1. Суть понятия представляет собой множество всех существенных признаков его предмета, при этом каждый признак может быть выделен как отдельное понятие. Пример: Государство – суверенная организация, которая имеет собственную территорию и специальный аппарат для управления и принуждения. Понятие «государство» охарактеризовано целым рядом признаков, которые могут выступать самостоятельными понятиями: организация, территория, аппарат управления, аппарат принуждения.

1. Экстенсиональность понятия – совокупность других понятий, для которых это понятие может быть их существенным признаком. Пример: Понятие треугольник является существенным признаком для всего множества треугольников (прямоугольные, равнобедренные).

Отношения между понятиями

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

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

Обобщение

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

Основа обобщения – это абстрагирование от характерных признаков предмета понятия и пошаговое распределение понятий по видам, по родам, классам и т.д.

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

Суждение

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

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

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

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

• состав такой формы мышления;
• виды именно этих форм мышления;
• истинность таких форм мышления.

Состав суждений

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

Данное описание повествования в точности отражает состав суждения:

1. Субъект мысли – его предмет – то, о чем повествуется или что отрицается.
2. Предикат – признак или совокупность признаков предмета. Причем речь идет только о тех признаках, которые содержатся в суждении.
3. Логическая связка, которая в зависимости от утверждения, может выражаться словами «есть», «это» и т.д. Пример: Корова – это травоядное животное. Корова – субъект, травоядное животное – предикат, это – связка. В отрицании мысль формируется с участием частицы «не» или наречия «неверно». Неверно, что комар – это рептилия.

Виды суждений

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

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

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

Презентация: "Логика"

Виды простых суждений

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

Эта лошадь не имеет белых пятен – индивидуальное утвердительное категоричное суждение.

Виды сложных суждений

Классификация сложных суждений осуществляется по тем логическим связкам, которые объединяет суждения (сложные и/или простые) в составе одного сложного суждения.

Существует шесть видов логических связок и, соответственно, шесть видов сложных суждений.

1. Отрицание характеризуется наличием между простыми суждениями логической связки «не» или «неверно». Пример: Тот, кто работает, не является бездельником.
2. Соединений или умножение. Это сложное суждение состоит из простых мыслей, которые соединены умножающей логической связкой «и». Пример: кошка ловит мышей и складывает их у порога.
3. Суждение нестрогой дизъюнкции. Сложная мысль, где простые находятся между собой в логической связке «или». Пример: он мог выбрать мясо или приобрести рыбу.
4. Суждение строгой дизъюнкции, в его составе простые мысли соединяются связкой «либо». Пример: Он мог взять либо красный свитер, либо желтые штиблеты.
5. Эквивалентное суждение, определяется уравнением его составных частей при помощи логической связки. Пример: Торт весит два килограмма, так же, как и большой арбуз.

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

Истинность суждений

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

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

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

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

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

Умозаключение

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

Презентация: "Умозаключение"

Умозаключение как один из видов интеллектуальной познавательной деятельности человека имеет ряд преимуществ и недостатков.

Преимущества:

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

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

Виды умозаключений

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

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

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

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

Силлогизм

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

Построение силлогизма имеет свои правила подбора посылок.

1. Нельзя вывести правильный вывод из двух неопределенных утверждений (некоторые цветы – лютики, некоторые птицы – вороны)
2. Из отрицательных утверждений невозможно получить вывод.

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

Пример: У всех млекопитающих есть желудок. У червей нет желудка. Черви – не млекопитающие.

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

Предикатный – определяет предикат заключения (млекопитающие).

Понятие-пересечение – область пересечения (желудок).

УМОЗАКЛЮЧЕНИЕ - ТРЕТЬЯ ФОРМА МЫШЛЕНИЯ

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

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

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

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

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

Все растения питаются влагой.

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

Если хотя бы одна из посылок ложна, то и вывод ложен:

Все птицы - это млекопитающие животные.

Все воробьи - это птицы.

Все воробьи - это млекопитающие животные.

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

Например, из следующих двух посылок никакого вывода не следует:

Все планеты - это небесные тела.

Все сосны являются деревьями.

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

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

Например :

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

Некоторые растения являются цветами.

Еще пример:

Верно, что все цветы являются растениями.

Неверно, что некоторые цветы не являются растениями.

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

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

Например :

Все рыбы - это живые существа.

Все караси - это рыбы.

Все караси - это живые существа.

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

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

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

Например :

Все звезды излучают энергию.

Солнце - это звезда.

Солнце излучает энергию.

Как видим, первая посылка представляет собой общее правило, из которого (при помощи второй посылки) вытекает частный случай в виде вывода: если все звезды излучают энергию, значит, Солнце тоже ее излучает, потому что оно является звездой. В дедукции рассуждение идет от общего к частному, от большего к меньшему, знание сужается, в силу чего дедуктивные выводы достоверны, т.е. точны, обязательны, необходимы и т.п. Посмотрим еще раз на приведенный выше пример. Мог бы из двух данных посылок следовать иной вывод, кроме того, который из них вытекает? Не мог! Вытекающий вывод - единственно возможный в этом случае. Изобразим отношения между понятиями, из которых состояло наше умозаключение, кругами Эйлера . Объемы трех понятии: звезды ; тела , излучающие энергию ; Солнце схематично расположатся следующим образом.

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

Несомненное достоинство дедукции, конечно же, заключается в достоверности ее выводов. Вспомним, известный литературный герой Шерлок Холмс пользовался дедуктивным методом при раскрытии преступлений. Это значит, что он строил свои рассуждения таким образом, чтобы из общего выводить частное. В одном произведении, объясняя доктору Уотсону сущность своего дедуктивного метода, он приводит такой пример. Около убитого полковника Морена сыщики Скотланд-Ярда обнаружили выкуренную сигару и решили, что полковник выкурил ее перед смертью.

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

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

Например :

Юпитер движется.

Марс движется.

Венера движется.

Юпитер, Марс, Венера - это планеты.

Все планеты движутся.

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

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

Например :

Планета Земля расположена в Солнечной системе , на ней есть атмосфера , вода и жизнь.

Планета Марс расположена в Солнечной системе, на ней есть атмосфера и вода.

Вероятно, на Марсе есть жизнь.

Как видим, сравниваются (сопоставляются) два объекта (планета Земля и планета Марс), которые сходны между собой в некоторых существенных, важных признаках (находиться в Солнечной системе, иметь атмосферу и воду). На основе данного сходства делается вывод о том, что, возможно, эти объекты сходны между собой и в других признаках: если на Земле есть жизнь, а Марс во многом похож на Землю, то не исключено наличие жизни и на Марсе. Выводы аналогии, как и выводы индукции, вероятностны.