Место издания:«Русское общество истории и философии науки» Москва
Первая страница:112
Последняя страница:117
Аннотация:В докладе строится формальная система, предназначенная для логического анализа суждений существования. В ее языке содержится неопределенно-местная константа существования, а простые формулы образуются сочленением этой константы с произвольной конечной последовательностью общих терминов – положительных (простых) и отрицательных. Формула данного типа истинна, е.т.е. пересечение объемов указанных общих терминов непусто. Предлагается исчисление, аксиоматизирующее класс общезначимых формул. Демонстрируется рекурсивная эквивалентность логики суждений существования и силлогистики с неопределенно-местной константой, которая является обобщением стандартной силлогистической константы 𝑎.