Реляционная семантика и модели знания.


E.A. Sidorenko


An attempt is done to represent possible worlds as individual models of knowledge inherited to some abstract knowledge subjects. The logic of those is not fixed and is chosen by knowledge subjects themselves. This becomes possible because of constructing two-leveled related semantics in frameworks of which any formula of object language is not valid in all words. In order to accept some thesis as the law of logic we need to postulate it.






Войшвилло Е.К. Философско-методологические аспекты релевантной логики. М., 1988.
Зиновьев А. А. Логика высказываний и теория вывода. М., 1962.
Зиновьев А.А. Очерки комплексной логики. М.: УРСС, 2000.
Лекторский В.А. Эпистемология классическая и неклассическая. М.: УРСС, 2001.
Смирнов В.А. Логические методы научного знания. М., 1987.
Сидоренко Е.А. Релевантная логика, М.: ИФ РАН, 2000.
Сидоренко Е.А. Логика. Парадоксы. Возможные миры. М.: УРСС, 2002 .
Сидоренко Е.А. Семантика возможных миров: от лейбницевской к юмовской. // Логические исследования. Вып. 3. М.: Наука, 1995. С. 24-37.
Сидоренко Е.А. Реляционная семантика релевантных исчислений // Логические исследования. Вып. 3. М.: Наука, 1995. С. 53-71.
Сидоренко Е.А. Relevant semantics with binary relation of accessibility // Bulletin of Section of Logic Vol. 26, N4. 1997.University of Lodz, Lodz (Poland). P.168-178.
Сидоренко Е.А. Бинарная реляционная семантика релевантной логики //Логические исследования. Вып. 6. М.: Наука, 1999 . С. 81-108.