Отсюда следует, что чем больше вероятность суждения, рем меньше сообщаемая им информация, и наоборот.

Суждение из примера 1 будет иметь вероятность 5/8, а информация, следовательно,3/8.

Суждение из примера 2 будет иметь вероятность 1, а информацию 0. Суждение из примера 3 будет иметь вероятность 0, а информацию 1.

Цель эмпирических наук может быть описана при помощи комбинации идей истины и информации. Наука, безусловно, стремится к истине. Но если ограничиваться только этой идеей, то получится, что самые лучшие суждения для науки - логически истинные. Но мы теперь знаем: хотя эти суждения очень надежные, они, тем не менее, не сообщают нам о мире никакой информации. Поэтому в цель науки следует ввести также и идею информации. Наука стремится к истинным информативным суждениям, т.е. суждениям одновременно истинным и обладающим как можно большей информацией. Но мы уже видели, что идеи истинности и информативности в определенной мере исключают друг друга, так как чем информативнее суждение, тем меньше вероятность, чтм оно истинно. Это эвристическое противоречие между идеями, составляющими цель науки, дает науке один из источников ее развития.

§ 4. Запись категорических суждений и силлогизмов при помощи языка логики предикатов

В языке логики суждений (ЯЛС), который мы рассматривали в § 3 главы 8 суждения рассматриваются как неделимые целые, их внутренняя структура не подвергается анализу. Этот язык достаточен для формализации умозаключений логики суждений, поскольку там не надо вникать во внутреннюю структуру суждений. Однако умозаключения, основанные на внутренней структуре суждений, не могут быть формализованы в этом языке.

Если мы хотим записывать в нашем языке единичные, частные и общиесуждения, которые необходимы нам для обсуждения умозаключений, основывающихся на внутренней структуре высказываний, то мы должны несколько расширить наш язык и превратить его из языка логики суждений в так называемый язык логики предикатов. Язык логики предикатов был изобретен для формализации дедуктивных умозаключений. В частности, при его помощи можно выразить логические формы силлогизмов, т. е умозаключений, которые основываются на внутренней структуре суждений. Кроме того, язык логики предикатов позволяет формализовать большой класс рассуждений, которые выходят за пределы силлогистики, но широко применимы как в математических доказательствах¹, так и в обычной жизни. Мы не будем строить этот язык формально, для наших целей достаточно только показать способ записи единичных, частных и общих суждений на этом языке.

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

В § 3 главы 1 мы уже описывали возможность записи единичных суждений при помощи обозначений индивидуальных предметов: a, b, c, d, a₁, b] , c₁ и знаков для свойств и отношений этих предметов, которые мы впредь бсдем называть предикатами этих предметов: M, P, Q, R, S, и т.п. Сейчас я введу этот язык более систематически. На языке логики предикатов (ЯЛП) можно записывать наши суждения об объектах, выявляя при этом внутреннюю структуру суждений. Такое более глубокое, чем это делает ЯЛС, проникновение в суждения, позволяет создавать модели тех рассуждений, которые не могли быть построены на языке логики суждений. Для начала рассмотрим несколько суждений и их возможные способы записи на ЯЛПе.

Пример. Рассмотрим суждение "Этот лебедь белый". Если обозначить "этот лебедь" при помощи символа а, а признак "быть белым" при помощи символа Р, то единичное суждение "Этот лебедь белый" будет выглядеть так:

Р(а)

Эту запись можно прочесть так: «Признак Р принадлежит предмету а", —Предикат Р принадлежит предмету" а или "а есть Р", или, если вспомнить обозначение функций в математике, «Р от а»

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

