Рассуждения по модулю I. Логика невыводимости

Зайцев, Д.В.

Автор: Зайцев Д.В.
Журнал: Логические исследования
Том: 30
Номер: 1
Год издания: 2024
Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
Местоположение издательства: Москва
Первая страница: 11
Последняя страница: 26
DOI: 10.21146/2074-1472-2024-30-1-11-26
Аннотация: Целью данной работы является обеспечение возможности формализацииодного из вариантов рассуждений по модулю, в котором заключение следует из множества посылок и множества дополнительных условий (модуля), но не следует из этихмножеств по отдельности. Будучи построена, такая логика, во-первых, позволит описатьважные типы правдоподобных аргументативных рассуждений, во-вторых, представляетсобой интересный пример немонотонной логики.Для решения поставленной задачи предлагается на первом этапе формализовать отношение невыводимости между множеством посылок и заключением в виде системысвоеобразных невыводимостей. В статье сначала семантически характеризуется такаялогика. Затем строится соответствующее исчисление и доказывается его семантическаяадекватность. Получившаяся система обладает рядом интересных свойств. В ней большенет стандартных парадоксов следования, но их заменили новые парадоксы: «противоречие следует из любой выполнимой формулы», «закон не следует не из чего». Дляаксиматизации потребовалось существенно модифицировать понятие подстановки формулы на место переменной так, чтобы сохранить невыводимость.Дальнейшие перспективы работы в этом направлении связаны с построением семействалогик, в которых комплексное отношение выводимости будет включать невыводимостькак свою составную часть.
Добавил в систему: Зайцев Дмитрий Владимирович

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

ИСТИНА

ИСТИНА ЦЭМИ РАН

Рассуждения по модулю I. Логика невыводимостистатья

Прикрепленные файлы