Philosophy is deeply rooted in human nature. On the one hand, thinking of an infinite essence of the universe may actualize an infinite essence of humans themselves and thus root them in the Cosmos infinity. On the other hand, to think of infinity is to acquire the power of infinity, i.e., an infinite power. In short, thinking in terms of infinity fills us with infinity. Philosophy allows individuals to overstep the limits of the lived experience, transcends their Selves beyond daily (...) occurrence. Obviously, just this human transcendence into metaphysical reality, into the world of essential relationships ensures a therapeutic effect of philosophy. (shrink)

В статті досліджуються механізми виникнення концептосфери Інтернету «розумних» речей. Представлено розуміння процесів трансферу з ментального плану людини у простір культури концептів. Дослідження вказує на важливість еволюції ментального плану людини для процесів трансформації когнітивно перетворювальної практики людини. Такий феномен техніки, як ІРР, сформував нове ментальне середовище – концептосферу «ІРР», яка має важливе значення для формування ментального плану людини. Концептосфера «ІРР» має вплив у всіх сферах діяльності людини: науці, техніці, культурі, медицині, економіці, побуті тощо. Концептосфера «ІРР», як і сама техносфера ІРР, характеризується (...) аутопоезисом та автономністю. (shrink)

This paper presents current debates on an anthropological principle in linguistics that Russian scholars are involved in. It presents as important the consideration of traditional issues in linguistics from the position of anthropologism. Also, it is fruitful to understand the lingual personality as an object of study in linguistics, to interpret the meaning of words from an anthropocentric position, and to anthropologically interpret ways of the world conceptualization in semantics of the lingual and textual units. It is especially important to (...) consider an anthropological approach in relation to human creativity. (shrink)

We need a metaphysics of respect for nature in order to establish the foundation for a humanistic philosophical anthropology. A metaphysics of respect for human beings will assist us in overcoming the human crisis. Genuine metaphysical respect for nature and for humans needs no supernatural substance. Matter is realized as causa sui and can be also defined as Natura sapiens. Humans are not the only intelligent life forms in the universe. Man is primordial a creative being: Homo creans. The predestination (...) of philosophical anthropology consists in clearing and co‐creating the essence (logos) of human being. (shrink)

В статті експлікується концепт «інженерія», розглядається його фундаментальне тлумачення. Сучасні модуси поняття «інженерія» виходять за технічно-інструменталістське коло тлумачень. Інженерія – це когнітивно-перетворювальна практика. Дослідження ставить наголос на тому, що інженер ХХІ ст. змінює вектор своїх інтенцій з природи на саму людину. Інженерія «розумних» речей є частиною соціальної інженерії. Сучасні технології, які необхідно входять в інженерію «розумних речей, мають величезне соціально-антропологічне значення. Створена інженерією ХХІ ст. антропотехносфера є «розумним» середовищем. Ця природа-для-людини за багатьма напрямками детермінує поведінку людини. Людина зіштовхується з проблемою (...) аутопоезису сучасної техніки, яка, в певних аспектах, може сама себе відтворювати і функціонувати поза втручанням людини. Частина, яку займає техніка в процесах трансформації природи людини, має тенденцію збільшуватися. Інженерія «розумних» речей розглядається як інженерія природи людини. (shrink)

This book is a collection of the selected proceedings of the 4th International Conference "Human Being in Contemporary Philosophical Conceptions," which was held under the patronage of UNESCO at Volgograd State University (Russia) on May 28-31, 2007. In the letter to the organizers, Mr. Koïchiro Matsuura wrote: "I should like to congratulate you on this important initiative to promote philosophical reflection, which is one of the central objectives of UNESCO's Intersectoral Strategy on Philosophy." There is an interesting fact: the 19th (...) World Congress of Philosophy in Moscow (1993) had no session on philosophical anthropology, the next Congress in Boston (1998) had one such session, the 21st Congress of Philosophy in Istanbul (2003) had already four sessions, and the 22nd World Congress of Philosophy in Seoul (2008) had six sessions on philosophical anthropology. Obviously, we may observe a new anthropological renaissance in contemporary thought. This book serves the philosophical anthropology becoming as well. Perhaps an idea of integral studies is the most attractive trend in the contemporary philosophy and science. The book presents an experience in integral philosophy of human being. Also, the development of philosophical anthropology is closely connected with practical tasks. Our political activities, welfare projects and educational programs can become really useful only when we are guided by knowledge of what human being is, what we are able to do, what are own needs, and what we must become. Philosophical anthropology could correctly define the research purposes of all human sciences. This volume includes various reflexions and styles of thinking. By this, all the papers demonstrate metaphysics of respect for human being. The contributors, scholars from the different countries, are open for free discussions and fresh ideas. (shrink)

The paper discusses a possibility of integral combination of various approaches for the adequate understanding of human being. In this regard, I analyze the feeling of love in the context of rational cognition and also suggest a secular interpretation of religious images and symbols that allow us to understand well-known heuristic and moral notions in a new light.

Discusses current global conditions including peace, changes in society, education, religion, spirituality, and consciousness.

This accessible and comprehensive overview of the work of Stanislav Grof, one of the founders of transpersonal psychology, was specifically written to acquaint...

Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...) consequence relations for a given spi-logic. (shrink)

This paper is concerned with a two-sorted probabilistic language, denoted by $\textsf{QPL}$, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of $\textsf{QPL}$ containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from Fagin et al. (1990, Inform. Comput., 87, 78–128). We shall prove that the $\textsf{QPL}$-theory of the Lebesgue measure on $\left [ 0, 1 \right ]$ is decidable, and moreover, all (...) atomless spaces have the same $\textsf{QPL}$-theory. Also, we shall introduce the notion of elementary invariant for $\textsf{QPL}$ and use it to translate the semantics for $\textsf{QPL}$ into the setting of elementary analysis. This will allow us to obtain further decidability results as well as to provide exact complexity upper bounds for a range of interesting undecidable theories. (shrink)

The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general.

Can matter, things, nonhuman organisms, technologies, tools and machines, biota or institutions be seen as creative? How does such creativity reposition the visionary activities of humans? This article is an elaboration of such questions as well as an attempt at a partial response. It was written as an editorial for the special issue of the Digital Creativity journal that interrogates the conception of Post-Anthropocentric Creativity. However, the text below is a rather unconventional editorial. It does not attempt to provide an (...) overview of the issue’s theme but, instead, samples it via a particular example. The idea of the issue was to think about post-anthropocentricism by considering (1) agents, recipients and processes of creativity alongside with its (2) purpose, value, ethics and politics. This article addresses the first subtheme by puzzling at the paradoxes of “field learning” and picks at the second by considering the texture of “automated beauty”. Both of these parts use chess for an example. The narrative on chess is intermitted by a section “on creativity” that attempts to contextualize the case-based discussion in the wider context and to consider motivations and implications. (shrink)

We carry out a study of definability issues in the standard models of Presburger and Skolem arithmetics (henceforth referred to simply as Presburger and Skolem arithmetics, for short, because we only deal with these models, not the theories, thus there is no risk of confusion) supplied with free unary predicates—which are strongly related to definability in the monadic SOA (second-order arithmetic) without × or + , respectively. As a consequence, we obtain a very direct proof for ${\Pi^1_1}$ -completeness of Presburger, (...) and also Skolem, arithmetic with a free unary predicate, generalize it to all ${\Pi^1_n}$ -levels, and give an alternative description of the analytical hierarchy without × or + . Here ‘direct’ means that one explicitly m-reduces the truth of ${\Pi^1_1}$ -formulae in SOA to the truth in the extended structures. Notice that for the case of Presburger arithmetic, the ${\Pi^1_1}$ -completeness was already known, but the proof was indirect and exploited some special ${\Pi^1_1}$ -completeness results on so-called recurrent nondeterministic Turing machines—for these reasons, it was hardly able to shed any light on definability issues or possible generalizations. (shrink)

The impacts that AI and robotics systems can and will have on our everyday lives are already making themselves manifest. However, there is a lack of research on the ethical impacts and means for amelioration regarding AI and robotics within tourism and hospitality. Given the importance of designing technologies that cross national boundaries, and given that the tourism and hospitality industry is fundamentally predicated on multicultural interactions, this is an area of research and application that requires particular attention. Specifically, tourism (...) and hospitality have a range of context-unique stakeholders that need to be accounted for in the salient design of AI systems is to be achieved. This paper adopts a stakeholder approach to develop the conceptual framework to centralize human values in designing and deploying AI and robotics systems in tourism and hospitality. The conceptual framework includes several layers – ‘Human-human-AI’ interaction level, direct and indirect stakeholders, and the macroenvironment. The ethical issues on each layer are outlined as well as some possible solutions to them. Additionally, the paper develops a research agenda on the topic. (shrink)

What can the creation of artificial habitats to replace old-growth forests tell us about the process, value and future of design? This chapter takes a concrete and provocative example and uses it to rethink design as a gradual, ecological action. To illustrate this understanding, the chapter begins with a description of a proposal to provide artificial habitats for wild animals such as birds, bats and invertebrates. The controversial idea to replace rapidly disappearing old-growth trees with artificial structures puts in doubt (...) habitual assumptions about the clients, procedures and goals of design. This example is of relevance to all design because the need to provide artificial habitats to nonhumans will be increasingly common under the influence of such phenomena as global warming or urbanisation. … The invention of artificial structures in place of natural habitats is described in this chapter as an incitement that highlights the need for further research into values, participants and methods of design. This discussion concludes with a proposal for an attitude of modesty in the face of increasingly overwhelming volumes of information as well as in the presence of an even greater ignorance about the futures of nondeterministic, volatile and incompletely controllable natural systems. The dilemma of design in these conditions is in the tension between its remit to act and the uncertainty that inescapably underlies any creative endeavour. (shrink)

Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are important because of their first-order definability and canonicity, and hence axiomatize complete modal logics. The first-order properties definable by Sahlqvist formulas were syntactically characterized by Marcus Kracht in 1993. The present paper extends Kracht's theorem to the class of ‘generalized Sahlqvist formulas' introduced by Goranko and Vakarelov and describes an appropriate generalization of Kracht formulas.