Сингулярная негативная силлогистика Аристотеля и свободная логикастатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.
Аннотация:В работе осуществляется реконструкция средствами современной логики сингулярной негативной силлогистики Аристотеля. Предлагается перевод силлогистики в особую систему логики, свободной от экзистенциальных допущений, который основан на аристотелевской трактовке категорических высказываний, содержащих сингулярные и отрицательные термины. Свободная логика оказывается наиболее подходящим инструментом для адекватного анализа подобных высказываний, поскольку, согласно Аристотелю, каждое единично-утвердительное высказывание "v есть P" ложно, а каждое единично-отрицательное "v не есть P" истинно в случае, когда объект v не существует. Формулируется аксиоматическое исчисление сингулярной негативной силлогистики, которое является расширением позитивной силлогистики С2 В.А. Смирнова. Доказывается метатеорема о погружаемости данного исчисление в свободную логику посредством "аристотелевского" перевода.