Доктор философских наук,
ведущий научный сотрудник (отдел философии) Федерального государственного бюджетного учреждения науки Института философии и права Сибирского отделения Российской академии наук (ИФПР СО РАН), г. Новосибирск;
профессор кафедры философии Института философии и права Новосибирского государственного университета.
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 – в соавторстве.
Избранные публикации
Бессонов А.В. Еще раз о неверных истолкованиях второй теоремы Гёделя о неполноте // Сибирский философский журнал. – 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.