|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Фундаментальная силлогистика и релевантное следованиестатья
- Автор: Маркин В.И.
- Журнал: Логико-философские штудии
- Том: 14
- Год издания: 2016
- Издательство: Региональная общественная организация Санкт-Петербургское философское общество
- Местоположение издательства: Санкт-Петербург
- Первая страница: 36
- Последняя страница: 45
- Аннотация: В работе предлагается нестандартная семантика языка позитивной силлогистики, в которой значимость атомарных формул определяется в терминах релевантного следования. Данная идея реализуется в рамках предложенного В.И. Шалаком подхода к построению семантики силлогистики: субъектам и предикатам категорических высказываний приписываются формулы языка пропозициональной логики, а определения значимости силлогистических формул базируются на отношении классической выводимости. Данное отношение заменяется на отношение следования релевантной системы FDE. Строится семантика для фундаментальной позитивной силлогистики, доказывается метатеорема о непротиворечивости и полноте.
- Добавил в систему: Маркин Владимир Ильич