While specifications and verifications of concurrent systems employ Linear Temporal Logic , it is increasingly likely that logical consequence in image will be used in the description of computations and parallel reasoning. Our paper considers logical consequence in the standard image with temporal operations image and image . The prime result is an algorithm recognizing consecutions admissible in image, so we prove that image is decidable w.r.t. admissible inference rules. As a consequence we obtain algorithms verifying the validity of consecutions (...) in image and solving the satisfiability problem. We start by a simple reduction of logical consecutions of image to equivalent ones in the reduced normal form . Then we apply a semantic technique based on image-Kripke structures with formula definable subsets. This yields necessary and sufficient conditions for a consecution to be not admissible in image. These conditions lead to an algorithm which recognizes consecutions admissible in image by verifying the validity of consecutions in special finite Kripke structures of size square polynomial in reduced normal forms of the consecutions. As a consequence, this also solves the satisfiability problem for image. (shrink)

_Purpose._ To substantiate the definition of technics as the attributive characteristics of a human being and the necessity of its orientation towards human flourishing in the context of new anthropological models of the 21st century. _Theoretical basis._ Correlation between technics, technology and the human essence is examined. The role of technics is traced at different historical stages of human development. Negative and positive effects of digital technology development upon a contemporary human being is analysed in the light of new anthropological (...) models: homo technologicus, homo digitalis and homo eudaimonicus. The content of a new worldview-value paradigm of defining goals of technology is outlined. _Originality._ Transformation of the role of technics correlates with value and worldview shifts in person’s understanding of his/her purpose in both natural and social worlds. Nowadays, philosophical analysis of anthropological dimension of technics and technology opens a horizon for seeking effective solutions in the face of the contemporary challenges and anti-utopian threats by means of focusing on the fact that, indeed, technological development is subordinate to the humanist goal that is flourishing, wellbeing and comprehensive development of a human being. _Conclusions._ The essence of technology reveals not through its functional but anthropogenic definitions in a sense of a source of institutionalization and in a sense of a source of realization of a human way of self-identification and self-objectification of human subjectivity. Technics/technology is the attributive characteristics of human essence and being: a human being is as much human as much he/she is a creator of technics. The purpose of technics is not to master the nature and to transform the world; technics is, above all, a tool of human self-improvement and self-creation through broadening the horizon of human capacities. The analysis of new modern anthropological models shows that it is the orientation of technology/technology towards human flourishing that is, on the one hand, a response to the existential demands of modern man, and on the other hand, a way of preventing future threats related to technological development. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about the (...) world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance. In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

The article examines the unconscious uncontrolled side of the human psyche, analyzes approaches to determining the structure of the unconscious, its constituent elements and their relationships from the point of view of the concepts of prominent psychoanalysts Z. Freud, C. Jung and J. Lacan. The significance of the "mirror stage" described by Lacan is revealed. in the understanding of human self-consciousness. Particular attention is paid to Lacan's thesis that the unconscious is, first of all, language; and it is he who (...) acts as a manifestation of a structure that has clear patterns. It is through language that we can approach understanding of the connection of the unconscious with the conscious world in the context of Lacan's definition of the triad of "real", "imaginary" and "symbolic". The purpose of the study is to show the relationship between the concepts of the structure of the unconscious and the fusion of psychoanalysis with philosophical and linguistic structuralism, which gives rise to a variety of approaches and interdisciplinary research in understanding the essence of the unconscious and interpreting social phenomena through the linguistic structures of myth. (shrink)

