Философский словарь - карпенко александр степанович

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

В 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.