§ 4. Язык логики

Необходимая связь мышления и языка, при которой язык высту­пает материальной оболочкой мыслей, означает, что выявление ло­гических структур возможно лишь путем анализа языковых выраже­ний. Подобно тому, как к ядру ореха можно добраться лишь вскрыв его скорлупу, так и логические формы могут быть выявлены лишь путем анализа языка.

В целях овладения логико-языковым анализом рассмотрим крат­ко структуру и функции языка, соотношение логических и грамматических категорий, а также принципы построения особого языка логики.

Язык — это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в про­цессе познания действительности и общения между людьми.

Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак — это любой чувственно воспринимаемый (зрительно, на слух или иным спосо­бом) предмет, выступающий представителем другого предмета. Среди различных знаков выделим два вида: знаки-образы и знаки-символы.

Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоско­пические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Напри­мер: нотные знаки; знаки азбуки Морзе; буквы в алфавитах нацио­нальных языков.

Множество исходных знаков языка составляет его алфавит.

Комплексное изучение языка осуществляется общей теорией знаковых систем — семиотикой, которая анализирует язык в трех аспектах: синтаксическом, семантическом и прагматическом.

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

По происхождению языки бывают естественные и искусст­венные,

Естественные языки — это исторически сложившиеся в общест­ве звуковые (речь), а затем и графические (письмо) информацион­ные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Ес­тественные языки выступают носителями многовековой культуры народов. Они отличаются богатыми выразительными возможностя­ми и универсальным охватом самых различных областей жизни.

Искусственные языки — это вспомогательные знаковые систе­мы, создаваемые на базе естественных языков для точной и эконом­ной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изу­чения другого языка, называют метаязыком, основной — языком-объектом. Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.

Искусственные языки различной степени строгости широко ис­пользуются в современной науке и технике: химии, математике, тео­ретической физике, вычислительной технике, кибернетике, связи, стенографии.

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

Искусственные языки успешно используются и логикой для точ­ного теоретического и практического анализа мыслительных струк­тур.

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

Второй язык — это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные харак­теристики логических связок, но и внутреннюю структуру суждений. Рассмотрим кратко состав и структуру этого языка, отдельные эле­менты которого будут использованы в процессе содержательного изложения курса.

Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысло­выми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является по­нятие имени.

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

Предметное значение (денотат) имени — это один или множест­во каких-либо объектов, которые этим именем обозначаются. На­пример, денотатом имени «дом» в русском языке будет все многооб­разие сооружений, которые этим именем обозначаются: деревян­ные, кирпичные, каменные; одноэтажные и многоэтажные и т.д.

Смысловое значение (смысл, или концепт) имени — это инфор­мация о предметах, т.е. присущие им свойства, с помощью которых выделяют множество предметов. В приведенном примере смыслом слова «дом» будут следующие характеристики любого дома: 1) это сооружение (здание), 2) построено человеком, 3) предназначено для жилья.

Отношение между именем, смыслом и денотатом (объектом) можно представить следующей семантической схемой:

Это значит, что имя денотирует, т.е. обозначает объекты только через смысл, а не непосредственно. Языковое выражение, не имею­щее смысла, не может быть именем, поскольку оно не осмысленно, а значит и не опредмечено, т.е. не имеет денотата.

Типы имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собою его основные семан­тические категории, это имена: 1) предметов, 2) признаков и 3) пред­ложений.

Имена предметов обозначают единичные предметы, явления, события или их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеаль­ные (воля, правоспособность, мечта) предметы.

По составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена бывают единичные и общие. Единичное имя обозначает один объект и бывает представлено в языке именем собственным (Аристотель) или дается описательно (самая большая река в Европе). Общее имя обозначает множество, состоящее более чем из одного объекта; в языке оно бывает пред­ставлено нарицательным именем (закон) либо дается описательно (большой деревянный дом).

Имена признаков — качеств, свойств или отношений — называ­ются предикаторами. В предложении они обычно выполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т.д.). Число имен предметов, к которым относится предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (на­пример, «небо синее»). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» — к трехместным («Отец дарит книгу сыну»).

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

Алфавит языка логики предикатов включает следующие виды знаков (символов):

1) а, b, с,... — символы для единичных (собственных или описа­тельных) имен предметов; их называют предметными постоянны­ми, или константами;

2) х, у, z, ... — символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;

3) Р¹, Q¹, R¹,... — символы для предикатов, индексы над которы­ми выражают их местность; их называют предикатными перемен­ными;

4) р, q, r, ... — символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского propositio — «высказывание»);

5) , — символы для количественной характеристики высказы­ваний; их называют кванторами: — квантор общности; он сим­волизирует выражения — все, каждый, всякий, всегда и т.п.;  — квантор существования; он символизирует выражения — некото­рый, иногда, бывает, встречается, существует и т.п.;

6) логические связки:

 — конъюнкция (союз «и»);

v — дизъюнкция (союз «или»);

 — импликация (союз «если..., то...»);

 — эквиваленция, или двойная импликация (союз «если и толь­ко если..., то...»);

 — отрицание («неверно, что...»).

Технические знаки языка: (, ) — левая и правая скобки.

Других знаков данный алфавит не включает. Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами — ППФ. Понятие ППФ вво­дится следующими определениями:

1. Всякая пропозициональная переменная — р, q, r,... есть ППФ.

2. Всякая предикатная переменная, взятая с последовательнос­тью предметных переменных или констант, число которых соответ­ствует ее местности, является ППФ: А¹ (х), А² (х, у), А³(х, у, z), Аⁿ (х, у,..., n), где А¹, А², А³,..., Аⁿ — знаки метаязыка для предикаторов.

3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения  хА (х) и  хА(х) также будут ППФ.

4. Если А и В — формулы (А и В — знаки метаязыка для выраже­ния схем формул), то выражения:

А  В,

Av B,

А В,

A  В,

 А, В

также являются формулами.

5. Любые иные выражения, помимо предусмотренных в п. 1—4, не являются ППФ данного языка.

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