Родился 7 апреля 1946 г. в Куйбышеве. Окончил Могилевский машиностроительный техникум (1965), философский факультет Московского государственного университета им. М.В. Ломоносова (1974), аспирантуру там же (1978). С 1977 г. в Институте философии РАН, с 2000 г. заведующий сектором логики. С 2005 г. проф. кафедры логики философского факультета Московского государственного университета им. М.В. Ломоносова. Главный редактор журнала «Логические исследования». В 1979 защитил кандидатскую диссертацию «Проблема логического статуса высказываний о будущих событиях». В 1991 г. защитил докторскую диссертацию «Фатализм и случайность будущего: логический анализ». В 2012 г. под общей редакцией с вступительной статьёй и примечаниями издана книга: Лукасевич Я. «О принципе противоречия у Аристотеля» (М.-СПб., 2012). Первые работы относятся к разработке семантики для многозначных логик, получившей название «факторсемантика». Используя логические матрицы для доказательства независимости аксиом, были построены различные конечные булевы решетки импликативных и импликативнонегативных логик. Ряд работ посвящен взаимоотношению конечнозначных логик Лукасевича с простыми числами. Комбинирование различных алгебро-логических определений простого числа приводит к выявлению закона порождения классов простых чисел. Подверг анализу теории, требующие реализации в актуальность всех физических возможностей, и более того, всего, что мыслится как возможное. Это знаменует переход от субстанционального мышления к модальному мышлению. В итоге, знаменитое декартово высказывание о существовании принимает следующий вид: «Существовать – значит мыслить возможное».
Основные публикации: Фатализм и случайность будущего. Логический анализ. М.: Наука, 1990 (2-е изд. 2008); Логики Лукасевича и простые числа. М.: Наука, 2000 (3-е изд. в 2009; перев. на англ. в 2006); Логика на рубеже тысячелетий // Логические исследования. 2000. Вып. 7; Современные исследования в философской логике // Вопросы философии. 2003. № 9; Неклассические логики versus классической // Логикофилософские штудии. 2005. Вып. 3; Развитие многозначной логики. М., 2010 (стереотипное изд. в 2014); Философский принцип полноты. Ч. I, II // Философия и культура. 2013. № 11, 12; Основной вопрос метафизики // Философский журнал. 2014. № 2.
КАРПЕНКО Александр Степанович
КАРПЕНКО Александр Степанович
Источник: Философы современной России. 2015 г.
КАРПЕНКО Александр Степанович
(р. 7.4.1946) — логик и философ, спец. в обл. неклассических логик; д. филос. н., проф. Р. в Самаре. В 1974 окончил филос. ф-т МГУ, в 1978 — асп. по кафедре логики того же ф-та. Работает в ИФ РАН (прежнее название ИФ АН СССР) с 1977, с 1992 - вед. н. с, с 2000 - зав. сектором логики. С 1996 преподает на кафедре логики МГУ. Отв. ред. ежегодника «Логические исследования». Докт. дисс. — «Фатализм и случайность будущего: Логический анализ». Науч. труды К. посвящены проблемам асимметрии времени, феномену прошлого, классификации логик. В поел, случае в основе классификации лежат разл. конечные булевы решетки импликативных логик. Наряду с этим разработана новая библиотечно-библиографическая классификация литературы по логике. Построена семантика для многозначных логик, названная К. «фактор-семантикой». Из этого результата следует структурализация самих истинностных значений. Ряд работ посвящен связи многозначных логик Лукасевича с простыми числами. Осн. результаты здесь следующие: представление простых чисел в виде корневых деревьев; построение такой п+1 значной логики, к-рая имеет класс тавтологий тогда и только тогда, когда п есть простое число; открытие закона порождения классов простых чисел. Причем доказано, что порождаются все простые числа. Под псевдонимом «А. С. Беловежский» разрабатывается тема ком. тоталитаризма.
Соч.: Истинностные значения. Что это такое? // Исследования по неклассическим логикам. М., 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; статьи: Философская логика, Модальная логика, Ревалентные логики, Логика символическая, Силлогистика, Логика и методология наук, Логика высказывания, Ложь и др. // НФЭ: В 4 т. М., 2000-01; Современные исследования в философской логике // ВФ. 2003. № 9; Неклассические логики versus классической // Логико-философские штудии. Вып. 3. 2005; Логика в России // Философия. Энциклопедический словарь. М., 2006; Логики Лукасевича и простые числа. М., 2007 (2-е изд., исправленное); Смирнов В. А. // Русская философия. Энциклопедия. М., 2007; Фатализм и случайность будущего. Логический анализ. М., 2007.
Соч.: Истинностные значения. Что это такое? // Исследования по неклассическим логикам. М., 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; статьи: Философская логика, Модальная логика, Ревалентные логики, Логика символическая, Силлогистика, Логика и методология наук, Логика высказывания, Ложь и др. // НФЭ: В 4 т. М., 2000-01; Современные исследования в философской логике // ВФ. 2003. № 9; Неклассические логики versus классической // Логико-философские штудии. Вып. 3. 2005; Логика в России // Философия. Энциклопедический словарь. М., 2006; Логики Лукасевича и простые числа. М., 2007 (2-е изд., исправленное); Смирнов В. А. // Русская философия. Энциклопедия. М., 2007; Фатализм и случайность будущего. Логический анализ. М., 2007.
Источник: Философы России начала XXI столетия Биографии идеи труды. Энциклопедический словарь 2009