СОДЕРЖАНИЕ От редколлегии Editors’ note Смирнова Е.Д. Природа логического знания и вопросы обоснования логических систем. Слинин Я.А. Феноменологическое истолкование логики. Ивлев Ю.В. Теория логических модальностей. Герасимова И.А. Кант и Лейбниц: два подхода к деонтическим модальностям. Бежанишвили М.Н. Теорема полноты для одной бимодальной системы знания и веры. Быстров П.И. Взаимное преобразование секвенциальных и натуральных выводов в модальной логике. Чагров А.В. Строго импликативные формулы в модальных логиках, близких к интуиционистской. Карпенко А. С. Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения. Сидоренко Е.А. Бинарная реляционная семантика релевантной логики. Зайцев Д.В. Теория релевантного следования II: Семантика. Попов В. М. Формализация нестандартных отношений выводимости в паранепротиворечивой логике. Гжегорчик А. Психологическая семантика и уклонение от антиномий. Васюков В.Л. Ситуации и смысл. Микиртумов И.Б. Интенсиональная характеристика функции в логике смысла и денотата. Бирюков Б.В. Из истории математической логики в России: “Задача Кэрролла” в трактовке о.Павла Флоренского. Павлов С.А. Метапредикат истинности и логика ложности. Караваев Э.Ф. О временной логике в одной малоизвестной работе Маркова. Анисов А.М. Направленность и обратимость времени. Новоселов М.М. Принадлежит ли Локку «Правило Локка». Войшвилло Е.К. Онтологическая необходимость и аподиктическая силлогистика. Мчедлишвши JI.K. К семантике аподиктической силлогистики Аристотеля. Маркин В.И. Обобщенная позитивная силлогистика. Костюк Т.П. Позитивные силлогистики Васильевского типа ... 259 Бахтияров К.И. Интерактивная игра «Кэрролл» и калькулятор «Аристотель». Самохвалов К.Ф. Предикаты существования и «онтологический аргумент». Гриненко Г.В. О логико-семантических особенностях сакральных текстов. Smirnova E.D. The problem of formalization of some non-standard semantics. Sandu G., Hiipakka J. Partially interpreted connectives. |
|||||
|