База данных: ЭКЖ Университет онлайн кітапханасы кітаптар
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
Подробнее
40184
Павлов, С. А.
Логика с операторами истинности и ложности [Электронный ресурс] : монография / С. А. Павлов. - Москва : Институт философии РАН, 2004. - 143 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9540-0002-6 : Б. ц.
ББК 87.4
Аннотация: Монография посвящена одному из важнейших аспектов современных исследований теории истины - логике с операторами и предикамами истинности и ложности. Рассмотрены содержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями, но и с высказыванями, содержащими противоречивую и неполную информацию. Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логикaми, как логики Белнапа и фон Вригта, трехзначные логики Клини, Лукасевача, Бочвара, паранепротиворечивые логики Асенхо, Приста, Д'Оттавиано-да Косты. Монография представляет интерес для специалистов в области логики и ее приложений в философии.
Доп.точки доступа:
ИФ, РАН
Павлов, С. А.
Логика с операторами истинности и ложности [Электронный ресурс] : монография / С. А. Павлов. - Москва : Институт философии РАН, 2004. - 143 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9540-0002-6 : Б. ц.
УДК |
Аннотация: Монография посвящена одному из важнейших аспектов современных исследований теории истины - логике с операторами и предикамами истинности и ложности. Рассмотрены содержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями, но и с высказыванями, содержащими противоречивую и неполную информацию. Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логикaми, как логики Белнапа и фон Вригта, трехзначные логики Клини, Лукасевача, Бочвара, паранепротиворечивые логики Асенхо, Приста, Д'Оттавиано-да Косты. Монография представляет интерес для специалистов в области логики и ее приложений в философии.
Доп.точки доступа:
ИФ, РАН
Беті 1, Нәтижелерін: 1