ИСТИНА

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

доктор философских наук с 1991 года

Институт философии Российской академии наук, сектор логики

Соавторы: Попов В.М., Томова Н.Е., Андреева Н.В., Габсатарова И.П., Девяткин Л.Ю., Донцова Г.Ю., Ишмуратов А.Т., Лутиков А.И., Чагров А.В.

69 статей, 1 доклад на конференции, 3 тезисов докладов, 1 членство в редколлегии журнала, 3 членства в редколлегиях сборников, 1 членство в диссертационном совете, 1 диссертация

Количество цитирований статей в журналах по данным Web of Science: 10, Scopus: 16

IstinaResearcherID (IRID): 19689712

Деятельность

• Статьи в журналах

  • 
    • 2020 Seismicity and Seismic Hazard Assessment for the Magadan Region on a Scale Close to Detailed Seismic Zoning
    • Lutikov A.I., Andreeva N.V., Gabsatarova I.P., Dontsova G.Yu, Karpenko and L.I
    • в журнале Seismic Instruments, том 56, № 1, с. 93-105 DOI
  • 
    • 2017 Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence
    • Alexander Karpenko, Natalya Tomova
    • в журнале Logic and Logical Philosophy, том 27, № 2, с. 207-235 DOI
  • 
    • 2017 Four-Valued Logics BD and DM4: Expansions
    • Karpenko A.
    • в журнале Bulletin of the section of logic, том 46, № 1/2, с. 33-45 DOI
  • 
    • 2017 Контрфактуальное мышление
    • Карпенко А.С.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 23, № 2, с. 98-122 DOI
  • 
    • 2016 Lattice of Three-Valued Literal Paralogics
    • Карпенко А.С., Томова Н.Е.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 13, № 2, с. 176-178
  • 
    • 2016 Модальная пропозициональная логика истины Tr и ее полнота
    • Карпенко А.С., Чагров А.В.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 22, № 1, с. 13-31
  • 
    • 2016 Сверхреализм. Часть I. От мыслимого к возможному
    • Карпенко А.С.
    • в журнале Философский журнал, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 9, № 2, с. 5-23 DOI
  • 
    • 2016 Сверхреализм. Часть II. От возможного к реальности
    • Карпенко А.С.
    • в журнале Философский журнал, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 9, № 3, с. 5-24 DOI
  • 
    • 2016 Тоска по философии (Памяти А.П. Огурцова). Статья II
    • Карпенко А.С.
    • в журнале Вопросы философии, издательство Наука (М.), № 2, с. 137-147
  • 
    • 2016 Яакко Хинтикка (1929–2015)
    • Карпенко А.С.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 22, № 1, с. 9-12
  • • 2015 В поисках реальности: Исчезновение
    • Карпенко А.С.
    • в журнале Философия науки и техники, том 20, № 1, с. 36-72
  • 
    • 2015 Решетки четырехзначных модальных логик
    • Карпенко А.С.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 21, № 1, с. 122-137
  • 
    • 2015 Тоска по философии (Памяти А.П. Огурцова). Статья I
    • Карпенко А.С.
    • в журнале Вопросы философии, издательство Наука (М.), № 10, с. 133-149
  • 
    • 2014 Philosophical problems of foundations of logic
    • Karpenko A.S.
    • в журнале Studia Humana, том 3, № 1, с. 13-26 DOI
  • • 2014 О новом понимании возможного
    • Карпенко А.С.
    • в журнале Вестник Вятского государственного гуманитарного университета, № 5, с. 12-23
  • • 2014 Основной вопрос метафизики
    • Карпенко А.С.
    • в журнале Философский журнал, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), № 2 (13), с. 51-73
  • 
    • 2013 Preface. The History of Finish-Soviet Logic Colloquium
    • Karpenko A.S.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 19, с. 5-9
  • 
    • 2013 Von Wright's truth-logic and around
    • Karpenko A.S.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 19, с. 39-50
  • 
    • 2013 Философский принцип полноты. Часть I
    • Карпенко А.С.
    • в журнале Вопросы философии, издательство Наука (М.), № 6, с. 58-70
  • 
    • 2013 Философский принцип полноты. Часть II
    • Карпенко А.С.
    • в журнале Вопросы философии, издательство Наука (М.), № 7, с. 95-108
  • 
    • 2012 Аристотель и Лукасевич о законе противоречия: contra et pro (К публикации книги Яна Лукасевича «О принципе противоречия у Аристотеля. Критическое исследование»)
    • Карпенко А.С.
    • в журнале Вопросы философии, издательство Наука (М.), № 8, с. 154-165
  • 
    • 2011 На пути к протологике
    • Карпенко А.С.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 17, с. 152-166
  • 
    • 2010 Континуальность трехзначных логик: проблемы и гипотезы
    • Карпенко А.С.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 16, с. 127-133
  • • 2008 Modern study in philosophical logic: worldwide level and Russian science
    • Karpenko A.S.
    • в журнале Studies in Logic, Grammar and Rhetoric, том 14, № 27, с. 35-71
  • • 2007 Трехзначные характеристические матрицы классической пропозициональной логики
    • Девяткин Л.Ю., Карпенко А.С., Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 18, с. 50-62
  • • 2005 Неклассические логики versus классической
    • Карпенко А.С.
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 3, с. 48-73
  • • 2004 Предмет логики в свете основных тенденций ее развития
    • Карпенко А.С.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), № 11, с. 149-171
  • • 2003 Современные исследования в философской логике
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 10, с. 61-93
  • • 2003 Современные исследования в философской логике
    • Карпенко А.С.
    • в журнале Вопросы философии, издательство Наука (М.), том 9, с. 54-75
  • 
    • 2002 Atomic and molecular paraconsistent logics
    • Karpenko A.S.
    • в журнале Logique et Analyse, издательство Centre National Belge de Recherche de Logique (Belgium), том 45, № 177-178, с. 31-35
  • 
    • 2002 Подструктурные логики, родственные логике И.Е.Орлова
    • Карпенко А.С., Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 16, с. 59-63
  • • 2001 Подструктурные логики: гильбертовский подход
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 8, с. 65-71
  • 
    • 2000 The classification of propositional calculi (Finite Boolean lattices for implicational logics)
    • Karpenko A.S.
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 66, с. 253-271
  • • 2000 Three-valued paraconsistent logics
    • Karpenko A.S.
    • в журнале Multiple-Valued Logic, том 5, с. 117-123
  • • 2000 V.A. Smirnov (1931–1996): Work and Life
    • Karpenko A.S.
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 66, № 2, с. 201-204
  • • 2000 Логика на рубеже тысячелетий
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 7, с. 7-60
  • 
    • 1999 Jaśkowski's Criterion and Three-Valued Paraconsistent Logics
    • Karpenko A.S.
    • в журнале Logic and Logical Philosophy, том 7, с. 81-86
  • • 1999 Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 6, с. 76-80
  • • 1998 Некоторые логические идеи В.А. Смирнова
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 5, с. 7-18
  • 
    • 1997 BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lw
    • Karpenko A.S., Popov V.M.
    • в журнале Bulletin of the section of logic, том 26, № 3, с. 112-117
  • • 1997 Классификация пропозициональных логик
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 4, с. 107-133
  • 
    • 1997 Новая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича
    • Карпенко А.С., Попов В.М.
    • в журнале Труды научно-исследовательского семинара Логического центра Института философии РАН, том 11, с. 71-75
  • • 1997 Учитель
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 4, с. 20-24
  • 
    • 1996 The class of precomplete Łukasiewicz's many-valued logics and the law of prime number generation
    • Karpenko A.S.
    • в журнале Bulletin of the section of logic, том 25, с. 52-57
  • • 1995 Логика, детерминизм и феномен прошлого
    • Карпенко А.С.
    • в журнале Вопросы философии, издательство Наука (М.), том 5, с. 72-81
  • • 1995 Штрих Шеффера для простых чисел
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 3, с. 292-313
  • 
    • 1994 Sheffer's stroke for prime numbers
    • Karpenko A.S.
    • в журнале Bulletin of the section of logic, том 23, № 3, с. 126-129
  • 
    • 1993 Construction of classical propositional logic
    • Karpenko A.S.
    • в журнале Bulletin of the section of logic, том 22, № 3, с. 92-97
  • • 1993 Импликативные логики: решетки и конструкции
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 2, с. 224-258
  • • 1993 Матричная логика без неподвижных точек
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 1, с. 181-185
  • • 1993 Ян Лукасевич — детерминизм и логика
    • Карпенко Александр Степанович
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 2, с. 206-223
  • 
    • 1992 A maximal lattice of implicational logics
    • Karpenko A.S.
    • в журнале Bulletin of the section of logic, том 27, с. 29-32
  • 
    • 1989 Characterization of prime numbers in Łukasiewicz's logical matrix
    • Karpenko A.S.
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 48, № 4, с. 465-478
  • 
    • 1988 Algebraic structure of the truth-values for Łω
    • Karpenko A.S.
    • в журнале Bulletin of the section of logic, том 17, № 3-4, с. 127-133
  • 
    • 1986 A hypothesis on the finiteness of graphs for Łukasiewicz's precomplete logics (graphs for prime numbers)
    • Karpenko A.S.
    • в журнале Bulletin of the section of logic, том 15, № 3, с. 102-106
  • 
    • 1986 Paraconsistent structure inside of many-valued logic
    • Karpenko A.S.
    • в журнале Synthese, издательство D. Reidel Pub. Co. (Netherlands), том 66, с. 63-69
  • 
    • 1984 Characterization of prime numbers by Łukasiewicz's many-valued logics
    • Karpenko A.S.
    • в журнале Bulletin of the section of logic, том 13, № 2, с. 64-68
  • 
    • 1983 Factor-semantics for n-valued logics
    • Karpenko A.S.
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 42, с. 179-185
  • • 1982 Aristotle, Łukasiewicz and factor-semantics
    • Karpenko A.S.
    • в журнале Acta Philosophica Fennica, том 35, с. 7-21

