This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from 1929-1936). Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in historical context.
This volume presents an historical and philosophical revisiting of the foundational character of Turing’s conceptual contributions and assesses the impact of the work of Alan Turing on the history and philosophy of science. Written by experts from a variety of disciplines, the book draws out the continuing significance of Turing’s work. The centennial of Turing’s birth in 2012 led to the highly celebrated “Alan Turing Year”, which stimulated a world-wide cooperative, interdisciplinary revisiting of his life and work. Turing is widely regarded as one of the most important scientists of the twentieth century: He is the father of artificial intelligence, resolver of Hilbert’s famous Entscheidungsproblem, and a code breaker who helped solve the Enigma code. His work revolutionized the very architecture of science by way of the results he obtained in logic, probability and recursion theory, morphogenesis, the foundations of cognitive psychology, mathematics, and cryptography. Many of Turing’s breakthroughs were stimulated by his deep reflections on fundamental philosophical issues. Hence it is fitting that there be a volume dedicated to the philosophical impact of his work. One important strand of Turing’s work is his analysis of the concept of computability, which has unquestionably come to play a central conceptual role in nearly every branch of knowledge and engineering.
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
During the course of the twentieth century, analytic philosophy developed into the dominant philosophical tradition in the English-speaking world. In the last two decades, it has become increasingly influential in the rest of the world, from continental Europe to Latin America and Asia. At the same time there has been deepening interest in the origins and history of analytic philosophy, as analytic philosophers examine the foundations of their tradition and question many of the assumptions of their predecessors. This has led to greater historical self-consciousness among analytic philosophers and more scholarly work on the historical contexts in which analytic philosophy developed. This historical turn in analytic philosophy has been gathering pace since the 1990s, and the present volume is the most comprehensive collection of essays to date on the history of analytic philosophy. It contains state-of-the-art contributions from many of the leading scholars in the field, all of the contributions specially commissioned. The introductory essays discuss the nature and historiography of analytic philosophy, accompanied by a detailed chronology and bibliography. Part One elucidates the origins of analytic philosophy, with special emphasis on the work of Frege, Russell, Moore, and Wittgenstein. Part Two explains the development of analytic philosophy, from Oxford realism and logical positivism to the most recent work in analytic philosophy, and includes essays on ethics, aesthetics, and political philosophy as well as on the areas usually seen as central to analytic philosophy, such as philosophy of language and mind. Part Three explores certain key themes in the history of analytic philosophy.
A collection of essays celebrating the influence of Alan Turing's work in logic, computer science and related areas.
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Gödel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.
"Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gödel and, in turn, mathematical logic have accomplished." --Isis (on volume I). The third volume brings togetherGödels unpublished essays and lectures.
This special double issue of Cybernetics and Human Knowing is comprised of a collection of papers devoted to the cybernetics and mathematics of Charles Sanders Peirce with a special focus on its synergies with George Spencer-Brown's thinking. Peirce was a truly original American philosopher and logician working in the late 1800s and early 1900s; Spencer-Brown is an English polymath, best known as the author of Laws of Form. The contributions reflect the extraordinary richness of Peirce's work and his relevance to present concerns in cybernetics. The similarities in the focus on some of the deep foundational subjects are astonishing, amongst those especially the concept of the void or Firstness and the continuity of mind and matter.
These proceedings deal with a selection of papers presented at the 8th International Conference CASYS’07, on COMPUTING ANTICIPATORY SYSTEMS, 6-11 August 2007, held at HEC Management School - University of Liege, Liège, Belgium. The content of these proceedings deals with the most recent Research & Development in the area of theoretical developments and applications in the modelling and computing of anticipation in any fields of natural and artificial systems. A computing anticipatory system is a system that computes its current states in taking into account its past and present states but also its potential future states. Strong anticipation refers to an anticipation of events built by or embedded in a system. Weak anticipation refers to an anticipation of events predicted or forecasted from a model of a system. This volume contains the first invited lecture “Neural Approach to Machine Consciousness”, by Prof. Dr Igor Aleksander, FREng (UK) who received the CHAOS AWARD, and the second invited lecture “Quantum Mechanics, Pattern Recognition, and the Mammalian Brain”, by Dr George Chapline (USA) who received the CASYS AWARD. The peer reviewed papers that received a BEST PAPER AWARD at CASYS’07, and some invited papers are included in these proceedings. Adel F. Antippa (Canada) and Daniel M. Dubois (Belgium) presented the continuation of their original research project on discrete physics with their third fundamental paper “Synchronous Discrete Harmonic Oscillator” that also appears in these proceedings. The interdisciplinary outstanding topics of these proceedings are readable by researchers and scientists with a university background.
Containing material from hundreds of highly distinguished contributors representing the world's top universities and institutions, the second edition has a truly global perspective. It contains more than 2,100 entries -- including more than 450 new articles. Among the many topics covered are African, Islamic, Jewish, Russian, Chinese, and Buddhist philosophies; bioethics and biomedical ethics; art and aesthetics; epistemology; metaphysics; peace and war; social and political philosophy; the Holocaust; feminist thought; and much more. Additionally, the second edition also features 1,000 biographical entries on major figures in philosophical thought throughout history.
Concepts for Neural Networks - A Survey provides a wide-ranging survey of concepts relating to the study of neural networks. It includes chapters explaining the basics of both artificial neural networks and the mathematics of neural networks, as well as chapters covering the more philosophical background to the topic and consciousness. There is also significant emphasis on the practical use of the techniques described in the area of robotics. Containing contributions from some of the world's leading specialists in their fields (including Dr. Ton Coolen and Professor Igor Aleksander), this volume will provide the reader with a good, general introduction to the basic concepts needed to understan d and use neural network technology.
Conjectures and Refutations is one of Karl Popper's most wide-ranging and popular works, notable not only for its acute insight into the way scientific knowledge grows, but also for applying those insights to politics and to history. It provides one of the clearest and most accessible statements of the fundamental idea that guided his work: not only our knowledge, but our aims and our standards, grow through an unending process of trial and error.
Here's quick access to more than 490,000 titles published from 1970 to 1984 arranged in Dewey sequence with sections for Adult and Juvenile Fiction. Author and Title indexes are included, and a Subject Guide correlates primary subjects with Dewey and LC classification numbers. These cumulative records are available in three separate sets.