Сокращенные условные, разделительные и условно-разделительные умозаключения
Категорический силлогизм в мышлении часто употребляется в сокращенной форме — в форме энтимемы. Сокращенными могут быть не только простые категорические силлогизмы, но и условные, и разделительные, и условно-разделительные умозаключения, в которых может быть пропущена либо одна из посылок, либо заключение. Рассмотрим типы таких сокращенных умозаключений.
1. В умозаключении заключение в явном виде может не формулироваться. «Если данное тело — металл, то оно при наревании расширяется. Данное тело — металл». Заключение Данное тело при нагревании расширяется» не формулируетсяв явном виде, а просто подразумевается в этом условно-категорическом умозаключении.
В приводимом ниже разделительно-категорическом умозаключении также пропущено заключение. «Многоугольники делятся на правильные и неправильные. Данный многоугольник неправильный». Заключение «Данный многоугольник не является правильным» опущено; оно легко может быть восстановлено.
В дилеммах и трилеммах заключение также может явно не формулироваться, а подразумеваться. Например, в приведенной ниже сложной деструктивной дилемме заключение явно не присутствует:
«Если соблюдать правила хранения зерна, то не произойдет его самозагорания, а если организовать хорошую охрану зернохранилища, то не произойдет умышленного поджога. Данный пожар произошел либо от самозагорания зерна, либо от умышленного поджога». Заключение — «В данном зернохранилище либо не соблюдаются правила хранения зерна, либо не налажена охрана» — подразумевается, а не высказывается в явной форме.
2. В умозаключении пропущена одна из посылок. В умозаключениях может быть пропущена первая посылка; она может подразумеваться, если выражает известное положение, теорему, закон и т. д.
В условно-категорическом умозаключении «Сумма цифр данного числа делится на 3, следовательно, данное число делится на 3» опущена первая посылка, формулирующая известную математическую закономерность: «Если сумма цифр данного числа делится на 3, то все число делится на 3».
В приводимом ниже разделительно-категорическом умозаключении также пропущена первая посылка: «Существительное в русском языке может быть женского, мужского или среднего рода», а все умозаключение сокращенно формулируется так: «Данное существительное русского языка не является существительным ни женского рода, ни среднего рода. Следовательно, данное существительное мужского рода».
В приведенном ниже примере сложной конструктивной дилеммы: «Если я пойду через болото, то могу попасть в трясину, а если я пойду в обход, то не успею вовремя доставить донесение. Следовательно, я могу попасть в трясину или не успею вовремя доставить донесение» — вторая посылка не формулируется, а лишь подразумевается: «Я могу идти через болото или в обход».
Можно было бы привести и другие примеры сокращенных умозаключений: чисто условных, условно-категорических, чисто разделительных, разделительно-категорических, условно-разделительных (дилемм, трилемм) с пропущенной первой или второй посылкой, — но предоставляем это самостоятельно сделать читателю.
Итак, рассмотренные нами прямые выводы, такие, как чисто условные, чисто разделительные, условно-категорические, разделительно-категорические и условно-разделительные (лемматические) умозаключения, сформулированные полностью и сокращенные (т. е. в которых пропущена либо одна из посылок, либо заключение), широко используются в процессе научного и обыденного мышления, в процессе обучения в школе и в вузе. Поэтому знание правил построения этих видов умозаключений предостережет от логических ошибок в мышлении, поможет доказательнее, аргументированнее строить свои рассуждения и сделать более эффективным обучение учащихся и студентов.
Прямые выводы кроме рассмотренных выше форм включают и такие виды:
1. Простая контрапозиция.
Правило простой контрапозиции имеет следующий вид:
Это правило читается так: «Если а имплицирует b, то отрицание b имплицирует отрицание а». Здесь а и b— переменные, обозначающие произвольные высказывания, или пропозициональные переменные.
Пример:
1. Если данный треугольник равносторонний, то он равноугольный.
____________________________________________________________________
Если данный треугольник не равноугольный, то он не равносторонний.
2. Если это вещество фосфор, то оно непосредственно с водородом не соединяется.
_____________________________________________________________________________________
Если вещество непосредственно с водородом соединяется, то это вещество не является фосфором.
Заметим, что в логике высказываний
Формула называется законом простой контрапозиции.
2. Сложная контрапозиция.
— правило сложной контрапозиции.
Пример рассуждения по правилу сложной контрапозиции:
Если у меня будут деньги и я буду здорова, то я поеду домой на каникулы.
________________________________________________________________________
Если у меня были деньги и я не поехала на каникулы домой, то, следовательно, а не была здорова.
3. Правило импортации (конъюнктивного объединения условий). П. С. Новиков называет его правилом соединения посылок:
Это правило читается так: «Если а имплицирует, что b имплицирует с, то а и b имплицируют с».
В. А. Сухомлинский писал: «Если учитель стал другом ребенка, если эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, в сердце ребенка никогда не появится зло». На основании правила соединения посылок (правила конъюнктивного объединения условий) мы можем это высказывание В. А. Сухомлинского записать иначе, но оно будет эквивалентно прежнему его высказыванию. Заключение: «Если учитель стал другом ребенка и эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, то в сердце ребенка никогда не появится зло».
4. Правило экспортации (разъединения условий):
Это правило читается так: «Если а и b имплицируют с, то а имплицирует, что b имплицирует с. Правило это обратно предыдущему. Поэтому в качестве иллюстрации можно взять те же мысли В. А. Сухомлинского, только сначала прочитать наше полученное заключение, из которого можно прийти к высказыванию самого В. А. Сухомлинского.
Дата добавления: 2014-12-08; просмотров: 1240;