Язык – знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
При создании языка основным элементом являются знаки. Знак – это любой чувственно воспринимаемый предмет, выступающий представителем другого предмета.
Выделяют несколько видов знаков:
1) знаки-копии (фотографии, отпечатки пальцев и т. п.);
2) знаки-признаки (дым – признак огня, боль – признак болезни и т. п.);
3) знаки-сигналы (звонок – начало занятия);
4) знаки-символы (дорожные знаки, буквы алфавита и т. п.). По происхождению языки бывают естественные и искусственные.
Естественные языки – исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми.
Искусственные языки – вспомогательные знаковые системы, создаваемые на основе естественных языков для точной и экономичной передачи научной и другой информации.
Общепринятым является язык логики предикатов. Его основными категориями являются: имена предметов, выражения, обозначающие свойства и отношения, и предложения.
Имена предметов обозначают как единичные предметы или явления, так и их множества.
Выражения, обозначающие свойства и отношения, называются предикаторами. В предложении они обычно играют роль сказуемого
Предложение – это выражение, обозначающее высказывание о предметах, в котором утверждается или отрицается наличие определенных признаков или свойств у предмета или отношения между предметами. По своему значению они выражают истину или ложь