Функции Свойства
Информационная Универсальность (Выразима любая информация)
Коммуникативная Многозначность (Омонимия)
Познавательная Грамматическая неоднозначность
Экспрессивная Семантическая замкнутость
Семиотика.
Теория знаков и знаковых систем. Основатели Ч. Пирс (1839 – 1914), Ф. де Соссюр (1857 – 1913)
Уровни изучения языков:
Синтаксический (поведение знаков, отношения между знаками)
Семантический (связь знака, значения и смысла)
Прагматический (отношения между знаком и интерпретатором)
Знак – объект, выступающий в качестве представителя другого объекта для некоторого интерпретатора.
Интерпретация – приписывание значения некоторому знаку.
Значение знака (экстенсионал) – предмет, замещаемый знаком.
Смысл знака (интенсионал) – информация о значении знака, содержащаяся в знаке или связываемая с ним в процессе интерпретации.
Треугольник Пирса.
←Интерпретатор
Знак→ ↓
Значение
Треугольник Фреге.
←Знак→
обозначает выражает
Значение ← Смысл
Виды знаков.
1)По связи между знаком и значением
Знаки – образы
Знаки – индексы
Знаки – символы (связаны со значениями конвенционально)
2) По значению
1.1 Пустые
1.2 Непустые
3) По смыслу
1.1 Описательные
1.2 Неописательные
Логическая форма.
Если идет дождь, то дорога мокрая. Если p,
Если тело обладает массой, то оно обладает энергией. то q.
Некоторые студенты не ходят на лекции. Некоторые S
Некоторые частицы не являются элементарными. не есть P.
Языковой контекст:
Нелогические термины – имеющие значение вне контекста: «Человек», «Элемент», «Лекция по логике» и т.д.
Логические термины – не имеющие значения вне контекста: «Если…, то», «Неверно, что…», «Всякий», «Является».
Логическая форма – та часть содержания языкового контекста, которая остается при замене всех нелогических терминов параметрами («Всякий А является В», «p или q»). Логическая форма, которая истинна, независимо от подстановки, называется логическим законом.
Логическое следование.
Из множества высказываний Г логически следует высказывание В, если и только если:
- при любой интерпретации параметров, входящих в Г и В, при которой все высказывания из Г принимают значения «истина», выражение В также принимает значение «истина»
- не существует такой интерпретации параметров, входящих в Г и В, при которой все высказывания из Г принимают значения «истина», а выражение В принимает значение «ложь».
Правильные рассуждения.
Рассуждение правильно, если и только если его логическая форма гарантирует, что при истинных посылках заключение обязательно истинно.
Иными словами, не существует рассуждения данной формы с истинными посылками и ложным заключением.
Иными словами, из посылок логически следует заключение.
Упражнение для мозга!
У вас 3 конверта, один из которых нужно немедленно съесть. В каждом конверте содержится листок с двумя утверждениями. В одном конверте оба утверждения истинны, в другом оба ложны, а в третьем одно ложно и одно истинно. Вот эти утверждения:
Конверт 1:
1)Этот конверт есть не надо
2)Обязательно нужно съесть второй конверт.
Конверт 2:
1)Не нужно есть первый конверт
2)Ешьте третий конверт
Конверт 3:
1)Не стоит есть этот конверт
2)Смело съедайте первый конверт
Какой конверт нужно съесть?