Язык как информационная знаковая система. Функции языка. Языки естественные и искусственные.
Понятие знака. Общая характеристика и виды знаков, предметное и смысловое значение языковых выражений. Основные семантические аспекты языка: синтаксис, семантика, прагматика.
Семантическая категория языка: дескриптивные и логические термины. Дескриптические (описательные) термины: имена предметов, выражения, обозначающие свойства и отношения, предложения. Логически термины: логические связки, кванторы.
Функциональный метод анализа языка. Понятие функций и функтора. Употребление переменных в логике, предметные, предикатные и пропозиционные переменные. Понятие пропозиционной (высказывательной) функции.
Искусственные языки науки логики. Понятие о языке логики высказываний. Понятие о языке логики предикатов.
Основная цель при осмыслении темы II – освоение языка логики предикатов, которая отражает и следует за смысловыми характеристиками естественного языка. Для этого рекомендуется алфавит языка логики предикатов оформить в виде следующей таблицы
|
Символ |
Способ употребления |
Название |
Как читается |
|
|
pq |
Конъюнкция |
p и q |
||
|
v |
pvq |
Дизъюнкция слабая или не исключающая |
p или q |
|
|
|
||||