Логика и язык

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

Виды языков
Естественные ( национальные; русский, английский, французский, и т.д)
Метаязыки- искусственные языки (могут быть инструментом изучения других языков, называемых в таком случае языками-объектами
Смешанные- основаны на естественных, но содержащие специфические для определенной области знаний термины

Науки о языке
Синтаксис- наука о структуре языка, построении предложений, связи между знаками
Прагматика- наука об использовании языка, его коммуникативных, психологических, эстетических функциях
Семантика- интерпретация объектов, анализ их соотношений

Семантические категории
Предложения
Имена (предметов и признаков)
Логические связки

Имена
Простые- состоит из одного понятия
Сложные- состоят из нескольких имен (например «планета Земля»)
Единичные- обозначают один-единственный предмет, часто- имена собственные
Общие- обозначают целую группу предметов

Имена признаков (предикаторы)
Предикаторами называются слова, выражающие некоторые признаки описываемого предмета. Являются сказуемыми («быть»).
Подразделяются на одноместные (конкретный признак) и двух-/многоместные (отношение между предметами.

Предложения
Предложения- имена для выражения определенного ложного или истинного суждения

Логика предложений
a, b, c…- предметные константы (единичные имена)
X,y,z- специфические для ситуации понятия (предметные переменные)
P1, Q1, R1- предикатные переменные
p, q,r- пропозициональные переменные (высказывания)
Кванторы- количественные признаки
Логические связки