Биография Карпенко Александр Степанович
(р. 07.04.1946) — логик и философ, спец. в обл. некласс. логик; д-р филос. наук. Род. в Самаре.
В 1974 окончил филос. ф-т МГУ, в 1978 — асп. по кафедре логики того же ф-та. Работает в ИФ РАН с 1977, с 1992 — вед. н. с, с 2000 — зав. сектором логики ИФ РАН. Отв. ред. ежегодника «Логические исследования». Докт. дисс. — «Фатализм и случайность будущего: Логический анализ». Науч. труды К. посвящены проблемам асимметрии времени, феномену прошлого, классификации логик. В посл. случае в основе классификации лежат разл. конечные булевы решетки импликативных логик. Наряду с этим разработана новая библиотечно-библиогра-фическая классификация литературы по логике.
Построена семантика для многозначных логик, названная К. «фактор-семантикой». Из этого результата следует структурализация самих истинностных значений.
Ряд работ посвящен связи многозначных логик Лукасевича с простыми числами.
Осн. результаты здесь следующие: представление простых чисел в виде корневых деревьев; построение такой n+1 значной логики, к-рая имеет класс тавтологий т. т. т., когда n есть простое число; открытие закона порождения классов простых чисел. Причем доказано, что порождаются все простые числа. Под псевд. «А. С. Беловежский» разрабатывается тема ком. тоталитаризма.
Осн. вывод: победа К-тоталитаризма означала бы гибель всей человеч. цивилизации.
Соч.: Истинностные значения.
Что это такое? — Исследования по неклассическим логикам.
М., 1989; Фатализм и случайность будущего: Логический анализ.
М., 1990; Логический фатализм и тоталитаризм — Философские основания неклассических логик. М., 1990; Матричная логика без неподвижных точек — Логические исследования.
Вып.1. М., 1993; Имплика-тивные логики: решетки и конструкции — Там же. Вып.2. М., 1993; Ян Лукасевич — детерминизм и логика — Там же; Логика, детерминизм и феномен прошлого — ВФ. 1995. № 5; (Класс предполных многозначных логик Лукасевича и закон порождения простых чисел) — Bulletin of the Section of Logic. 1996. Vol.25. № 1 (Польша);
Классификация пропозициональных логик — Логические исследования.
Вып.4. М., 1997; Библиотечно-библиографическая классифика-. ция литературы по логике — Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 1997; Коммунистический тоталитаризм — Философские исследования. 1997. № 4; Многозначные логики (монография) — Логика и компьютер.
Вып.4. М., 1997; Логика Лукасевича и простые числа. М., 2000; Логика На рубеже тысячелетий — Логические исследования.
Вып.7. М., 2000; Классификация пропозициональных исчислений — Studia Logica. 2000. Vol.66. № 2.
кепитис янис мартынович.
Биография Карпенко Александр Степанович
Биография Карпенко Александр Степанович