Принципы употребления языковых выражений.

1. Принцип однозначности. Всякое языковое выражение в определенном языковом контексте должно иметь ровно одно значение.

2. Принцип предметности. Для того, чтобы нечто сказать об объекте, необходимо употребить знак об объекте. Языковые выражения относятся не к самим языковым выражениям, а крепрезентируемому объекту.

3. Принцип взаимозаменяемости. Значение сложного языкового выражения должно зависеть только от значений, входящих от него знаков. если в некотором контексте А некоторое выражение а заменяется выражением b с тем же значением, то значение контекста не должно меняться.

 

7. Антиномии отношения именования. Экстенсиональные и интенсиональные контексты.

 

Контекст К интенсионален относительно термина а, если при замене а некоторым терминов b с тем же значением, значение К изменяется.

Контекст К экстенсионален относительно термина а, если при замене а любым терминов b с тем же самым значением, значение К не изменяетя.

Контекст К является интенсиональным, если он является интенсиональным по отношению хотя бы к одному термину.

Контекст К является экстенсиональным, если он экстенсионален относительно любого термина в своем составе.

 

8. Понятие функции. Виды функций. Функциональный анализ языка.

 

Выражения языка рассматриваются как знаки функций или как знаки аргументов функций.

Функция - в узском смысле - отображение, которое каждому элементу множества ставит в соответствие ровно 1 элемент 2-го множества.

первое множество - область определения

второе множество - область значения

Пр, отображение, которое каждому государству ставит в соответствие столицу государства. обл. определения - множество государств, область значения - множество городов.

 

Способы задания функций:

1. Графический (если область определения бесконечно, то некорректен)

2. Табличный

3. Аналитический -формируется правило, согласно которому элементы ставятся в соответствие. Это правило может быть выражено в языке.

 

Функция является операцией, если область возможных аргументов совпадает с областью возможных значений.

 

Местность функции:

Область определения может состоять из кортежей предметов (в кортеже важен порядок)

- отдельные предметы - одноместная функция

- пара элементов - двухместная функция (бинарная)

и т. п.

 

Виды функций:

Основания для классификации - вид аргументов и значений. Аналитическое представление предметной функции - именная форма.

1. Предметные функции. Аргументы и значения - предметы.

2. Предметно-истинностные. Аргументы - предметы или кортежи предметов. Значение - {и;л}

3. истинностно-истинностные

 

9. Понятие формализованного языка. Язык классической логики высказываний.

 

Формализованные языки (пр, язык классической логики высказываний и логики предикатов)

Формализованный язык нужен для:

1. четкой фиксации информации.

2. построения логических теорий, выделяются законы и формы правильных рассуждений.