Тема II. Логика и язык

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

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

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

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

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

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

Символ		Способ употребления	Название	Как читается
		p q	Конъюнкция	p и q
v		pvq	Дизъюнкция слабая или не исключающая	p или q
v		pvq	Дизъюнкция сильная или исключающая	либо p, либо q
		p q	Импликация	если p, то q
		p q	Эквиваленция, тождество	p тогда и только тогда, когда q
		p	Отрицание	не верно, что p
		p	Необходимость	необходимо, что р
		p	Возможность	возможно, что р
		(x) p(x)	Квантор общности	для всякого х верно, что р – х
		(x) p(x)	Квантор существования	существует такой х, что р - х
x, y, z			Символы для высказываний, предметные переменные
a, b, c			Символы для единичных предметов, предметные постоянные
p, q, r			Символы для высказываний, пропозициональные переменные
P, Q, R			Символы для предикатов, предикатные переменные

и в качестве узловых категорий данной темы выделить в собственных логических словариках следующие понятия: язык, знак, знак – образ, знак – символ, семиотика, синтаксис, семантика, прагматика, язык логики высказываний, язык логики предикатов, воспользовавшись указанной в списке литературой: [ 1 ], стр. 10 – 13.

Вопросы для повторения и самопроверки.

1. Что такое естественный язык?

2. Что такое искусственный язык?

3. Что представляет собой язык логики предикатов?