Карпенко, Александр Степанович

(р. 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.