Семантический анализ аподиктической силлогистики Аристотеля

Автор: Маркин В.И.
Сборник: Логика Аристотеля. Материалы симпозиума (16-17 ноября 1983 г., Тбилиси)
Год издания: 1985
Место издания: Издательство Тбилисского университета Тбилиси
Первая страница: 141
Последняя страница: 153
Аннотация: В статье предлагается формальная семантика для ассерторических и аподиктических атрибутивных высказываний, которая детерминирует принятие, по возможности, всех правильных и отбрасывание всех неправильных принципов аподиктического фрагмента силлогистики Аристотеля. Строится исчисление, аксиоматизирующее класс общезначимых в этой семантике формул. Доказываются метатеоремы о семантической непротиворечивости и полноте.
Добавил в систему: Маркин Владимир Ильич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ИНХС РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА