| Ivan Efimovich Orlov | |
|---|---|
| Födelsedatum | 1 oktober ( 25 oktober ) 1861 |
| Födelseort | Galich |
| Dödsdatum | 1936 |
| En plats för döden | |
| Land | Ryska imperiet, Sovjetunionen |
| Vetenskaplig sfär | logik , kemi , matematikfilosofi |
| Alma mater | Moscow State University |
| Känd som | uppfinnare av relevant logik |
Ivan Efimovich Orlov (1 oktober 1886, Galich - 1936) - Rysk filosof, föregångare till den relevanta och andra substrukturella logiker , pionjär inom den parakonsekventa riktningen inom logik [2] , industriell kemist. Datumet för hans död är okänt, men går troligen tillbaka till 1936-1937.
I. E. Orlov studerade vid fakulteten för fysik och matematik vid Moskvas universitet . Hans akademiska karriär började 1916 med publiceringen av flera artiklar om metoden för induktivt resonemang och matematisk induktion i tidskriften Questions of Philosophy and Psychology . Under de kommande sju åren publicerade han inte ett enda verk: vilket inte är förvånande med tanke på landets politiska och sociala tillstånd. På 1920-talet samarbetade han i sektionen för naturvetenskap och exakta vetenskaper på metodavdelningen vid den nyinrättade kommunistiska akademin och tjänstgjorde även vid det kemisk-farmaceutiska institutet.
1923 återupptog Orlov det vetenskapliga arbetet med extraordinär energi. De flesta av hans artiklar publicerades i de ledande sovjetiska tidskrifterna - Under marxismens fana , Krasnaya Nov , Militant Materialist, etc. - och var som ett resultat extremt ideologiserade. I sina verk baserade han sig på matematikens och logikens filosofi, i synnerhet på marxistisk dialektisk logik. Hans intresseområden var sannolikhetsteori, relativistisk fysik, psykologi, musikalisk akustik och kemisk teknologi ( potentiometri , titrimetrisk analys ).
Hans extralogiska intressen och arbete, utvecklingen av hans intressen och motiven bakom beslutet att sluta studera filosofi och logik är tyvärr okända. Sedan i diskussionerna på den tiden anslöt sig Orlov till den sk. mekanister är det ett rimligt antagande att han fokuserade på kemisk forskning efter "mekanismens" ideologiska nederlag för att undvika ideologisk kritik och förföljelse.
Omständigheterna kring I. E. Orlovs död är också okända. I förordet till boken "Metoder för analys av borrvattensaltlösning och kontroll av produktionen av jod och brom" i augusti 1938, noterar A.P. Snesarev att författaren inte hade tid att slutföra arbetet med manuskriptet. Den sista publikationen av I. E. Orlov går tillbaka till 1935. Av detta kan vi dra slutsatsen att vetenskapsmannen troligen dog 1936-1937, och troligen var han inte utsatt för förtryck: annars, 1939, skulle publiceringen av hans verk i Sovjetunionen ha varit otrolig.
Vissa dokumentära bevis tyder på att han dog den 13 oktober 1936. [3]
Genom att analysera utvecklingen av naturvetenskaperna, försökte I. E. Orlov avslöja deras specifika "logik". Enligt Orlov bör tankelagarna betraktas som formella regler som är föremål för lagen om identitet och motsägelse (observera att vid tidpunkten för dessa verk hade upptäckten av naturlig slutledning, efterföljande kalkyl och semantiska tabeller ännu inte ägt rum) . Det är nödvändigt att undersöka det semantiska sambandet mellan antecedent och konsekvent. Den huvudsakliga "logikens motsägelse" manifesteras i sambandet mellan premiss och effekt, och om vi insisterar på att effekten är en nödvändig förutsättning för premissen, så uppstår, enligt Orlov, oundvikligen behovet av en okonventionell, icke-aristotelisk logik, dialektisk till sin natur.
Det enda verk av I.E. Orlov, helt utfört i en anda av matematisk logik utan en ideologisk ram, - "Beräkning av meningars kompatibilitet", - publicerades 1928 i " Matematisk samling ", där de ledande inhemska matematikerna publicerades. I sitt försök att axiomatisera idén om relevans var han den första i världen som försökte koppla intuitionistisk logik med modal logik (Popov, 1986, s. 97) genom att lägga till den ursprungliga meningskompatibilitetskalkylen en nödvändighetsoperator som är typisk för det modala systemet S4.
Orlov arbetar i huvudsak med intensional konjunktion och intensional disjunktion, även om hans artikel direkt handlar om implikation och negation. Orlov strävar efter att bevara lagen om den uteslutna mitten , även om han utvärderar sitt arbete som en viss utveckling av vissa tekniker och metoder som introducerats av anhängare av intuitionism . Han analyserar noggrant L. Brouwers verk och försöker förstå tolkningen av implikationen av J. Peano , A. Whitehead , B. Russell och W. Ackerman. K. Doshen anmärker:
" Axiomatiseringen av relevant logik dök upp samtidigt när axiomatiseringen av intuitionistisk logik föreslogs ... Men detta är inte Orlovs enda prestation. Den förutser också modal nedsänkning av system med intuitionistisk negation i system av S4-typ med klassisk negation (modal nedsänkning förstås som en nedsänkning som placerar en nödvändighetsoperator framför underformler av icke-modala formler)... Orlov var nära att konstruera S4-system, men lade till motsvarande postulat till den relevanta logiken, och inte klassisk logik ” [4] .
Sålunda föregriper Orlov arbetet av Kurt Gödel från 1933 och, viktigast av allt, av Oskar Becker från 1930, till vilken i själva verket förtjänsten av att konstruera S4-systemet tillskrivs (se: ibid. s. 349).
I. E. Orlov bygger sin kalkyl på följande axiom:
a → ¬¬a (Axiom 1);
¬¬a → a (Axiom 2);
a → a•a, där 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, som Orlov introducerar (Orlov, 1928 a. s. 266), anser han inte vara "formellt": " axiom, såväl som meningar härledda från axiom, kan utelämnas i symboliska formler om de tjänar som premisser för några slutsatser ", i Faktum är att detta axiom motsvarar modus ponens-regeln .
När vi diskuterar idén om intuitionism introducerar Orlov operatorn "bevisbarhet", betecknad som Ф(а), och utökar listan över axiom:
F(a) → a (Axiom 8); Ф(а) → Ф(Ф(а)) (Axiom 9);
Ф(а → b) → {Ф(а) → Ф(b)} (Axiom 10).
Det är här som han i huvudsak formulerar systemet S4. Han drar slutsatsen att meningskompatibilitetskalkylen tillåter en att utföra operationer inte bara direkt på meningarna a, b, c... utan också på deras funktioner av typen Ф(а).
"Införandet av dessa funktioner i klassisk matematisk logik," konstaterar Orlov, "är omöjligt, eftersom tolkningen av begreppet "följ" som en materiell slutsats berövar alla uttryck som har bevisats för de funktioner vi har introducerat ... och när man konstruerar scheman för transfinita slutsatser, skulle det inte finnas något annat sätt än som en negation av " tertium non datur " (ibid., s. 286).
En mycket naturlig tolkning av Orlovs idéer och historien om deras ursprung uppnås i substrukturell logik, inklusive intuitionistisk, relevant, linjär, etc. logik. Alla dessa logiker erhålls genom att begränsa de strukturella reglerna i Gentzens system av naturliga slutledningar .
Tydligen, för första gången, uppmärksammade I. E. Orlova de logiska idéerna 1962 av A. A. Zinoviev , när motsvarande idéer redan hade uttryckts oberoende av andra tänkare (till exempel teorin om " lambdakalkyl " av Alonzo Church , 1951) . Samtidigt är det värt att notera att det åtminstone finns bevis för att Alonzo Church var bekant med I. E. Popovs verk och till och med granskade några av hans artiklar [5] . I Sovjetunionen påpekades sambandet mellan dessa idéer och relevant logik första gången 1978 av V. M. Popov (Popov, 1978, s. 118; se även: Popov, 1986).
Orlov argumenterade hårt från leninistisk-marxistiska ståndpunkter med Georg Kantors mängdteori , Einsteins relativitetsteori (som anhängare av eterteorin ) och A. L. Chizhevskys heliobiologi . Hans kontrovers med A. N. Shchukarev var ett förebud om efterföljande diskussioner om "artificiell intelligens" [6] .
Omkring 1928 slutade Orlov att publicera verk om logik och filosofi. Han koncentrerade sina ansträngningar på specifika vetenskapliga problem: industriell användning av kemi, i synnerhet produktionen av brom och jod. Han översatte också de tyska verken av E. Müller, F. Hahn, O. Tomichek om kemi till ryska.