| Ivan Efimovitš Orlov | |
|---|---|
| Syntymäaika | 1. lokakuuta ( 25. lokakuuta ) , 1861 |
| Syntymäpaikka | Galich |
| Kuolinpäivämäärä | 1936 |
| Kuoleman paikka | |
| Maa | Venäjän valtakunta, Neuvostoliitto |
| Tieteellinen ala | logiikka , kemia , matematiikan filosofia |
| Alma mater | Moskovan valtionyliopisto |
| Tunnetaan | relevantin logiikan keksijä |
Ivan Efimovich Orlov (1. lokakuuta 1886, Galich - 1936) - venäläinen filosofi, asiaankuuluvan ja muiden alarakennelogiikkojen edeltäjä, parakonsistenssin suunnan pioneeri logiikassa [2] , teollisuuskemisti. Hänen kuolinpäiväänsä ei ole tiedossa, mutta todennäköisimmin ajoittuu vuosille 1936-1937.
I. E. Orlov opiskeli Moskovan yliopiston fysiikan ja matematiikan tiedekunnassa . Hänen akateeminen uransa alkoi vuonna 1916 , kun hän julkaisi useita artikkeleita induktiivisen päättelyn menetelmästä ja matemaattisesta induktiosta lehdessä Questions of Philosophy and Psychology . Seuraavien seitsemän vuoden aikana hän ei julkaissut yhtään teosta: mikä ei ole yllättävää, kun otetaan huomioon maan poliittinen ja sosiaalinen tila. 1920-luvulla hän työskenteli vastaperustetun Kommunistisen Akatemian metodologian osaston luonnon- ja täsmätieteiden osastolla ja palveli myös kemian-farmaseuttisessa instituutissa.
Vuonna 1923 Orlov aloitti uudelleen tieteellisen työn poikkeuksellisella energiolla. Suurin osa hänen artikkeleistaan julkaistiin johtavissa Neuvostoliiton aikakauslehdissä - Under the Banner of Marxism , Krasnaya Nov , Militant Materialist jne. - ja ne olivat tämän seurauksena erittäin ideologisia. Teoksissaan hän perustui matematiikan ja logiikan filosofiaan, erityisesti marxilaiseen dialektiseen logiikkaan. Hänen kiinnostuksen kohteitaan olivat todennäköisyysteoria, relativistinen fysiikka, psykologia, musiikillinen akustiikka ja kemiallinen tekniikka ( potentiometria , titrimetrinen analyysi ).
Hänen yliloogisia kiinnostuksen kohteitaan ja työtään, kiinnostuksen kohteiden kehitystä ja filosofian ja logiikan opiskelun lopettamisen taustalla olevia motiiveja ei valitettavasti tunneta. Koska Orlov liittyi silloisissa keskusteluissa ns. mekanistit , on perusteltu oletus, että hän keskittyi kemialliseen tutkimukseen "mekanismin" ideologisen tappion jälkeen välttääkseen ideologista kritiikkiä ja vainoa.
Myös I. E. Orlovin kuoleman olosuhteet ovat edelleen tuntemattomia. Elokuussa 1938 kirjan "Porausveden suolaliuoksen analyysimenetelmät ja jodin ja bromin tuotannon valvonta" esipuheessa A. P. Snesarev huomauttaa, että kirjoittajalla ei ollut aikaa viimeistellä käsikirjoitusta. I. E. Orlovin viimeinen julkaisu on vuodelta 1935. Tästä voimme päätellä, että todennäköisimmin tiedemies kuoli vuosina 1936-1937, eikä häntä todennäköisesti sorrettu: muuten vuonna 1939 hänen teostensa julkaiseminen Neuvostoliitossa olisi ollut uskomatonta.
Jotkut asiakirjatodisteet viittaavat siihen, että hän kuoli 13. lokakuuta 1936. [3]
Analysoidessaan luonnontieteiden kehitystä I. E. Orlov pyrki paljastamaan niiden erityisen "logiikan". Orlovin mukaan ajattelun lakeja tulisi pitää muodollisina sääntöinä, joihin sovelletaan identiteetin ja ristiriidan lakeja (huomaa, että näiden teosten kirjoittamishetkellä luonnollisen päättelyn, peräkkäisten laskelmien ja semanttisten taulukoiden löytäminen ei ollut vielä tapahtunut) . On tarpeen tutkia semanttista suhdetta edeltävän ja seurauksen välillä. Pääasiallinen "logiikan ristiriita" ilmenee premissin ja vaikutuksen välisessä yhteydessä, ja jos väitämme, että vaikutus on oletuksen välttämätön ehto, niin Orlovin mukaan syntyy väistämättä tarve epäsovinnaiselle, ei-aristoteeliselle. logiikka, luonteeltaan dialektinen.
Ainoa I. E. Orlovin teos, joka on täysin toteutettu matemaattisen logiikan hengessä ilman ideologista kehystä, - "Laukkeiden yhteensopivuuden laskeminen", - julkaistiin vuonna 1928 " Mathematical Collectionissa ", jossa julkaistiin johtavat kotimaiset matemaatikot. Yrittääkseen aksiomatisoida merkityksellisyyden ajatuksen hän oli ensimmäinen maailmassa, joka yritti yhdistää intuitionistisen logiikan modaalilogiikkaan (Popov, 1986, s. 97) lisäämällä alkuperäiseen lauseen yhteensopivuuslaskentaan tyypillisen välttämättömyysoperaattorin. modaalinen järjestelmä S4.
Orlov toimii pohjimmiltaan intensiaalisen konjunktion ja intensionaalisen disjunktion kanssa, vaikka hänen artikkelinsa käsittelee suoraan implikaatiota ja negaatiota. Orlov pyrkii säilyttämään syrjäytyneen keskikohdan lain , vaikka hän arvioi työtään joidenkin intuitionismin kannattajien käyttöön ottamien tekniikoiden ja menetelmien tietyksi kehitykseksi . Hän analysoi huolellisesti L. Brouwerin teoksia ja yrittää ymmärtää J. Peanon , A. Whiteheadin , B. Russellin ja W. Ackermanin tulkinnan implikaatiosta . K. Doshen huomauttaa:
" Relevanttisen logiikan aksiomatisointi ilmestyi samaan aikaan, kun ehdotettiin intuitionistisen logiikan aksiomatisointia... Mutta tämä ei ole Orlovin ainoa saavutus. Se ennakoi myös intuitionistisen negaation omaavien järjestelmien modaalista uppoamista S4-tyyppisiin järjestelmiin, joissa on klassinen negaatio (modaalinen immersio ymmärretään upotukseksi, joka asettaa välttämättömyysoperaattorin ei-modaalisten kaavojen osakaavojen eteen)... Orlov tuli lähelle rakentamista S4-järjestelmissä, mutta lisäsi vastaavat postulaatit asiaankuuluvaan logiikkaan, ei klassiseen logiikkaan ” [4] .
Siten Orlov ennakoi Kurt Gödelin vuoden 1933 ja ennen kaikkea Oskar Beckerin vuoden 1930 työtä, jolle itse asiassa S4-järjestelmän rakentamisen ansiot luetaan (ks. ibid. s. 349).
I. E. Orlov rakentaa laskunsa seuraaville aksioomille:
a → ¬¬a (aksiooma 1);
¬¬a → a (Aksiooma 2);
a → a•a, missä a•a = ¬(a → ¬a) (Aksiooma 3);
41 (a → b) → (¬b → ¬a) (Aksiooma 4);
{a → (b → c)} → {b → (a → c)} (Aksiooma 5);
(a → c) → {(a → b) → (a → c)} (Aksiooma 6).
Aksiooman 7, jonka Orlov esittelee (Orlov, 1928 a. s. 266), hän ei pidä "muodollisina": " aksioomit, samoin kuin aksioomista johdetut lauseet, voidaan jättää pois symbolisista kaavoista, jos ne toimivat minkä tahansa johtopäätöksen premissinä ". itse asiassa tämä aksiooma vastaa modus ponens -sääntöä .
Keskustelemalla intuitionismin ideasta Orlov esittelee "todistettavuus"-operaattorin, jota merkitään Ф(а), ja laajentaa aksioomien luetteloa:
F(a) → a (Aksiooma 8); Ф(а) → Ф(Ф(а)) (Aksiooma 9);
Ф(а → b) → {Ф(а) → Ф(b)} (Aksiooma 10).
Tässä hän olennaisesti muotoilee järjestelmän S4. Hän päättelee, että lauseiden yhteensopivuuslaskennan avulla voidaan suorittaa operaatioita ei vain suoraan lauseille a, b, c…, vaan myös niiden funktioille, jotka ovat tyyppiä Ф(а).
"Näiden funktioiden sisällyttäminen klassiseen matemaattiseen logiikkaan on mahdotonta", huomauttaa Orlov, "koska "seuraa" -käsitteen tulkinta aineelliseksi johtopäätökseksi riistää kaikki ilmaukset, jotka on todistettu käyttöön ottamillemme funktioille ... ja kun rakennetaan transfiniittisten johtopäätösten kaavioita, ei olisi muuta tapaa kuin " tertium non datur " -lausekkeen negaatio (ibid., s. 286).
Hyvin luonnollinen tulkinta Orlovin ideoista ja niiden alkuperähistoriasta saavutetaan alirakennelogiikassa, mukaan lukien intuitionistinen, relevantti, lineaarinen jne. logiikka. Kaikki nämä logiikat saadaan rajoittamalla Gentzenin luonnollisen päättelyjärjestelmän rakenteellisia sääntöjä .
Ilmeisesti ensimmäistä kertaa I. E. Orlova kiinnitti huomion A. A. Zinovjevin loogisiin ideoihin vuonna 1962 , kun vastaavat ideat olivat jo ilmaisseet itsenäisesti muut ajattelijat (esimerkiksi Alonzo Churchin " lambda -laskennan " teoria , 1951) . Samalla on syytä huomata, että ainakin on todisteita siitä, että Alonzo Church tunsi I. E. Popovin teokset ja jopa arvioi joitakin hänen artikkeleistaan [5] . Neuvostoliitossa näiden ajatusten ja relevantin logiikan välisen yhteyden toi ensimmäisenä vuonna 1978 V. M. Popov (Popov, 1978, s. 118; katso myös: Popov, 1986).
Orlov väitteli ankarasti leninis-marxilaisista kannoista Georg Kantorin joukkoteorian , Einsteinin suhteellisuusteorian ( eetteriteorian kannattajana ) ja A. L. Chizhevskyn heliobiologian kanssa . Hänen kiistansa A. N. Shchukarevin kanssa aloitti myöhempien keskustelujen "tekoälystä" [6] .
Noin 1928 Orlov lopetti logiikan ja filosofian julkaisun. Hän keskittyi erityisiin tieteellisiin ongelmiin: kemian teolliseen käyttöön, erityisesti bromin ja jodin tuotantoon. Hän käänsi myös E. Müllerin, F. Hahnin, O. Tomichekin saksalaisia kemian teoksia venäjäksi.