Инженерные языки/Урок 35
| Курс «Инженерные языки: от логических экспериментов до философских систем» (индекс) | ||||||||||
| Блок 1 Введение |
Блок 2 Таксономические языки |
Блок 3 Другие философские |
Блок 4 Вспомогательные |
Блок 5 Логлан |
Блок 6 Ложбан |
Блок 7 Ифкуиль/Илакш |
Блок 8 Минималистичные |
Блок 9 Другие проекты |
Блок 10 Сравнительный анализ |
Блок 11 Изучение и создание |
| 1–6 | 7–19 | 20–26 | 27–32 | 33–37 | 38–42 | 43–48 | 49–53 | 54–59 | 60–65 | 66–70 |
| Урок 34 ← Урок 34 | Индекс курса | Урок 36 → Урок 36 |
Урок 35. Логика предикатов как основа грамматики
Грамматика Логлана (и, соответственно, Ложбана) основана на логике предикатов — формальной логической системе, разработанной в XIX–XX веках. Понимание логики предикатов является ключом к пониманию структуры этих языков.
Что такое логика предикатов?
Логика предикатов — это раздел математической логики, который изучает логические связи между высказываниями с использованием предикатов (свойств и отношений) и кванторов (все, существует). В логике предикатов:
- Предикат — это функция, которая принимает аргументы и возвращает истину или ложь.
- Аргументы — это объекты, о которых что-то утверждается.
- Кванторы — это операторы, указывающие на количество объектов: ∀ (все) и ∃ (существует).
Как логика предикатов работает в Логлане
В Логлане каждое предложение (bridi) соответствует предикату:
- Предикат (selbri) — это отношение, которое связывает аргументы.
- Аргументы (sumti) — это объекты, участвующие в отношении.
Пример: mi klama le zdani соответствует предикату klama(mi, zdani) — «идти(я, дом)». Это выражение истинно, если я иду в дом.
Структура предиката
Каждый предикат в Логлане имеет определённое количество мест (аргументов). Количество мест называется арностью:
- klama — арность 5 (кто, куда, откуда, через что, на чём).
- viska — арность 3 (кто видит, что видит, через что).
- prenu — арность 1 (человек).
Кванторы в Логлане
В Логлане есть специальные частицы для выражения кванторов:
- ro — все (∀).
- su'o — некоторые (∃).
- no — ни один (отрицание существования).
Пример: ro prenu cu klama — «все люди идут» (∀x, если x — человек, то x идёт).
Логические связки
В Логлане есть логические связки для соединения предикатов:
- e — и (конъюнкция).
- a — или (дизъюнкция).
- na — не (отрицание).
Пример: mi klama e citka — «я иду и ем» (конъюнкция действий).
Значение логики предикатов
Использование логики предикатов делает Логлан уникальным среди искусственных языков. Он позволяет выражать логические отношения с максимальной точностью и избегать неоднозначностей, характерных для естественных языков.
| Логика предикатов | Логлан |
|---|---|
| Предикат (отношение) | selbri |
| Аргумент (объект) | sumti |
| Истинностное значение | bridi (предложение) |
| Квантор всеобщности (∀) | ro |
| Квантор существования (∃) | su'o |
| Конъюнкция (и) | e |
| Дизъюнкция (или) | a |
В следующем уроке мы рассмотрим структуру мест (place structure) в Логлане более подробно.
Вопросы для самопроверки
- Что такое логика предикатов?
- Как предикаты представлены в Логлане?
- Что такое арность предиката?
- Как выражаются кванторы в Логлане?
Рекомендуемая литература
- Brown J. C..Loglan 1: A Logical Language Logical Language Group, 1975.
- Kuznetsov S. N..Искусственные языки в современной лингвистике Наука, 1976.
| Курс «Инженерные языки: от логических экспериментов до философских систем» (индекс) | ||||||||||
| Блок 1 Введение |
Блок 2 Таксономические языки |
Блок 3 Другие философские |
Блок 4 Вспомогательные |
Блок 5 Логлан |
Блок 6 Ложбан |
Блок 7 Ифкуиль/Илакш |
Блок 8 Минималистичные |
Блок 9 Другие проекты |
Блок 10 Сравнительный анализ |
Блок 11 Изучение и создание |
| 1–6 | 7–19 | 20–26 | 27–32 | 33–37 | 38–42 | 43–48 | 49–53 | 54–59 | 60–65 | 66–70 |
| Урок 34 ← Урок 34 | Индекс курса | Урок 36 → Урок 36 |