по
Journal Menu
> Issues > Rubrics > About journal > Authors > About the journal > Requirements for publication > Editorial collegium > List of peer reviewers > Review procedure > Policy of publication. Aims & Scope. > Article retraction > Ethics > Copyright policy > Digital archiving policy > Open Access Policy > Open access publishing costs > Article Identification Policy > Plagiarism check policy > Editorial board
Journals in science databases
About the Journal

Публикация за 72 часа - теперь это реальность!
При необходимости издательство предоставляет авторам услугу сверхсрочной полноценной публикации. Уже через 72 часа статья появляется в числе опубликованных на сайте издательства с DOI и номерами страниц.
По первому требованию предоставляем все подтверждающие публикацию документы!
MAIN PAGE > 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.44—52.
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.95—101.
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.
Link to this article

You can simply select and copy link from below text field.


Other our sites:
Official Website of NOTA BENE / Aurora Group s.r.o.
"History Illustrated" Website