Логика и аргументация - [53]

Шрифт
Интервал

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

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

Тела бывают твердые, либо жидкие, либо газообразные.

Данное тело газообразное.

Данное тело не твердое и не жидкое.

Схематическим этот модус может быть представлен так:

А либо В, либо С

А есть В

А не есть С.

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

Тела бывают простые либо сложные.

Данное тело не простое.

Данное тело сложное.

Схематически:

А либо В, либо С

А не есть В

А есть С.

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

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

4.7. Логический анализ рассуждений в естественном языке

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

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

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

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


Еще от автора Георгий Иванович Рузавин
Методология научного познания

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


Рекомендуем почитать
Архитектура и иконография. «Тело символа» в зеркале классической методологии

Впервые в науке об искусстве предпринимается попытка систематического анализа проблем интерпретации сакрального зодчества. В рамках общей герменевтики архитектуры выделяется иконографический подход и выявляются его основные варианты, представленные именами Й. Зауэра (символика Дома Божия), Э. Маля (архитектура как иероглиф священного), Р. Краутхаймера (собственно – иконография архитектурных архетипов), А. Грабара (архитектура как система семантических полей), Ф.-В. Дайхманна (символизм архитектуры как археологической предметности) и Ст.


Сборник № 3. Теория познания I

Серия «Новые идеи в философии» под редакцией Н.О. Лосского и Э.Л. Радлова впервые вышла в Санкт-Петербурге в издательстве «Образование» ровно сто лет назад – в 1912—1914 гг. За три неполных года свет увидело семнадцать сборников. Среди авторов статей такие известные русские и иностранные ученые как А. Бергсон, Ф. Брентано, В. Вундт, Э. Гартман, У. Джемс, В. Дильтей и др. До настоящего времени сборники являются большой библиографической редкостью и представляют собой огромную познавательную и историческую ценность прежде всего в силу своего содержания.


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

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


Вырождение. Современные французы

Макс Нордау"Вырождение. Современные французы."Имя Макса Нордау (1849—1923) было популярно на Западе и в России в конце прошлого столетия. В главном своем сочинении «Вырождение» он, врач но образованию, ученик Ч. Ломброзо, предпринял оригинальную попытку интерпретации «заката Европы». Нордау возложил ответственность за эпоху декаданса на кумиров своего времени — Ф. Ницше, Л. Толстого, П. Верлена, О. Уайльда, прерафаэлитов и других, давая их творчеству парадоксальную характеристику. И, хотя его концепция подверглась жесткой критике, в каких-то моментах его видение цивилизации оказалось довольно точным.В книгу включены также очерки «Современные французы», где читатель познакомится с галереей литературных портретов, в частности Бальзака, Мишле, Мопассана и других писателей.Эти произведения издаются на русском языке впервые после почти столетнего перерыва.


Несчастное сознание в философии Гегеля

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


Онтология поэтического слова Артюра Рембо

В монографии на материале оригинальных текстов исследуется онтологическая семантика поэтического слова французского поэта-символиста Артюра Рембо (1854–1891). Философский анализ произведений А. Рембо осуществляется на основе подстрочных переводов, фиксирующих лексико-грамматическое ядро оригинала.Работа представляет теоретический интерес для философов, филологов, искусствоведов. Может быть использована как материал спецкурса и спецпрактикума для студентов.