• Статьи в сборниках

  • • 2014 Many-valued logic in Poland: The golden age
    • Karpenko A.S.
    • в сборнике 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 Ltd United Kingdom, с. 13-48
  • • 2013 Moscow logical schools (Period of ideology 1917 – 1991)
    • Karpenko A.S.
    • в сборнике Logic in Central and Eastern Europe: History, Science and Discourse / Ed. A. Schumann, издательство University Press of America (Lanham, MD, United States), с. 317-380
  • • 2006 Применение логики в компьютерных науках
    • Карпенко А.С.
    • в сборнике Логика: Перспективы развития, место издания ИПЦ "Киевский университет" Киев, с. 35-41
  • • 2000 A maximal paraconsistent logic: The combination of two three-valued isomorphs of classical propositional logic
    • Karpenko A.S.
    • в сборнике Frontiers of Paraconsistent Logic, серия Studies in Logic and Computation, место издания Research Studies Press Ltd Baldock, Hertfordshire, England, том 8, с. 181-187
  • • 1996 A logic without fixed points
    • Karpenko A.S.
    • в сборнике Philosophical Logic and Logical Philosophy, место издания Dordrecht: Kluwer, с. 213-219
  • • 1989 Истинностные значения. Что это такое?
    • Карпенко А.С.
    • в сборнике Исследования по неклассическим логикам, место издания Наука Москва, с. 38-53
  • • 1989 Конечнозначные логики Лукасевича: алгебро-логические свойства простых чисел
    • Карпенко Александр Степанович
    • в сборнике Синтаксические и семантические исследования неэкстенсиональных логик, место издания Наука Москва, с. 170-205
    • редактор Смирнов Владимир Александрович
  • • 1989 О паранепротиворечивой логике
    • Ишмуратов А.Т., Карпенко А.С., Попов В.М.
    • в сборнике Синтаксические и семантические исследования неэкстенсиональных логик, место издания Наука Москва, с. 261-284
    • редактор Смирнов Владимир Александрович
  • • 1989 От фактор-семантики к логическому исчислению алгебр
    • Карпенко Александр Степанович
    • в сборнике Синтаксические и семантические исследования неэкстенсиональных логик, место издания Наука Москва, с. 93-100
    • редактор Смирнов Владимир Александрович
  • • 1988 T-F-sequences and their sets as truth-values
    • Karpenko A.S.
    • в сборнике Intensional Logic, History of Philosophy and Methodology, место издания Budapest, с. 109-119

