Orlov, Ivan Efimovič

Ivan Jefimovič Orlov
Datum narození 1. října ( 25. října ) 1861( 1861-10-25 )
Místo narození Galich
Datum úmrtí 1936( 1936 )
Místo smrti
Země Ruské impérium, SSSR
Vědecká sféra logika , chemie , filozofie matematiky
Alma mater Moskevská státní univerzita
Známý jako vynálezce příslušné logiky

Ivan Efimovič Orlov (1. října 1886, Galich  - 1936) - ruský filozof, předchůdce příslušné a dalších substrukturálních logik , průkopník parakonzistentního směru v logice [2] , průmyslový chemik. Datum jeho smrti není známo, ale s největší pravděpodobností se datuje do let 1936-1937.

Vzdělání a vědecká kariéra

I. E. Orlov studoval na Fakultě fyziky a matematiky Moskevské univerzity . Jeho akademická kariéra začala v roce 1916 publikací několika článků o metodě induktivního uvažování a matematické indukce v časopise Questions of Philosophy and Psychology . V následujících sedmi letech nevydal jediné dílo: což není vzhledem k politickému a sociálnímu stavu země překvapivé. Ve 20. letech spolupracoval v sekci přírodních a exaktních věd na metodickém oddělení nově založené Komunistické akademie a působil také v chemicko-farmaceutickém ústavu.

V roce 1923 Orlov obnovil vědeckou práci s mimořádnou energií. Většina jeho článků byla publikována v předních sovětských časopisech - Pod praporem marxismu , Krasnaja Nov , Militantní materialista atd. - v důsledku toho byly extrémně ideologizovány. Ve svých dílech vycházel z filozofie matematiky a logiky, zejména z marxistické dialektické logiky. Oblastí jeho zájmu byla teorie pravděpodobnosti, relativistická fyzika, psychologie, hudební akustika a chemická technologie ( potenciometrie , titrimetrická analýza ).

Jeho extralogické zájmy a práce, vývoj jeho zájmů a motivy rozhodnutí přestat studovat filozofii a logiku jsou bohužel neznámé. Vzhledem k tomu, že v diskusích té doby, Orlov sousedil s t . zv . mechanistů , je rozumný předpoklad, že se po ideologické porážce „mechanismu“ zaměřil na chemický výzkum, aby se vyhnul ideologické kritice a perzekuci.

Neznámé zůstávají i okolnosti smrti I. E. Orlova. V předmluvě ke knize "Metody analýzy vrtné vody solanky a řízení výroby jódu a bromu" v srpnu 1938 A.P. Snesarev poznamenává, že autor nestihl dokončit práci na rukopisu. Poslední publikace I. E. Orlova pochází z roku 1935. Z toho můžeme usoudit, že vědec s největší pravděpodobností zemřel v letech 1936-1937 a s největší pravděpodobností nebyl vystaven represím: jinak by v roce 1939 bylo zveřejnění jeho děl v SSSR neuvěřitelné.

Některé listinné důkazy naznačují, že zemřel 13. října 1936. [3]

Logika

Rozborem vývoje přírodních věd se I. E. Orlov snažil odhalit jejich specifickou „logiku“. Podle Orlova by zákony myšlení měly být považovány za formální pravidla podléhající zákonům identity a rozporu (všimněte si, že v době psaní těchto prací ještě nedošlo k objevu přirozené inference, sekvenčního počtu a sémantických tabulek) . Je nutné prozkoumat sémantický vztah mezi předchůdcem a následkem. Hlavní „rozpor logiky“ se projevuje ve spojení premisy a efektu, a pokud trváme na tom, že efekt je nezbytnou podmínkou pro premisu, pak podle Orlova nevyhnutelně vyvstává potřeba nekonvenčního, nearistotelského logiky, dialektické povahy.

Výrokový konzistenční počet, relevantní logika, substrukturální logiky

Jediné dílo I.E. Orlova, zcela provedené v duchu matematické logiky bez ideologického rámce, - "Výpočet slučitelnosti vět", - bylo publikováno v roce 1928 v " Matematické sbírce ", kde vycházeli přední domácí matematici. Ve svém pokusu axiomatizovat myšlenku relevance se jako první na světě pokusil propojit intuicionistickou logiku s modální logikou (Popov, 1986, s. 97) tím, že k původnímu kalkulu kompatibility vět přidal operátor nutnosti typický pro modální systém S4.

Orlov v podstatě operuje s intenzionální konjunkcí a intenzionální disjunkcí, i když jeho článek se přímo zabývá implikací a negací. Orlov usiluje o zachování zákona vyloučeného středu , i když svou práci hodnotí jako určitý rozvoj některých technik a metod zaváděných příznivci intuicionismu . Pečlivě analyzuje díla L. Brouwera a snaží se pochopit interpretaci implikace J. Peana , A. Whiteheada , B. Russella a W. Ackermana. K. Doshen poznamenává:

