Логика и язык
Логика и язык
Виды языков
Науки о языке
Семантические категории
Имена
Имена признаков (предикаторы)
Предложения
Логика предложений
813.16K
Категория: ИнформатикаИнформатика

Логика и язык

1. Логика и язык

Выполнил студент 2 курса
юридического факультета Кувшинов
Олег

2. Логика и язык

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

3. Виды языков

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

4. Науки о языке

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

5. Семантические категории

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

6. Имена

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

7. Имена признаков (предикаторы)

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

8. Предложения

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

9. Логика предложений

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

10.

O Спасибо за внимание!
English     Русский Правила