СОДЕРЖАНИЕ От редколлегии
I. ВОСПОМИНАНИЯ Бочаров В.А. «Дело есть дело!». Карпенко А. С. Учитель. Михайлов Ф. Т. Почти полвека длился спор.
II. РЕЗУЛЬТАТЫ В ОБЛАСТИ СОВРЕМЕННОЙ ФОРМАЛЬНОЙ ЛОГИКИ и БИБЛИОГРАФИЯ РАБОТ проф. В.А.СМИРНОВА Результаты В.А. Смирнова в области современной формальной логики. Библиография научных трудов В.А. Смирнова.
III. ЛОГИКО-МЕТОДОЛОГИЧЕСКИЕ ИДЕИ В.А.СМИРНОВА (ОБЗОРЫ) Долгова Т.П., Попов В.М. Проблемы релевантной логики в работе В.А. Смирнова “Формальный вывод и логические исчисления”. Анисов А. М. Основные положения концепции научной философии В.А.Смирнова.
IV. РАЗВИТИЕ ИДЕЙ В.А. СМИРНОВА ЕГО УЧЕНИКАМИ Smirnov V.A. Free Logics and Quite Free Logics. Карпенко А. С. Классификация пропозициональных логик. Попов В.М., Хорохорин И.И. Диадические семантики для систем С1и СЗ формальной силлогистики. Маркин В.И. Сингулярная негативная силлогистика Аристотеля и свободная логика. Новодворский А.Е., Смирнов А. В. Открытая система поддержки поиска вывода для различных логических исчислений. Герасимова И. А. Комбинированная семантика для логики абсолютных норм с неклассическим отрицанием.
V. РАБОТЫ, ПОСВЯЩЕННЫЕ ПАМЯТИ В.А. СМИРНОВА НепейводаН. Н. Об одной модификации семантических таблиц. Любецкий В.А., Любецкая С.Н. О некоторых задачах эффективизациии целенаправленного поведения. Хаханян В.Х. Функциональные алгебраические модели для неклассической теории множеств. Васюков В.Л. Об интерпретации секвенции в ситусах. Войшвилло Е.К. Теория логической релевантности. Быстров П.И. Нестандартные правила вывода и их роль в логических системах. Niiniluoto I. Theoretical Reference and Truthlikeness. Павлов C.A. Экстенсиональные и интенсиональные аспекты аксиоматической теории обозначения. Анисов А.М.Семантика неопределенности. Сидоренко Е.А. Идеи немонотонной и паранепротиворечивой логики у П.Флоренского. Смирнова Е.Л. И.Кант и финитная установка Д. Гильберта. |
|||||
|