Hegel's Philosophy of Universal Reconciliation: Logic As Form of The World

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories.

This book provides new insights into combining economic theory and ethics, and how to formulate policies to combat the roots of poverty. Since a large part of the world’s working population is underpaid, and does not have enough income to feed themselves and their families, there is a need for an alternative approach to producer prices than the usual neo-classical approach with its emphasis on market and equilibrium prices.

This book, the second of two-volumes, builds on the unification of Artificial Intelligence and Psychology to explore its consequences. In doing so, this volume unifies three pivotal phenomena of Cognitive Science and AI: knowledge, consciousness and emotions. The extended Theory of Noémon Systems expounds ramifications for cognitive science, philosophy of mind, mathematics, and the issue of the unity of science and art. It also discusses the similarities and differences between humans and AI/robot systems with respect to consciousness, emotions and scientific knowledge. As with the first volume, this book will appeal to scientists working on the interfaces of psychology, AI, philosophy of mind, neuroscience, and the humanities. The complicated and extensive unification of the fields of Artificial Intelligence and psychology breaks entirely new ground for both disciplines, with thought-provoking and compelling implications for both.