| Ivan Efimovics Orlov | |
|---|---|
| Születési dátum | 1861. október 1. (október 25. ) . |
| Születési hely | Galich |
| Halál dátuma | 1936 |
| A halál helye | |
| Ország | Orosz Birodalom, Szovjetunió |
| Tudományos szféra | logika , kémia , matematika filozófia |
| alma Mater | Moszkvai Állami Egyetem |
| Ismert, mint | releváns logika feltalálója |
Ivan Efimovich Orlov (1886. október 1., Galich - 1936) - orosz filozófus, a vonatkozó más szubstrukturális logikák elődje, a logika irányának úttörője [2] , ipari vegyész. Halálának dátuma nem ismert, de valószínűleg 1936-1937-re nyúlik vissza.
I. E. Orlov a Moszkvai Egyetem Fizikai és Matematikai Karán tanult . Tudományos pályafutása 1916-ban kezdődött, amikor a Questions of Philosophy and Psychology folyóiratban számos cikket publikált az induktív gondolkodás módszeréről és a matematikai indukcióról . A következő hét évben egyetlen művet sem jelentetett meg: ami az ország politikai és társadalmi helyzetét tekintve nem meglepő. Az 1920-as években az újonnan alakult Kommunista Akadémia Módszertani Tanszékének Természettudományi és Exact Sciences szekciójában dolgozott , és a vegyi-gyógyszerészeti intézetben is szolgált.
1923-ban Orlov rendkívüli lendülettel folytatta a tudományos munkát. Cikkeinek nagy része a vezető szovjet folyóiratokban jelent meg - A marxizmus zászlaja alatt , a Krasznaja nov , a Militáns Materialista stb. -, amelyek ennek következtében rendkívül ideologizáltak. Műveiben a matematika és a logika filozófiájára, különösen a marxista dialektikus logikára támaszkodott. Érdeklődési területei a valószínűségszámítás, a relativisztikus fizika, a pszichológia, a zenei akusztika és a kémiai technológia ( potenciometria , titrimetriás elemzés ) voltak.
Logikán kívüli érdeklődési köre és munkája, érdeklődési körének alakulása, valamint a filozófia és logika tanulmányozásának abbahagyása mögött meghúzódó okok sajnos ismeretlenek. Mivel az akkori megbeszéléseken Orlov csatlakozott az ún. mechanikusok , ésszerű feltételezés, hogy a „mechanizmus” ideológiai veresége után a kémiai kutatásra összpontosított, hogy elkerülje az ideológiai kritikát és üldözést.
I. E. Orlov halálának körülményei szintén ismeretlenek. 1938 augusztusában "A fúróvíz sóoldatának elemzési módszerei és a jód- és brómtermelés szabályozása" című könyv előszavában A. P. Snesarev megjegyzi, hogy a szerzőnek nem volt ideje befejezni a kéziraton. I. E. Orlov utolsó publikációja 1935-ből származik. Ebből arra következtethetünk, hogy a tudós nagy valószínűséggel 1936-1937-ben halt meg, és valószínűleg nem volt kitéve elnyomásnak: különben 1939-ben munkáinak megjelentetése a Szovjetunióban hihetetlen lett volna.
Néhány okirati bizonyíték arra utal, hogy 1936. október 13-án halt meg. [3]
A természettudományok fejlődését elemezve I. E. Orlov sajátos „logikájuk” feltárására törekedett. Orlov szerint a gondolkodás törvényeit formális szabályoknak kell tekinteni, amelyekre az azonosság és az ellentmondás törvényei vonatkoznak (megjegyzendő, hogy e művek írásakor a természetes következtetés, a szekvenciális számítások és a szemantikai táblázatok felfedezése még nem történt meg) . Meg kell vizsgálni az előzmény és a következmény közötti szemantikai kapcsolatot. A fő „logikai ellentmondás” az előfeltevés és a hatás összefüggésében nyilvánul meg, és ha ragaszkodunk ahhoz, hogy a hatás az előfeltevés szükséges feltétele, akkor Orlov szerint elkerülhetetlenül felmerül a nem konvencionális, nem arisztotelészi igény. logika, dialektikus jellegű.
I. E. Orlov egyetlen, teljesen a matematikai logika szellemében, ideológiai keret nélkül kivitelezett munkája - "A mondatok összeegyeztethetőségének számítása" - 1928-ban jelent meg a " Matetikai Gyűjteményben ", ahol a vezető hazai matematikusok jelentek meg. A relevancia gondolatának axiomatizálására tett kísérlete során ő volt a világon az első, aki megpróbálta összekapcsolni az intuicionista logikát a modális logikával (Popov, 1986, 97. o.) azáltal, hogy az eredeti mondatkompatibilitási kalkulushoz hozzáadott egy, a mondatra jellemző szükségszerűségi operátort. az S4 modális rendszer.
Orlov lényegében az intenzív konjunkcióval és az intenzionális diszjunkcióval operál, bár cikke közvetlenül foglalkozik az implikációval és a tagadással. Orlov a kirekesztett közép törvényének megőrzésére törekszik , bár munkáját az intuíció hívei által bevezetett technikák és módszerek bizonyos továbbfejlesztéseként értékeli . Gondosan elemzi L. Brouwer műveit, és megpróbálja megérteni J. Peano , A. Whitehead , B. Russell és W. Ackerman implikációjának értelmezését. K. Doshen megjegyzi:
„A releváns logika axiomatizálása egy időben jelent meg, amikor az intuíciós logika axiomatizálását javasolták... De nem ez az egyetlen Orlov vívmánya. Előrevetíti az intuíciós tagadással rendelkező rendszerek modális bemerülését is S4-típusú rendszerekbe, klasszikus negációval (a modális merítés alatt olyan merítést értünk, amely egy szükségszerűségi operátort helyez a nem modális képletek részképletei elé)... Orlov közel került a megkonstruáláshoz. S4 rendszereket, de hozzáadta a megfelelő posztulátumokat a megfelelő logikához, és nem a klasszikus logikához ” [4] .
Így Orlov előrevetíti Kurt Gödel 1933-as és legfőképpen Oskar Becker 1930-as munkásságát, akinek tulajdonképpen az S4 rendszer megalkotásának érdemét tulajdonítják (lásd: uo. 349. o.).
I. E. Orlov a számítását a következő axiómákra építi:
a → ¬¬a (1. axióma);
¬¬a → a (2. axióma);
a → a•a, ahol a•a = ¬(a → ¬a) (3. axióma);
41 (a → b) → (¬b → ¬a) (4. axióma);
{a → (b → c)} → {b → (a → c)} (5. axióma);
(a → c) → {(a → b) → (a → c)} (6. axióma).
A 7. axiómát, amelyet Orlov bevezet (Orlov, 1928 a. 266. o.), nem tekinti „formálisnak”: „ az axiómák, valamint az axiómákból származó mondatok kihagyhatók a szimbolikus formulákból, ha bármely következtetés premisszáiként szolgálnak ”. Valójában ez az axióma egyenértékű a modus ponens szabállyal .
Az intuitionizmus gondolatát tárgyalva Orlov bevezeti a "bizonyíthatóság" operátort, amelyet Ф(а) jelölünk, és kibővíti az axiómák listáját:
F(a) → a (8. axióma); Ф(а) → Ф(Ф(а)) (9. axióma);
Ф(а → b) → {Ф(а) → Ф(b)} (10. axióma).
Lényegében itt fogalmazza meg az S4 rendszert. Arra a következtetésre jut, hogy a mondatkompatibilitási kalkulus lehetővé teszi, hogy ne csak közvetlenül az a, b, c… mondatokon végezzünk műveleteket, hanem azok Ф(а) típusú funkcióival is.
„Ezeknek a függvényeknek a klasszikus matematikai logikába való beemelése lehetetlen – jegyzi meg Orlov –, mivel a „követés” fogalmának lényegi következtetésként való értelmezése megfoszt minden olyan kifejezést, amelyet az általunk bevezetett függvényekre bebizonyítottak... és a transzfinit következtetések sémáinak megalkotásakor nem lenne más út, mint a „ tertium non datur ” tagadása (uo. 286. o.).
Orlov eszméinek és keletkezéstörténetének nagyon természetes értelmezése a szubstrukturális logikákban valósul meg, beleértve az intuíciós, releváns, lineáris stb. logikákat. Mindezeket a logikákat úgy kapjuk meg, hogy korlátozzuk a strukturális szabályokat Gentzen természetes következtetési rendszerében .
Nyilvánvalóan I. E. Orlova először 1962-ben hívta fel a figyelmet A. A. Zinovjev logikai gondolataira , amikor a megfelelő gondolatokat már más gondolkodók önállóan is megfogalmazták (például Alonzo Church „ lambda-számítás ” elmélete , 1951). . Ugyanakkor érdemes megjegyezni, hogy legalábbis bizonyítékok vannak arra vonatkozóan, hogy Alonzo Church ismerte I. E. Popov műveit, sőt néhány cikket át is nézett [5] . A Szovjetunióban ezen elképzelések és a releváns logika közötti összefüggésre először V. M. Popov mutatott rá 1978-ban (Popov, 1978, 118. o.; lásd még: Popov, 1986).
Orlov keményen érvelt a lenini-marxista álláspontról Georg Kantor halmazelméletével , Einstein relativitáselméletével (lévén az éterelmélet támogatója ) és A. L. Chizhevsky heliobiológiájával . Az A. N. Shchukarevvel folytatott vitája előfutára volt a "mesterséges intelligenciáról" szóló későbbi vitáknak [6] .
1928 körül Orlov abbahagyta a logikai és filozófiai munkák publikálását. Erőfeszítéseit konkrét tudományos problémákra összpontosította: a kémia ipari felhasználására, különösen a bróm és jód előállítására. E. Müller, F. Hahn, O. Tomichek kémiáról szóló német műveit is lefordította oroszra.