назад
Содержание:
Н.Л. Архиереев. Логические модальности как арифметичекие функции
Б.В. Бирюков, И.П. Прядко. Проблема логического противоречия и русская религиозная философия В предлагаемой работе рассматриваются логические взгляды двух выдающихся мыслителей начала ХХ века – Н.А. Васильева, создателя «воображаемой логики», и П.А. Флоренского, автора фундаментального труда «Столп и утверждение истины». Средствами классической пропозициональной логики производится экспликация учения о. Павла. Воображаемая логика Васильева сопоставляется с логическими воззрениями Флоренского. Продемонстрировано различие теологических контекстов их логических учений. В.Н. Брюшинкин. Логика и процедуры поиска вывода В статье рассматриваются возможности применения теории поиска доказательства при решении творческих задач. Анализируются идеи, высказанные в работах В.А. Смирнова и Б. Грязнова. Обосновывается новая интерпретация неожиданных следствий (поризмов) теории доказательств Гильберта, возникающих при построении доказательства снизу вверх в секвенциальных логических исчислениях. Особое внимание обращается на свойство подформульности и его интерпретацию в области автоматического поиска доказательств.
В.Л. Васюков. Металогический плюрализм и универсальная логика Концепция логического плюрализма утверждает, что существует не одна истинная логика, но много. Концепция же металогического плюрализма основывается на допущении, что существует не один-единственный корректный ответ на вопрос, дедуктивно общезначим ли данный вывод, но много. Поскольку это приводит к взаимодействию между логикой и металогикой, возникает вопрос: какова природа этого взаимодействия? Подход на основе универсальной логики снабжает нас ответами на данный вопрос. Имеются также семантические указания к решению рассматриваемой проблемы. Ключевые слова: логический плюрализм, логический монизм, логическое следование, общезначимость, комбинация логик, неклассический универсум А.С. Карпенко. Континуальность трехзначных логик: проблемы и гипотезы Исследуются функциональные свойства трехзначных логик. Среди этих логик выделяются соответствующие замкнутые классы функций, мощность которых континуум. Обсуждается проблема континуальности трехзначной логики Бочвара и и предлагается гипотеза о критерии континуальности произвольной трехзначной логики. Н.П. Козаченко. Критерии рациональности изменения убеждений: непротиворечивость Мы рассматриваем некоторые возможные стратегии в объяснении критерия рациональности внутри различных направлениях при изменении убеждений. Более специально, мы сравниваем так называемый AGM-подход с паранепротиворечивым изменеием убеждений, предложенным недавно Е. Маресом и имеющем дело с противоречивыми теориями и базами убеждений. Мы пришли к выводу, что хотя едва возможно элиминировать принцип непротиворечивости, но он может быть ослаблен подходящей концепцией когерентности. Это позволяет эффективно изолировать противоречия и рационально работать с противоречивыми базами убеждений. В.И. Левин. Виктор Иванович Шестаков и логическое моделирование В статье излагается научная биография В.И. Шестакова - выдающегося кибернетика и одного из пионеров в области применения логики для моделирования сложных технических устройств. Дается краткий анализ его основных работ и полная библиография научных публикаций. Н.Н. Непейвода, А.П. Бельтюков. Манифест прикладного конструктивизма Манифест конструктивизма возрожден. Предлагаемое понимание конструктивизма в какой-то степени более либерально, а в какой-то степени более жестко, чем традиционное. Он нужен для того, чтобы объединить лучшие стороны интуиционизма и советского конструктивизма с целью применения при решении практических задач в области информатики и др. В.М. Попов. Секвенциальные аксиоматизации простых паралогик Представлена аксиоматизация некоторых простых паралогик и дано решение проблемы разрешения для этих логик. Описывается связь этих логик с классической пропозициональной и интуиционистской логикой. Ключевые слова: секвенция, исчисление, пересечение логик, пара логика М. Резник. Структурализм и идентичность математических объектов Статья посвящена природе математики с точки зрения так называемого математического структурализма. Автор предлагает особый анализ математических объектов и врамках последнего — релятивистской позиции — обосновывает, что математика является наукой о паттернах. Это ответ на возражения в адрес математического структурализма. Н.Е. Томова. Импликативные расширения регулярных логик Клини
В статье трехзначные регулярные логики Клини (сильная, слабая и промежуточная) рассмотрены в качестве основания для построения других трехзначных логик. Представлены расширения регулярных логик посредством класса естественных импликаций. В заключении приводится решетка импликативных расширений регулярных логик. В.И. Шалак. Логика функций vs логика отношений Доказана теорема о том, что выразительные возможности функциональных и реляционных языков логики совпадают. Это позволяет по-новому взглянуть на некоторые факты из истории науки и дать им оценку, отличную от общепринятой. J.-Y. Beziau. What is a logic? Towards axiomatic emptiness Вначале напоминается смысл греческого слова логика и каким образом логика развивалась, с одной стороны, как эффективный способ рассуждений путем сведения к абсурду, а с другой стороны, как слабо применимая система аристотелевской логики. Затем мы обсуждаем изменения в современной концепции логики: отказ от принципа непротиворечия, рассматривавшегося Аристотелем как фундаментальный принцип, и структуралистский подход, отменяющий аристотелевскую дихотомию акциденции/субстанции. Наконец, мы объясняем почему и как в универсальной логике – как и в универсальной алгебре – существует аксиоматическая пустота: логическая структура является структурой, удовлетворяющей условию отсутствия аксиом. W. Carnielli. Formal polynomials, heuristics and proofs in logic
В этой заметке обсуждается роль формальных полиномов как метода представления логического вывода в классической и неклассической логиках, особенно многозначной, паранепротиворечивой и модальной. В ней также обсуждаются возможности полиномиального представления для выражения металогических Наши авторы:
Рецензенты:
Герасимова И.А. — Д.ф.н., профессор, ведущий научный сотрудник ИФ РАН. Маркин В.И. — Д.ф.н., профессор, заведующий Кафедрой логики Философского факультета МГУ.
Подписной индекс в каталоге "Пресса России" 42046. 2-е полугодие 2010 г. Цена: 240 р. |
|||||
|
 |
|
    |
|
