Доктор философских наук,
ведущий научный сотрудник (отдел философии) Федерального государственного бюджетного учреждения науки Института философии и права Сибирского отделения Российской академии наук (ИФПР СО РАН), г. Новосибирск;
профессор кафедры философии Института философии и права Новосибирского государственного университета.
E-mail: trt [at] academ.org (trt[at]academ[dot]org). 0000-0002-6693-7539.
Образование, квалификация и профессиональная деятельность
1969–1974 – студент механико-математического факультета Новосибирского государственного университета, специализация на кафедре алгебры и математической логики, научный руководитель проф. Максимова Лариса Львовна. Защитил диплом по теме «О новых операциях в интуиционистском исчислении». Присвоена квалификация «Математика, прикладная математика».
В 1980 г. защитил кандидатскую диссертацию по теме «Сравнительный анализ подстановочной и референтативной семантики языка кванторной логики» по специальности 09.00.07 – Логика. В 1986 г. присвоено ученое звание «старший научный сотрудник». В 1990 году защитил диссертацию на соискание ученой степени доктора философских наук «Методологический анализ концепции предметной области в современной логике» по специальности 09.00.07 – Логика.
1974–н.вр. – сотрудник Института истории, филологии и философии СО АН СССР (сектор логики и теории познания), ныне ИФПР СО РАН, г. Новосибирск, 1974–1976 гг. старший лаборант, 1976–1983 – младший научный сотрудник, 1983–1990 г. – старший научный сотрудник, с 1990 г. – ведущий научный сотрудник.
1978–н.вр. – преподаватель Новосибирского государственного ниверситета, 1978–1986 – ассистент, 1986–1991 – доцент, 1993––н.вр. профессор.
Член специализированного Совета по защите диссертаций на соискание ученой степени доктора философских наук при ИФПР СО РАН.
В 1996 г. присвоено почетное звание «Заслуженный ветеран СО РАН».
Научные интересы
Нестандартная семантика логических систем, подстановочная интерпретация языка кванторной логики, логическая теория истины, теоремы о неполноте, проблема неразрешимости, философия математики, программа Гильберта финитного обосноваия математики.
Основные публикации
Монографии и коллективные монографии
Целищев В.В., Бессонов А.В. Две интерпретации логических систем, Новосибирск, Наука, 1979; 2-е изд.: М.: КРАСАНД, 2010.
Бессонов А.В. Предметная область в логической семантике, Новосибирск, Наука, 1985; 2-е изд.: М.: КРАСАНД, 2010.
Бессонов А.В. Теория объектов в логике, Новосибирск, Наука, 1987; 2-е изд.: М.: КРАСАНД, 2010.
Проблемно-ориентированный подход к науке, Новосибирск, Наука, 2001 – в соавторстве.
Избранные публикации
Бессонов А.В. Аргумент Гёделя–Лукаса–Пенроуза некорректен // Международная конференция «Мальцевские чтения», 13–17 ноября 2023 г., Ин-т математики СО РАН, НГУ, Новосибирск. Тезисы докладов. С. 29.
Bessonov A.V. On the independence of Gödel's incompleteness theorems // «Аналитическая философия: траектории истории и векторы развития». Сб. научных трудов Международной научной конференции, посвященной 80-летию научного руководителя Института философии и права СО РАН В.В. Целищева (25–26 февраля 2022, Новосибирск). C. 5–9. DOI: 10.47850/S.2022.1.1.
Bessonov A.V. Gödel’s first incompleteness theorem is numerically dependent, Abstracts of the 2022 North American Annual Meeting of the Association for Symbolic Logic (Cornell University, Ithaca, New York, USA, April 7–10, 2022) // The Bulletin of Symbolic Logic, 2022, Vol. 28, No. 4, p. 564; DOI: 10.1017/bsl.2022.24.
Bessonov A.V. Gödel's incompleteness theorems from the perspective of a falsifiability predicate. Abstracts of the 2021 North American Annual Meeting of the Association for Symbolic Logic (University of Notre Dame, South Bend, IN, USA, June 22–25, 2021) // The Bulletin of Symbolic Logic, 2021, Vol. 27, No. 3, p. 325–326; DOI: 10.1017/bsl.2021.50.
Бессонов А.В. Теоремы Гёделя о неполноте арифметики сквозь призму предиката опровержимости // Международная конференция «Мальцевские чтения», 20–24 сентября 2021 г., Ин-т математики СО РАН, НГУ, Новосибирск. Тезисы докладов. С. 36–37
Бессонов А.В. Постгёделев этап философии математики завершен // «Философия, Социология, Право: Традиции и Перспективы». Сб. научных трудов Всероссийской научной конференции, посвященной 30-летию Института философии и права СО РАН, Новосибирск, 2020, С. 14–16; DOI:10.47850/S.2020.1.3
Бессонов А.В. Еще раз о неверных истолкованиях второй теоремы Гёделя о неполноте // Сибирский философский журнал. – 2020. – Т. 18. – вып. 3. – С. 132–143. DOI: 10.25205/2541-7517-2020-18-3-132-143.
Бессонов А.В. Аксиома полноты не противоречит формальной арифметике Дедекинда–Пеано // Международная конференция «Мальцевские чтения», 16–20 ноября 2020 г., Новосибирск. Тезисы докладов. http://www.math.nsc.ru/conference/malme…. С. 61.
Бессонов А.В. Теорема Гёделя о неполноте арифметики и аксиома полноты // Философия науки. – 2019. – № 2 (80) – C. 25–34. DOI: 10.15372/PS20190202].
Bessonov A.V. Gödel's first incompleteness theorem cannot be used as an argument against Hilbert's program. The Bulletin of Symbolic Logic. 2019. Vol. 25. No. 3. [DOI:10.1017/bsl.2019.30]. P. 268–269.
Бессонов А.В. Аналог теоремы Гёделя о неполноте арифметики с использованием предиката опровержимости // Сибирский философский журнал. – 2018. –Т. 16. – вып. 4. – С. 58–68. [DOI:10.25205/2541-7517-2018-16-4-58-68.
Bessonov A. V. Gödel's second incompleteness theorem cannot be used as an argument against Hilbert's program. The Bulletin of Symbolic Logic. 2018. Vol. 24. No. 2. DOI: 10.1017/bsl.2018.13. P. 235–236.
Бессонов А. В. Первая теорема Гёделя о неполноте нумерационно зависима // Международная конференция «Мальцевские чтения», 19–22 ноября 2018, Новосибирск, Тезисы докладов. http://www.math.nsc.ru/conference/malme…. С. 29.
Бессонов А.В. Теоремы Гёделя не дезавуируют программу Гильберта // Вестник Томского государственного университета. Философия. Социология. Политология. – 2017. – № 40 – C. 311–318. DOI: 10.17223/1998863X/40/29.
Бессонов А.В. Что доказано, и что не доказано во второй теореме Гёделя о неполноте арифметики // Сибирский философский журнал. – 2017. – Т. 15. – вып. 3. – C. 218–236.
Бессонов А.В. О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте. II // Философия науки. – 2016. – № 2(69). – C. 42–61. DOI: 10.15372/PS20160204.
Bessonov A.V. Peano arithmetic can well prove its own consistency // The Bulletin of Symbolic Logic. 2016. Vol. 22. No. 3. DOI: 10.1017/bsl.2016.22. P. 389.
Бессонов А.В. Предикатная зависимость второй теоремы Гёделя о неполноте // Вестник НГУ. Серия: Философия. – 2015. – Т. 13. – вып. 4. – С. 5–14.
Bessonov A.V. Göodel's second incompleteness theorem is predicate dependent. – 15th Congress of Logic, Methodology and Philosophy of Science, CLMPS 2015, Logic Colloquium 2015, LC 2015, Book of abstracts (University of Helsinki, 3-8 August 2015). Helsinki, 2015. – P. 419––420.
Бессонов А.В. О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте. I // Философия науки. – 2014. – № 4(63). – C. 12–31.
Бессонов А.В. К интерпретации теорем Гёделя о неполноте арифметики. // Вестник ТГУ, Философия, социология, политология. – 2011. – вып. 4. – С. 177–189.
Бессонов А.В. К основаниям логической теории истины // Философия науки. – 1999. – № 1(15). – C. 52–63.
Бессонов А.В. Истинность как оператор и парадокс лжеца // Гуманитарные науки в Сибири. – 1997. – № 1. – С. 107–112.