The origins of European thought about the body, the mind, the soul,the world, time, and fate: new interpretations of Greek, Roman and kindred evidence, also of some basic Jewish and Christian beliefs.

Onians' remarkable work of scholarship sought to deal with the very roots of European civilization and thought: the fundamental beliefs about life, mind, body, soul, and human destiny that are embodied in the myths and legends of the ancients. The volume is remains a fascinating collection of ideas and explanations of cultures as diverse as the Greeks and the Norse, the Celts and the Jews, and the Chinese and the Romans.

This remarkable work of scholarship sought to deal with the very roots of European civilisation and thought: the fundamental beliefs about life, mind, body, soul and human destiny which were embodied in the myths, legends and customs of the ancients and later emerged, often unrecognized, in literature, philosophy and science. Professor Onians adduces an extraordinary range of comparative evidence, predominantly from Greece and Rome, but also from Norse, Celtic, Jewish, Indian, Chinese and Christian sources. The volume remains a fascinating (...) compendium of ideas, conjectures and explanations which can continue to stimulate and inform the anthropologist, historian of science and philosophy, and classicist. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.

. History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

Philosophers are increasingly coming to recognize the importance of Freudian theory for the understanding of the mind. The picture Freud presents of the mind's growth and organization holds implications not just for such perennial questions as the relation of mind and body, the nature of memory and personal identity, the interplay of cognitive and affective processes in reasoning and acting, but also for the very way in which these questions are conceived and an interpretation of the mind is sought. This (...) volume of essays, by some of today's leading philosophers, explores all these topics, as well as the methods, results and status of the theory itself, while two 'classical' discussions by Wittgenstein and Sartre are also included. A number of the contributions – those by Donald Davidson, W. D. Hart, Jim Hopkins, Adam Morton, David Pears and Richard Wollheim – have not been published before, and a very useful bibliography is provided. It is an anthology that will be vital to anyone interested in Freudian theory and, more generally, in philosophical psychology. (shrink)

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

2010 Reprint of 1905 edition.This work is the magnum opus of Bucke's career, a project that he researched and wrote over many years. In it, Bucke described his own experience, that of contemporaries, and the experiences and outlook of historical figures including Buddha, Jesus, Paul, Plotinus, Muhammad, Dante, Francis Bacon, and William Blake. Bucke developed a theory involving three stages in the development of consciousness: the simple consciousness of animals; the self-consciousness of the mass of humanity ; and cosmic consciousness (...) - an emerging faculty and the next stage of human development. Among the effects of this progression, he believed he detected a lengthy historical trend in which religious conceptions and theologies had become less and less fearful. A classic work. (shrink)

Part I The Imperative Mood 'Virtue, then, is a disposition governing our choices '. ARISTOTLE, Eth. Nic. 36 Prescriptive Language. ...

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

Philosophers are increasingly coming to recognize the importance of Freudian theory for the understanding of the mind. The picture Freud presents of the mind's growth and organization holds implications not just for such perennial questions as the relation of mind and body, the nature of memory and personal identity, the interplay of cognitive and affective processes in reasoning and acting, but also for the very way in which these questions are conceived and an interpretation of the mind is sought. This (...) volume of essays, by some of today's leading philosophers, explores all these topics, as well as the methods, results and status of the theory itself, while two 'classical' discussions by Wittgenstein and Sartre are also included. A number of the contributions – those by Donald Davidson, W. D. Hart, Jim Hopkins, Adam Morton, David Pears and Richard Wollheim – have not been published before, and a very useful bibliography is provided. It is an anthology that will be vital to anyone interested in Freudian theory and, more generally, in philosophical psychology. (shrink)

_A bold revision of the history of European art, told through the lens of neuroscience_ Ambitious and much anticipated, this book celebrates the value of recent neuroscientific discoveries as tools for art-historical analysis. Case studies ranging across the whole history of European art demonstrate the relationships between forms of visual expression and the objects of visual attention, emotional connection, and intellectual interest in daily life, thus illuminating the previously hidden meanings of many artistic styles and conventions. Art historians have until (...) now concentrated on the conscious intentions of artists and patrons, but neuroscience provides insights into the role of non-conscious mental processes in the production and consumption of works of art. As John Onians powerfully argues, these insights have the potential to revolutionize cultural history. For the first time, an authority renowned for a more traditional approach has applied new neuroscientific knowledge to a wide range of art-historical problems, both familiar and fresh. The result is a provocative, original, and persuasive case for neuroscience as an aid to research in the humanities. (shrink)

In line with the British Psychological Society's recent recommendations for teaching the history of psychology, this comprehensive undergraduate textbook emphasizes the philosophical, cultural and social elements that influenced psychology's development. The authors demonstrate that psychology is both a human (e.g. psychoanalytic or phenomenological) and natural (e.g. cognitive) science, exploring broad social-historical and philosophical themes such as the role of diverse cultures and women in psychology and the complex relationship between objectivity and subjectivity in the development of psychological knowledge. The result (...) is a fresh and balanced perspective on what has traditionally been viewed as the collected achievements of a few 'great men'. With a variety of learning features, including case studies, study questions, thought experiments and a glossary, this new textbook encourages students to critically engage with chapter material and analyze themes and topics within a social, historical and philosophical framework. (shrink)