Eng During last 365 days Approved articles: 1989,   Articles in work: 308 Declined articles: 755 
Library
Articles and journals | Tariffs | Payments | Your profile

Back to contents

The problem of implementation of logic in technology and construction: to the history of the question
Pryadko Igor' Petrovich

PhD in Cultural Studies

Docent, the department of Social, Psychological, and Legal Communications, National Research Moscow State University of Civil Engineering

141018, Russia, Moscow Oblast, Mytishchi, Novovomytischinsky Prospekt 86-4

priadcko.igor2011@yandex.ru

 

 

Abstract.

This article analyzes the logical conclusions of the two prominent scholars of the XX century:  Nikolai Gersevanov and Viktor Shestakov. The significance of the works of these two scholars for the methodology of science and areas of the applied implementation of logic is underlined. The author believes that the research of Gersevanov and Shestakov became the landmark in establishment of the mathematical logic in Russia. Thus, the object of this article is the separate aspects of creative path of the two prominent researchers; and the subject is the use of the methods of formal logic in their works. The scientific novelty lies in the fact that the author is first to analyze the logical-mathematical alphabet used by Gersevanov, comparing it with the modern interpretation of the true meaning of logical constants. The article also examines the logical works of Gersevanov pertinent to substantiation of competence of the hydraulic structures and logical formulations of Shestakov in the area of implementation of logic to the synthesis and analysis of the relay-contact schemes as the two interconnected parts of research dynamics in our country. Gersevanov’s logical formulas are compared to the search for formalization of observations initiated by I. I. Zhegalkin. A conclusion is made on the prospective use of the exploratory works of Gersevanov and Shestakov.  

Keywords: logic, electrical engineering, construction mechanics, Nikolai Gersevanov, Victor Shestakov, propositional variables, calculus of propositions, formal logic, history of logic, philosophy of science

DOI:

10.25136/2409-8728.2018.10.25375

Article was received:

06-02-2018


Review date:

07-02-2018


Publish date:

21-10-2018


This article written in Russian. You can find full text of article in Russian here .

References
1.
Schloegel K. Urbizid: Europeische Staedte im Krieg // Stadt und Offentlichkeit in Ostmitteleuropa 1900 1939. Beitrage zur Entstehung moderner Urbanitat. Marjampole oder Europas Wiederkers aus dem Geist der Staedte. Wien, 2005. S. 171 182.
2.
Shannon C. Symbolic Analysis of Relay and Switching Circuits // Trans of Amer. Institute of Electr. Engineers. 1938. Vol.57.
3.
Biryukov B.V. Logiko-matematicheskie aspekty teorii avtomatov // Nauchnye doklady vysshei matematicheskoi shkoly. Filosofskie nauki. 1964. 5. S.4452.
4.
Biryukov B.V., Trostnikov V.N. Zhar kholodnykh chisl i pafos besstrastnoi logiki. M.: Edito-rial URSS, 2004. 232s.
5.
Budtolaev N.M. Vydayushchiisya teoretik portovoi gidrotekhniki M.N.Gersevanov: ocherk zhizni i deyatel'nosti. K sto dvadtsatiletiyu so dnya rozhdeniya. M., 1950.
6.
Gersevanov N..M. Osnovy dinamiki gruntovoi massy. M.-L.: ONTI, Glavnaya redaktsiya tekhni-cheskoi literatury, 1937.
7.
Galileo Galilei Dialog o dvukh glavneishikh sistemakh mira kopernikovoi i ptolemeevoi / perevod A.I. Dolgova. M.-L.: OGIZ, 1948.
8.
Metod matematicheskoi induktsii kak effektivnyi metod dokazatel'stva. Rezhim dostupa: https://infourok.ru/metod-matematicheskoy-indukcii-kak-effektivniy-metod-dokazatelstva-1511140.html
9.
Gersevanov N.M. Primenenie matematicheskoi logiki k raschetu sooruzhenii // Gersevanov N.M. Sobr. soch. T.1. M.: Stroivoenmorizdat, 1948.
10.
Styazhkin N.I. K kharakteristike rannei stadii v razvitii idei matematicheskoi logiki // Filosofskie nauki. 3. 1958. S.95101.
11.
Vasil'ev N.A. Logika i metalogika // Logos. Kn. 1-2. M.: tipo-lit. A. Levinsona, 1912. S. 53-81.
12.
Vasil'ev N.A. Voobrazhaemaya logika. M.: Izd. MGU, 1989. 264s.
13.
Florenskii P.A. Mnimosti v geometrii. M.: Lazur', 1991. S.44.
14.
Getmanova A.D. Logika. M.Vysshaya shkola, 1986.
15.
Kirillov V.I., Starchenko A.A. Logika. M., 1982.
16.
Zhegalkin I.I. O tekhnike vychisleniya predlozhenii v simvolicheskoi logike // Matematiche-skii sbornik. T.34. Vypusk I. M., 1927. S. 9-28.
17.
Shuranov B.M. Ivan Ivanovich Zhegalkin: vklad v matematicheskuyu logiku // Vestnik Mezhdu-narodnogo slavyanskogo universiteta. Vypusk 4. M., 1998. S. 31-33.
18.
Logika / G.A. Levin, V.I. Barton i dr. Mn.: Izd-vo BGU, 1974. 336s.
19.
Biryukov B.V. O sud'bakh psikhologii i logiki v Rossii perioda voin i revolyutsii // Vest-nik Mezhdunarodnogo Slavyanskogo universiteta. Vypusk 4. M., 1998. S. 7-13.
20.
Shestakov V.I. Algebra dvupol'nykh skhem, postroennykh isklyuchitel'no iz dvukhpolyusnikov (Algebra A-skhem) // Zhurnal teoreticheskoi fiziki. 1941. T. 11. Vyp. 6.
21.
Shestakov V.I. Predstavlenie kharakteristicheskikh funktsii predlozhenii posredstvom vy-razhenii, realizuemykh releino-kontaktnymi skhemami // Izvestiya AN SSSR. Seriya Matema-tika. 1946. Vypusk 10.
22.
Semenyuk E. Obshchenauchnye kontury i podkhody k poznaniyu. L'vov: Misl', 1971. 176c.