„ Axiomatizace relevantní logiky se objevila ve stejné době, kdy byla navržena axiomatizace intuicionistické logiky... Ale to není jediný Orlovův úspěch. Předjímá také modální ponoření systémů s intuicionistickou negací do systémů typu S4 s klasickou negací (modální imerze je chápána jako ponoření, které před podformule nemodálních vzorců staví operátor nutnosti)... Orlov se přiblížil konstrukci S4 systémy, ale přidal odpovídající postuláty k příslušné logice, a nikoli klasické logice “ [4] .

Orlov tak předjímá práci Kurta Gödela z roku 1933 a především Oskara Beckera z roku 1930, jemuž je ve skutečnosti připisována zásluha o vybudování systému S4 (viz: tamtéž str. 349).

I. E. Orlov staví svůj kalkul na následujících axiomech:

a → ¬¬a (Axiom 1);

¬¬a → a (Axiom 2);

a → a•a, kde a•a = ¬(a → ¬a) (Axiom 3);

41 (a → b) → (¬b → ¬a) (Axiom 4);

{a → (b → c)} → {b → (a → c)} (Axiom 5);

(a → c) → {(a → b) → (a → c)} (Axiom 6).

Axiom 7, který Orlov zavádí (Orlov, 1928 a. s. 266), nepovažuje za „formální“: „ axiomy, stejně jako věty z axiomů odvozené, lze v symbolických vzorcích vynechat, pokud slouží jako premisy jakýchkoli závěrů “, v ve skutečnosti je tento axiom ekvivalentní pravidlu modus ponens .

V diskusi o myšlence intuicionismu Orlov zavádí operátor „prokazatelnosti“, označovaný jako Ф(а), a rozšiřuje seznam axiomů:

F(a) → a (Axiom 8); Ф(а) → Ф(Ф(а)) (Axiom 9);

Ф(а → b) → {Ф(а) → Ф(b)} (Axiom 10).

Právě zde v podstatě formuluje systém S4. Dochází k závěru, že kalkul kompatibility vět umožňuje provádět operace nejen přímo s větami a, b, c…, ale také s jejich funkcemi typu Ф(а).

„Zavedení těchto funkcí do klasické matematické logiky,“ poznamenává Orlov, „je nemožné, protože výklad pojmu „následovat“ jako věcného závěru zbavuje všechny výrazy, které byly prokázány pro funkce, které jsme zavedli... a při konstrukci schémat transfinitních závěrů by nebylo jiné cesty než jako negace „ tertium non datur “ (tamtéž, s. 286).

Velmi přirozené interpretace Orlovových myšlenek a historie jejich vzniku je dosaženo v substrukturální logice, včetně logiky intuicionistické, relevantní, lineární atd.. Všechny tyto logiky jsou získány omezením strukturálních pravidel v Gentzenově systému přirozeného vyvozování .

Zřejmě poprvé I. E. Orlová upozornila na logické myšlenky v roce 1962 A. A. Zinovievem , kdy příslušné myšlenky již byly nezávisle vyjádřeny jinými mysliteli (například teorie „ lambda kalkulu “ od Alonza Churche , 1951) . Zároveň stojí za zmínku, že přinejmenším existují důkazy, že Alonzo Church znal díla I. E. Popova a některé jeho články dokonce recenzoval [5] . V SSSR na souvislost mezi těmito myšlenkami a příslušnou logikou poprvé poukázal v roce 1978 V. M. Popov (Popov, 1978, s. 118; viz též: Popov, 1986).

Orlov tvrdě argumentoval z leninsko-marxistických pozic teorií množin Georga Kantora , Einsteinovou teorií relativity (který byl zastáncem teorie éteru ) a heliobiologií A. L. Čiževského . Jeho polemika s A. N. Shchukarevem byla předzvěstí následných diskusí o „umělé inteligenci“ [6] .

Chemické technologie

Kolem roku 1928 Orlov přestal publikovat práce o logice a filozofii. Své úsilí soustředil na konkrétní vědecké problémy: průmyslové využití chemie, zejména výrobu bromu a jódu. Přeložil také německá díla E. Müllera, F. Hahna, O. Tomichka o chemii do ruštiny.

Bibliografie

1914

1916

1923

1924

1925

1926

1928

1931

1933

1934

1935

1939

Poznámky

  1. ↑ https://iphlib.ru/library/collection/newphilenc/document/HASHad66bc6a4897ad1de87aad
  2. ↑ Alves E. První axiomatizace parakonzistentní logiky // Bulletin sekce logiky: časopis. - 1992. - T. 21 . - S. 19-20 .
  3. ↑ Povarov G.N., Biryukov B.V. Orlov Ivan Efimovič  (ruština)  // Nová filozofická encyklopedie: kniha. - 2000. - T. 3 . - S. 165 .
  4. ↑ Došen K. První axiomatizace relevantní logiky  //  Journal of Philosophical Logic : journal. - 1992. - T. 21 . - S. 339-340 .
  5. ↑ Evgeny Loginov. Kde jsou sovětští mudrci? . Filosofická kavárna (23. 4. 2017). Staženo 16. 5. 2017. Archivováno z originálu 1. 5. 2017.
  6. ↑ Shuranov, Biryukov, 1998 .

Literatura