Релевантная логика (предпосылки, исчисления, семантика)
Доступ по подписке только в составе
Коллекции
Релевантная логика (предпосылки, исчисления, семантика)
Издательство:
Институт философии РАН
Вид издания: Монография
Уровень образования: ВО - Магистратура
Авторы:
Год издания
2000
|
Кол-во страниц
244
|
ISBN
5-201-01925-0
|
Артикул
612544.01.99
|
Аннотация
Книга посвящена основам релевантной логики, причинам ее появления, построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются такие формулы А, которые истинны во всех тех мирах, где постулируется верность А -> А. Предлагаемая семантика адаптирована для известных релевантных исчислений E, R и NR, а также авторской системы Enr, непосредственно формализующей необходимую импликацию, описываемую в исчислении NR.
Библиографическая запись
Скопировать запись
Сидоренко, Е. А. Релевантная логика (предпосылки, исчисления, семантика) / Е. А. Сидоренко. - Москва : Институт философии РАН, 2000. - 244 с. - ISBN 5-201-01925-0. - Текст : электронный. - URL: https://znanium.com/catalog/product/345461 (дата обращения: 08.03.2021). – Режим доступа: по подписке.
Классификаторы
Тематика:
ББК:
УДК:
ОКСО:
ГРНТИ:
Коллекции