1. Принцип однозначности. Всякое языковое выражение в определенном языковом контексте должно иметь ровно одно значение.
2. Принцип предметности. Для того, чтобы нечто сказать об объекте, необходимо употребить знак об объекте. Языковые выражения относятся не к самим языковым выражениям, а крепрезентируемому объекту.
3. Принцип взаимозаменяемости. Значение сложного языкового выражения должно зависеть только от значений, входящих от него знаков. если в некотором контексте А некоторое выражение а заменяется выражением b с тем же значением, то значение контекста не должно меняться.
7. Антиномии отношения именования. Экстенсиональные и интенсиональные контексты.
Контекст К интенсионален относительно термина а, если при замене а некоторым терминов b с тем же значением, значение К изменяется.
Контекст К экстенсионален относительно термина а, если при замене а любым терминов b с тем же самым значением, значение К не изменяетя.
Контекст К является интенсиональным, если он является интенсиональным по отношению хотя бы к одному термину.
Контекст К является экстенсиональным, если он экстенсионален относительно любого термина в своем составе.
8. Понятие функции. Виды функций. Функциональный анализ языка.
Выражения языка рассматриваются как знаки функций или как знаки аргументов функций.
Функция - в узском смысле - отображение, которое каждому элементу множества ставит в соответствие ровно 1 элемент 2-го множества.
первое множество - область определения
второе множество - область значения
Пр, отображение, которое каждому государству ставит в соответствие столицу государства. обл. определения - множество государств, область значения - множество городов.
Способы задания функций:
1. Графический (если область определения бесконечно, то некорректен)
2. Табличный
3. Аналитический -формируется правило, согласно которому элементы ставятся в соответствие. Это правило может быть выражено в языке.
Функция является операцией, если область возможных аргументов совпадает с областью возможных значений.
Местность функции:
Область определения может состоять из кортежей предметов (в кортеже важен порядок)
- отдельные предметы - одноместная функция
- пара элементов - двухместная функция (бинарная)
и т. п.
Виды функций:
Основания для классификации - вид аргументов и значений. Аналитическое представление предметной функции - именная форма.
1. Предметные функции. Аргументы и значения - предметы.
2. Предметно-истинностные. Аргументы - предметы или кортежи предметов. Значение - {и;л}
3. истинностно-истинностные
9. Понятие формализованного языка. Язык классической логики высказываний.
Формализованные языки (пр, язык классической логики высказываний и логики предикатов)
Формализованный язык нужен для:
1. четкой фиксации информации.
2. построения логических теорий, выделяются законы и формы правильных рассуждений.