Бази даних

Наукова електронна бібліотека - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=Д'ОТТАВИАНО<.>)
Загальна кількість знайдених документів : 1

   Тип видання:   монографія   
1.

Павлов, С. А.
Логика с операторами истинности и ложности [Електронний ресурс] / С. А. Павлов. - М. : РАН Институт философии, 2004. - 143 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


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



Кл.слова:
логіка -- філософія
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського