Авторизация
Фамилия
Пароль
 

Базы данных


База библиотеки "Дом А.Ф. Лосева"- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: <.>A=Павлов, Сергей Афанасьевич@<.>
Общее количество найденных документов : 1
1.
   111
   П 12


    Павлов, Сергей Афанасьевич.
    Логика с операторами истинности и ложности = Logic with truth & falsehood operators / С. А. Павлов ; Рос. акад. наук, Ин-т философии. - Москва : ИФРАН, 2004. - 24 с. ; 21 см. - Библиогр.: с. 138-142. - 500 экз.. - ISBN 5-9540-0002-6
УДК
Рубрики: Истина (филос.)
Аннотация: Монография посвящена одному из важнейших современных исследований теории истины - логике с операторами и предикатами истинности и ложности. Рассмотрены содержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями, но и с высказываниями, содержащими противоречивую и неполную информацию. Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логиками как логики Белнапа и фон Вригта, трехзначные логики Клини, Лукасевича. Бочвара, паранепротиворечивые логики Асенхо, Приста, Д'Огта-виано-да Косты. Монография представляет интерес для специалистов в области логики и ее приложений в философии.

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Институт философии (Москва)
Экземпляры всего: 1
Абонемент (1)
Свободны: Абонемент (1)
Найти похожие

 
Статистика
за 29.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)