This paper considers the impact of the AI R&D programme on human society and the individual human being on the assumption that a full realisation of the engineering objective of AI, namely, construction of human-level, domain-independent intelligent entities, is possible. Our assumption is essentially identical tothe maximum progress scenario of the Office of Technology Assessment, US Congress.Specifically, the first section introduces some of the significant issues on the relational nexus among work, education and the human-machine boundary. In particular, based on (...) a Russellian conception of rationality I briefly argue that we need to change our related conceptions of work, employment and free time, through a new human-centred education. On the human-machine boundary problem, I make a couple of tentative suggestions and put forward some crucial open questions.Section two discusses the impact of the emerging machine intelligence on human nature both as modification of its self-image, keeping human nature itself unchanged, and its potential for altering human nature itself. I briefly argue that: (i) in a certain context, the question of the supremacy or uniqueness of human intelligence loses much, if not all, of its ‘weight’; and (ii) appearance of Robot-X species would immortalise the human spirit. (shrink)

I propose a physicalist theory of consciousness that is an extension of the theory of noémona species. The proposed theory covers the full consciousness spectrum from animal to machine and its huma...

I have three types of interrelated comments. First, on the choice of the proposed criteria, I argue against any list and for a system of criteria. Second, on grading, I suggest modifications with respect to consciousness and development. Finally, on the choice of “theories” for evaluation, I argue for Edelman's theory of neuronal group selection instead of connectionism (classical or not).

(1997). A rudimentary theory of information: Consequences for information science and information systems. World Futures: Vol. 49, The Quest for a Unified Theory of Information, pp. 275-286.

The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This chapter claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...) chapter discusses the Kumo and Polymath projects, both of which employ Web‐based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This chapter claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the chapter discusses the Kumo and Polymath projects, both of which employ Web‐based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. (shrink)

This is the first interdisciplinary exploration of the philosophical foundations of the Web, a new area of inquiry that has important implications across a range of domains. - Contains twelve essays that bridge the fields of philosophy, cognitive science, and phenomenology. - Tackles questions such as the impact of Google on intelligence and epistemology, the philosophical status of digital objects, ethics on the Web, semantic and ontological changes caused by the Web, and the potential of the Web to serve as (...) a genuine cognitive extension. - Brings together insightful new scholarship from well-known analytic and continental philosophers, such as Andy Clark and Bernard Stiegler, as well as rising scholars in “digital native” philosophy and engineering. - Includes an interview with Tim Berners-Lee, the inventor of the Web. (shrink)

The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web-based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof-events. Web-based proof-events have a social component, communication medium, prover-interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...) article discusses the Kumo and Polymath projects, both of which employ Web-based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. (shrink)

The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...) article discusses the Kumo and Polymath projects, both of which employ Web‐based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. (shrink)

The concept of proof can be studied from many different perspectives. Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc. In this paper, we develop Goguen’s general concept of proof-events and the methodology of algebraic semiotics, in order to define the concept of mathematical style, which characterizes the proofs produced by different cultures, schools or scholars. In our view, style can be defined as (...) a semiotic meta-code that depends on the underlying mode of signification (semiosis), the selected code and the underlying semiotic space and determines the individual mode of integration (selection, combination, blending) into a narrative structure (proof). Finally, we examine certain historical types of styles of mathematical proofs, to elucidate our viewpoint. (shrink)

For several years, in some regions of Ukraine, attempts have been made to clericalise educational institutions, transfer them to a comprehensive school, and in some places - to higher educational institutions, an atmosphere of interfaith rivalry, inter-church confrontation, imposing not only a religious worldview on the one or our religion Moscow, or the Kyivan Patriarchate) or the Roman Catholic or Greek Catholic Church, but also certain socio-political and ideological-spiritual orientations and norms of behavior, which, in the first place, znachayetsya the (...) moral and psychological atmosphere of the children, on the one hand, and the relationship between teachers and students, parents of students and teachers of schools - the other. (shrink)

