Papers by Alexander Gorchakov
This paper is a result of the analysis of the efficiency of natural deduction proof search and th... more This paper is a result of the analysis of the efficiency of natural deduction proof search and the major weaknesses affecting it. We introduce new analytic strategies based on a new concept " Auxiliary Truth Set ". We present a combined proof search algorithm for classical propositional logic where a crucially new step is the guidance of the searching procedure by Auxiliary Truth Sets and establish the correctness. We describe the implementation of this new search technique and exemplify its advantages considering the strong version of the Pigeon Hole Principle.
Work is devoted research of effect of a way of a data writing (the handle or on the keyboard) on ... more Work is devoted research of effect of a way of a data writing (the handle or on the keyboard) on its memorizing. For hypothesis check about effect of a way of the writing on memorizing psychological experiment has been made. The technique of carrying out of experiment is stated and the received results are analyzed. On the basis of experimental data the conclusion about the importance of a way of the writing for information memorizing becomes.
The work is devoted to the question of alphabet genesis. Shortcomings of the existing traditional... more The work is devoted to the question of alphabet genesis. Shortcomings of the existing traditional linguistic approach and its fundamental restrictions are analyzed. The phonetic alphabet is considered as two-component information technology. Taking into account the restrictions inherent in phonetic component of this technology, the assumption of priority role of graphic component is made when becoming the phonetic alphabet. It is proposed, that the breakthrough in graphical component of the script can be achieved only by the people whose mind could select the vision from the common complex of human feelings. The existence of such people in classical antiquity is substantiated. The author gives interpretation of the known facts from the point of view of the suggested hypothesis, and also examines the legend about Kadm.
We present a proof-searching algorithm for the classical first order natural deduction calculus a... more We present a proof-searching algorithm for the classical first order natural deduction calculus and prove its correctness. For any given task (if this task is indeed solvable), a searching algorithm terminates, either finding a corresponding natural deduction proof or giving a set of constraints, from which a counter-example can be extracted. Proofs of the properties which characterize correctness of the searching algorithm are given. Based on a fully automatic goal-directed searching procedure, our technique can be efficiently applied as an automatic reasoning tool in a deliberative decision making framework across various AI applications.
Books by Alexander Gorchakov
Cadmus was not a lone adventurer. .Having been publicly disguised as the Rape of Europa, his expe... more Cadmus was not a lone adventurer. .Having been publicly disguised as the Rape of Europa, his expedition was the first geopolitical action in the mankind history. The expedition resulted in founding the kingdom of Thebes with the capital in the city of Thebes that is likely to have been the capital of the kingdom of Ahhijawa cited by the ancient Hittite and Egyptian texts. The evidence of the kingdom power was the fact that, in Agamemnon’s army of almost 40-thousand men, it was Boeotians only that had ships with a capacity of 120 warriors. The origin of a phonetic alphabet in its modern form is, also, likely to be a direct result of Cadmus’s expedition.
A man was not present at his origin. Не couldn't.
Therefore, we are constantly trying to understa... more A man was not present at his origin. Не couldn't.
Therefore, we are constantly trying to understand ourselves.
Why did Kain slain Abel? Why did Herostrat burn the temple, and we can not forget his action?
We use fire since time immemorial, but we still can't explain this fact.
Mankind looks for answers to these questions for centuries and
we think that this answers will help to understand the behavior of people, especially in extreme situations, such as in the case of А. Breivik.
In this book, we attempt, basing on the philosophy of Martin Heidegger,
explain why "case of А. Breivik" is possible in principal, and why "the moral law within" is not always valid.
Drafts by Alexander Gorchakov
The paper discusses the criteria of anthropogenesis, gives the criticism of the main criterion fo... more The paper discusses the criteria of anthropogenesis, gives the criticism of the main criterion for today associated with tool use and offers the cognitive criteria of the process beginning.
Uploads
Papers by Alexander Gorchakov
Books by Alexander Gorchakov
Therefore, we are constantly trying to understand ourselves.
Why did Kain slain Abel? Why did Herostrat burn the temple, and we can not forget his action?
We use fire since time immemorial, but we still can't explain this fact.
Mankind looks for answers to these questions for centuries and
we think that this answers will help to understand the behavior of people, especially in extreme situations, such as in the case of А. Breivik.
In this book, we attempt, basing on the philosophy of Martin Heidegger,
explain why "case of А. Breivik" is possible in principal, and why "the moral law within" is not always valid.
Drafts by Alexander Gorchakov
Therefore, we are constantly trying to understand ourselves.
Why did Kain slain Abel? Why did Herostrat burn the temple, and we can not forget his action?
We use fire since time immemorial, but we still can't explain this fact.
Mankind looks for answers to these questions for centuries and
we think that this answers will help to understand the behavior of people, especially in extreme situations, such as in the case of А. Breivik.
In this book, we attempt, basing on the philosophy of Martin Heidegger,
explain why "case of А. Breivik" is possible in principal, and why "the moral law within" is not always valid.