A Variant of Material Connexive Logic

Авторы: Belikov A., Zaitsev D.
Журнал: Bulletin of the section of logic
Том: 51
Номер: 2
Год издания: 2022
Первая страница: 227
Последняя страница: 242
DOI: 10.18778/0138-0680.2021.24
Аннотация: The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius' (and thus, Aristotle's) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
Добавил в систему: Зайцев Дмитрий Владимирович

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

ИСТИНА