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

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

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

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

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

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

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

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

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

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

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

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

Л –– КОНЪЮНКЦИЯ (СОЮЗ «И»);

V –– ДИЗЪЮНКЦИЯ (СОЮЗ «ИЛИ»);

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

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

Ч – отрицание («неверно, что...»). Технические знаки языка: (,) – левая и правая скобки.

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

1. Всякая пропозициональная переменная – р, q, г,... есть ППФ. 1. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ. А' (х), А2 (х, у), А^х, у, z), А" (х, у,..., п), где А', А2, А3,..., А" – знаки метаязыка для предикаторов.

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

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

А л В,

A v В,

А–В,

А^В,

-1А.1В ^ также являются формулами.

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

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

В-6

Понятие — это форма мышления, отражающая предметы в их существенных признаках.

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

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