This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting point is the concept of proof-event or proving, introduced by Goguen, instead of the traditional concept of mathematical proof. The reason behind this choice is that in contrast to the traditional static concept of mathematical proof, proof-events are understood as processes, which enables their use in Artificial Intelligence in such contexts in which (...) problem-solving procedures and strategies are studied. We represent proof-events as problem-centred spatio-temporal processes by means of the language of the calculus of events, which adequately captures certain temporal aspects of proof-events (i.e. that they have history and form sequences of proof-events evolving in time). Further, we suggest a “loose” semantics for the proof events by means of Kolmogorov’s calculus of problems. Finally, we expose the intented interpretations for our logical model from the fields of automated theorem-proving and Web-based collective proving. (shrink)

In this paper, we suggest the broader concept of proof-event, introduced by Joseph Goguen, as a fundamental methodological tool for studying proofs in history of mathematics. In this framework, proof is understood not as a purely syntactic object, but as a social process that involves at least two agents; this highlights the communicational aspect of proving. We claim that historians of mathematics essentially study proof-events in their research, since the mathematical proofs they face in the extant sources involve many informal (...) components, often not completely formalizable, and convey some kind of semantic content calling for understanding and verification. We illustrate the application of this methodological approach in some outstanding historical cases, paying particular attention to the process of proof interpretation that makes a proof-event alive. Finally, we suggest a classification of proof-events, according to the conditions imposed upon problem-solving. This enables us to speak about broad classes of proof-events in history of mathematics that share a common characteristic. (shrink)

While collaboration has always played an important role in many cases of discovery and creation, recent developments such as the web facilitate and encourage collaboration at scales never seen before, even in areas such as mathematics, where contributions by single individuals have historically been the norm. This new scenario poses a challenge at the theoretical level, as it brings out the importance of various issues which, as of yet, have not been sufficiently central to the study of problem-solving, discovery, and (...) creativity. We analyze the case of collective and web-based proof events in mathematics, which share their temporal and social nature with every case of collective problem-solving. We propose that some ideas from cognitive architectures, in particular, the notion of codelet—understood as an agent engaged in one of a multitude of available tasks—can illuminate our understanding of collective problem-solving and act as a natural bridge from some of the theoretical aspects of collective, web-based discovery to the practical concern of designing cognitively inspired systems to support collective problem-solving. We use the Pythagorean Theorem and its many proofs as a case study to illustrate our approach. (shrink)

This book explores the overlooked but vital theoretical relationships between R. M. Hare, Alan Gewirth, and Jürgen Habermas. The author claims their accounts of value, while failing to address classic virtue-theoretical critiques, bear the seeds of a resolution to the ultimate question "What is most valuable?" These dialectical approaches, as claimed, justify a reinterpretation of value and value judgment according to the Carnapian conception of an empirical-linguistic framework or grammar. Through a further synthesis with the work of Philippa Foot and (...) Thomas Magnell, the author shows that "value" would be literally meaningless without four fundamental phenomena which constitute such a framework: Logical Judgment, Conceptual Synthesis, Conceptual Abstraction, and Freedom. As part of the 'grammar of goodness,' the excellence of these phenomena, in a highly concrete way, constitute the essence of the greatest good, as this book explains.. (shrink)

In the context of modern world religious processes, in recent years Ukraine has become a field of active attention from various non-traditional and up-to-date religious movements. According to the State Committee of Ukraine for Religious Affairs, as of January 1, 1995, there were registered 147 non-Christian communities, 52 communities of Orientalist orientation, 23 communities of the Russian Federation, etc., registered in Ukraine. And although in the confessional environment of Ukraine, the fate of such currents is negligible, but their activities can (...) not be ignored in state-church policy in solving the tasks of building a democratic society. (shrink)

The Society "Knowledge" of Ukraine began the activity of the Department of Religious Studies. The Council of Lecturers is formed consisting of 24 people, among them are well-known philosophers, historians, sociologists - religious scholars: Doctors of Philosophy B.Lobovik, M.Zakovich, A. Kolodnyy, Yu.Kalinin, P.Kosuha, M.Rybachuk, P.Yarotsky, candidate of philosophical sciences M. Babiy, S. Golovashchenko, V. Yelensky, M.Kyryushko, O.Sagan, V.Suyarko, L.Filipovich and others.

