Doctor of Sciences in Philosophy (Logic),
leading researcher of Institute of Philosophy and Law, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia
E-mail: trt [at] academ.org (trt[at]academ[dot]org). 0000-0002-6693-7539.
Education, qualifications and professional activities
1969–1974: Novosibirsk State University, Novosibirsk, Russia. Fac¬ulty of Mechanics and Mathematics, Dept. of Algebra and Mathematical Logic, supervisor Prof. L. L. Maksimova.
Degrees: Candidate of Sciences in Philosophy (Logic), 1980; Doctor of Sciences in Philosophy (Logic), 1990.
Positions held: 1974–present. Institute of Philosophy and Law, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia: senior assistant (1974–1976), junior researcher (1976–1983), senior researcher (1983–1990), leading researcher (1990).
1978–present. Novosibirsk State University, Novosibirsk, Russia, Dept. of Philosophy: assistant (1978–1986), docent (1986–1991), professor (1991).
Member of the dissertation council of Institute of Philosophy and Law, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia.
Member of Association for Symbolic Logic (ASL).
Scientific interests
Non-standard semantics of logical systems, substitutional interpretation of the language of quantifier logic, logical theory of truth, incompleteness theorems, undecidability problem, philosophy of mathematics, Hilbert's finitistic program.
Selected publications
V. V. Tselishchev and A. V. Bessonov, Two Interpretations of Logical Systems , Nauka, Novosibirsk (1979); 2nd ed .: KRASAND, Moscow (2010) [in Russian].
A. V. Bessonov, Domain in Logical Semantics , Nauka, Novosibirsk (1985); 2nd ed .: KRASAND, Moscow (2010) [in Russian].
A. V. Bessonov, Theory of Objects in Logic , Nauka, Novosibirsk (1987); 2nd ed .: KRASAND, Moscow (2010) [in Russian].
A. V. Bessonov, ``Once again on misinterpretations of Gödel's second incompleteness theorem,'' Siberian Philosophical Journal, 18, No. 3, 132–143 (2020) [in Russian].
A. V. Bessonov, ``The completeness axiom does not clash with formal Dedekind–Peano arithmetic,'' Int. Conf. `Mal'tsev Readings' , Collection of Abstracts (Sobolev Institute of Mathematics, Novosibirsk State University, November 16–20, 2020), Novosibirsk (2020), p. 61 [in Russian].
A. V. Bessonov, ``Gödel's incompleteness theorem and completeness axiom,'' Philosophy of Science , No. 2(80), 25–34 (2019) [in Russian].
Alexandr Bessonov, ``Gödel's first incompleteness theorem cannot be used as an argument against Hilbert's program,'' The Bulletin of Symbolic Logic, 25, No. 3, 268/269. (2019).
A. V. Bessonov, ``Analog of Gödel's incompleteness theorem using a falsifiability predicate,'' Siberian Philosophical Journal, 16, No. 4, 58–68 (2018) [in Russian].
Alexandr Bessonov, ``Gödel's second incompleteness theorem cannot be used as an argument against Hilbert's program,'' The Bulletin of Symbolic Logic, 24, No. 2, 235/236 (2018).
A. V. Bessonov, ``Gödel's first incompleteness theorem is numbering dependent,'' Int.Conf. `Mal'tsev Readings' , Collection of Abstracts (Sobolev Institute of Mathematics, Novosibirsk State University, November 19–22, 2018), Novosibirsk (2018), p. 29 [in Russian].
A. V. Bessonov, ``Gödel's incompleteness theorems do not disrupt Hilbert's program'', Tomsk State University Journal of Philosophy, Sociology and Political Science , No. 40, 311–318 (2017) [in Russian].
A. V. Bessonov, ``What is proved and what is not proved in Gödel's second incompleteness theorem,'' Siberian Philosophical Journal, 15, No. 3, 218–236 (2017) [in Russian].
A. V. Bessonov, ``Two false dogmas related with Gödel's second incompleteness theorem. II,'' Philosophy of Science , No. 2(69), 42–61 (2016) [in Russian].
Alexandr Bessonov, ``Peano arithmetic can well prove its own consistency,'' The Bulletin of Symbolic Logic, 22, No. 3, 389 (2016).
A. V. Bessonov, ``Gödel's second incompleteness theorem is predicate dependent,'' Novosibirsk State University Journal, Ser.:Philosophy, 13, No. 4, 5–14 (2015) [in Russian].
A. V. Bessonov, ``Two false dogmas related with Gödel's second incompleteness theorem. I,'' Philosophy of Science , No. 4(63), 12–31 (2014) [in Russian].
A. V. Bessonov, ``Toward an interpretation of Gödel's incompleteness theorems,'' Tomsk State University Journal of Philosophy, Sociology and Political Science , No. 4 (16), 177–189 (2011) [in Russian].
A. V. Bessonov, ``Toward a foundations of the logical theory of truth,'' Philosophy of Science , No. 1(15), 52–63 (1999) [in Russian].
A. V. Bessonov, ``Truth as an operator and the liar's paradox,'' Humanities in Siberia , No. 1, 107–112 (1997) [in Russian].