I. Утверждающий модус ( modus ponens ).
Глава V
УМОЗАКЛЮЧЕНИЕ
Общее понятие об умозаключении
Умозаключения, как и понятия и суждения, являются формой абстрактного мышления. С помощью многообразных видов умозаключений опосредованно (т. е. не обращаясь к органам чувств) мы можем получать новые знания. Умозаключать можно при наличии одного или нескольких суждений (называемых посылками), поставленных во взаимную связь. Возьмем пример умозаключения:
Все углероды горючи.
Алмаз - углерод.
Алмаз горюч.
Структура всякого умозаключения включает посылки, заключение и логическую связь между посылками и заключением. Логический переход от посылок к заключению называется выводом. В приведенном примере два первые суждения, стоящие над чертой, являются посылками; суждение “Алмаз горюч” является заключением. Для того, чтобы проверить истинность заключения “Алмаз горюч”, вовсе не нужно обращаться к непосредственному опыту, т.е. сжигать алмаз. Заключение о горючести алмаза с полной достоверностью можно получить посредством умозаключения, опираясь на истинность посылок и соблюдение правил вывода.
Умозаключение - форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение, с необходимостью или определенной степенью вероятности следующее из них.
137
Умозаключения делятся на такие виды: дедуктивные, индуктивные, по аналогии. Умозаключения могут быть логически необходимыми, т. е. давать истинное заключение, и вероятностными (правдоподобными), т. е. давать не истинное заключение, а лишь с определенной степенью вероятности следующее из данных посылок (при этом в качестве посылок могут быть и ложные суждения).
|
|
Процесс получения заключений из посылок по правилам дедуктивных умозаключений называется выведением следствий.
Понятие логического следования
Выведение следствий из данных посылок - широко распространенная логическая операция. Как известно, условиями истинности заключения является истинность посылок и логическая правильность вывода. Иногда в ходе доказательства от противного допускаются в рассуждении заведомо ложные посылки (так называемый антитезис при косвенном доказательстве) или принимаются посылки недоказанные, однако эти посылки обязательно подлежат в дальнейшем исключению.
Человек, не изучивший логики, делает эти выводы, не применяя сознательно фигур и правил умозаключения. Формальная логика знакомит с правилами различных видов умозаключений. Математическая логика дает формальный аппарат, с помощью которого в определенных частях логики можно выводить следствия из данных посылок. Используя этот аппарат, мы можем, имея некоторые данные, получить из них новые сведения, непосредственно не очевидные, но заключенные в этой информации,можем выводить логические следствия, вытекающие из данной информации.
|
|
Логическое следствие из данных посылок есть высказывание, которое не может быть ложным, когда эти посылки истинны.
Иными словами, некоторое выражение В есть логическое следствие из формулы А (где А и В - метазнаки для различных по форме высказываний), если, заменив те конкретные элементарные высказывания, которые входят в А и В, переменными, мы получим тождественно-истинное выражение (А → В), или закон логики.
138
Дедуктивные умозаключения
В определении дедукции в логике выявляются два подхода:
1. В традиционной (не в математической) логике дедукцией называют умозаключение от знания большей степени общности i к новому знанию меньшей степени общности. Впервые теория дедукции в этом плане была обстоятельно разработана Аристотелем;
2. В современной математической логике дедукцией называется умозаключение, дающее достоверное (истинное) суждение.
|
|
Правильно построенному дедуктивному умозаключению присущ необходимый характер логического следования заключения из данных посылок. Обобщая сказанное, можно дать такое определение.
Дедуктивные умозаключения - те умозаключения, у которых между посылками и заключением имеется отношение логического следования.
Условные умозаключения
Чисто условным умозаключением называется такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее структуру: “Если а, то b”.Структура чисто условного умозаключения такая:
157
Если а, то b Схема:
Если b , то с.
Если а, то с а→b, b→c
a → c
Согласно определению логического следствия, сформулированному в рамках исчисления высказываний, если формула а → с есть логическое следствие из данных посылок, то, соединив посылки знаком конъюнкции и присоединив к ним посредством знака импликации заключение, мы должны получить формулу, которая является законом логики, т.е. тождественно-истинной формулой. В данном случае формула будет такова:
|
|
((а→c)^ (b→с))→(а→с).
Доказательство тождественной истинности этой формулы можно провести табличным методом. Этот вид умозаключения часто используется в обучении, в частности при изучении математики, физики, биологии.
Приведем пример:
Если правильно внести удобрения, то урожай повысится
Если урожай повысится, то себестоимость продукции станет ниже.
Если правильно внести удобрения, то себестоимость продукции станет ниже.
В чисто условном умозаключении существуют его разновидности (модусы).К ним относится, например, такой:
Если а, то b Схема:
Если не-а, то b а→b
b а→ b
b
Формула: ((а →b) Ù (ā →b))→b.
Эта формула является законом логики. В умозаключении суждение b истинно и независимо от того, утверждается или отрицается а.
Примером такого умозаключения является следующее рассуждение:
158
Если бензин не подорожает, уберем урожай.
Если бензин подорожает; уберем урожай.
Уберем урожай.
Приведем пример из художественной литературы. Один из героев Агаты Кристи, оказавшийся на острове, рассуждает:
“Генерал Макартур пребывал в мрачной задумчивости. Черт побери, до чего все странно! Совсем не то, на что он рассчитывал... Будь хоть малейшая возможность, он бы под любым предлогом уехал... Ни минуты здесь не остался бы. Но моторка ушла. Так что хочешь не хочешь, а придется остаться”.
Условно-категорическое умозаключение - это такое дедуктивное умозаключение, в котором одна из посылок - условное суждение, а другая - простое категорическое суждение. Оно имеет два правильных модуса, дающих заключение, с необходимостью следующее из посылок.
I. Утверждающий модус ( modus ponens ).
Структура его: Схема:
Если а, то b. а →b
a a
b b
Формула ((а →b)^а)→b(1) является законом логики. Можно строить достоверные умозаключения от утверждения основания к утверждению следствия. Приведем два
примера:
Если ты хочешь наслаждаться искусством, то ты должен быть художественно образованным человеком.
Ты хочешь наслаждаться искусством.
Ты должен быть художественно образованным человеком.
Для построения другого примера воспользуемся интересным высказыванием великого русского педагога К. Д. Ушинского:
“Если человек избавлен от физического труда и не приучен к умственному, зверство овладевает им”'. Использовав это высказывание, построим условно-категорическое умозаключение:
_____________________________
'Ушинский К. Д. Собр. соч. М.-Л., 1948. Т. 2. С. 350.
159
Если человек избавлен от физического труда и не приучен умственному, то им овладевает зверство.
Этот человек избавлен от физического труда и не приучен к умственному.
Этим человеком овладевает зверство
Любое использование правил в русском языке, математике, физике, химии и других школьных дисциплинах основано на утверждающем модусе, дающем достоверное заключение, поэтому в практике мышления он находит самое широкое применение.
Пример:
Если этот металл натрий, то он легче воды.
Данный металл- натрий.
Данный металл легче воды.
II. Отрицающий модус ( modus tollens ).
Структура его: Схема:
Если а,то а→b
Не- b
Не-а ā
Формула ((а →b)^ )→ā (2) также является законом логики (это можно доказать с помощью таблицы).
Можно строить достоверные умозаключения от om рицания следствия к отрицанию основания.
Приведем два примера:
Если река выходит из берегов, то вода заливает прилежащие территории.
Вода реки не залила прилежащие территории.
Вода не вышлаиз берегов
Для построения второго условно-категорического умозаключения воспользуемся следующим высказыванием: “...Тот мерзок, кто ярится, если чужой он доблести свидетель” (Данте Алигьери).
Умозаключение построено так:
Если человек при виде чужой доблести ярится, то он мерзок.
Этот человек не является мерзким.
Этот человек при виде чужой доблести не ярится.
160
Условно-категорическое умозаключение может давать не только достоверное заключение, но и вероятное.
Первый вероятностный модус
Рассмотрим первый модус, не дающий достоверного заключения.
Структура его: Cхема:
Если а, то b . a → b
b b
___________ _________
Вероятно, а. Вероятно, а
Формула ((а →b) ^ b ) → а (3) не является законом логики. Она означает, что нельзя достоверно умозаключить от утверждения следствия к утверждению основания. Люди иногда неправильно умозаключают так:
Если бухта замерзла, то суда не могут входить в бухту.
Судане могут входить в бухту.
Бухта замерзла.
Заключение будет лишь вероятностным суждением, т. е. вероятно, что бухта замерзла, но возможно и то, что дует сильный ветер, или бухта заминирована, или существует другая причина, по которой суда не могут входить в бухту.
Вероятностное заключение получится и в таком умозаключении:
Если данное тело - графит, то оно электропроводно.
Данное тело электропроводно.
Вероятно, данное тело - графит.
Второй вероятностный модус
Это второй модус, не дающий достоверного заключения.
Структура его: Схема:
Если а, то b . а →b
Не-а ā
Вероятно, не b Вероятно,
161
Формула ((а→b) ^ ā)→ (4) не является законом логики. Она означает, что нельзя принимать заключение за достоверное,умезаключая от отрицания основания к отрицанию следствия.
Некоторые врачи ошибочно рассуждают так:
Если человек имеет повышенную температуру, то он болен.
Данный человек не имеет повышенной температуры.
Данный человек не болен.
Учащиеся в школе также допускают логические ошибки при построении умозаключений. Вот пример:
Если тело подвергнуть трению, то оно нагреется.
Тело не подвергли трению.
Тело не нагрелось.
Заключение здесь только вероятностное, но не достоверное, ибо тело могло нагреться по какой-либо другой причине (от солнца, в печи и т. д.).
Заметим, что приведение такого рода примеров вполне достаточно для того, чтобы показать, что формы умозаключений, выражаемые формулами (3) и (4), неправильны. Но никакое количество примеров применения форм, соответствующих формулам (1)| и (2), не в состоянии - если мы оперируем только примерами — обосновать их логической правильности. Для такого обоснованна требуется уже некоторая логическая теория. Такая теория, фактически отсутствующая в традиционной логике, содержится в алгебре логики. Если формула, в которой конъюнкция посылок и предполагаемое заключение соединены знаком импликации', не является тождественно-истинной, т. е. не выражает закона логики, то в умозаключении заключение не является достоверным. С помощью табличного метода можно доказать, что колонки таблицы 1, соответствующие формулам (1) modus ponens и (2) modus| tollens выражают законы логики, а это означает, что modus ponens и modus tollens представляют собой логически правильные формы умозаключений.
__________________________
'При этом конкретные (или, как иначе говорят, постоянные) высказывания в посылках и заключении надо, как уже было отмечено, заменить переменными.
162
Таблица 1
а | b | ā | a→b | (a→b)^a | ((a→b)^a) →b | (а →b)^ | (а →b)^ | |
И | И | Л | Л | И | И | И | Л | И |
И | Л | Л | И | Л | Л | И | Л | И |
Л | И | И | Л | И | Л | И | Л | И |
Л | Л | И | И | И | Л | И | И | И |
Таблицу для неправильных модусов предоставляем построить читателю самому. В ней наряду со знаками “И” (“истина”) мы увидим и знаки “Л” (“ложь”), а это значит, что выражения:
((а→ b )^ b )→а и ((а→ b )^ ) не являются тождественно-истинными высказываниями, т. е. законами логики.
Если умозаключают от утверждения следствия к утверждению основания, то можно прийти к ложному заключению вследствие множественности причин, из которых может вытекать одно и то же следствие. Например, выясняя причину заболевания человека, надо перебрать все возможные причины: простудился, переутомился, был в контакте в бациллоносителем и т. д.
Разделительные умозаключения
Разделительным называется дедуктивное умозаключение, в котором одна или несколько посылок - разделительные (дизъюнктивные) суждения. Существуют чисто разделительные и разделительно-категорические умозаключения.
В чисто разделительном умозаключении обе (или все) посылки являются разделительными суждениями. В традиционной логике принята следующая его структура:
S есть А,или В, или С.
А есть или 1А ,или А2..
S eсть или А1 , или А2, илиB, или С.
В первом разделительном суждении каждое из трех простых cуждений “S есть A ”, ” S есть В”, “S есть С” называется альтернативой. Из суждения “S есть А” образуются еще две альтернативы, которые составляют два члена новой дизъюнкции.
163
Например:
Предложения бывают простыми или сложными.
Сложные предложения бывают сложносочиненными или сложноподчиненными.
Предложения бывают простыми, или сложносочиненными, или сложноподчиненными.
В разделительно-категорическом умозаключении одна посылка - разделительное суждение, другая - простое категорическое суждение. Этот вид умозаключения содержит два модуса.
Первый модус - утверждающе-отрицающий ( ponendo tollens ). Пример его:
Внимание бывает произвольным или непроизвольным.
Это внимание является непроизвольным.
Это внимание не является произвольным.
Заменив конкретные высказывания в посылках и заключении переменными, получим запись этого модуса в терминах символической логики (с двумя членами дизъюнкции) в виде правила вывода:
В этом модусе союз “или” употребляется как строгая дизъюнкция. Формулы, соответствующие этому модусу, имеют вид:
((aύb)^a) (1)
((avb)^b) (2)
Обе эти формулы выражают законы логики. Если в этом модусе союз “или” взят как нестрогая дизъюнкция, то соответствующие формулы не будут выражать закон логики.
Формулы:
((a b)^а) (3)
и
((a b)^b) (4)
164
не являются законами логики. Доказательство формул (1) и (3) дано в таблице 2.
Таблица 2
а | b | а b | (а b)^ a | ((а b)^a) | (a ύ b) | (a ύ b) ^ а | ((a ύ b ) ^a) | |
И | И | Л | И | И | Л | Л | Л | И |
И | Л | И | И | И | И | И | Л | И |
Л | И | Л | И | Л | И | И | Л | И |
Л | Л | И | Л | Л | И | Л | Л | И |
Ошибки происходят из-за смешения соединительно-разделительного и строго разделительного смыслов союза “или” в модусе ponendo tollens . Нельзя рассуждать, например, таким образом:
Учащиеся в контрольной работе по математике допускают или вычислительные ошибки, или ошибки в эквивалентных преобразованиях, или ошибки в применении изученных алгебраических правил.
Учащийся Сидоров допустил в контрольной работе вычислительные ошибки.
Сидоров не допустил в работе ни ошибок в эквивалентных преобразованиях, ни ошибок в применении изученных алгебраических правил.
Заключение не является истинным суждением, так как Сидоров может допускать все три вида ошибок.
Второй модус - отрицающе-утверждающий ( tollendo ponens ).
Приведем пример:
Минеральные удобрения бывают или азотными, или фосфорными, или калийными.
Данное минеральное удобрение не принадлежит ни к азотному, ни к фосфорному.
Данное минеральное удобрение является калийным.
Другой пример возьмем из рассказа А. Конан Дойла “Пестрая лента”, в котором он описал раскрытие страшного преступления -убийство девушки с помощью ядовитой змеи. Ш. Холмс рассказал Уотсону: “Вначале я пришел к совершенно неправильным выводам, мой дорогой Уотсон, - и это доказывает, как опасно опираться
165
на неточные данные. Присутствие цыган, слово “банда”1, сказанное несчастной девушкой, - всего этого было достаточно, чтобы навести меня на ложный след. Но когда мне стало ясно, что в комнату невозможно проникнуть ни через дверь, ни через окно, не оттуда грозит опасность обитателю этой комнаты, я сразу понял свою ошибку, и это может послужить мне оправданием. с я уже говорил Вам, внимание мое сразу привлекли вентилятор и шнур от звонка, висящий над кроватью. Когда обнаружилось, что звонок фальшивый, а кровать прикреплена к полу, у меня сразу зародилось подозрение, что шнур служит лишь мостом, соединяющим вентилятор с кроватью. Мне сразу пришла мысль о змее, а зная, как доктор любит окружать себя всевозможными индийскими тварями, я понял, что, пожалуй, напал на верный след. Именно такому хитрому, жестокому злодею, прожившему много на Востоке, могло прийти в голову употребить яд, который нельзя обнаружить химическим путем”.
Разделительно-категорическое умозаключение было построено Ш. Холмсом таким образом:
Обитателю комнаты грозила опасность проникновения в комнату или через
дверь, или через окно, или через вентилятор.
“В комнату невозможно проникнуть ни через дверь, ни через окно”.
В комнату можно проникнуть через вентилятор.
Отрицающе-утверждающий модус (для случая двучленной разделительной посылки) в виде правила вывода в алгебре логики может быть записан следующим образом:
Логический союз “или” здесь можно употреблять в двух смыслах: как строгую дизъюнкцию (у) и нестрогую дизъюнкцию (v),T. e. характер дизъюнкции на необходимость заключения по этому модусу не влияет.
Этому модусу соответствуют четыре формулы, которые являются законами логики:
_______________________________________
1В англ. языке слово band означает и “банда”, и “лента”.
166
(1) ((a vb) )→ b.
(2) ((a vb) )→ a.
(3) ((aύb) )→ b.
(4) ((aύb) b) →a.
Обязательным условием при выводах по разделительно-категорическому умозаключению является соблюдение правила, согласно которому в разделительной посылке должны быть предусмотрены все возможные альтернативы, т. e. деление должно быть полным. Это правило обязательно для отрицающе-утверждающего модуса. Пример:
Пожар мог произойти или в результате небрежного обращения с огнем, или в результате поджога, или из-за неисправной электропроводки.
Данный пожар не произошел ни в результате небрежного обращения с огнем, ни из-за неисправной электропроводки.
Данный пожар произошел в результате поджога.
Заключение не достоверное, а вероятностное, так как в первой разделительной посылке перечислены не все возможные причины возникновения пожара (например, в результате взрыва или в результате загорания от молнии и т. д.).
Дата добавления: 2019-09-02; просмотров: 1191; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!