Error
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering

DESIGNING AND DETAILING OF BUILDING SYSTEMS. MECHANICS IN CIVIL ENGINEERING

USING LOGIC IN PRACTICAL SUBSTANTIATION OF STABILITY OF BUILDING FOUNDATIONS: OVERVIEW OF A LITTLE-KNOWN WORK WRITTEN BY N.M. GERSEVANOV

Vestnik MGSU 11/2012
  • Pryadko Igor Petrovich - Moscow State University of Civil Engineering (MGSU) Senior Lecturer, Department of Political and Social Sciences, Moscow State University of Civil Engineering (MGSU), 26 Yaroslavskoe shosse, Moscow, 129337, Russian Federation; This e-mail address is being protected from spambots. You need JavaScript enabled to view it .

Pages 97 - 104

The author analyzes the findings made by N. Gersevanov, founder of the Russian school of
soil mechanics, covered in one of his little-known works. His method of solving problems of logic
within the framework of structural mechanics boasts a backstory. N. Gersevanov employed a quote
of Galileo Galilei who had employed the "reductio ad absurdum" type of deduction to refute the
Aristotle's proposition concerning the dependence between the rate of fall of bodies and their mass.
The author argues that this work written by N. Gersevanov was the first attempt to apply the
logic in the area of civil engineering technology; this attempt anticipated further efforts and research
undertakings implemented by V. Shestakov, developer of the relay logic. N. Gersevanov employed
the language of symbols developed by Louis Couture and entered the symbols of identity, logical
addition and multiplication into the logic formulas designated for the identification of stability of port
structures. Further, N. Gersevanov switched from formulas to arguments, and he employed both
direct and indirect argumentation to refute the statement that read as "the building was unstable".

DOI: 10.22227/1997-0935.2012.11.97 - 104