The development of the social sciences needs to rely on precise methods. The nomological model of explanation adopted in the natural sciences is ill-suited for the social sciences. An algorithmic model of society can be a promising solution to existing problems. In its most general form, an algorithm is a generally understood prescription for what actions to perform and in what order to achieve the desired result. Any algorithm can be represented as a set of rules of the form «If (...) A, do D to get P». People are the bearers of this kind of rules that apply in different areas of their activities. The rules are subject to change based on personal and collective experience. There is a special mathematical discipline that studies the laws of evolution of such rules. This discipline is called genetic programming. Contrary to the threatening name, the algorithmic model does not imply the deprivation of a person’s right to free choice, but it needs this right as a necessary condition for the evolution of social algorithms. These algorithms allow us to give a non-causal, but law-like explanation of many well-known social phenomena, as well as to effectively model the future, which is critically important today. A retrospective look at the evolution of social algorithms shows that the current global crisis of human society is associated with the approach to the point of singularity in their evolution. This is due to the fact that there is no need for direct human participation in the implementation of social algorithms, which is reflected in a fundamental change in the sphere of employment and less need for further development of the sciences. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 111 One fascinating item is the author's extensive account of the most violent and extended controversy in the history of aesthetics---the veneration of images and the disputes between the Iconoclasts and the Iconophiles. This sometimes physical battle raged for over 100 years! The Byzantine society, obviously, took art seriously. Tatarkiewicz' great labor is an object lesson in historiography and bibliographic technique. At one and the same time (...) it demonstrates how much of value remains to be discovered by careful adherence to the detail of scholarship, while it also displays how much fruitful scholarship depends upon a brilliant and profoundly informed mind. Such a work, in short, could only have descended from a fully mature scholar. Publication of these volumes underscores the continuing need for publication of significant translations waiting to be made. When can we return to those conditions which make possible this kind of international scholarly achievement? The Humanities Press is now offering these two volumes for $10.00. ALLAN SHIELDS Cali/ornia State University, San Diego Tempo, Coscienza e Essere nella filosofia di Aristotele. By Luigi Ruggiu. (Brescia: Paideia Editrice, 1970. Pp. xxviii+662. L. 6,000.) Ruggiu gives us here a careful and extended account of Aristotle's view of time with special attention to the necessary connections that obtain between time and consciousness, and time and beilag. Ruggiu is also interested in saying something about the origins of later Western conceptions of time and what he calls the nihilistic tendency which runs through them. The reader who (wishing to follow Ruggiu in this 690 page enterprise) begins by trying to get a sense of the architectonic of the essay, is immediately advised to skip E. Severino's somewhat misleading preface. In his own very useful Introduction, Ruggiu rightly notes that Aristotle's review of the aporia in the notion of time found that his predecessors had tended to assimilate (or reduce) time to non-being. But Ruggiu neglects to emphasize something that would have been very helpful at this stage, and which is altogether required, for the understanding of Aristotle's view of time. This is, that Aristotle himself assimilates time, not to non-being but to change and motion. It is also fundamental to Aristotle's philosophy of time, just as it is to his philosophy as a whole, that it acknowledges the primacy of change in the realm of the conditional. Let it be emphasized, then, that generation or change in Aristotle are not from nothing into something, or from something into nothing but from one thing into another. Ruggiu is trying to recover the sense of being in Aristotle which transcends the oppositions between idealism and naturalism, subjectivism and objectivism, and which is the matrix of Aristotle's sense of, and doctrine about, time. He finds that from Plotinos to the present, the prevailing interpretation of Aristotle's conception of time has been a spatial one in which, for instance, temporal succession has been reduced to spatial co-existence. Plotinos, of course, accepted the distinction found in Aristotle between the eternal sort of being which is outside of time and the being which is in time. But in trying to deduce temporal being from eternal being Plotinos is found guilty, by Ruggiu, both of equivocating between radically opposed senses of being and of developing his notion of time on the basis of the denial of time (quite like some modern mathematical philosophers of physics). Others have been equally mistaken in approaching Aristotle with the belief that consciousness is the basis of time. But the substrate of time, in Aristotle, is change, not conscious being. According to Ruggiu time in Aristotle is more than just a mode of being whose essence consists in succes- I 12 HISTORY OF PHILOSOPHY sion, for the reason that time conditions the very way in which we conceptualize being. The relations between being, time, and consciousness are, so to say, intrafoundational. Existing things or processes can, of course, be thought of as not existing; so, there is a sense or mode (namely, possibility) in Aristotle in which things disappear. Ruggiu (p. 411) understands Aristotle to mean by "the possible" that which does not now exist... (shrink)

