Символическая логика, философская логика, методология и философия науки.

Конференция приурочена к семидесятилетию выдающегося российского логика и философа Владимира Александровича Смирнова. Содержание: Теорема об исключении сечения для чисто сукцедентной системы. Исчисление с обобщенными кванторами, определяемыми с помощью шаблонов. Об адекватности формализации каузальности и правдоподобных рассуждений типа ДСМ. Об обобщении исчислений частичных предикатов Хао Вана. Методы построения табличных систем модальной логики. О корректности правдоподобных рассуждений. О независимой аксиоматизируемости квазинормальных модальных логик. Тест Тарского для теории полиадической квантификации.Решение систем логических уравнений и эффект коллапса. Графы интенсиональных конструкций. Подструктурные логики: гильбертовские исчисления. О некоторых подходах к построению алгебраических аналогов квазифункциональных логических систем. Принципы профессионального программирования. Программа Лейбница и исчисление понятий Г.Фреге. О теории автоматического порождения понятий. Секвенциальное односукцедентное классическое исчисление высказываний. Паранепротиворечивые расширения минимальной логики и неявная определимость. Косвенный смысл и интенсиональная иерархия. Монолитно ли понятие конечного множества? (Об одной утраченной работе А.А.Маркова). Парадокс минимальной логики и модальная логика Лукасевича. Об одной параполной логике. Разрешимость логик знаний относительно классической логики предикатов. Два подхода к формулировке теоремы дедукции для неклассических исчислений. Содержательная семантика самореферентных предложений на основе динамических систем. Аксиоматическая система теории множеств для интуиционистской математики. Алгоритмическая проблематика в неклассических пропозициональных логиках. Первопорядковая определимость интуиционистских формул на конечных шкалах Кринке: алгоритмический аспект. Реляционная интерпретация модальной логики. Пресыщенные оценки и истинностно-значные провалы в интуиционистской логике. Об алгебраических моделях пропозициональных исчислении. Модальная система Геделя-Леба - addendum. Классификация полных по Новикову логик с дополнительными логическими константами. Предстояние пресуппозиции. О различии между прошлым, настоящим и будущим. Семантики ограниченных множеств описаний состояний. Векторизация истинности и связанные с этим вопросы. Логика совместимости предложений И.Е.Орлова и релевантная логика. Универсальный алфавит. «Третий мир» Готтлоба Фреге. К вопросу об интерпретации фрегевского «принципа контекста». Понятие, суждение и мысль. Семантика критических дискурсов. Логика и грамматика в системе `семи свободных искусств`. О логических методах в медицине. О понятии символа в эстетике и логике. Виды онтологических модальностей и логические системы. Отношения между системами фактических модальностей. Негативная фундаментальная силлогистика. О процедуре усовершенствования кодекса. Опыт соотнесения онтологических категорий и модальностей. Принцип достаточного основания: трудности понимания. Динамические события в

Отзывы покупателей