Название: Релевантная логика Автор: Сидоренко Е.А. Издательство: М.: ИФ РАН Год: 2000 Формат: PDF Страниц: 243 Размер: 11 mb Язык: русский
Книга посвящена основам релевантной логики, причинам ее появления, построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются такие формулы А, которые истинны во всех тех мирах, где постулируется верность А>А. Предлагаемая семантика адаптирована для известных релевантных исчислений Е, R и NR, а также авторской системы ЕNR непосредственно формализующей необходимую импликацию, описываемую в исчислении NR.
Главными темами этой книги являются релевантная логика и адекватная этой логике семантика возможных миров некоторого принципиально нового типа. Дается популярное и неформальное изложение традиционной семантики возможных миров, которую называют также реляционной или крипкевской по имени одного из ее основателей С.Крипке. Именно он был в числе первых, кто предложил задать на множестве возможных миров отношение достижимости одних миров из других. Это нововведение позволило существенно усилить потенциал семантики возможных миров. Нам удается добиться нового его усиления за счет разбиения возможных миров надвое. Каждый возможный мир будет иметь, так сказать, два этажа. Первый из них – эмпирическая часть мира – представляет собой обычный крипкевский мир (карнаповское описание состояний). Второй этаж – это теоретическая часть мира, представляющая некоторый список выражений (формул) языка той теории, для которой строится семантика.
"Двухэтажность” возможных миров, которые содержательно можно рассматривать как универсумы рассуждений, позволяет отличить сложные утверждения о теоретических (выходящих за пределы эмпирической обоснованности) связях между событиями от тех, истинность которых представляет функцию истинности своих составляющих.
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...
Квантовая логика Название: Квантовая логика Автор: Васюков В. Л. Жанр: Логика Издательство: ООО "ПЕР СЭ" Год выпуска: 2005 Страниц: 192 Язык: Русский Формат: djvu,...
Семантика и структура поэтического текста Название: Семантика и структура поэтического текста Автор: Золян С.Т. Издательство: М.: УРСС Год: 2014 Формат: pdf Страниц: 336 Размер: 20 mb Язык:...
Навигация
Вход на сайт
Реклама
Релевантная логика 
