Название: Релевантная логика
Автор: Сидоренко Е.А.
Издательство: М.: ИФ РАН
Год: 2000
Формат: PDF
Страниц: 243
Размер: 11 mb
Язык: русский
Книга посвящена основам релевантной логики, причинам ее появления, построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются такие формулы А, которые истинны во всех тех мирах, где постулируется верность А>А. Предлагаемая семантика адаптирована для известных релевантных исчислений Е, R и NR, а также авторской системы ЕNR непосредственно формализующей необходимую импликацию, описываемую в исчислении NR.
Главными темами этой книги являются релевантная логика и адекватная этой логике семантика возможных миров некоторого принципиально нового типа. Дается популярное и неформальное изложение традиционной семантики возможных миров, которую называют также реляционной или крипкевской по имени одного из ее основателей С.Крипке. Именно он был в числе первых, кто предложил задать на множестве возможных миров отношение достижимости одних миров из других. Это нововведение позволило существенно усилить потенциал семантики возможных миров. Нам удается добиться нового его усиления за счет разбиения возможных миров надвое. Каждый возможный мир будет иметь, так сказать, два этажа. Первый из них – эмпирическая часть мира – представляет собой обычный крипкевский мир (карнаповское описание состояний). Второй этаж – это теоретическая часть мира, представляющая некоторый список выражений (формул) языка той теории, для которой строится семантика.
"Двухэтажность” возможных миров, которые содержательно можно рассматривать как универсумы рассуждений, позволяет отличить сложные утверждения о теоретических (выходящих за пределы эмпирической обоснованности) связях между событиями от тех, истинность которых представляет функцию истинности своих составляющих.