 |
 |
 |
 |
|
 |
 |
58
первой ступени, в качестве значения переменных будут рассматриваться индивиды или объекты. Но
можно в качестве значений переменных брать также предикаты, связанные кванторами. Такое
исчисление называют исчислением предикатов второй ступени. Дальнейшие обобщения приводят к
исчислениями предикатов высших ступеней.
Так же, как и в исчислении высказываний, мы будет предполагать, что высказывание Р(х,у),
получаемое при любой паре значений из области ее значений, может быть либо истинным, либо
ложным. Другими словами, в исчислении предикатов, как и в исчислении высказываний, выполняется
закон исключенного третьего. Но при этом, как мы увидим в дальнейшем, сама процедура получения
значения истинности сложного высказывания, состоящего из элементарных высказываний,
значительно усложняется: ведь в таком случае с ним приходится соотносить не один, а пару, тройку
или вообще п-ку объектов из области значений переменных.
4.2. Кванторы
Существенное отличие логики предикатов от логики высказываний заключается также в том, что
первая вводит количественную характеристику высказываний или, как говорят в логике,
квантифицирует их. Уже в традиционной логике суждения классифицировались не только по
качеству, но и по количеству, т.е. общие суждения отличались от частных и единичных. Но никакой
теории о связи между ними не было. Современная логика рассматривает количественные
характеристики высказываний в специальной теории
квантификации, которая составляет
неотъемлемую часть исчисления предикатов.
Для квантификации (количественной характеристики) высказываний эта теория вводит два
основных квантора: квантор общности, который мы будем обозначать символом (х), и квантор
существования, обозначаемый символом (Ех). Они ставятся непосредственно перед высказываниями
или формулами, к которым относятся. В том случае, когда кванторы имеют более широкую область
действия, перед соответствующей формулой ставятся скобки.
Квантор общности показывает, что предикат, обозначенный определенным символом,
принадлежит всем объектам данного класса или универсума рассуждения.
Так, суждение: "Все материальные тела обладают массой" можно перевести на символический язык
так:
(х) М (х),
где х – обозначает материальное тело:
М – массу;
(х) – квантор общности.
Аналогично этому утверждение о существовании экстрасенсорных явлений можно выразить через
квантор существования:
(Ех) Э (х),
где через х обозначены явления:
Э – присущее таким явлениям свойство экстрасенсорности;
(Ex) – квантор существования.
С помощью квантора общности можно выражать эмпирические и теоретические законы, обобщения
о связи между явлениями, универсальные гипотезы и другие общие высказывания. Например, закон
теплового расширения тел символически можно представить в виде формулы:
(х) (Т(х)
>
P(х)),
где (х) – квантор общности;
Т(х) – температура тела;
Р(х) – его расширение;
–> знак импликации.
Квантор существования относится только к определенной части объектов из данного
универсума рассуждений. Поэтому, например, он используется для символической записи
статистических законов, которые утверждают, что свойство или отношение относится только
для характеристики определенной части изучаемых объектов.
Введение кванторов дает возможность прежде всего превращать предикаты в определенные
высказывания. Предикаты сами по себе не являются ни истинными, ни ложными. Они становятся