В языке логики предикатов это делается при помощи предметных переменных, т.е. знаков, которые обозначают не отдельный предмет, а могут обозначать любой предмет из некоторого множества. В качестве множества, из которого заимствуются значения таких знаков, может быть выбрано любое множество: стульев, людей, баянистов, лягушек, сонат, русалок, всех предметов. В логике иногда говорят, что предметная переменная "пробегает" по этому множеству. В качестве нредметных переменных мы будем использовать маленькие буквы из конца латинского алфавита: x, y, z, x_] , y₂ , z_], ... , набранные курсивом. В дальнейшем мы будем говорить, что эти предметные переменные могут обозначать любой предмет из нашего универсума рассуждения, если, конечно, не оговорено какое-нибудь специальное условие, например, что в данном суждении или рассуждении они будут обозначать только натуральные числа, людей и т.п.

Теперь нам осталось только ввести специальные обозначения, позволяющие записывать на нашем языке количество суждений: т.е. указывать частное это суждение или общее. В качестве таких обозначений мы будем использовать специальные знаки для слова "существует"¹, и для слова "все"². Знак " 3", соответствующий слову «существует», мы будем называть квантор существования, а знак " V", соответствующий слову «все», - квантор общности. При помощи знака " 3 " мы будем записывать частные суждения, а при помощи знака " V " — общие.

«Существует»» в ЯЛПе означает то же самое, что «по крайней мере один» или «некоторые». Или «каждый».

Запись " 3 хР(х)" будет означать, что «существует предмет, назовем его х, который имеет признак Р», или «по крайней мере один х имеет признак Р», или «некоторые х имеют признак Р».

Запись "\/хР(х)" будет означать, что для всякого предмета х верно, что этот предмет имеет признак Р, или «каждому х присуще свойство Р» и т. п.

Запись " УхЗу R(x,y)" означает, что для всякого предмета х существует такой у, что между х и у имеется отношение R.

Нетрудно заметить, что наши знаки P, Q, R, S могут применяться к разному числу предметов. Это зависит от того, какие свойства или отношения обозначаются при помощи данных знаков.

Пример. Пусть х, у - предметные переменные, "пробегающие" по множеству натуральных чисел. Тогда запись Зх\/у(х>у) будет означать "существует наибольшее натуральное число". (Буквальное прочтение: «существует такое натуральное число х, что для всякого натурального числа у число х больше или равно y.)

После этих предварительных соображений можно ввести алфавит языка логики предикатов:

a, b, c, d, a₁ bl, cl, dl, a2, ... — предметные константы, служащие именами для конкретных предметов.

x, y, z, x₁, y₁, z₁, x₂, ... - предметные переменные, о которых речь шла раньше. M, P, Q, R, S, M], P], Qi, R], Si, P2, знаки предикатов (признаков). V, 3 - знаки для кванторов общности и существования.

Для предметных констант и предметных переменных мы введем общее имя - терм и будем обозначать их t₁, t₂, t₃ и т п.

Чтобы научиться строить выражения языка логики предикатов и записывать суждения при помощи ЯЛП надо построить определение суждения в языке логики предикатов подобное тому, которое мы построили для ЯЛС в § 3 главы 6.

Пусть Р обозначает произвольный предикат (т. е. знаки из п. 3 нашего алфавита). Тогда

Если P есть и-местный предикатный знак, а t₁,t₂,^,t„ - термы, то P{t₁,t₂,^,t_r) - суждение логики предикатов.

Если А и В есть суждения логики предикатов, то (АлВ), (AvB), (AvB), (А—>В),

(А = В), ( А ) - суждения логики предикатов¹.

Если А есть суждение логики предикатов, то VxA и ЗхА - суждения логики предикатов.

Ничто иное не является суждением логики предикатов.

Несложно заметить, что ЯЛП является расширением ЯЛСа, т. е. все суждения, которые можно записать в ЯЛСе, можно записать и в ЯЛПе, но не наоборот.

При помощи этого пункта определяются сложные суждения.

Пример. В соответствии с этим определением, если P - двухместный предикатный знак, а] - предметная константа, а х] - предметная переменная, то P(a], x]) - суждение логики предикатов.

Пример. P(cii) л Q(x2, хА - суждение логики предикатов.

Пример. V' x2~^x4(P(cii) aQ(x2, Х4)) ~ суждение логики предикатов¹.

Пример. \/x]P(xi) —» Эу2<2(у2) - суждение логики предикатов².

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