• Доклады на конференциях

  • • 2016 Lattice of Three-Valued Literal Paralogics (Устный)
    • Авторы: Томова Н.Е., Карпенко А.С.
    • Двенадцатая международная конференция "Современная логика: проблемы теории, истории и применения в науке", Санкт-Петербург, Россия, 22-24 июня 2016

• Тезисы докладов

  • • 2015 Решетка фундаментальных четырехзначных модальных логик
    • Карпенко А.С.
    • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 24-26
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2013 Тезис Сушко и его функциональное опровержение
    • Карпенко А.С.
    • в сборнике Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 15-17
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2011 Philosophical Problems of Foundations of Logic
    • Karpenko A.S.
    • в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 76-79
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Карпенко Александр Степанович, Маркин Владимир Ильич

• Участие в редколлегии журналов

  • • 1 февраля 1993 - 31 декабря 2017 Логические исследования
    • издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва)
    • http://logicalinvestigations.ru
    • главный редактор

• Участие в редколлегии сборников

  • • 2015 Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
    • члены редколлегии: Григорьев О.М., Карпенко А.С., Маркин В.И., Зайцев Д.В.
    • серия Смирновские чтения по логике
    • издательство Изд-во Моск. ун-та (М.)
    • сборник тезисов
  • • 2013 Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
    • члены редколлегии: Григорьев О.М., Маркин В.И., Карпенко А.С., Зайцев Д.В.
    • серия Смирновские чтения по логике
    • место издания Современные тетради Москва
    • сборник тезисов
  • • 2011 Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года
    • члены редколлегии: Ивлев Ю.В., Григорьев О.М., Маркин В.И., Карпенко А.С., Зайцев Д.В.
    • серия Смирновские чтения по логике
    • место издания Современные тетради, Москва
    • сборник тезисов

• Членство в диссертационных советах

  • • 2 ноября 2012 - 31 августа 2017 Д 501.001.37, МГУ имени М.В. Ломоносова, Философский факультет
    • 09.00.07 - Логика (филос. науки)

• Диссертация

  • • 1991 Фатализм и случайность будущего: логический анализ
    • Докторская диссертация по специальности 09.00.07 - Логика (филос. науки)
    • Автор: Карпенко Александр Степанович, д.ф.н.
    • Защищена в совете Д 002.29.03 при Институт философии РАН
    • Организация, в которой выполнялась работа: Институт философии Академии наук СССР