§ 26. Аксиомы и правила для отбрасываемых выражений
Из двух интеллектуальных актов — принятия предложения и его отбрасывания — в современной формальной логике принимают во внимание лишь первый. Готтлоб Фреге ввел в логику идею принятия и знак принятия (|—), которые были впоследствии заимствованы авторами «Principia Mathematica».
Однако идеей отбрасывания, насколько мне известно, пренебрегают и поныне.Мы принимаем истинные предложения и отвергаем ложные. Только истинные предложения могут быть приняты, поскольку было бы ошибкой принимать предложение, которое не истинно. Аналогичное свойство не может быть приписано операции отбрасывания: могут подлежать отбрасыванию не только ложные предложения. Верно, конечно, что каждое предложение либо истинно, либо ложно, однако существуют пропозициональные выражения, которые не истинны и не ложны. Пропозициональные выражения такого рода — это так называемые пропозициональные функции, то есть выражения, содержащие свободные переменные и становящиеся истинными для одних значений и ложными для других. Возьмем, например, пропозициональную переменную р: она не истинна и не ложна, потому что при р/1 становится истинной, а при р/0 — ложной. Далее, из двух противоречащих предложений а и Nа одно должно быть истинным, а другое — ложным; следовательно, одно должно быть принято, а другое — отброшено. Но ни одна из двух противоречащих друг другу пропозициональных функций р и Npне может быть принята, поскольку ни одна из них не истинна; они обе должны быть отброшены.
Формы силлогизмов, отвергаемые Аристотелем , — не предложения, а пропозициональные функции. Например, Аристотель говорит, что никакого силлогизма по первой фигуре не получится, если первый термин принадлежит всему среднему, но совсем не принадлежит третьему. Поэтому форма силлогизма
(Ї) СКАЬсЕаЫас
Аристотелем не принимается в качестве правильного силлогизма, а отбрасывается. Аристотель сам дает конкретный пример опровержения вышеприведенной формы: подставим вместо b— «человек», вместо с — «живое существо», вместо а — «камень».
Однако существуют другие значения, для которых формула (і) может быть верифицирована: отождествив переменные а и с, мы получим истинную импликацию СКАЬаЕаЫаа, поскольку ее антецедент ложен, а консеквент истинен. Отрицание формулы (і):(у) NCKAbcEablac
должно, следовательно, также быть отброшено, поскольку при с/а оно ложно.
Вводя в систему кванторы, мы могли бы обойтись без отбрасывания. Вместо того чтобы отбросить форму (І),1МЫ могли бы принять положение
(к) Еа2?2сNCKAbcEablac
Это значит: существуют термины а, bи с, которые верифицируют отрицание (0* Следовательно, форма (і) неверна для всех а, bи с и не может быть правильным силлогизмом. Таким же образом, вместо того чтобы отбрасывать выражение (/), мы могли бы принять положение
(/) ЪаШсСКАЬсЕаЫас.
Но Аристотель ничего не знал о кванторах; вместо того чтобы присоединить к своей системе новые положения с кванторами, он употребляет отбрасывание. Так как операция отбрасывания представляется более простой процедурой, чем употребление кванторов, то мы последуем по стопам Аристотеля.
Аристотель отбрасывает большинство неправильных силлогистических форм, поясняя их примерами с конкретными терминами. Это единственный пункт, в котором мы не можем следовать за ним, так как мы не можем вводить в логику такие конкретные термины, как «человек» или «живое существо». Некоторые формы должны быть отброшены аксиоматически. Мною обнаружено \ что если мы без доказательства отбросим следующие две формы второй фигуры
СКАсЬАаЫас
СКЕсЬЕаЫас,
то все другие неправильные формы силлогизмов могут быть отвергнуты с помощью двух правил отбрасывания:
Правило отбрасывания через отделение: если импликация «Если а, то |3» принята, но консеквент р отбрасывается, то антецедент а также должен быть отброшен.
Правило отбрасывания через подстановку: если Р подставляется на место аир отбрасывается, то а также должно быть отброшено.
Оба правила совершенно очевидны.
Число форм силлогизмов равно 4 X 43 = 256; 24 формы — правильные силлогизмы, 2 формы отбрасываются аксиоматически.
Было бы утомительно доказывать, что оставшиеся 230 неправильных форм могут быть отброшены с помощью наших аксиом и правил. Я лишь покажу, на примере форм первой фигуры с посылками Abeи ЕаЬ, как наши правила отбрасывания работают на основе первой аксиомы отбрасывания.Отбрасываемые выражения я обозначаю, ставя звездочки перед их порядковыми номерами. Так, мы имеем:
*59. СКАсЬАаЫас (аксиома)
*59а. CKEcbEablac
p/Iac, q/KAcbAabX 60 60. ClacCKAcbAablac 60XC*61—*59 *61. lac.
Здесь в первый раз применено правило отбрасывания через отделение. Принятая импликация 60 имеет отвергнутый консеквент, *59; следовательно, ее антеце-дент *61 также должен быть отброшен. Таким же образом я получаю отбрасываемые выражения *64, *67, *71, *74 и *77.
p/IacX 62
CCNlaclaclac
62. RE X 63
ССЕасІасІас
63 X C*64—*61 *64. С E ас I ас 1. а/сX 65 65 Асе
pi Асе, qlEac, rjlac X C65—66 66. CCKAccEaclacCEaclac 66 X C*67—*64
*67. СКАссЕасІас *67 X *68. b/c
*68. CKAbcEablac.
Здесь применено правило отбрасывания через подстановку. Выражение *68 должно быть отброшено, по-скольку, подставляя Ъ вместо с в *68, мы получаем отбрасываемое выражение *67. То же самое правило используется при получении *75.
q/Aab, r/Iab'X С8—69
CCpAabCplab
69. p/KAbcEab, b/c X 70
CCKAbcEabAacCKAbcEablac
70XC*71—*68
*71. CKAbcEabAac
p/Acb, q/Iac, r/Aab X 72
CCKAcbNIacNAabCKAcbAablac
72. RE, RO X 73
CCKAcbEacOabCKAcbAablac
73 X C*74*—59
*74. CKAcbEacOab
*74 X *75. 6/?, ?/6
*75. CKAbcEabOac
p/KAbcEab, b/c X 76
76. CCKAbcEabEacCKAbcEabOac
76XC*77 —*75
*77. CKAbcEabEac.
Отвергнутые выражения *68, *71, *75 и *77 — это четыре возможные формы первой фигуры, имеющие посылки Abeи ЕаЬ. Из этих посылок по первой фигуре не может быть выведено ни одного правильного заключения. Таким же образом на основе двух аксиоматически отвергнутых форм мы можем доказать, что и все другие неправильные силлогические формы во всех четырех фигурах также должны быть отброшены.