|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Интенсиональная семантика для силлогистик васильевского типастатья
- Автор: Легейдо Мария Михайловна
- Сборник: Восьмой Российский Философский Конгресс - «Философия в полицентричном мире». Секции (I). Сборник научных статей
- Серия: ‘congressus’
- Том: 1
- Год издания: 2020
- Издательство: Логос
- Местоположение издательства: М.
- Первая страница: 201
- Последняя страница: 204
- Аннотация: В докладе рассматривается возможность построения интенсиональных семантик с использованием релевантного следования для силлогистических систем васильевского типа на основе результатов, достигнутых В. И. Маркиным и В. И. Шалаком. Силлогистики данного типа содержат не классические четыре, а лишь три исходные константы: в них частноутвердительные и частноотрицательные высказывания сводятся к одному определенно-частному высказыванию. В работе представлены погружающие процедуры (переводы из языка с тремя константами в язык с четырьмя и наоборот), интенсиональная семантика для силлогистики васильевского типа и аксиоматическое исчисление ИСФВ. В конце сформулированы теоремы, необходимые для доказательства адекватности исчисления предложенной семантике.
- Добавил в систему: Легейдо Мария Михайловна
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Congress_2020_Legeydo.pdf | 264,3 КБ | 13 февраля 2021 [LegeydoMM] |