The article is devoted to the memory of Vyacheslav Semenovich Stepin and Nikita Nikolaevich Moiseev, whose multifaceted work was integrally focused on philosophical, interdisciplinary and transdisciplinary research of the key ideas and principles of universal human-dimensional evolutionism. Other remarkable Russian scientists V.I. Vernadsky, S.P. Kurdyumov, S.P. Kapitsa, D.S. Chernavsky worked in the same tradition of universal evolutionism. While V.I. Vernadsky and N.N. Moiseev had been the originators of that scientific approach, V.S. Stepin provided philosophical foundations for the ideas of those (...) remarkable scientists and thinkers. The scientific legacy of V.S. Stepin and N.N. Moiseev maintained the formation of a new quality of research into the philosophy of science and technology as well as into the philosophy of culture. This new quality is multidimensional and it is difficult to define unambiguously, but we presume the formation of those areas of philosophical knowledge as constructively oriented languages of interdisciplinary and transdisciplinary co-participation of philosophy in the convergent-evolutionary development of scientific knowledge in general. In this regard, attention is paid to V.S. Stepin’s affirmations about non-classical nature of modern social and humanitarian knowledge. Quantum mechanics teaches us that the reality revealed through it is a hybrid construct, or symbiosis, of both mean and object of cognition. Therefore, the very act of cognitive observation constructs quantum reality. Thus, it is very close to the process of cognition in modern sociology and psychology. V.S. Stepin insisted that these principles are applicable to all complex selfdeveloping systems, and such are all “human-dimensional” objects of modern humanities. In all the phases of homeostasis changes, or crises, there is necessarily a share of chaos, instability, uncertainty in the selection process of future development scenarios, which is ineliminably affected by our observation. Therefore, a cognitive observer in the humanities should be considered as a concept of post-non-classical rationality, that is as an observer of complexity. (shrink)

Recenzio Kiraly V. Istvan Death and History c. konyverol.

Glava 1. Osmyslenie "ideala" russkim kosmizmom -- Glava 2. Analiz osnovnykh filosofsko-antropologicheskikh ideĭ v russkoĭ religioznoĭ filosofii -- Glava 3. Idei kosmizma v russkoĭ religioznoĭ filosofii -- Glava 4. V.I. Vernadskiĭ o sootnoshenii nauki, filosofii i religii -- Glava 5. Mifologicheskoe i nauchnoe v izuchenii obraza protopopa Avvakuma -- Glava 6. Ėkonomicheskoe razvitie i nravstvennai︠a︡ degradat︠s︡ii︠a︡ cheloveka i obshchestva v format︠s︡ionnom podkhode Karla Marksa i Fridrikha Ėngelʹsa.

Review the Istvan Kiraly V.'s book: Death and History.

v. 1. Obrazovanie v sud'bakh narodov. Education in the fates of nations -- v. 2. Razdumyi︠a︡. Thoughts -- v. 3. Krutogori︠a︡mi zhizni. Steep roads of the life -- v. 4. Ėstetika i tvorchestvo. Aesthetics and creativity -- v. 5. T︠S︡ivilizat︠s︡ii︠a︡ v zhizni planety. The civilization in the life of our planet.

Throughout Christianity, its activities are in one way or another connected to the historical reality of its time. Usually, for different epochs, the strength of these bonds was different, but during the Middle Ages, they were significantly stronger than before and after. It is here that perhaps the most important moment was the rise of Christianity, which spread over a relatively short period of time almost throughout Europe. It was then - and never again in all its history - that (...) the Church was able to participate in the formation of all aspects of its contemporary life, in accordance with its spirit. When solving this task, it inevitably came in close contact with the "world" and the various forms in which it was represented. (shrink)

Рассматриваются актуальные проблемы философской антропологии, проводится анализ парадоксов и противоречий, возникающих при изучении человека, тех кардинальных сдвигов в культуре, которые открыли новые стороны человеческого бытия. Для студентов.