| Ivan Efimovici Orlov | |
|---|---|
| Data nașterii | 1 octombrie ( 25 octombrie ) 1861 |
| Locul nașterii | Galich |
| Data mortii | 1936 |
| Un loc al morții | |
| Țară | Imperiul Rus, URSS |
| Sfera științifică | logica , chimia , filosofia matematicii |
| Alma Mater | Universitatea de Stat din Moscova |
| Cunoscut ca | inventator al logicii relevante |
Ivan Efimovici Orlov (1 octombrie 1886, Galich - 1936) - filozof rus, predecesor al relevante și al altor logici substructurale , pionier al direcției paraconsistente în logică [2] , chimist industrial. Data morții sale este necunoscută, dar cel mai probabil datează din 1936-1937.
I. E. Orlov a studiat la Facultatea de Fizică și Matematică a Universității din Moscova . Cariera sa academică a început în 1916 odată cu publicarea mai multor articole despre metoda raționamentului inductiv și inducția matematică în revista Questions of Philosophy and Psychology . În următorii șapte ani, nu a publicat o singură lucrare: ceea ce nu este surprinzător, având în vedere starea politică și socială a țării. În anii 1920, a colaborat la secția de Științe ale Naturii și Exacte a Departamentului de Metodologie de la nou-înființata Academie Comunistă și a slujit și la institutul chimic-farmaceutic.
În 1923, Orlov a reluat activitatea științifică cu o energie extraordinară. Majoritatea articolelor sale au fost publicate în principalele reviste sovietice - Under the Banner of Marxism , Krasnaya Nov , Militant Materialist etc. - fiind, ca urmare, extrem de ideologizate. În lucrările sale, el s-a bazat pe filozofia matematicii și a logicii, în special, pe logica dialectică marxistă. Domeniile sale de interes au fost teoria probabilității, fizica relativistă, psihologia, acustica muzicală și tehnologia chimică ( potențiometrie , analiză titrimetrică ).
Interesele și lucrările sale extralogice, evoluția intereselor sale și motivele din spatele deciziei de a opri studiul filosofiei și logicii sunt, din păcate, necunoscute. Întrucât în discuțiile din acea vreme, Orlov s-a alăturat așa-zisului. mecanici , este o presupunere rezonabilă că s-a concentrat pe cercetarea chimică după înfrângerea ideologică a „mecanismului” pentru a evita critica ideologică și persecuția.
De asemenea, împrejurările morții lui I. E. Orlov rămân necunoscute. În prefața cărții „Metode de analiză a saramurii apei de foraj și controlul producției de iod și brom” din august 1938, A.P. Snesarev notează că autorul nu a avut timp să finalizeze lucrarea la manuscris. Ultima publicație a lui I. E. Orlov datează din 1935. De aici putem trage concluzia că, cel mai probabil, omul de știință a murit în 1936-1937 și, cel mai probabil, nu a fost supus represiunii: altfel, în 1939, publicarea lucrărilor sale în URSS ar fi fost incredibilă.
Unele dovezi documentare sugerează că a murit la 13 octombrie 1936. [3]
Analizând dezvoltarea științelor naturii, I. E. Orlov a căutat să dezvăluie „logica” lor specifică. Potrivit lui Orlov, legile gândirii ar trebui considerate drept reguli formale supuse legilor identității și contradicției (rețineți că la momentul scrierii acestor lucrări, descoperirea inferenței naturale, a calculului secvent și a tabelelor semantice nu avusese loc încă) . Este necesar să se investigheze relația semantică dintre antecedent și consecvent. Principala „contradicție a logicii” se manifestă în legătura dintre premisă și efect, iar dacă insistăm că efectul este o condiție necesară pentru premisă, atunci, potrivit lui Orlov, apare inevitabil necesitatea unei neconvenționale, non-aristotelice. logic, de natură dialectică.
Singura lucrare a lui I.E. Orlov, executată complet în spiritul logicii matematice fără un cadru ideologic, - „Calculul compatibilității propozițiilor”, - a fost publicată în 1928 în „ Colecția matematică ”, unde au fost publicate principalii matematicieni autohtoni. În încercarea sa de a axiomatiza ideea de relevanță, el a fost primul din lume care a încercat să lege logica intuiționistă cu logica modală (Popov, 1986, p. 97) adăugând la calculul original de compatibilitate a propoziției un operator de necesitate tipic pentru sistemul modal S4.
Orlov operează în esență cu conjuncție și disjuncție intensională, deși articolul său se ocupă direct de implicare și negație. Orlov se străduiește să păstreze legea mijlocului exclus , deși își evaluează opera ca pe o anumită dezvoltare a unor tehnici și metode introduse de susținătorii intuiționismului . El analizează cu atenție lucrările lui L. Brouwer și încearcă să înțeleagă interpretarea implicației de către J. Peano , A. Whitehead , B. Russell și W. Ackerman. K. Doshen remarcă:
„ Axiomatizarea logicii relevante a apărut în același timp când a fost propusă axiomatizarea logicii intuiționiste... Dar aceasta nu este singura realizare a lui Orlov. De asemenea, anticipează imersiunea modală a sistemelor cu negație intuiționistă în sisteme de tip S4 cu negație clasică (imersia modală este înțeleasă ca o imersiune care plasează un operator de necesitate în fața subformulelor de formule non-modale)... Orlov a fost aproape de a construi Sistemele S4, dar au adăugat postulatele corespunzătoare la logica relevantă, și nu logica clasică ” [4] .
Astfel, Orlov anticipează opera lui Kurt Gödel din 1933 și, cel mai important, a lui Oskar Becker din 1930, căruia i se atribuie, de fapt, meritul construirii sistemului S4 (vezi: ibid. P. 349).
I. E. Orlov își construiește calculul pe următoarele axiome:
a → ¬¬a (Axioma 1);
¬¬a → a (Axioma 2);
a → a•a, unde a•a = ¬(a → ¬a) (Axioma 3);
41 (a → b) → (¬b → ¬a) (Axioma 4);
{a → (b → c)} → {b → (a → c)} (Axioma 5);
(a → c) → {(a → b) → (a → c)} (Axioma 6).
Axioma 7, pe care Orlov o introduce (Orlov, 1928 a. p. 266), nu o consideră „formală”: „ axiomele, precum și propozițiile derivate din axiome, pot fi omise în formulele simbolice dacă servesc drept premise ale oricăror concluzii ”, în de fapt, această axiomă este echivalentă cu regula modus ponens .
Discutând ideea de intuiționism, Orlov introduce operatorul „demonstrabilitatea”, notat ca Ф(а), și extinde lista de axiome:
F(a) → a (Axioma 8); Ф(а) → Ф(Ф(а)) (Axioma 9);
Ф(а → b) → {Ф(а) → Ф(b)} (Axioma 10).
Aici el formulează în esență sistemul S4. El concluzionează că calculul compatibilității propozițiilor permite efectuarea de operații nu numai direct asupra propozițiilor a, b, c…, ci și asupra funcțiilor acestora de tipul Ф(а).
„Introducerea acestor funcții în logica matematică clasică”, notează Orlov, „este imposibilă, deoarece interpretarea conceptului de „urmare” ca concluzie materială privează toate expresiile care au fost dovedite pentru funcțiile pe care le-am introdus... și atunci când construim scheme de concluzii transfinite, nu ar exista altă cale decât ca o negație a „ tertium non datur ” (ibid., p. 286).
O interpretare foarte firească a ideilor lui Orlov și a istoriei originii lor se realizează în logica substructurală, inclusiv în logica intuiționistă, relevantă, liniară etc. Toate aceste logici sunt obținute prin restrângerea regulilor structurale din sistemul de inferență naturală al lui Gentzen .
Aparent, pentru prima dată, I. E. Orlova a atras atenția asupra ideilor logice în 1962 de către A. A. Zinoviev , când ideile corespunzătoare fuseseră deja exprimate independent de alți gânditori (de exemplu, teoria „ calcului lambda ” de Alonzo Church , 1951) . În același timp, este de remarcat faptul că, cel puțin, există dovezi că Alonzo Church era familiarizat cu lucrările lui I. E. Popov și chiar a revizuit unele dintre articolele sale [5] . În URSS, legătura dintre aceste idei și logica relevantă a fost semnalată pentru prima dată în 1978 de V. M. Popov (Popov, 1978, p. 118; vezi și: Popov, 1986).
Orlov a argumentat dur din pozițiile leninist-marxiste cu teoria mulțimilor a lui Georg Kantor , teoria relativității a lui Einstein ( fiind un susținător al teoriei eterului ) și heliobiologia lui A. L. Chizhevsky . Controversa sa cu A. N. Shchukarev a fost un prevestitor al discuțiilor ulterioare despre „inteligența artificială” [6] .
În jurul anului 1928, Orlov a încetat să mai publice lucrări despre logică și filozofie. El și-a concentrat eforturile pe probleme științifice specifice: utilizarea industrială a chimiei, în special producția de brom și iod. De asemenea, a tradus în rusă lucrările germane ale lui E. Müller, F. Hahn, O. Tomichek despre chimie.