Книга: С.А. Павлов «Логика с операторами истинности и ложности»
Производитель: "ИФРАН" Монография посвящена одному из важнейших аспектов современных исследований теории истины логике с операторами и предикатами истинности и ложности. Рассмотренысодержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначными высказываниями, но и с высказываниями, содержащими противоречивую и неполную информацию. Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логиками как логики Белнапа и фон Вригта, трехзначные логики Клини, Лукасевича, Бочвара, паранепротиворечивые логики Асенхо, Приста, Д Оттавиано-да Косты. Монография представляет интерес для специалистов в области логики и ее приложений в философии. Воспроизведено в оригинальной авторской орфографии издания 2004 года. В Издательство: "ИФРАН" (2004)
ISBN: 978-5-458-71643-7 |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Логика с операторами истинности и ложности | Монография посвящена одному из важнейших аспектов современных исследований теории истины – логике с… — ИФ РАН, - Подробнее... | бумажная книга |
См. также в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… … Философская энциклопедия
временная логика — ВРЕМЕННАЯ ЛОГИКА раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950 х), а также во… … Энциклопедия эпистемологии и философии науки
Павлов, Сергей Афанасьевич — (р. 05.12.1946) спец. в обл. логики; канд. филос. наук. Род. во Львове. Окончил физ. ф т Киевского гос. ун та (1970). С 1990 работает в ИФ РАН: инженер, м.н.с, в наст. вр. н. с. сектора логики. С 1997 является также рук. отдела информац.… … Большая биографическая энциклопедия
Стереометрическая семантика — трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… … Проективный философский словарь
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия