Platon Poretsky

Platon Sergeevich Porezki (Russian Платон Сергеевич Порецкий, scientific transliteration of Plato Sergeevič Poreckij; * 3.jul / 15 October 1846greg in Jelisawetgrad, now Kirovograd, Ukraine, .. † 9.jul / 22 August 1907greg in Schowid, Oblast. . Chernihiv ) was a Russian mathematician, astronomer, logician and philosopher.

Porezki studied at the Faculty of Physics and Mathematics in Kharkov. From 1876 he worked as an astronomer at the University of Kazan. His doctoral thesis defended in 1886 in the field of astronomy. He taught mathematics and astronomy, and held the first mathematician in Russia Lectures on mathematized logic, which he contributes to popularizing this discipline in Russia.

His investigations are based on the field of algebra of logic by George Boole, William Stanley Jevons and Ernst Schroeder. To him belongs the credit of the development of an independent theory of logical identities, which is a generalization of Boolean algebra. The main features of his logical investigations consist in his theory of consequences and causes logical identities in connection with the treatment of the canonical forms of logical expressions.

He set himself the task to solve the problem of decidability in the calculus of classes by finding a more basic, effective decision algorithm. A central problem of his theory of logic is the solution of the question of the derivation of conclusions from a given system of premises and finding that the premises from which the respective logical identity can be gained as a result. Theory included the determination of hypotheses relating to the logical basis for given conclusions. Among these were some methods that make it possible to obtain the sharpest each inferences.

In his theory of logical equations, he developed an original and simple method to derive all possible inferences from the given requirements and specify their requirements for a given logical equation. For the theory of normal form Porezki has made ​​an important contribution.

The distinction between logic and algebra saw Porezki that the logic qualitative shapes and algebra quantitative forms to be examined. He also warned that this difference must not cover that in common, which is characteristic of these two disciplines warned. In his view, the methodology of mathematical logic is analogous to the mathematical methods of algebra. In his last works Porezki also examined the logical inequalities. He generalized the Syllogistiktheorie of traditional logic and examined and analyzed many forms nichtsyllogistischer indirect conclusions.

Porezki was of the view that logical laws are not independent of the properties of the objects of the area that is being investigated by a particular discipline. The laws of logic are after Porezki truths "that any particular reference to the nature of the material to be examined include " (1). Even an algebraic treatment of logic therefore can not disregard the question of the content.

Porezki claimed that any system axiomatically constructed only exist in science has, when all is provable statements in the interpretation in any field of objective reality are true content. In the investigation of formal logic circuit method he looked at the form not be separated from the content. He was of the opinion that the analytical apparatus of a logical calculus is only okay if it is a certain real content is expressed and even if one is already present axiomatic, not lose their sense substantive considerations.

The investigations of the interrelationships between form and content in science led Porezki to the dialectical thesis that the abstract nature of a theory - under the condition that the abstractions used in it are really scientific - its practical effect does not weaken, but on the contrary even enhanced.

Writings

  • Isloschennije osnownych naschal matematischeskoi logiki w wosmoschno boleje nagljadnoi i obschedostypnoi forme, 1881
  • (1 ) O sposobach reschenija lopgischeskich rawenstw if i obrathom spocobe matematischeskoi logiki ( About methods for solving Boolean equations and a reverse method of mathematical logic), 1884
  • La loi de racines en logique, 1896
  • Reschenije Obschei sadaschi teori werojatnostei pri pomoschi matematischeskoi logiki, 1887
  • Sept lois fondamentales de la théorie of égalités logiques à deux termes ( The seven fundamental laws of the theory of logic equations for two terms ), 1898-1899
  • Exposé élémentaire de la théorie of égalités logiques à deux termes, 1900
  • Quelques ultérieures lois de la théorie of égalités loqiques, 1900-1901
  • From the field of mathematical logic ( in Russian), 1902
  • Théorie des non- égalités logiques, 1903-1904
  • Théorie et égalités conjointe of the non- égalités logiques, 1908-1910
October 15 August 22 Chernihiv Oblast Property (philosophy)
653043
de