Любопытный факт об инфекционных логиках

Беликов, А.

Автор: Беликов А.
Журнал: Логико-философские штудии
Том: 18
Номер: 1
Год издания: 2020
Издательство: Региональная общественная организация Санкт-Петербургское философское общество
Местоположение издательства: Санкт-Петербург
Первая страница: 1
Последняя страница: 10
Аннотация: Работа посвящена исследованию свойств логического следования в контексте так называемых инфекционных логик. Среди последних особый интерес представляют две четырехзначные логики, которые также можно отнести к классу релевантных: логика Дойча Sfde и логика Шмуца dSfde. В этой короткой заметке я докажу, что если в dSfde отношение следования определить через сохранность истинности и неложности, то результат эквивалентен отношению следования в другой недавно открытой логике Setl, а если определить его через сохранность неложности (в сильном смысле), то мы получим следование, эквивалентное следованию в логике Snfl, также предложенной совсем недавно. Поскольку обе логики Setl и Snfl получаются в результате аналогичной модификации логики Sfde, главный тезис моей работы сводится к следующему: «в точности истинностная» и «неложностная» версии логик Sfde и dSfde эквивалентны. С содержательной точки зрения эквивалентность исследуемых систем позволяет расширить область их возможных приложений, поскольку она свидетельствует о том, что эти системы могут быть интерпретированы как в контексте семантики с инфекционными истинностно-значными провалами, так и в контексте семантики с инфекционными пресыщенными оценками.
Добавил в систему: Беликов Александр Александрович

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

ИСТИНА

ИСТИНА ИНХС РАН

Любопытный факт об инфекционных логикахстатья

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