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.

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.

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.

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.

Alain Badiou is undoubtedly the most exciting and influential voice in contemporary French philosophy and one of the most important theorists at work today. His impact on continental philosophy and the wider philosophy community, politics and the arts in the last twenty years has been immense. Alain Badiou: Live Theory offers a concise and accessible introduction to his work and thought, laying out the central themes of his major works, including his magnum opus, Being and Event, and its long-awaited sequel, Logics of Worlds. Oliver Feltham explores the fundamental questions through which Badiou's philosophy constantly evolves, identifies the key turning points in his ideas, and makes a clear case for the coherence and powerful singularity of his thought when employed in the analysis of political and artistic situations. Feltham examines the thinkers and theorists with whom Badiou has engaged and who have engaged with him, arguing that Badiou's work is compelling precisely because it opens up new genealogies and new polemics in the intellectual landscape. The book includes a brand new interview with Badiou, in which he discusses his current concerns and future plans. This is the ideal companion to study for students and readers encountering this fascinating thinker for the first time.