Ivan E. Orlov
De Wikipedia, la enciclopedia libre
Uno o más wikipedistas están trabajando actualmente en extender este artículo.
Es posible que, a causa de ello, haya lagunas de contenido o deficiencias de formato. Por favor, antes de realizar correcciones mayores o reescrituras, contacta con ellos en su página de usuario o la página de discusión del artículo para poder coordinar la redacción.
Orlov, Ivan Efimovich (Octobre 1 (old style) 1886 Galich, Distrito de Kostroma, Russia – ?) fue un filósofo, precursor de la relevancia lógica, otras subestructuras lógicas, y la química industrial. La fecha de su muerte es desconocida pero se cree que ocurrió en 1936.
Tabla de contenidos |
[editar] Educación y carrera científica
Orlov estudió en la Facultad de Ciencias Naturales de la Universidad de Moscow. Su carrera académica comenzó en 1916, cuando publicó varios documentos relacionados al razonamiento inductivo y la noción de prueba inductiva. Por 7 años comenzando en 1916, publicó trabajos no científicos, presuntamente por la agitación política de la era. En los 20, enseñó en la recién establecida Academia Comunista, y fue un offical en el Instituto Químico.
En 1923 Orlov retomó su actividad académica, volviéndose muy productivo. Casi todos sus documentos fueron publicados en los principales diarios ideológicos sovieticos, donde creó polemica, típica de ese lugar y tiempo. El trabajo de Orlov se refirió a la filosofía de las matemáticas y la lógica, especialmente en la llamada dialéctica lógica. Escribió la Teoría de la Probabiblicad, Psicología, la Teoría de la música, y la Ingeniería química.
[editar] Logic
Analizando el desarrollo de las ciencias naturales, intentó destapar su “lógica específica.” De acuerdo a Orlov, las leyes del pensamiento se deben tratar como reglas formales, limitado por las leyes de la identidady la contradicción. (Cuando Orlov escribió esto, la invención de la deducción natural, el cálculo secuencial, y las tablas semánticas todas puestas en el futuro.)
Debemos buscar la relación semántica entre el antecedente y el consecuente. La principal "contradicción de la lógica" se manifiesta en el enlace de la premisa y el colorario, y requiere una lógica diferente de la tradicional. Si insistiéramos en que la coloraria fuese una condición necesaria de las premisas, entonces de acuerdo a Orlov, necesariamente llegaríamos a una lógica no-Aristotélica.
[editar] La lógica de la compatibilidad de las proposiciones
Orlov propuso una lógica de solo este tipo en su trabajo "The Logic of Compatibility of Propositions" publicado en 1928 en el Diario Sovietico Matemático. Este documento analizó el problema de la compatibilidad de las proposiciones a través del prisma interpretativo de un procedimiento.
El trabajo de Orlov fue poco conocido por un buen tiempo, porque sus publicaciones, todas en Rusia, fueron casi totalmente desconocidas fuera de la Unión Sovietiva. It is only with the post-WWII rise of what have come to be known as substructural logics (Restall 2000) that Orlov's pioneering role has gradually emerged. Substructural logics, a category including intuitionistic, relevant, linear logics, etc., can be obtained by restricting the natural deduction ("structural") rules for classical logic. For example, relevant logic does not employ the structural rule of weakening (also called the rule of monotonicity), and this rule is unlike the other structural rules (Dosen).
Orlov believed in a mechanistic reduction of the laws of nature. He castigated the set theory of Georg Cantor, the theory of relativity (he believed in the existence of ether), and the heliobiology of A. Chizhevsky.
[editar] Industrial Chemistry
Alrededor de 1928, Orlov dejó de publicar trabjos sobre lógica y filosofía, poniéndose a trabajar en la química industrial, especialmente en la producción de bromino and iodino, y en traducir los trabajos Alemanes a Ruso.
[editar] Lecturas relacionadas
- Orlov, I. E., 1925. The Logic of the Natural Sciences. Moscow-Leningrad. (en Ruso).
- ------, 1928, "The Logic of Compatibility of Propositions" in Matematicheskii Sbornik 35 (3-4): 263-86 (en Ruso).
- Bazhanov, V. A., 2003, "The Scholar and the 'Wolfhound Era': The Fate of Ivan E. Orlov's Ideas in Logic, Philosophy, and Science," Science in Context 16 (4): 535-50.
- Došen, K., 1992, "The First Axiomatization of Relevant Logic," Journal of Philosophical Logic 21: 339-56.
- Došen, K., 1993, "A Historical Introduction to Substructural Logics" in Substructural Logics, eds. Schroeder-Heister P., and Došen K. Oxford Univ. Press: 1-36.
- Restall, Greg, 2000. Substructural Logics. Routledge.
