Логика и аргументация: Учебн. пособие для вузов.

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

Преимущество исчисления предикатов перед силлогистикой Аристотеля состоит не только в более широком анализе различных видов умозаключений, но и в точности и ясности получаемых заключений. В этом можно убедиться, если представить в символической записи категорические суждения, которые рассматриваются в силлогистике Аристотеля. Общеутвердительное суждение в исчислении предикатов записывается в виде: (х) (S(x) → Р(х)), где S и Р обозначают соответственно субъект и предикат. Общеотрицательное суждение можно представить как ¬ (Ex) (S(x) ∧ Р(х)), частноутвердительное - как (Ex) (S(x) ∧ Р(х)), частноотрицательное - как (Ех) (S (х) ∧ ¬ Р(х)).

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

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

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

Проверьте себя

1. Почему предикат можно рассматривать как пропозициональную функцию? Пусть предикат выражает отношение "больше" по величине между числами: х > у.

1) При каких значениях х и у он образует истинные и ложные высказывания?

2) Тот же вопрос, если х = у.

2. Что называют универсумом рассуждения?

1) Определите универсум рассуждений формул х² + 1 = 0 и х² - 1 = 0.

2) Каков универсум определения "Все четные числа делятся на 2"?

3) Определите универсум рассуждения "Все студенты нашей группы получают стипендию".

3. Чем отличаются свойства от отношений и как они выражаются символически?

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

1) "Москва - столица России и находится южнее Санкт-Петербурга".

2) "Золото - металл и ценится дороже серебра".

3) "Если человек заболел гриппом, то у него повышается температура".