ЗАКЛЮЧЕНИЕ

1. В монографии подробно рассмотрено применение машинно-ориентированного

семантического метода для выявления логического следования из категорических суждений с различной семантикой путем вычисления результирующих отношений без использования логики предикатов.

2. Поставлена и решена проблема формализации интегральных силлогистик с различной семантикой суждений, построена полная диаграмма дедукции для интегральной силлогистики из 50 базисных суждений, смысл которых наиболее просто выражается на естественном языке, выявлена особая роль в ней суждений Аристотеля.

3. Выявлен уникальный класс дедуктивно эффективных совершенных интегральных силлогистик традиционного типа, дана оценка мощности этого класса и построены соответствующие совершенные силлогистические системы как возможные альтернативы для традиционной аристотелевской силлогистики.

4. Предложенный метод вычисления результирующих отношений запрограммирован на ЭВМ, запатентован в Российской Федерации, подтверждает и развивает результаты Аристотеля в силлогистике.