Institute of Philosophy
Russian Academy of Sciences

  Department of Logic
Home Page » » Department of Logic

Department of Logic

Русскоязычная версия страницы


By the ordinance of the Presidium of the Academy of Sciences of the USSR from December, 23th of 1947 the new structure of the Institute of philosophy of AoS of the USSR was established, where among the total of 9 departments the department of logic was approved (A.A. Chudov).

Since 1952 it ceased to exist as the department of logic and was transformed into a research group subordinate to the department of the dialectic materialism.

In 1961 the group has been transformed back into the department of logic. P.V. Tavanets became the head of the department.

In 1977 D.P. Gorskiy became the head of the department.

In 1987 the department was taken charge of by V.A. Smirnov

From 1996 to 1999 E.D. Smirnova was the acting head of the department.

From 2000 to 2017 the department was headed by A.S. Karpenko.

Since 2017 the department is headed by V.I. Shalack.


From the first years of existence of the department of logic, A.A. Zinoviev was working there.

In 60 years the department has produced ofver 30 collective monographies. Let us point out some of them:

  • The application of logic in science and technology / Ed. by P.V. Tavanets. M.: Nauka, 1960.
  • Philosophical problems of the modern fromal logic / Ed. by P.V. Tavanets. M.: Publishing house of the Academy of sciences of the USSR, 1962.
  • Logical semantics and modal logics / Ed. by P.V. Tavanets. M.: Nauka, 1967.
  • Investigation of the logical systems / Ed. by P.V. Tavanets. M.: Nauka, 1970.
  • Non-classical logic / Ed. by P.V. Tavanets. M.: Nauka, 1970.
  • Theory of the logical inference / Ed. by P.V. Tavanets. M.: Nauka, 1973.
  • Philosophy and logic / Ed. by P.V. Tavanets. M.: Nauka, 1974.
  • Methods of logical analysis / Ed. by P.V. Tavanets. M.: Nauka, 1977.
  • Logical inference / Ed. by V.A. Smirnov. M.: Nauka, 1979.
  • Semantics of modal and intensional logics. / Ed. by V.A. Smirnov. M.: Progress, 1981. (A collection of works translated from English).
  • Modal and intensional logics and their applications to the problems of the methodology of science / Ed. by V.A. Smirnov. M.: Nauka, 1984.
  • Logic of the scientific knowledge (Current problems) / Ed. by D.P. Gorsky. M.: Nauka, 1987.
  • Sintactic and semantic investigations of the nonextensional logics / Ed. by V.A. Smirnov. M.: Nauka, 1989.
  • Investigations of the non-classical logics / Ed. by V.A. Smirnov. M.: Nauka, 1989.
  • Journal “Logical investigations”.
  • Works of the research seminar of the Logical Center of the Institute of Philosophy of the Russian Academy of Sciences (Ed. by A.S. Karpenko).

The real rise and international acknowledgment came to the department of logic in 1987-1996 when it was headed by professor V.A. Smirnov. He also was the head of the department's logical seminar. It is largely through his involvement that since 1982 the works of that seminar have started being published, and in 1993 for the first time in our country the annuary “Logical investigations” has come of the press. In this publication the most important and original results in the field of moder philosophical logicare being published, including the works of the foreign authors.


The main fields of research are philosophical and symbolic logics. In the works of the department's faculty a fundamental development has been obtained in the area of non-classical logics, namely relevant logics, multivalued logics, alethetic, epistemic, deontic, temporal and other modal logics and also the applications of logic to the problems of the philosophy and methodology of science. The problems of non-classical logics still take the central part of the department's research. Recently, a lot of attention has been given to the logical analysis of paradoxes and to the applications of logic in computer science and theory of argumentation.






Address: Goncharnaya 12/1, Moscow, 109240, Russian Federation. Room 426.

Phone: (8495) 697-96-65

E-Mail: department.logic @