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