|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Силлогистика и отношения между формулами в пропозициональной логикестатья
- Автор: Маркин В.И.
- Сборник: Восьмой Российский Философский Конгресс - «Философия в полицентричном мире». Секции (I). Сборник научных статей
- Серия: ‘congressus’
- Том: 1
- Год издания: 2020
- Издательство: Логос
- Местоположение издательства: М.
- Первая страница: 205
- Последняя страница: 207
- Аннотация: Строится семантика языка обобщенной позитивной силлогистики, в которой общим терминам в качестве значений сопоставляются пропозициональные формулы, а силлогистические константы репрезентируют различные отношения между этими формулами в классической логике высказываний. Стандартные силлогистические константы интерпретируются так: SaP означает, что из формулы, которая является значением S, логически следует формула, которая является значением P, SoP означает, что из первой не следует вторая, SeP означает, что эти две формулы несовместимы по истинности, а SiP – что они совместимы по истинности. помимо стандартных в язык силлогистики вводятся константа универсальности (u) и константа неуниверсальности (j). Элементарная формула SjP означает, что пропозициональные формулы, которые являются значениями S и P, совместимы по ложности, а SuP означает, что данные формулы несовместимы по ложности. предлагаются силлогистические исчисления, которые соответствуют двум вариантам этой семантики: в одном случае значениями общих терминов могут быть любые пропозициональные формулы, в другом случае – лишь выполнимые и опровержимые формулы.
- Добавил в систему: Маркин Владимир Ильич