Monograph by A. Kolodnyi "Religious Life of Ukraine in the Persons of Its Persons and Researchers" - assessments of its reviewers M. Tkachuk, P.Movchan, A.Yermolenko and P.Yarotsky.

The Philosophers' Library features the most important philosophy manuscripts and books as stepping stones to take your through the history of philosophy. By cataloguing the history of philosophy via its key works, this book reflects the physical results of human thinking and endeavour; brilliant thought manifested in titles that literally changed the course of knowledge, sometimes by increments, and sometimes with revolutionary impact. This is a unique book of books, all as beautiful as they are important, whether they be ancient, (...) modern or those in-between"--Publisher's description. (shrink)

The religions of the world preserve the knowledge and protect the secrets of ancient powerful mantras. At the heart of world religion, and among the most powerful mantras in the history of religion, is the Navkar mantra, or Trimantra. In the book “Trimantra”, Gnani Purush (embodiment of Self knowledge) Dada Bhagwan explains the Trimantra, its mantra meaning, and the extraordinary benefits of its recitation. Whether wishing to live with no worry while facing problems in everyday life, wondering how to get (...) inner peace, or on a spiritual quest seeking spiritual enlightenment (self realization), utilizing Trimantra provides that – and more. Among the many spiritual books available today, Dadashri’s spiritual guidance about the value of Trimantra, and how to best access its spiritual power, is invaluable. (shrink)

Unlike some other reproductions of classic texts (1) We have not used OCR(Optical Character Recognition), as this leads to bad quality books with introduced typos. (2) In books where there are images such as portraits, maps, sketches etc We have endeavoured to keep the quality of these images, so they represent accurately the original artefact. Although occasionally there may be certain imperfections with these old texts, we feel they deserve to be made available for future generations to enjoy.

"Aptavani 2" is the second in a series of spiritual books titled "Aptavani". In this series, Gnani Purush (embodiment of Self knowledge) Dada Bhagwan addresses age-old unanswered questions of spiritual seekers. Dadashri offers in-depth answers to questions such as: "What is religion?", "What are the benefits of the different types of religion?", "How do I understand spirituality vs. religion?", "What is spirituality?", "What are the different types of yoga, and how are they relevant to spirituality and practice?", "How can I (...) experience a spiritual awakening, and attain spiritual enlightenment?", "How can I lead a spiritual life?"Dadashri also provides spiritual clarification on the topics of: "What is the meaning of ignorance?", "Who am I?", "How can I experience my own pure Soul?", and "What is moksha, or liberation?"Ultimately, Dadashri describes that knowledge of Self is the primary goal of all seeking, and the beginning of true spirituality. Having attained Self knowledge, spiritual development begins, after which one may attain ultimate liberation, or moksha. (shrink)

"Aptavani 4" is the fourth in a series of spiritual books titled "Aptavani". In this series, Gnani Purush (embodiment of Self knowledge) Dada Bhagwan addresses age-old unanswered questions of spiritual seekers. Dadashri offers in-depth answers to questions such as: "What is the definition of self awareness, and what are the signs of lack of awareness?", "What is spirituality?", "What are the benefits of spirituality and practice?", "How can I experience a spiritual awakening, and what are the signs of spiritual awakening?", (...) "How may I attain spiritual enlightenment and lead a spiritual life?"Dadashri also provides spiritual explanations regarding: "What is the meaning of ignorance?", "Who am I?", and "How can I experience the spiritual power of my pure Soul?"For those seeking to learn how to become more spiritual, Dadashri explains that the knowledge of Self is the beginning of true spirituality. Upon attaining Self knowledge, one's spiritual development begins, which eventually leads to ultimate liberation, or moksha. (shrink)

