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

(р. 1946) - специалист в области неклассических логик, автор нескольких монографий и большого числа научных работ. Автор 14 статей по логике для "Новой философской энциклопедии". Окончил филос. Факультет МГУ (1974), аспирантуру этого же факультета. С 1977 работает в Ин-те философии АН СССР (РАН). Доктор филос. Наук (1991), зав. Сектором логики Ин-та философии РАН. Ответственный редактор ежегодника "Логические исследования" и электронного жур. С тем же названием. Ответственный редактор "Трудов научно- исследовательского семинара Логического центра Института философии". С 1996 - преподавательская деятельность на кафедре логики филос. Факультета МГУ.Первые работы К. Относятся к разработке семантики для многозначных логик, получившей название "фактор-семантика".

Главный результат здесь состоит в структурализации самих истинностных значений. Ряд работ посвящен новому взгляду на природу простых чисел, ихлогическим свойствам. Получен результат о структурализации простых чисел и выявлен закон порождения их классов. Дана характеризация различных классов натуральных чисел посредством логических матриц.В 1990-е гг. К. Обратился к важной теме классификации логик. Разработки К. Позволяют представить классическую логику в виде семимерной решетки, на основе которой вводится понятие "конструкция логики". Изучение подобных конструкций является весьма перспективным направлением в современной логике, поскольку можно строго выделить различные основания для классификации логик, а также разработать новые методы порождения целых классов (бесконечных) логик.

Итогом работы явилось построение максимальной решетки (1997), в которую в качестве под-логик входят наиболее фундаментальные пропозициональные логики.Кроме специальных логических исследований К. Уделил много внимания логическому анализу таких филос. Проблем, как асимметрия времени, фатализм, прошлое. Выяснилось, что в основе феномена "свобода воли" лежит сложнейшая проблема изменчивости прошлого. Под псевдонимом "А.С. Беловежский" разрабатывается тема коммунистического тоталитаризма. Основой вывод. Победа тоталитаризма означала бы гибель человеческой цивилизации. Под псевдонимом "А.С. Чаха" опубликовано два сборника стихов с одним и тем же названием "Белый Кардинал".Фатализм и случайность будущего. Логический анализ.

М., 1990. Логика, детерминизм и феномен прошлого // Вопросы философии. 1995. № 5. Штрих Шеффера для простых чисел // Логические исследования. М., 1995. Вып. 3. Классификация пропозициональных логик // Логические исследования. М., 1997. Вып. 4. Библиотечно-библиографическая классификация литературы по логике // Труды научно-исследовательского семинара Логического центра Института философии. М., 1997. Многозначные логики (сер. "Логика и компьютер". Вып. 4). М., 1997. Логика в России. Вторая половина XX века // Вопросы философии. 1999. № 9. Логики Лукасевича и простые числа. М., 2000. Логика на рубеже тысячелетий // Логические исследования. 2000. Вып. 7. Factor-semantics for n-valued logics // Studia Logica. 1983. Vol. 42. № 2/3. Characterization of prime numbers in Lukasiewicz's logical matrix // Studia Logica.

1989. Ol. 48. № 4. A logic without fixed points // Philosophical logic and logical philosophy. Dordrect, 1996. A maximal paraconsistent logic. The combination of two three-valued isomorphs of classical propositional logic // Frontiers of paraconsistent logic. Baldock, 2000. The classification of propositional calculi // Studia Logica. 2000. Vol. 66. № 2..