Книга: Е.А. Сидоренко «Релевантная логика»

Релевантная логика

Серия: "-"

Книга посвящена основам релевантной логики, причинам ее появления, построению для ее исчислений адекватной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой авторомдвухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются только такие формулы A, которые истинны во всех тех мирах, где постулируется верность A ->A. Предлагаемая семантика адаптирована для известных релевантных исчислений E, R и NR, а также авторской системы ENR, непосредственно формализующей необходимую импликацию, описываемую в исчислении NR. В работе дается универсальная формулировка теоремы дедукции, пригодная для всех логических исчислений, замкнутых относительно правила modus ponens. Воспроизведено в оригинальной авторской орфографии издания 2000 года.

Издательство: "ИФ РАН" (2000)

ISBN: 978-5-458-64978-0

Купить за 459 руб в My-shop

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Релевантная логикаКнига посвящена основам релевантной логики, причинам ее появления, построению для ее исчислений адекватной семантики крипкевского типа. Дается популярное изложение семантики возможных миров… — ИФРАН, Подробнее...2000516бумажная книга

См. также в других словарях:

  • РЕЛЕВАНТНАЯ ЛОГИКА —     РЕЛЕВАНТНАЯ ЛОГИКА направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии “релевантная” (термины “релевантный”, “релевантность”… …   Философская энциклопедия

  • релевантная логика —         РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и …   Энциклопедия эпистемологии и философии науки

  • релевантная логика — одна из наиболее известных неклассических теорий логического следования. В названии Р. л. отражается стремление выделить и систематизировать только уместные (релевантные) принципы логики, исключив, в частности, парадоксы импликации, свойственные… …   Словарь терминов логики

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • логика неклассическая — совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе… …   Словарь терминов логики

  • релевантная импликация — см.: Релевантная логика …   Словарь терминов логики

  • логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… …   Словарь терминов логики

  • паранепротиворечивая логика — логика, не позволяющая выводить из противоречия произвольное предложение. В логике классической некоторая теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание. Если при этом в теории можно… …   Словарь терминов логики

  • ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА — логика, не позволяющая выводить из противоречия произвольное предложение. В классической логике теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание. Если при этом в теории можно доказать и… …   Философская энциклопедия

  • ФИЛОСОФСКАЯ ЛОГИКА — название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии. Хотя формальная логика еще в 19 в. отделилась («отпочковалась») от философии и перестала …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»