Пошук академічних текстів

Інформація × Реєстраційний номер 0598U000100, Докторська дисертація На здобуття д.філос.н. Дата захисту 27-03-1998 Статус Запланована Назва роботи Логическое следование и интуиционизм (проблема релевантизации интуиционистской логики) Здобувач Шрамко Ярослав Владиславович, Опонент Бургин М.С. Опонент Ледников Е.Е. Опонент Соловей Л.А. Опонент Уемов А.И. Опис Объект исследования: Интуиционистская логика с точки зрения устранения парадоксов логического следования и импликации. Цель исследования: Построение общей теории релевантного интуиционистского следования. Методы исследования и аппаратура: Теоретико-модельный метод, метод релевантизации. Теоретические результаты и новизна: Впервые создана комплексная теория релевантного логического следования. Практические результаты и новизна: Для развития непарадоксальных конструктивных научных теорий. Предмет и степень внедрения: Опубликованы монографии, ряд научных работ. Эффективность внедрения: Позволит стимулировать развитие конструктивных теорий с непарадоксальным следованием. Сфера (область) использования: Неклассическая логика. Дата реєстрації 1998-03-27 Додано в НРАТ 2020-05-17 Закрити