Ivan Efimovich Orlov ( Galich , Kostroma Oblast , 25 de octubre , [ OS 1 de octubre] 1886 - Moscú , después de 1936 [1] ) fue un filósofo ruso , un precursor de la lógica subestructural relevante y de otro tipo , y un químico industrial. Se desconoce la fecha de su muerte, pero lo más probable es que sea entre 1936 y 1937.
Orlov estudió en la Facultad de Ciencias Naturales de la Universidad de Moscú . Su carrera académica comenzó en 1916, cuando publicó varios trabajos relacionados con el método de razonamiento inductivo y la noción de prueba inductiva . Durante 7 años a partir de 1916, no publicó ningún trabajo científico, presumiblemente debido a la agitación política de la época. En la década de 1920, enseñó en la Academia Comunista recién establecida y fue oficial en el Instituto Químico.
En 1923 Orlov reanudó su actividad académica, volviéndose muy productivo. La mayoría de sus artículos se publicaron en las principales revistas ideológicas soviéticas, donde se volvió polémico a la manera típica de ese lugar y época. La obra de Orlov versó sobre la filosofía de las matemáticas y la lógica , concretamente sobre la llamada lógica dialéctica , de carácter marxista . Escribió sobre teoría de la probabilidad , psicología , teoría de la música e ingeniería química .
Al analizar el desarrollo de las ciencias naturales, buscó descubrir su "lógica" específica. Según Orlov, las leyes del pensamiento deben ser tratadas como reglas formales, limitadas por las leyes de identidad y contradicción . (Cuando Orlov escribió esto, la invención de la deducción natural , el cálculo consecuente y los cuadros semánticos estaban todos en el futuro.) Debemos buscar la relación semántica entre antecedente y consecuente .. La principal "contradicción de la lógica" se manifiesta en la vinculación de premisa y corolario, y requiere una lógica diferente a la tradicional. Si insistimos en que un corolario sea una condición necesaria de las premisas, entonces, según Orlov, llegaremos necesariamente a una lógica no aristotélica , de naturaleza dialéctica .
Orlov propuso una lógica de este tipo en su obra "La lógica de la compatibilidad de las proposiciones", publicada en 1928 en una revista matemática soviética. Este trabajo analizó el problema de la compatibilidad (no compatibilidad) de las proposiciones a través del prisma interpretativo de un procedimiento de implicación . También previó la traducción de sistemas con negación intuicionista en lógica modal S4 con negación clásica .
La obra de Orlov fue muy poco conocida durante mucho tiempo, pues sus publicaciones, todas en ruso, eran casi totalmente desconocidas fuera de la Unión Soviética . Es solo con el surgimiento posterior a la Segunda Guerra Mundial de lo que se conoce como lógicas subestructurales (Restall 2000) que el papel pionero de Orlov ha emergido gradualmente. Las lógicas subestructurales , una categoría que incluye lógicas intuicionistas , relevantes, lineales , etc., se pueden obtener restringiendo las reglas de deducción natural ("estructurales") de la lógica clásica . Por ejemplo, la lógica relevante no emplea la regla estructural de debilitamiento (también llamada regla de monotonicidad).), y esta regla es diferente a las otras reglas estructurales (Dosen).