In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience (...) of readers and describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)

On the basis of the archival materials, first identified by the authors, and the published historical sources that have not yet come to the attention of historians of science, this article reconstructs the biography of Johann Christian Weltzien (1767–1829), doctor of medicine and surgery. In 1785, Weltzien became a court physician. In 1799, in the retinue of Grand Duke Konstantin Pavlovich, he participated in Italian and Swiss military campaigns. After that, Weltzien was assigned to the Сourt of Grand Duke Konstantin (...) Pavlovich of Russia and stayed at his court until 1810. He started his charitable activities in the Medico-Philanthropic Committee. From May 1810 to the middle of 1825, Weltzien was a physician at the Imperial Page Corps. It turned out that around the same time, in 1804–1825, he was a member of the Medical Council. Furthermore, as there were two medical councils under two ministries at the time, in 1811–1822, he was a member of both. Since 1825, Weltzien lived on his estate in Somel, now Vaiatu Manor in Estonia, and died in St. Petersburg. Weltzien’s work as a provincial physician prompted him to write a book on medical police, which was published in 1785. It has been established that this remained his only book on the topic. The article shows that Weltzien became one of the first ideologists of state care for public health in the Russian Empire. Weltzien’s ideas, expressed over 200 years ago, regarding the state having mechanisms to impact public health and the importance of not excluding it from solving health problems have not lost their significance even today. (shrink)

In his response, D. Maslov (1) presents a sketch of a comparative analysis of the notion of ‘will’ in Wittgenstein and Hegel as a response to the initial article by K. Rodin. Despite apparent (but in some ways only seeming) differences, both philosophers show similar anti-metaphysical attitude in their respective analysis. Both regard will not as a metaphysical entity, but in its concrete expression in actions and intentions and conclude that acts of will and intentions can be understood by (...) other people. (2) On this ground and the argument of universality of language, we argue, against K. Rodin, against anti-universalist and contextualist readings of Wittgenstein’s texts. (shrink)

У статті критично аналізується концепція особистості в православній теології американського мислителя Д. Б. Харта. Персонологія Д. Б. Харта представляє контури православної постмодерної теології, яка у своєму історичному розвитку зазнала істотного впливу філософії і залишалася метафізічною до недавнього часу. Автор констатує, що антиметафізичний поворот у православній теології та релігійній філософії пов'язаний із використанням феноменології та герменевтики в проекті "теологічної естетики" Девіда Бентлі Харта і Джона Пантелеймона Мануссакіса. Ці американські православні теологи дійсно змогли створити новий тип православної думки, пост-метафізічний за своєю суттю. (...) Аналізуючи роботу Д. Б. Харта "Краса нескінченного", автор статті показує, що цей православний богослов відмовляється від тези про нездатність православної думки оформити свою позицію інакше, як у протиставленні до римо-католицького богослов'я і приймає вчення про особистість як особливе відношення Августина та сучасних римо-католицьких богословів. (shrink)

