- Заглавие: РАЗВИТИЕ НЕКЛАССИЧЕСКИХ ЛОГИК
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
РАЗВИТИЕ НЕКЛАССИЧЕСКИХ ЛОГИК [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: РАЗВИТИЕ НЕКЛАССИЧЕСКИХ ЛОГИК — характеристика определенных классов логических теорий. Для всех изобретателей неклассических логик характерна общая черта: они отказываются от тех или иных идеалов логической классики. У истоков неклассических логик возвышаются фигуры трех исполинов: голландца Л. Брауэра, русского Н. Васильева, поляка Я. Лукасевича. Революционные логические идеи были сформулированы ими в 1907–1910 гг. Брауэр, Васильев и Лукасевич — основатели соответственно интуиционистской, паранепротиворечивой и многозначной логики. Справедливости ради отметим, что из трех авторов лишь Лукасевичу, который создал в 1920 г. вариант аксиоматизированной трехзначной логики, удалось довести свои творческие идеи до рафинированной логической формы. Система аксиом для интуиционистской логики была изобретена А. Гейтингом в 1930 г. Развитые паранепротиворечивые логики стали
