Orlov, Iván Efimovich

Iván Efimovich Orlov
Fecha de nacimiento 1 de octubre ( 25 de octubre ) de 1861( 1861-10-25 )
Lugar de nacimiento Galich
Fecha de muerte 1936( 1936 )
Un lugar de muerte
País Imperio Ruso, URSS
Esfera científica lógica , química , filosofía de las matemáticas
alma mater Universidad estatal de Moscú
Conocido como inventor de la lógica relevante

Ivan Efimovich Orlov (1 de octubre de 1886, Galich  - 1936) - Filósofo ruso, predecesor de la relevante y otras lógicas subestructurales , pionero de la dirección paraconsistente en lógica [2] , químico industrial. Se desconoce la fecha de su muerte, pero lo más probable es que se remonte a 1936-1937.

Educación y carrera científica

I. E. Orlov estudió en la Facultad de Física y Matemáticas de la Universidad de Moscú . Su carrera académica comenzó en 1916 con la publicación de varios artículos sobre el método del razonamiento inductivo y la inducción matemática en la revista Cuestiones de Filosofía y Psicología . En los siguientes siete años, no publicó una sola obra: lo que no sorprende, dado el estado político y social del país. En la década de 1920, colaboró ​​en la sección de Ciencias Naturales y Exactas del Departamento de Metodología de la recién creada Academia Comunista , y también se desempeñó en el instituto químico-farmacéutico.

En 1923, Orlov reanudó el trabajo científico con extraordinaria energía. La mayoría de sus artículos fueron publicados en las principales revistas soviéticas -Under the Banner of Marxism , Krasnaya Nov , Militant Materialist, etc.- siendo, como resultado, extremadamente ideologizados. En sus obras, se basó en la filosofía de las matemáticas y la lógica, en particular, en la lógica dialéctica marxista. Sus áreas de interés fueron la teoría de la probabilidad, la física relativista, la psicología, la acústica musical y la tecnología química ( potenciometría , análisis volumétrico ).

Desgraciadamente se desconocen sus intereses y trabajos extralógicos, la evolución de sus intereses y los motivos detrás de la decisión de dejar de estudiar filosofía y lógica. Dado que en las discusiones de esa época, Orlov se unió a los llamados. mecanicistas , es una suposición razonable que se centró en la investigación química después de la derrota ideológica del "mecanismo" para evitar la crítica ideológica y la persecución.

Las circunstancias de la muerte de I. E. Orlov también siguen siendo desconocidas. En el prefacio del libro "Métodos de análisis de salmuera de agua de perforación y control de la producción de yodo y bromo" en agosto de 1938, A.P. Snesarev señala que el autor no tuvo tiempo de completar el trabajo en el manuscrito. La última publicación de I. E. Orlov se remonta a 1935. De esto podemos concluir que, muy probablemente, el científico murió en 1936-1937, y muy probablemente no fue objeto de represión: de lo contrario, en 1939, la publicación de sus trabajos en la URSS hubiera sido increíble.

Algunas pruebas documentales sugieren que murió el 13 de octubre de 1936. [3]

Lógica

Al analizar el desarrollo de las ciencias naturales, I. E. Orlov buscó revelar su "lógica" específica. Según Orlov, las leyes del pensamiento deben ser consideradas como reglas formales sujetas a las leyes de identidad y contradicción (obsérvese que en el momento de escribir estos trabajos aún no se había producido el descubrimiento de la inferencia natural, el cálculo secuencial y las tablas semánticas) . Es necesario investigar la relación semántica entre antecedente y consecuente. La principal "contradicción de la lógica" se manifiesta en la conexión entre la premisa y el efecto, y si insistimos en que el efecto es una condición necesaria para la premisa, entonces, según Orlov, surge inevitablemente la necesidad de una no convencional, no aristotélica. lógica, de naturaleza dialéctica.

Cálculo de consistencia proposicional, lógica relevante, lógica subestructural

El único trabajo de IE Orlov, completamente ejecutado en el espíritu de la lógica matemática sin un marco ideológico, - "Cálculo de la compatibilidad de oraciones", - se publicó en 1928 en la " Colección Matemática ", donde se publicaron los principales matemáticos nacionales. En su intento de axiomatizar la idea de relevancia, fue el primero en el mundo en intentar vincular la lógica intuicionista con la lógica modal (Popov, 1986, p. 97) añadiendo a la oración original cálculo de compatibilidad un operador de necesidad típico de el sistema modal S4.

Orlov opera esencialmente con conjunción intensional y disyunción intensional, aunque su artículo trata directamente con la implicación y la negación. Orlov se esfuerza por preservar la ley del tercero excluido , aunque evalúa su trabajo como un cierto desarrollo de algunas técnicas y métodos introducidos por los partidarios del intuicionismo . Analiza cuidadosamente las obras de L. Brouwer y trata de comprender la interpretación de la implicación de J. Peano , A. Whitehead , B. Russell y W. Ackerman. K. Doshen comenta:

“La axiomatización de la lógica relevante apareció al mismo tiempo que se proponía la axiomatización de la lógica intuicionista... Pero este no es el único logro de Orlov. También anticipa la inmersión modal de sistemas con negación intuicionista en sistemas tipo S4 con negación clásica (la inmersión modal se entiende como una inmersión que coloca un operador de necesidad frente a subfórmulas de fórmulas no modales)... Orlov estuvo cerca de construir S4 sistemas, pero añadió los postulados correspondientes a la lógica pertinente, y no a la lógica clásica ” [4] .

Así, Orlov anticipa el trabajo de Kurt Gödel de 1933 y, sobre todo, de Oskar Becker de 1930, a quien, de hecho, se le atribuye el mérito de construir el sistema S4 (ver: ibíd. p. 349).

I. E. Orlov construye su cálculo sobre los siguientes axiomas:

a → ¬¬a (Axioma 1);

¬¬a → a (Axioma 2);

a → a•a, donde 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).

El Axioma 7, que Orlov introduce (Orlov, 1928 a. p. 266), no lo considera “formal”: “los axiomas, así como las oraciones derivadas de axiomas, pueden omitirse en fórmulas simbólicas si sirven como premisas de alguna conclusión ”, en De hecho, este axioma es equivalente a la regla modus ponens .

Discutiendo la idea del intuicionismo, Orlov introduce el operador de "probabilidad", denotado como Ф(а), y amplía la lista de axiomas:

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

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

Es aquí donde formula esencialmente el sistema S4. Concluye que el cálculo de compatibilidad de oraciones permite realizar operaciones no solo directamente sobre las oraciones a, b, c…, sino también sobre sus funciones del tipo Ф(а).

“La introducción de estas funciones en la lógica matemática clásica”, señala Orlov, “es imposible, ya que la interpretación del concepto de “seguimiento” como una conclusión material priva a todas las expresiones que han sido probadas para las funciones que hemos introducido... y al construir esquemas de conclusiones transfinitas, no habría otro camino que como una negación de „ tertium non datur “” (ibíd., p. 286).

Una interpretación muy natural de las ideas de Orlov y la historia de su origen se logra en lógicas subestructurales, incluidas las lógicas intuicionistas, relevantes, lineales, etc. Todas estas lógicas se obtienen restringiendo las reglas estructurales en el sistema de inferencia natural de Gentzen .

Aparentemente, por primera vez, I. E. Orlova llamó la atención sobre las ideas lógicas en 1962 por A. A. Zinoviev , cuando las ideas correspondientes ya habían sido expresadas de forma independiente por otros pensadores (por ejemplo, la teoría del " cálculo lambda " de Alonzo Church , 1951) . Al mismo tiempo, vale la pena señalar que, al menos, hay evidencia de que Alonzo Church estaba familiarizado con los trabajos de I. E. Popov e incluso revisó algunos de sus artículos [5] . En la URSS, la conexión entre estas ideas y la lógica relevante fue señalada por primera vez en 1978 por V. M. Popov (Popov, 1978, p. 118; ver también: Popov, 1986).

Orlov argumentó duramente desde posiciones leninista-marxistas con la teoría de conjuntos de Georg Kantor , la teoría de la relatividad de Einstein (siendo partidario de la teoría del éter ) y la heliobiología de A. L. Chizhevsky . Su controversia con A. N. Shchukarev fue un presagio de discusiones posteriores sobre la "inteligencia artificial" [6] .

Tecnologías químicas

Alrededor de 1928, Orlov dejó de publicar trabajos sobre lógica y filosofía. Concentró sus esfuerzos en problemas científicos específicos: el uso industrial de la química, en particular la producción de bromo y yodo. También tradujo las obras alemanas de E. Müller, F. Hahn, O. Tomichek sobre química al ruso.

Bibliografía

1914

1916

1923

1924

1925

1926

1928

1931

1933

1934

1935

1939

Notas

  1. ↑ https://iphlib.ru/library/collection/newphilenc/document/HASHad66bc6a4897ad1de87aad
  2. ↑ Alves E. La primera axiomatización de la lógica paraconsistente // Boletín de la Sección de Lógica: revista. - 1992. - T. 21 . - S. 19-20 .
  3. ↑ Povarov G.N., Biryukov B.V. Orlov Ivan Efimovich  (ruso)  // Nueva enciclopedia filosófica: libro. - 2000. - T. 3 . - S. 165 .
  4. ↑ Došen K. La primera axiomatización de la lógica relevante  //  Revista de lógica filosófica: revista. - 1992. - T. 21 . - S. 339-340 .
  5. ↑ Eugeny Loginov. ¿Dónde están los sabios soviéticos? . Café Filosófico (23 de abril de 2017). Consultado el 16 de mayo de 2017. Archivado desde el original el 1 de mayo de 2017.
  6. ↑ Shuranov, Biryukov, 1998 .

Literatura