In the article explored the period of the Sunni concept of state and government that allows us to understand the processes that shaped the modern concept of Islamic political structure of society. The genesis of the concept of a Sunni state and government includes period from the Early Islamic state till final design developed by medieval Muslim religious leaders and lawyers of the principles and norms. It is shown that this period of political organization Ummah begins from the first days (...) of Islam, because Islamic state appears mainly to protect the newly established religious doctrine. Sunni concept of government particularly emphasizes the non-absolute power of the Caliph. He doesn`t enjoy any privilege or immunity and he is also equal before the law like a simple Muslim. He is only a temporary leader of the Ummah. The peculiarity of this author believes state legislative functions in the absence of power - it can be administrative, executive and judiciary and aims observance and fulfillment of the divine laws. Contradictions between the executive and legislative authorities can`t be, because they are actually executing divine laws. That`s why author believes that concept of Sunni state and government this is first of all theoretical construct of nation-building than historical reality. (shrink)

The study examines Russian philosopher Andrei Smirnov’s conception of the logic of sense as a way of providing exposition of the reasons for the Russian-Ukrainian war. The logic of sense is simultaneously a theory of rules of sense-setting and the very rules of sense-setting created by a culture and the ruling culture. Smirnov thinks that the reasons lie in the clash between common-human European culture and its logic of sense and all-human Russian culture and its logic of sense. Smirnov sees (...) no difference between Russians and Ukrainians and considers the Ukrainian culture an essential and indispensable part of Russian culture. Therefore, the expansion of the common-human European culture to Ukraine challenges the all-human Russian culture. (shrink)

New prospects for mankind in searching for and developing new sources of energy, arms race, overcrowding and ecological crises present the human with a serious choice. The choice may relate to the further existence of people on Earth. In the context of most challenging political, economic and social crises, the tandem of natural and human sciences produces unexpected results, despite the crises accompanying these processes. This article presents a model of the society and a model of the human in the (...) systemic parametrical aspect. The human is considered as part of the “society” system. The research suggests applying the systems parametric method developed by Prof. A. Uyemov in the 1960s. Humanity creates increasingly frequent bifurcation conditions for human life. As an adaptive mechanism, the human has to develop survival strategies and well-being strategies. The paper presents some aspects of the adaptive mechanisms of the 21st century man. It also considers some threats arising out of environmental variability. Cyborgization is one of such threats. The research includes dual system modelling of the “society” system based on the complementarity principle. It shows that there are two definitions which have different concepts, structures and substrates but constitute the entirety of the object of interest. (shrink)

The Russian intelligentsia emerged and existed in diversity due to specific political and social conditions within Russian society. The intelligentsia was (and is) more than just a class or group of educated people. The present article is an attempt to give a retrospective interpretation of the Russian intelligentsia and its transformation into the Soviet one in the 1920s, when Vygotsky also was an engaged actor in different programmes. At that time the political was as sharp and critical as the scientific, (...) and science became an arena of radical political clashes and struggle. The contradictory historical atmosphere and the sincere wish of a new Soviet state to create a new society made it possible for young scholars to assume their positions in science very rapidly. (shrink)

Epistemic authority, according to L. Zagzebski’s theory, is essentially based on deliberative or first-personal reasons, which originate from epistemic admiration. In what follows, I shortly reconstruct her theory and try to defend it against two critical arguments. The first argument calls attention to circular relation of epistemic autonomy and authority. In order to determine the authoritative person for me, I always have to possess epistemic autonomy, which is understood as knowledge in the given domain. Thus I myself have to have (...) authority in the given domain in order to invest authority. I try to show that the investment of trust is based upon autonomy interpreted as an ability to exercise epistemic actions, accompanied by normative foreknowledge, that allows us to assess epistemic abilities and invest our trust without having sufficient propositional knowledge. The second argument insists on theoretical control for authoritative evidence and testimony. That contradicts preemptive character and content-independence inherent to authoritative testimony. Hence, this argument entirely misses the point of epistemic authority. Instead, as I argue, one can control epistemic authority by future reflexion on its conscientiousness and epistemic exercise as well as on origins of my admiration for authority. As a consequence, the trust invested in authority can be withdrawn and redistributed. (shrink)

The article considers John Greco's conception of testimonial knowledge that aims to overthrow three sceptical arguments against religious knowledge. Prof. Greco presupposes that a religious community already possesses a true religious belief and its reliability is justified exclusively by means of the reliability of transmission. The author puts this conception into question and presents some sceptical arguments regarding the initial origination of a religious belief and verifying the truth-ness of a religious belief in front of epistemic disagreement problem. In particular, (...) he draws an attention on three moments: 1) difference between inside and outside position as to any religious community, 2) lack of inductive verifying evidence in support of religious knowledge, and 3) difference between origination a belief in a community for the first time and transmission of beliefs already given in a community. The author takes a perspective of an outsider who doesn't belong to any religious community (on the assumption that there are secular communities different from religious ones). Firstly, he suggests another from Greco's version of the “luck argument", which concerns the luck in origination of a belief, not the accidence in spreading it. John Greco solves a problem that arises from argument of luck as far as it regards transmission of beliefs inside a community. The author argues that the genuine problem is to establish an originating source of a religious belief, and taking that into consideration, testimonial evidence cannot eliminate this kind of luck. Secondly, he observes the problem of disagreement among different religious communities. He shows that an outsider doesn't have any epistemic reason to prefer one of the conflicting religious beliefs of different communities, for he doesn't belong to any of them. Thus, the problem of “epistemic peers" still remains unsolved. (shrink)

Ovaj tekst ima za svoj cilj teoretski uvod u rad dvoje postmarksističkih teoretičara politike, Ernesta Laclaua i Chantal Mouffe. Fokus je na njihovu zajedničkom radu Hegemonija i socijalistička strategija, pomoću čije se teze o temeljnoj »nemogućnosti društva« stvaraju epistemološke mogućnosti za lakanovsko promišljanje pojmova ideologije, kao i samog pojma ‘Političkog’ ili pojma i definicije ‘Društva’. Autori pokušavaju kroz koncept hegemonije Antonia Gramscija definirati ključno polje za konstrukciju političke zajednice. Njihova se teorija tako stavlja u kontekst i psihoanalitičkog diskursa, no i (...) diskursa koji je u društvenim znanostima poznat pod nazivom »društveni konstruktivizam«.This paper has for it’s purpose theoretical introduction into the work of two postmarxist theoreticians of politics, Ernesto Lacalau and Chantal Mouffe. We will focus on their collaboratory work, Hegemony and Socialist Strategy, whose theses about the basic “impossibility of society” creates the foundations for the possibility of Lacanian theorizing of ideology, as well the notion of ‘Politics’, or the very notion of ‘Society’. Using Antonio Gramsci’s notion of hegemony, authors try to define the key field for the construction of political community. Their theory is contextualized as a psychoanalitical discourse, as well as discourse known in social sciences by the name of “social constructionism”. (shrink)

A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.

The article shows that in the Archaic period the Greeks did not possess a term equivalent to Classical ποιητής “poet-composer.” The principal meaning of the word άοιδός, often claimed to correspond to ποιητής and modern English poet, was “tuneful” or “singer” . The secondary meaning “poet working in the hexameter medium” is limited to the post-Iliadic hexameter corpus. It is furthermore possible to show that the simplex άοιδός was backderived from a compound. More specifically, following Hermann Koller, I propose that (...) the secondary meaning, being an epic innovation, developed from the compound *θεσπιαοιδός “singer of things divine,” whereas the primary meaning “singer” may go back to έπαοιδός, which later acquired the specialized meaning “singer of incantations.”. (shrink)

Materials of the discussion about informal philosophical schools held in Alushta (1987–1989, 1991, 1993). The context of the Ukrainian SSR in the 1980s and the impact of Schools on Ukrainian philosophy during the period of independence are analyzed.

Professor Yurii Duplenko passed away on October 18, 2024, at the age of 89.

There is a problem of incision of rivers. To solve it, it is necessary to obtain and analyze objective information about the processes of incision and related processes of changes in morphology, structure, functioning of the flow-channel system, the young river landscape. The next step in solving the problem is an objective analysis of possible factors of incision. The main factor in the studied objects is the extraction of river alluvium for many decades. It is also important to identify and (...) study the consequences and extent of changes in the young river landscape, to assess its condition. We propose a method of analysis of processes and factors of incision that can be applied to other rivers, it can also be supplemented and developed. It allows to put in perspective the situation and justify the necessary solutions in the process of planning integrated management of the young river landscape as an important component of the river basin system. Significantly anthropogenically altered sections of rivers, their channels and floodplains may occur as a result of incision. They need special public attention to restore the environmental properties of capacity building. This is an integral part of the culture of interaction between society and rivers, which primarily includes objective quality monitoring, availability and quality of all necessary information as a basis for effective decision-making. An important conclusion is the feasibility of monitoring changes in the vertical position of channels and floodplains, as well as changes in alluvial deposits as part of hydromorphological monitoring in general. In particular, conducting GPS surveillance. (shrink)

The article is one of the last reflections of the outstanding mathematician, Academician of the Russian Academy of Sciences Viktor Nikolaevich Maslov, who passed away in August 2023. In it, in a free manner, the motives of personal biography are combined and easily turn into wise judgments about acute social conflicts of our time, it is shown that the real history of people and events found compromises and mutual understanding between seemingly irreconcilable ideas and positions. The Polish roots of (...) his biography in his worldview are surprisingly linked to the proximity of the mathematical ideas of the Banach space of the great Polish mathematician Stefan Banach with the indexes of his name, with the friendship and cooperation of Polish and Russian scientists. Social-democratic family traditions on the maternal and paternal lines are perfectly combined with patriotic service to the state and are imprinted with vivid examples. He contrasts one – sided ideas about Ukrainian nationalism with the experience of such a politician as Makhno, who was merciless even to the slightest manifestations of anti-Semitism, but most importantly, this is opposed by the unity of the origin of languages and the interweaving of cultural ties. The author expresses his belief in the international potential of socialist ideas, which is poorly used in solving modern social conflicts, in particular, in Ukraine, which he, as a person with Cossack roots, experiences with particular acuteness. (shrink)

The article is dedicated to the memory of Kostiantyn Dmytrovych Ushynskyi (1823-1871), an outstanding Ukrainian teacher-philosopher, founder and developer of the theoretical foundations of education based on the cooperation of pedagogy and psychology (the middle of the 19th century). In general, the purpose of the article is to update the scientific achievements of prominent compatriot. The article’s goal is detailed in such tasks: the assertion of Ukrainianness as the source or origin of K. Ushynskyi’s personality and creativity; the substantiation (...) of the features of his life philosophy, mentality (the priority of the value of the human soul, heartcentred meaning of human being in the comprehension of life; high personal emotionality, but subject to will; love for the native foundations), which total combination nourished the thinker’s ideas about pedagogical anthropology; substantiation of the peculiar intertextuality of the K. Ushynskyi’s book “Man as an object of education. An attempt at pedagogical anthropology” (1868–1869); an attempt to characterize the worldview and philosophical meanings of K. Ushynskyi’s construction of the psychological and pedagogical foundations of the educational process (cultural conformity, nature conformity, activity as the basis of education), which remains not only the historical heritage of Ukrainian humanitarian thought, but also a variant of an anthropologically sharpened worldview landmark for modern educators. It has been established that in the documentary substantiation of K. Ushynskyi’s belonging to Ukrainian culture, the contribution of the modern local historian and teacher V. Terletskyi became the most important. It is shown that the appeals made by K. Ushynskyi to the thoughts, ideas, opinions of numerous European scientists, writers, historical figures, polemics and dialogues with them on the pages of the book ensured the transition to the creation of a text as a stereophonic intersection with other texts. The author of the article tries to substantiate this feature of the book as a kind of intertextuality of the analyzed scientific work. (shrink)

We present a survey of proof theory in the USSR beginning with the paper by Kolmogorov [1925] and ending (mostly) in 1969; the last two sections deal with work done by A. A. Markov and N. A. Shanin in the early seventies, providing a kind of effective interpretation of negative arithmetic formulas. The material is arranged in chronological order and subdivided according to topics of investigation. The exposition is more detailed when the work is little known in the West or (...) the original presentation can be improved using notions or results which appeared later. This includes such topics as Novikov's cut-elimination method (regular formulas) and Maslov's inverse method for the predicate logic. (shrink)

-/- Medytacje filozoficzne, Fundacja na Rzecz Myślenia im. Barbary Skargi, Warszawa 2015. -/- Publikacja współfinansowana przez Muzeum Łazienki Królewskie w Warszawie. -/- Zbiór tekstów powstałych na podstawie wykładów, które zostały wygłoszone w ramach cyklu "Medytacje filozoficzne w Łazienkach" w latach 2013-2015. -/- -/- Spis treści: -/- Cezary Wodziński, Premedytacja Krzysztof Pomian, O wyjątkowości człowieka Zygmunt Bauman, O miłości i nienawiści… Tropami Barbary Skargi Tadeusz Sławek, Ciemne liturgie. Język, historia i gest błogosławieństwa Lech Witkowski, Rozprawa z autorytetem: w strone autorytu przejścia (...) Władysław Stróżewski, Doświadczenie czasu, doświadczenie istnienia Juliusz Domański, „Pradawna waśń filozofów z poetami” a kłopoty z dziedzictwem antycznym Serhij Żadan, Wolność jako odpowiedzialność Marcin Poręba, Co to jest rzeczywistość? Szymon Wróbel, Co to jest historia filozofii? Magdalena Środa, Moralność życia publicznego Kostiantyn Tyszczenko, Po co językoznawstwu metateoria? (shrink)

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

The author addresses his replies to the issues raised in the comments by Professors Berestov, Butakov, Gaginsky and Maslov. This includes some general points about methodology for skeptical arguments, and a related point about the scope of John Greco's project. Some more specific issues raised by my commentators are then considered.

The article is written in the form of an essay. It examines what value for the course of the Great Patriotic War of 1941‑1945, in particular for the defense of Leningrad, had neutral-restrained position of Mannerheim and Finland as a state, expressed in relative distancing from Nazi Germany: non-participation in the storming and bombing of Leningrad, refusal to provide the German army the territory of Finland for hitting the city, to block the "Road of Life" on the lake Ladoga. It (...) is shown that this position was largely the result of the diplomatic efforts of the Soviet Ambassador to Sweden, Alexandra Kollontai, who had a special friendly relationship with Mannerheim. In the course of the argument, along with the analysis of objective and literarily documented facts, the author also relies on personal evidence rooted in the biography of his grandfather, the famous academician P.P. Maslov. The article uses a concrete example to show how personal positions and interpersonal relationships, subject to their own logic, become important elements of historically significant factors. (shrink)

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the (...) Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet. (shrink)