Finn, Victor Konstantinovich

Viktor Konstantinovich's father was the Soviet fiction writer and playwright Konstantin Yakovlevich Finn-Khalfin .

In 1957, Viktor Konstantinovich graduated from the Faculty of Philosophy of Moscow State University , and in 1966 - from the Faculty of Mechanics and Mathematics of Moscow State University . In the 1950s, he was a member of the Moscow Logical Circle , which he left with A. A. Zinoviev and a number of other participants.

Since 1957, he worked in the Department of Mathematical Logic of the Electro- Modeling Laboratory at the Institute of Precise Mechanics and Computer Engineering of the Academy of Sciences of the USSR (Head of Laboratory - L. I. Gutenmacher ); in 1959, the Laboratory became part of the All-Union Scientific and Technical Institute of the Academy of Sciences of the USSR , where he worked as the chief researcher, head of the sector of intelligent systems (the head of the department is Gilyarevsky Rudzhero Sergeevich ). In 2016, a research group led by V.K. Finn transferred to work at the Institute for System Analysis of the Russian Academy of Sciences .

The topic of the Ph.D. thesis (1975) is “Logical problems of information retrieval”, and the doctoral thesis (1990) is “Plausible reasoning in expert systems with incomplete information”.

From 1989 to 1991 he was a member of the Council of the Club of Voters of the Academy of Sciences of the USSR.

Married, has a daughter; hobby - sociology .

Currently, Viktor Konstantinovich is giving a course of lectures on mathematical logic and the application of logical methods in sociology and social psychology at the Russian State Humanitarian University , and he is also the head of the Department of Intelligent Systems in the Humanities of the Institute of Linguistics of the Russian State Humanitarian University .

Key research areas

• Logic (in particular, multi-valued logics, the theory of plausible reasoning);
• The logic and philosophical foundations of artificial intelligence systems;
• The logical foundations of the humanities.
• In the field of calculus of multi-valued logics ;
• In the application of three-valued logics to the analysis of logical paradoxes;
• In the field of algebraic properties of multivalued logics (in particular, functional completeness);
• In the theory of plausible reasoning and the automatic generation of hypotheses in intelligent systems;
• He proposed a new method for analyzing sociological data in intelligent systems;
• He proposed a method for formalizing multi-valued logics using two types of propositional variables (for Boolean and non-Boolean values);

He developed the concept of representing intellectual activity through quasi-axiomatic (open) theories that implement plausible reasoning in problem solvers such as “plausible conclusion + reliable conclusion”. In solvers of this type, the JSM method for automatically generating hypotheses is used, which formalizes and extends the inductive methods of D. S. Mill . The JSM method is a variant of the modern theory of inductive learning, in which the arguments “for” and arguments “against” the effect under study (plus-hypothesis and minus-hypothesis) are automatically generated from the facts;

He formulated a new class of multivalued logics, which are formalizations of argumentation procedures. He showed that the JSM method of automatically generating hypotheses is a variant of the synthesis of cognitive procedures: induction , analogy , abduction, and deduction . He established that the JSM method of automatically generating hypotheses is causal argumentation and constructive abduction, clarifying the idea of ​​abductive inference in the sense of C. S. Pierce. Methodologies of Investigation The JSM method of automatically generating hypotheses created the basis for the development of an accurate epistemology with a knowing subject.

• Logical problems of information retrieval. M .: Nauka , 1976. 152 p.
• Bochvar algebras and their corresponding propositional calculus // Studies in non-classical logics and set theory. M., 1979. S. 345-372.
• To the formal definition of the concept of information retrieval system // Scientific-technical. inform. Ser. 2, Inform. processes and systems. 1981. No. 5. S. 5-15.
• Information systems and the problems of their intellectualization // Scientific-technical. inform. Ser. 2, Inform. processes and systems. 1984. No. 1. S. 1-14.
• On Axiomatization of Many-valued Logics Assotiated with Formalization of Plausible Reasoning // Studia Logica. 1989. Vol. 48, No. 4. P. 23-47. In coop .: Anshakov OM, Skvortsov DR
• Intelligent systems: problems of their development and social consequences // The future of artificial intelligence. M., 1991.S. 157-177.
• Epistemological and logical problems of historical science. M .: Nauka, 1995.176 s. (in co-authorship with K.V. Khvostova )
• Problems of historical knowledge in the light of modern interdisciplinary research. M .: RGGU, 1997.255 s. (in co-authorship with K.V. Khvostova)
• Comp., Total. ed., entry Art. Art .: Yesenin-Volpin A.S. Philosophy. Logics. Poetry. Protecting Human Rights: Favorites. M., 1999.450 s. From the content: Neologicism is a philosophy of sound knowledge. S.15-31.
• Comp., Total. Ed .: Multiple-valued logics and their applications: Logical calculi, algebras, and functional properties. Volume 1. M .: URSS, 2008.416 s.
• Comp., Total. Ed .: Multiple-valued logics and their applications: Logics in artificial intelligence systems. Volume 2. M.: URSS, 2008.240 s.

• Finn Victor Konstantinovich on the website of the Russian State Humanitarian University