05  мар

Логика с операторами истинности и ложности скачать


Логика с операторами истинности и ложности
Автор: Павлов С.А.
Название: Логика с операторами истинности и ложности
Издательство: М.: ИФ РАН
Год: 2004
Формат: djvu
Размер: 3,34 Мб

Монография посвящена одному из важнейших аспектов современных исследований теории истины - логике с операторами и предикатами истинности и ложности. Рассмотрены содержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями, но и с высказываниями, содержащими противоречивую и неполную информацию.
Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логиками как логики Белнапа и фон Вригта, трехзначные логики Клини, Лукасевича, Бочвара, паранепротиворечивые логики Асенхо, Приста, Д'Оттавиано-да Косты.
Монография представляет интерес для специалистов в области логики и ее приложений в философии.

ifolder.ru

depositfiles.com





Разместил admin в категорию КНИГИ / Гуманитарные науки (книги)
Логика с операторами истинности и ложности скачали 293 раз






Похожие по теме публикации:


Комментарии:
Добавление комментария

Ваше Имя:
Ваш E-Mail: (необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent