Ivan Efimovich Orlov (Russian: Иван Ефимович Орлов; in Galich,

Kostroma Oblast Kostroma Oblast () is a federal subjects of Russia, federal subject of Russia (an oblast). Its administrative center is the types of inhabited localities in Russia, city of Kostroma and its population as of the Russian Census (2021), 2021 Census i ...

–

after After may refer to: Literature * ''After'' (Elgar), an 1895 poem by Philip Bourke Marston set to music by Edward Elgar * ''After'' (Prose novel), a 2003 novel by Francine Prose * ''After'' (Chalifour book), a 2005 book by Canadian writer Francis ...

1936 in

Moscow Moscow is the Capital city, capital and List of cities and towns in Russia by population, largest city of Russia, standing on the Moskva (river), Moskva River in Central Russia. It has a population estimated at over 13 million residents with ...

ОРЛОВ
''iphlib.ru'') was a Russian

philosopher Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...

, a forerunner of

relevant Relevant is something directly related, connected or pertinent to a topic; it may also mean something that is current. Relevant may also refer to: * Relevant operator, a concept in physics, see renormalization group * Relevant, Ain, a commune o ...

and other

substructural logic In logic, a substructural logic is a logic lacking one of the usual structural rules (e.g. of classical and intuitionistic logic), such as weakening, contraction, exchange or associativity. Two of the more significant substructural logics a ...

s, and an industrial chemist. The date of his death is unknown, but is most likely between 1936 and 1937.

Education and Scientific Career

Orlov studied at the Natural Sciences Faculty of

Moscow University Moscow State University (MSU), officially M. V. Lomonosov Moscow State University,. is a public research university in Moscow, Russia. The university includes 15 research institutes, 43 faculties, more than 300 departments, and six branches. Al ...

. His academic career began in 1916, when he published several papers related to the method of

inductive reasoning Inductive reasoning refers to a variety of method of reasoning, methods of reasoning in which the conclusion of an argument is supported not with deductive certainty, but with some degree of probability. Unlike Deductive reasoning, ''deductive'' ...

and the notion of

inductive proof Mathematical induction is a method for proving that a statement P(n) is true for every natural number n, that is, that the infinitely many cases P(0), P(1), P(2), P(3), \dots all hold. This is done by first proving a simple case, then ...

. 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 The Communist Academy (Russian: Коммунистическая академия, transliterated ''Kommunisticheskaya akademiya'') was a higher educational establishment and research institute based in Moscow. It included scientific institutes of ...

, 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 Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathem ...

and

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

, specifically on the so-called

dialectical logic Dialectical logic is the system of laws of thought, developed within the Hegelian and Marxist traditions, which seeks to supplement or replace the laws of formal logic. The precise nature of the relation between dialectical and formal logic was ...

Marxist Marxism is a political philosophy and method of socioeconomic analysis. It uses a dialectical and materialist interpretation of historical development, better known as historical materialism, to analyse class relations, social conflic ...

in nature. He wrote on the

theory of probability Probability theory or probability calculus is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expre ...

psychology Psychology is the scientific study of mind and behavior. Its subject matter includes the behavior of humans and nonhumans, both consciousness, conscious and Unconscious mind, unconscious phenomena, and mental processes such as thoughts, feel ...

, theory of music, and on

chemical engineering Chemical engineering is an engineering field which deals with the study of the operation and design of chemical plants as well as methods of improving production. Chemical engineers develop economical commercial processes to convert raw materials ...

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 Identity may refer to: * Identity document * Identity (philosophy) * Identity (social science) * Identity (mathematics) Arts and entertainment Film and television * ''Identity'' (1987 film), an Iranian film * ''Identity'' (2003 film), an ...

and

contradiction In traditional logic, a contradiction involves a proposition conflicting either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's ...

. (When Orlov wrote this, the invention of

natural deduction In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with Hilbert-style systems, which instead use ...

, the

sequent calculus In mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a sequent by Gerhard Gentzen) instead of an unconditional tautology. Each conditional tautolog ...

, and the

semantic tableau In proof theory, the semantic tableau (; plural: tableaux), also called an analytic tableau, truth tree, or simply tree, is a decision procedure for sentential and related logics, and a proof procedure for formulae of first-order logic. An analyt ...

x all lay in the future.) We must seek the

semantic Semantics is the study of linguistic Meaning (philosophy), meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction betwee ...

relation between antecedent and

consequent A consequent is the second half of a hypothetical proposition. In the standard form of such a proposition, it is the part that follows "then". In an implication, if ''P'' implies ''Q'', then ''P'' is called the antecedent and ''Q'' is called t ...

. 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 Non-classical logics (and sometimes alternative logics or non-Aristotelian logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this ...

dialectical Dialectic (; ), also known as the dialectical method, refers originally to dialogue between people holding different points of view about a subject but wishing to arrive at the truth through reasoned argument. Dialectic resembles debate, but the c ...

in nature.

The Logic of Compatibility 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 In logic, negation, also called the logical not or logical complement, is an operation (mathematics), operation that takes a Proposition (mathematics), proposition P to another proposition "not P", written \neg P, \mathord P, P^\prime or \over ...

into S4

modal logic Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...

with classical

. 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 The Union of Soviet Socialist Republics. (USSR), commonly known as the Soviet Union, was a List of former transcontinental countries#Since 1700, transcontinental country that spanned much of Eurasia from 1922 until Dissolution of the Soviet ...

. It is only with the post-World War II rise of what have come to be known as

s (Restall 2000) that Orlov's pioneering role has gradually emerged.

Substructural logic In logic, a substructural logic is a logic lacking one of the usual structural rules (e.g. of classical and intuitionistic logic), such as weakening, contraction, exchange or associativity. Two of the more significant substructural logics a ...

s, a category including

intuitionistic In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of f ...

, relevant,

linear logic Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the ...

s, etc., can be obtained by restricting the

("structural") rules for

classical logic Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy. Characteristics Each logical system in this c ...

. For example,

relevant logic Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, bu ...

does not employ the structural rule of weakening (also called the rule of

monotonicity In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order. This concept first arose in calculus, and was later generalized to the more abstract setting of orde ...

), 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 Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...

Georg Cantor Georg Ferdinand Ludwig Philipp Cantor ( ; ; – 6 January 1918) was a mathematician who played a pivotal role in the creation of set theory, which has become a foundations of mathematics, fundamental theory in mathematics. Cantor establi ...

, the

theory of relativity The theory of relativity usually encompasses two interrelated physics theories by Albert Einstein: special relativity and general relativity, proposed and published in 1905 and 1915, respectively. Special relativity applies to all physical ph ...

(he believed in the existence of

aether Aether, æther or ether may refer to: Historical science and mythology * Aether (mythology), the personification of the bright upper sky * Aether (classical element), the material believed to fill the universe above the terrestrial sphere ** A ...

), and the

heliobiology Chronobiology is a field of biology that examines timing processes, including periodic (cyclic) phenomena in living organisms, such as their adaptation to solar- and lunar-related rhythms. These cycles are known as biological rhythms. Chronob ...

of A. Chizhevsky.

Industrial Chemistry

Around 1928, Orlov ceased publishing logical and philosophical work, turning to industrial

chemistry Chemistry is the scientific study of the properties and behavior of matter. It is a physical science within the natural sciences that studies the chemical elements that make up matter and chemical compound, compounds made of atoms, molecules a ...

, specifically the production of

bromine Bromine is a chemical element; it has chemical symbol, symbol Br and atomic number 35. It is a volatile red-brown liquid at room temperature that evaporates readily to form a similarly coloured vapour. Its properties are intermediate between th ...

and

iodine Iodine is a chemical element; it has symbol I and atomic number 53. The heaviest of the stable halogens, it exists at standard conditions as a semi-lustrous, non-metallic solid that melts to form a deep violet liquid at , and boils to a vi ...

, and in translating German works on chemistry into Russian.

Education and Scientific Career

Logic

The Logic of Compatibility Propositions

Industrial Chemistry

References

Further reading