"Aptavani 8" is the eighth in a series of spiritual books titled "Aptavani". In this series, Gnani Purush (embodiment of Self knowledge) Dada Bhagwan addresses age-old unanswered questions of spiritual seekers. Dadashri offers in-depth answers to questions such as: "What does karma mean, and what is the law of karma?", "How was the world created, and what is the journey of souls?", and "Who am I, and who is the 'Doer' (ego definition)?"Dadashri also provides profound explanations on: "What is spirituality?", (...) "How can I experience the spiritual power of my pure Soul?", "What are the signs of spiritual awakening?", "How may I attain spiritual enlightenment and lead a spiritual life?"For those wanting to learn how to become more spiritual, Dadashri describes how to attain the Self - explaining that the knowledge of Self is spiritual awakening, and the beginning of true spirituality. (shrink)

Drugs, and the states they induce, play central and interwoven roles in the Dune saga. Spice melange, the most valuable object in the known universe, is a cinnamon‐scented, life‐prolonging, mind‐altering drug found only on the planet of Arrakis. Psychedelics, drugs in the hallucinogen class, share many properties with Arrakeen drugs. It's also intriguing that Imperial denizens refer to the universe's most valuable substance as “spice” and “melange.” Computers, thinking machines, and conscious robots threatened humanity's sovereignty and humanity's unique moral status, (...) particularly from a religious perspective. After years of forced migrations from planet to planet, the Fremen finally settled on Arrakis, becoming its indigenous population. Experiential knowledge will be an important teacher to someone without any prior technical or technological training in sustaining a presence in spiritual realms. Techniques and technologies change the people and societies that use them. (shrink)

"Aptavani 5" is the fifth in a series of spiritual books titled "Aptavani". In this series, Gnani Purush (embodiment of Self knowledge) Dada Bhagwan addresses age-old unanswered questions of spiritual seekers. Dadashri offers in-depth answers to questions such as: "What is the meaning of karma?", "How can I master the law of karma?", "Who am I, and who is the 'Doer' (ego definition)?", and "What is prakruti (non-self complex)?"Dadashri also provides spiritual explanation on the topics of: "To attain the Self, (...) must one control the five sense organs?", "How does one define penance?", and "What would be the definition of repentance?For those wondering how to become more spiritual, Dadashri explains that the knowledge of Self is the beginning of true spirituality. With such spiritual development, and from understanding the law of karma, one can learn how to interact peacefully in worldly life. (shrink)

Those seeking to lead a spiritual life, or just wondering how to become more spiritual may become inspired towards serving others, or giving Seva (selfless service). To learn how to serve God one might emulate spiritual people, study with spiritual teachers, or look to different types of religion and different types of yoga. But finding spiritual guidance on the topic of Seva is not always easy. One might be left wondering, “Is service to humanity a higher means to make a (...) donation – or should I simply donate to charity? What are the best charities to donate to, or to serve?” Or one might ask, “How does Seva support my spiritual development? Is there spiritual power and spiritual transformation to be gained through it?” In the book “Right Understanding To Help Others: Benevolence”, Gnani Purush (embodiment of Self knowledge) Dada Bhagwan offers precise understanding about people helping others and the many benefits Seva has upon one’s spiritual growth. Dadashri explains that happiness begins from the moment one begins serving others and that, in offering Seva, one’s life will never lack for material comfort and happiness. Among the myriad of spiritual books available today, “Right Understanding To Help Others: Benevolence” is a unique and invaluable resource. (shrink)

Gnan Vidhi is the ultimate gift from the Gnani Purush Dadashri, who has revealed to the world an extraordinary, new science of the Self, called 'Akram Vignan' (Stepless path to Self-realization and harmony in daily living). It is a scientific process of separating 'I' (Soul, Self) and 'my' (mind, body and speech), with the special spiritual energies and grace of the Gnani Purush. The participant attains and experiences that which has eluded him life after life, the Self realized state. He (...) experiences eternal bliss and becomes free from worries. His worldly relations become harmonious. - Dadashri. (shrink)