References
  1. Budtolaev N.M. Vydayushchiysya teoretik portovoy gidrotekhniki M.N.Gersevanov: ocherk zhizni i deyatel’nosti. K 120-letiyu so dnya rozhdeniya [M.N.Gersevanov, Outstanding Theorist of Hydraulic Engineering of Ports. Essay of His Life and Work]. In commemoration of his 120th anniversary. Moscow, 1950.
  2. Gersevanov N.M. Osnovy dinamiki gruntovoy massy [Basics of Soil Dynamics]. Moscow – Leningrad, ONTI Publ., 1937.
  3. Gersevanov N.M. Postroyka zhelezobetonnykh opor dlya ugleperegruzhateley v Petrogradskom porte [Construction of Reinforced Concrete Piers for Coal Reloaders at the Petrograd Port]. Petrograd, S.K. Pentkovskogo Publ., 1915.
  4. Gersevanov N.M. Raschet bokovykh stenok i sploshnogo kamennogo fundamenta sukhikh dokov po metode Frantsiusa [Analysis of Side Walls and Mat Masonry Foundation of Dry Docks according to the Methodology of Francius]. St.Petersburg, Lit. A. Ikonnikova Publ., 1911.
  5. Gersevanov N.M. Teorii i postroenie inzhenernykh nomogramm [Theories and Plotting of Nomograms]. Moscow – Leningrad, ONTI Publ., 1937, 97 p.
  6. Gersevanov N.M. Primenenie matematicheskoy logiki k raschetu sooruzheniy [Application of Mathematical Logic to Analysis of Structures]. Moscow, Stroyvoenmorizdat Publ., 1948, collected works, vol. 1.
  7. Biryukov B.V., Kuzicheva, V.I.Kobzar’ Z.A., editor. Iz istorii prilozheniya logiki. O rabote Gersevanova «Primenenie matematicheskoy logiki k raschetu sooruzheniy» [History of Applications of the Logic. About the Work of Gersevanov “Application of Mathematical Logic to Analysis of Structures”]. Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy X Obshcheross. nauch. konf. [Contemporary Logic: Problems of Its Theory, History and Application in Sciences. Works of the 10th All-Russian Scientific Conference]. St.Petersburg, June 26-28, 2008, pp. 194—196.
  8. Biryukov B.V., Shakhov V.I., Karpenko A.S., editor. Pervye prilozheniya logiki k tekhnike. Ot prilozheniya logiki k raschetu sooruzheniy i releynym skhemam k logicheskoy teorii razmernostey fizicheskikh velichin [Initial Applications of the Logic to the Technology. From Applications of the Logic to the Analysis of Structures, Relay Circuits, and to the Logical Theory of Differences of Physical Quantities]. Logicheskie issledovaniya [Logical Research]. Moscow, Nauka Publ., 2007, no. 14, pp. 71—104.
  9. Sotonin K. Reviews of “Introduction into the Logic” by Povarnin, “Logic. Part 1. Judgment” by Losskiy N.O. Kazan’, Kazanskiy bibliofil [Kazan Bibliophile]. 1922, no. 3, p. 54.
  10. Asmus V.F. Logika [Logic]. Moscow, OGIZ Publ., 1947, 386 p.
  11. Kol’man E. Uchebnik logiki [Textbook of Logic]. Moscow, Gospolitizdat Publ., 1944.
  12. Vinogradov S.N., Kuz’min A.F. Uchebnik logiki. Logika. Uchebnik dlya sredney shkoly [Textbook of the Logic. Logic. Textbook for Secondary Schools]. Moscow, Uchpedgiz Publ., 1953, p. 255.
  13. Erenfest P. Reviews of “Algebra of the Logic” by l. Couture. Zhurnal russkogo fiziko-khimicheskogo obshchestva [Journal of Russian Physical and Mathematical Society]. 1910, vol. 42, section 2, no. 10.
  14. Shestakov V.I. Algebra dvupol’nykh skhem, postroennykh isklyuchitel’no iz dvukhpolyusnikov (Algebra A-skhem) [Algebra of Double Circuits Composed Solely of One-port Networks (Algebra of ACircuits)]. Zhurnal teoreticheskoy fi ziki [Journal of Theoretical Physics]. 1941, no. 6, vol. 11, pp. 532—549.
  15. Shestakov V.I. Predstavlenie kharakteristicheskikh funktsiy predlozheniy posredstvom vyrazheniy, realizuemykh releyno-kontaktnymi skhemami [Presentation of Characteristic Functions of Sentences through Expressions Implemented by the Relay Logic]. Izvestiya AN SSSR. Seriya «Matematika». [News Bulletin of the Academy of Sciences of the USSR. Mathematics Series]. 1946, no. 10.
  16. Shannon C. Symbolic Analysis of Relay and Switching Circuits. Trans of Amer. Institute of Electr. Engineers. 1938, vol. 57, pp. 713—723.
  17. Nakasima A. Hanzawa M. Theory of Equivalent Transformation of Simple Partial Paths of Relay Circuits. Nippon Electr. Commun. Engineering. 1938, no. 9, pp. 32 - 39.
  18. Biryukov B.V. Logiko-matematicheskie aspekty teorii avtomatov [Logical and Mathematical Aspects of the Theory of Automatic Machines]. Research reports of institutions of higher education. Filosofskie nauki [Philosophical Sciences]. 1964, no. 5, pp. 44—52.
  19. Galilei Galileo. Dialog o dvukh glavneyshikh sistemakh mira — kopernikovoy i ptolemeevoy [Dialogue about the Two Major Systems of the Universe: Copernican and Ptolomaeus’s Systems]. Moscow – Leningrad, OGIZ Publ., 1948.
  20. Styazhkin N.I. K kharakteristike ranney stadii v razvitii idey matematicheskoy logiki [About the Characteristics of the Early Stage of Development of Ideas of Mathematical Logic]. Filosofskie nauki [Philosophical Sciences], no. 3, 1958, pp. 95—101.
  21. Berkov V.F. Logika [Logic]. TetraSistems Publ., 1997, 480 p.
  22. Kirillov V.I., Starchenko A.A. Logika [Logic]. Moscow, 1982, 262 p.

Download

Results 1 - 1 of 1