Логика и язык

Язык как информационная знаковая система. Функции языка. Языки естественные и искусственные.

Понятие знака. Общая характеристика и виды знаков, предметное и смысловое значение языковых выражений. Основные семантические аспекты языка: синтаксис, семантика, прагматика.

Семантическая категория языка: дескриптивные и логические термины. Дескриптические (описательные) термины: имена предметов, выражения, обозначающие свойства и отношения, предложения. Логически термины: логические связки, кванторы.

Функциональный метод анализа языка. Понятие функций и функтора. Употребление переменных в логике, предметные, предикатные и пропозиционные переменные. Понятие пропозиционной (высказывательной) функции.

Искусственные языки науки логики. Понятие о языке логики высказываний. Понятие о языке логики предикатов.

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

Символ

Способ

употребления

Название

Как читается

pq

Конъюнкция

p и q

v

pvq

Дизъюнкция слабая или не исключающая

 

p или q

 

Логика - доступно для всех
Добавить комментарий