ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
В докладе сопоставлены между собой три подхода к построению семантик для систем позитивной силлогистики: экстенсиональный, интенсиональный и "синтаксический". Особое внимание уделено третьему подходу, где в качестве значений общим терминам сопоставляются формулы классической пропозициональной логики, а силлогистические константы выражают различные отношения между этими формулами. Предложены адекватные семантики указанного типа для различных силлогистик, причем при их формулировке используется не классическое, а релевантное отношение следования.