Ivan Orlov

Ivan Orlov

Orlov, Ivan Efimovich (October 1 (old style) 1886 Galich, Kostroma district Russia – 1936) was a philosopher, a forerunner of relevant and other substructural logics, and an industrial chemist. The date of his death is unknown but is believed to have occurred no earlier than 1936.

Contents

Education and Scientific Career

Orlov studied at the Natural Sciences Faculty of Moscow University. His academic career began in 1916, when he published several papers related to the method of inductive reasoning and the notion of inductive proof. For 7 years beginning 1916, he published no scientific work, presumably because of the political turmoil of the era. In the 1920s, he taught in the newly-established Communist Academy, and was an officer at the Chemical Institute.

In 1923 Orlov resumed his academic activity, becoming very productive. Most of his papers were published in leading Soviet ideological journals, where he waxed polemical in the manner typical of that place and time. Orlov's work bore on the philosophy of mathematics and logic, specifically on the so-called dialectical logic, Marxist in nature. He wrote on the theory of probability, psychology, theory of music, and on chemical engineering.

Logic

Analyzing the development of the natural sciences, he sought to uncover their specific "logic." According to Orlov, the laws of thought should be treated as formal rules, bounded by the laws of identity and contradiction. (When Orlov wrote this, the invention of natural deduction, the sequent calculus, and the semantic tableaux all lay in the future.) We must seek the semantic relation between antecedent and consequent. The main "contradiction of logic" manifests itself in the linkage of premise and corollary, and requires a logic different from the traditional one. If we insist that a corollary be a necessary condition of the premises then, according to Orlov, we necessarily arrive at a non-Aristotelian logic, dialectical in nature.

The Logic of Compatibilty Propositions

Orlov proposed a logic of just this type in his work "The Logic of Compatibility of Propositions" published in 1928 in a Soviet mathematical journal. This paper analysed the problem of compatibility (noncompatibility) of propositions through the interpretative prism of an implication procedure. He also foresaw the translation of systems with intuitionistic negation into S4 modal logic with classical negation.

Orlov's work was very little known for a long time, because his publications, all in Russian, were almost totally unknown outside of the Soviet Union. 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 aether), and the heliobiology of A. Chizhevsky.

Industrial Chemistry

Around 1928, Orlov ceased publishing logical and philosophical work, turning to industrial chemistry, specifically the production of bromine and iodine, and in translating German works on chemistry into Russian.

Further readings

  • Orlov, I. E., 1925. The Logic of the Natural Sciences. Moscow-Leningrad. (in Russian).
  • ------, 1928, "The Logic of Compatibility of Propositions" in Matematicheskii Sbornik 35 (3-4): 263-86 (in Russian).
  • 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.
  • Stelzner, Werner, 2002. Compatibility and relevance: Bolzano and Orlov, Logic and Logical Philosophy 10: 137-171.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Iván Orlov — Iván Yefímovich Orlov Иван Ефимович Орлóв (1 de octubre de 1886, Galich, distrito de Kostromá, Rusia – 1936) fue un filósofo, precursor de la relevancia lógica y otras subestructuras lógicas, y un químico industrial. La fecha de su muerte es… …   Wikipedia Español

  • Orlov — For other uses, see Orlov (disambiguation). Count Grigory Orlov, by Fyodor Rokotov Orlov (Russian: Орлóв) is the name of a Russian noble family which produced several distinguished statesmen, diplomatists and soldiers. The family first gained… …   Wikipedia

  • Orlov (surname) — People The name of a Russian noble family of Orlov Vasily Orlov Denisov (1775–1843), Russian cavalry general Alexander Yakovlevich Orlov (1880–1954), Russian astronomer Alexander Mikhailovich Orlov (1895–1973), Soviet intelligence officer who… …   Wikipedia

  • Ivan Hrynokh — (December 28 1907 ) Other spellings (Iwan Hryn okh, Hrinjoch, Grinokh, Grinioh) Pseudonyms Professor Danyliv, Professor Prister, Herasymovsky, Vsevolod, Kovalenko, Kostetsky, Orlov.Father Dr. Ivan Hrynokh was a Ukrainian Greek Catholic priest and …   Wikipedia

  • Ivan Ukhov — (born 4 April 1986 in Chelyabinsk) is a Russian high jumper.A former discus thrower, Ukhov took up high jumping in 2004, and improved from 2.10 to 2.30 in 2005. [cite news |first= |last= |author=Nickolai Dolgopolov |coauthors=Rostislav Orlov… …   Wikipedia

  • Orlov Revolt — Battle of Chios (Chesma), by Ivan Aivazovsky (1848) The Orlov Revolt (1770) was a precursor to the Greek War of Independence (1821), which saw a Greek uprising in the Peloponnese at the instigation of Count Orlov, commander of the Russian Naval… …   Wikipedia

  • Ivan Krasnov — Infobox Person name = Ivan Krasnov image size = 240px caption = birth date = 1802 birth place = Russian Empire death date = 1871 death place = Russian Empire occupation = general spouse = Ivan Ivanovich Krasnov ru. Краснов, Иван Иванович (1802… …   Wikipedia

  • Alexeï Orlov — Pour les articles homonymes, voir Orlov. Alexeï Grigorievitch Orlov Naissance 1737 Décès …   Wikipédia en Français

  • Alexei Grigoryevich Orlov — Born 5 October [O.S. 24 September] 1737 Lyubini, Tver Oblast …   Wikipedia

  • Goznak — One thousand rubles of 2000/2004 Goznak (Russian: Федеральное государственное унитарное предприятие Гознак, short for Государственный знак, or State Currency) is a Unitary enterprise in Russia, responsible for the production of coins and bank… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”