Институт Философии
Российской Академии Наук




  Карпенко Александр Степанович
Главная страница » » Сектор логики » Сотрудники » Карпенко Александр Степанович

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

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

        

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


7 апреля 1946 г. – 7 февраля 2017 г.


Не стало доктора философских наук, профессора, главного научного сотрудника сектора логики Александра Степановича Карпенко.


Вся трудовая научная жизнь Александра Карпенко была связана с Институтом философии РАН. Он пришел в Институт после аспирантуры МГУ им. М.В. Ломоносова 1 июня 1977 года и начал работать младшим научным сотрудником. Затем стал старшим, ведущим, с 2000 г. – заведующим сектором логики, а с сентября 2016 г. – главным научным сотрудником, руководителем сектора логики. Ему принадлежит более 200 работ по логике. Он был главным редактором ежегодника «Логические исследования», членом редколлегий ряда журналов, членом диссертационных советов МГУ и Института, экспертом РНФ, РГНФ, РФФИ, НИУ ВШЭ. Мы знали его и как автора нескольких поэтических сборников, в которых нашла отражения еще одна грань его разносторонней личности.

 

Коллектив Института выражает глубокое соболезнование родным и близким, всем, для кого Александр Карпенко был не только коллегой, но и другом.

 

Биография

Родился 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).

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