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

Биография

Родился 7 апреля 1946 года в г. Куйбышеве. В этом же году родители вернулись на свою родину в г. Могилёв. После окончания в 1965 г. Могилёвского машиностроительного техникума служил в армии. Затем учился на философском факультете Московского Государственного Университета им. М. В. Ломоносова и в аспирантуре того же факультета по кафедре логики. В 1979 г. защитил кандидатскую, а в 1991 г. – докторскую диссертацию «Фатализм и случайность будущего: логический анализ». С 1977 г. работает в Институте Философии Российской Академии Наук (ИФ РАН). С 2000 г. заведует сектором логики ИФРАН. C 2005 г. профессор кафедры логики философского факультета МГУ им. М. В. Ломоносова. Академик Российской Академии Естественных Наук. Главный редактор журнала «Логические исследования».

Области академических интересов

• Первые работы относятся к разработке семантики для многозначных логик, получившей название «фактор-семантика». Главный результат здесь состоит в том, что средствами двухэлементной булевой алгебры моделируется весьма широкий класс многозначных логик, а сами истинностные значения интерпретируются определенными подмножествами множества булевых векторов.
• Используя логические матрицы для доказательства независимости аксиом, были построены различные конечные булевы решетки импликативных и импликативно-негативных логик. Результатом явилось построение “максимальной” решетки, в которую в качестве элементов входят наиболее фундаментальные импликативные логики.
• Ряд работ посвящен принципиально новому взгляду на природу простых чисел и их логическим свойствам. Получен результат о структурализации простых чисел в виде корневых деревьев и представлен алгоритм, который по каждому простому числу строит его корневое дерево. Построен штрих Шеффера для простых чисел. Комбинирование различных алгебро-логических определений простого числа приводит к выявлению закона порождения классов простых чисел.
• Итогом исследований в области многозначных логик явилась монография «Развитие многозначной логики» (М., 2010), где прослежено развитие многозначной логики от Аристотеля до наших дней. Особое внимание уделено результатам российских логиков.
• Начиная с 2000 г. научные интересы стали приобретать новую направленность. Точно так же, как сто лет назад остро встал вопрос о философских основаниях математики, так и сейчас стоит вопрос о философских основаниях самой логики. Показано, что в конце XX века стал активно обсуждаться вопрос: «Что есть логика»? Уже сам этот вопрос говорит о кризисе в основаниях логики, который привел к полной переоценки статуса логики и её назначения.
• Кроме специальных логических исследований разрабатывалась такая тема, как различные фаталистические аргументы. Выяснилось, что феномен свободы воли связан со сложнейшей проблемой воздействия на прошлое. В последнее время были подвергнуты анализу теории, требующие реализации в актуальность всех физических возможностей, и более того –  всего, что мыслится как возможное. Это знаменует переход от субстанционального мышления к модальному мышлению. Так появляется философская парадигма с совершенно новой проблематикой, поддержанная современным развитием космологии в виде различных концепций мультиверса.
• Под псевдонимом «А.С. Беловежский» разрабатывалась тема К-тоталитаризма.
• Под псевдонимом «Александр Чаха» публикуются стихи и рассказы.

Труды

I. Научные работы

Книги

• Лукасевич Ян. О принципе противоречия у Аристотеля. Критическое исследование / Пер. с польск. (общая редакция, вступительная статья и примечания А.С. Карпенко). — М.–СПб.: ЦГИ, 2012. — 256 с. (PDF).
• Карпенко А.С. Развитие многозначной логики. М.: Издательство ЛКИ, 2010 — 448 с. (стереотипное изд. в 2014 г.). (Аннотация, предисловие, содержание, использованная литература). Рецензия А. Шумана: Вопросы философии, 3: 184-185, 2012.
• Karpenko A.S. Łukasiewicz Logics and Prime Numbers. Luniver Press, Beckington, 2006 (Introduction, contents, full text).
• Карпенко А.С. Логики Лукасевича и простые числа. М.: Наука, 2000. 2-е исправленное издание — М.: ЛКИ/URSS, 2007. (Введение). 3-е издание — М.: ЛКИ/URSS, 2009. Review of A. Adamatzky in: Journal of Multiple-Valued Logic and Soft Computing, 10(3): 309-314, 2004.
• Карпенко А.С. Многозначные логики. Логика и компьютер, Вып. 4. М.: Наука, 1997.
• Карпенко А.С. Фатализм и случайность будущего. Логический анализ. М.: Наука, 1990. (М.: ЛКИ/URSS, 2008, 2-е издание).

Представительные статьи

• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence // Logic and Logical Philosphy. 2016.
• Модальная пропозициональная логика истины Tr и ее полнота // Логические исследования. 2016. Т. 22. № 1, С. 13-31 (PDF).
• Сверхреализм. Часть II: От возможного к реальности // Философский журнал. 2016. Том 9(3). С. 5-24 (PDF).
• Сверхреализм. Часть I: От мыслимого к возможному // Философский журнал. 2016. Том 9(2). С. 5-23 (PDF).
• Тоска по философии (памяти А.П. Огурцова). Статья II // Вопросы философии. 2016. № 2. С. 137–147 (HTML).
• Тоска по философии (памяти А.П. Огурцова). Статья I // Вопросы философии. 2015. № 10. С. 133–149 (PDF).
• В поисках реальности: Исчезновение // Философия науки. Т. 20. 2015. С. 36-72 (PDF).
• Предисловие. Многообразие трехзначности / Девяткин Л.Ю., Преловский Н.Н., Томова Н.Е. В границах трехзначности. М.: ИФ РАН, 2015, С. 9-33.
• Решетки четырехзначных модальных логик // Логические исследования. 2015. № 21(1). С. 122-134 (PDF).
• Основной вопрос метафизики // Философский журнал. 2014. № 2(13). С. 51-73 (PDF).
• Many-valued logic in Poland: The golden age // The History and Philosophy of Polish Logic. Essays in Honour of Jan Woleński / Eds. K. Mulligan, K. Kijania-Placek and T. Placek. PALGRAVE MACMILLAN, 2014, P. 13-48.
• Philosophical problems of foundations of logic // Studia Humana, 3(1): 13-26. 2014 (PDF).
• Неклассические логики // Большая Российская Энциклопедия. Т. 22. М.: Издательство «Большая Российская Энциклопедия», 2013. С. 323.
• Философский принцип полноты. Ч. I, II // Философия и культура. 2013. № 11. С. 1508-1522;  № 12. С. 1660-1679 (доп. и перераб., Часть I, Часть II).
• Философский принцип полноты. Ч. I, II // Вопросы философии. 2013. № 6. С. 58-70; № 7. С. 95-108.
• Von Wright’s truth logic and around // Logical Investigations (Special Issue), 19: 39-50, 2013.
• Preface. The History of Finish-Soviet Logic Colloquium // Logical Investigations (Special Issue), 19: 5-9, 2013.
• Moscow logical schools (Period of ideology 1917 – 1991), in A. Schumann (ed.), Logic in Central and Eastern Europe: History, Science and Discourse, University Press of America, 2013, pp. 317-380.
• Аристотель и Лукасевич о законе противоречия (К публикации книги Яна Лукасевича «О принципе противоречия у Аристотеля. Критическое исследование») // Вопросы философии, 8: 154-165, 2012 (текст в MSWord, PDF).
• Логика // Новая Российская Энциклопедия. Т. IX(2). М.: Издательство «Энциклопедия», «ИНФРА-М», 2012. С. 492-495.
• Логика в России // Новая Российская Энциклопедия. Т. IX(2). М.: Издательство «Энциклопедия», «ИНФРА-М», 2012. С. 498-500.
• На пути к протологике // Логические исследования, 17: 152-166, 2011.
• Континуальность трехзначных логик: проблемы и гипотезы // Логические исследования, 16:  127-133, 2010.
• Modern study in philosophical logic: worldwide level and Russian science // Studies in Logic, Grammar and Rhetoric, 14 (27): 35-71, 2008.
• Применение логики в компьютерных науках // Логика: Перспективы развития. Киев: ИПЦ "Киевский университет", 2006, 35-41.
• Неклассические логики versus классической // Логико-философские штудии, 3:48-73, 2005.
• Предмет логики в свете основных тенденций ее развития // Логические исследования, 11: 149-171, 2004.
• Современные исследования в философской логике // Вопросы Философии, 9: 54-75. 2003. Переиздано в Философия. Наука. Культура. "Вопросам философии" 60 лет (под редакцией академика В.А. Лекторского). М: Вече, 2008, 725-742.
• Atomic and molecular paraconsistent logics // Logique et Analyse, 177-178: 31-35, 2002.
• Three-valued paraconsistent logics // Multiple-Valued Logic, 5: 117-123, 2000.
• A maximal paraconsistent logic: The combination of two three-valued isomorphs of classical propositional logic // Frontiers of Paraconsistent Logic. Baldock, 2000, 181-187.
• The classification of propositional calculi (Finite Boolean lattices for implicational logics) // Studia Logica, 66: 253-271, 2000. (PDF)
• Логика на рубеже тысячелетий // Логические исследования, 7: 7-60, 2000. (текст в PDF).
• Классификация пропозициональных логик //  Логические исследования, 4: 107-33, 1997.
• The class of precomplete Łukasiewicz's many-valued logics and the law of prime number generation // Bulletin of the Section of Logic, 25: 52-57, 1996.
• A logic without fixed points // Philosophical Logic and Logical Philosophy. Dordrecht: Kluwer, 1996, 213-219.
• Логика, детерминизм и феномен прошлого // Вопросы философии, 5: 72-81, 1995.
• Characterization of prime numbers in Łukasiewicz's logical matrix // Studia Logica, 48(4): 465-478, 1989.
• Истинностные значения. Что это такое? // Исследования по неклассическим логикам. М.: Наука, 1989, 38-53.
• От фактор-семанитики к исчислению алгебр // Синтаксический и семантический анализ неэкстенсиональных логик. М.: Наука, 1989, 93-100.
• T-F-sequences and their sets as truth-values // Intensional Logic, History of Philosophy and Methodology. Budapest, 1988, 109-119.
• Paraconsistent structure inside of many-valued logic // Synthese, 66: 63-69, 1986.
• Factor-semantics for n-valued logics // Studia Logica, 42: 179-185, 1983.
• Aristotle, Łukasiewicz and factor-semantics // Acta Philosophica Fennica, 35: 7-21, 1982.

II. Публицистика, поэзия, проза

• Карпенко А.С. Альтернативная реальность: Гай Юлий Цезарь // Литературная Россия. 30.05.2014. № 22 (2657). С. 14. (PDF).

• Александр Чаха. Секс, веники и ёжики, 2013 (PDF).

• Псевдонимы / Составление А.С. Карпенко. М.–СПб.: ЦГИ, 2011. — 224 с. — ISBN 978-5-98712-072-9 (PDF).

• Александр Чаха. Белый кардинал (Избранное, PDF).

• Сайт Белого Кардинала