Пример. «Каждый юноша любит какую-нибудь девушку»» - это суждение можно перевести на язык логики предикатов следующим образом:

Обозначим предикат «быть юношей» через Р, предикат «быть девушкой» - через Q, предикат «любить» через R, выберем две предметные переменные х и у с областью изменения D = {люди}. Тогда наще суждение можно записать следующим образом:

\/хЗу((Р(х) aq(y)^R(x,y))

Заметим, что мы интерпретируем «какую-нибудь» в смысле «существует»». Если бы мы проинтепретировали «какую-нибудь» при помощи квантора общности, то получилось бы следующее суждение:

VxVy((P(x) aq(y)^R(x,y)),

которое можно было бы перевести на русский язык как "Все юноши любят всех девушек" или «Каждый юноша любит каждую девушку»», что было бы некоторым преувеличением.

Этот пример наводит нас на мысль, что ЯЛПе можно записать и наши категорические суждения, которые мы описывали в § 2 главы 8 и использовали в силлогизмах.

Общеутвердительное суждение А: Все S есть P.

Мы помним, что для истинности этого суждения достаточно, чтобы его термины вступали в следующее отношение:

Читается ^«^ля всякого х₂ существует х₄ P от а₁ и Q от х₂, х₄». Читается «Если для всякого х₁Р от х₁, то существует у₂ Q от у₂».

В таком случае мы можем выразить это соотношение терминов общеутвердительного суждения следующим образом: Для всякого предмета если мн есть S, то он есть P. Правильность такого истолкования видна непосредственно из рисунка. Эту фразу уже легко выразить при помощи ЯЛП:

\/x(S(x) -> Р(х))

Это выражение ЯЛП мы будем считать переводом общеутвердительного суждения¹.

Общеотрицательное суждение Е: Ни один S не есть P.

Мы помним, что для истинности этого суждения достаточно, чтобы его термины вступали в следующее отношение:

Рис. 2

В таком случае мы можем выразить это соотношение терминов общеотрицательного суждения следующим образом: Для всякого предмета если он есть S, то он есть не-P. Правильность такого истолкования видна непосредственно из рисунка. Эту фразу уже легко выразить при помощи ЯЛП:

\/x(S(x) -> Р(х))

Частноутвердительное суждение I: Некоторые S есть P.

Мы помним, что для истинности этого суждения достаточно, чтобы его термины вступали в следующее отношение:

Обратите внимание, что простое суждение при таком переводе стало сложным суждением, поскольку использовалась связка «—•». Это вызвано различиями в способе членения выражений в силлогистике и логике предикатов

В таком случае мы можем выразить это соотношение терминов частноутвердительнмго суждения следующим образом: Существует по крайней мере один такой предмет, что он есть S и он есть P. Правильность такого истолкования видна непосредственно из рисунка. Эту фразу уже легко выразить при помощи ЯЛП:

3x (S(x)AP(x))

Частноотрицательное суждение О: Некоторые S не есть P.

Здесь даже не прибегая к схемам можно сказать, что это суждение переформулируется следующим образом: Существует по крайней мере один S, который есть не-P. А суждение в такой форме уже легко записать на ЯЛПе:

3x(S(x) лР(х))

Мы получили запись на языке логики предикатов наших категорических суждений. Это довольно интересный способ записи, поскольку он вообще иллюстрирует характер перевода с одного языка на другой. В данном случае мы имеем дело с двумя логическими языками. Язык силлогистики и категорических суждений основан на следующей схеме анализа выражений:

(СП) субъект - связка - предикат.

Язык логики предикатов основан на другой схеме анализа выражений: (ФА) функтор - аргумент,

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

При помощи ЯЛСа мы не могли записать наши силлогизмы, потому что последние основываются на анализе внутренней структуры высказываний, тогда как ЯЛС не принимает ее во внимание. ЯЛП позволяет записать силлогистические умозаключения.