It is often said that Greek civilization underwent a transition from myth to reason. But what does this assertion mean? Is it true? Were the Greeks special in having evolved our sort of reason, or is that a mirage? In this book, some of the world's leading experts on ancient Greek myth, religion, philosophy, and history reconsider these fundamental issues.

To generalize about Aischylos is difficult; to generalize about Euripides is almost impossible; but to generalize about Sophokles is both possible and potentially rewarding. With Sophokles—or, rather, with the Sophokles of the seven fully extant tragedies—we can sense a mood, a use of language, and a style of play-making which are largely shared by all seven works. Of these characteristics it is surely the mood which contains the quintessence of Sophoklean tragedy. My aim in the first section of this paper (...) will be to open the way to an appreciation of that mood by following up one of the most important motifs in Sophokles: blindness. In the second section the scope of the enquiry will be widened: I shall show that, in using the blindness motif, Sophokles was drawing on a theme which was fundamental to a large number of mythical narratives told by Greeks from the time of Homer to that of Pausanias, and beyond. In the final section we shall return to Sophokles, placing him this time not against the background of the whole Greek mythical tradition but rather within the specific context of the fifth century B.C., and attempting to overhear the individual dramatic ‘voice’ used by him as he explored the implications of blindness. (shrink)

It is hardly controversial to assert that recent work on Greek mythology is methodologically diverse. However, there is one body of writing which seems to have become a reference point against which scholars of many persuasions–not excluding orthodox positivist philologists and adherents of psychoanalysis–feel the need to define their own position. I mean structuralism. G.S. Kirk and, later, W. Burkert have conducted their dialogues with it; C. Segal and more unreconstructedly R. Caldwell have tried to accommodate Lévi-Strauss and Freud under (...) the same blanket; a glance at bibliographical citations in studies of tragedy over the last twenty years will show how J.-P. Vernant and P. Vidal-Naquet have moved from the periphery to the centre. The polemical attitudes being struck by M. Detienne and C. Calame are directly generated by over-confident structuralist attempts to map out the mental territory they claimed as their own. (shrink)

Developments in both Convention jurisprudence and the English courts since the passing of the Human Rights Act 1998 have significantly extended the reach of article 8 of the European Convention on Human Rights, and thus the powers of the judges who administer that broadly-defined provision. Those developments include confirmation that article 8 operates horizontally between private citizens as well as in public law; extension of article 8 to issues of personal autonomy as well as to more narrowly understood issues of (...) privacy; increased emphasis on (judicially determined) proportionality and fair balance; and softening of the criteria for the engagement of article 8 in the first place. The English courts at the highest level have recognized that these developments require them to make decisions on issues of social or even moral priority, extending as far as critical scrutiny of criminal practice and sentencing. Recent cases in the House of Lords such as Countryside Alliance and R v G demonstrate a significant level of disagreement as to how those powers should be exercised, with the result that the outcome of future article 8 cases may depend on the judges’ personality and view of social priorities. (shrink)

Dans la seconde moitié du xxe siècle, l’étude de la mythologie grecque a connu, sous l’influence du structuralisme lévi-straussien, un profond renouvellement théorique et méthodologique, qui n’est cependant pas allé sans désillusions ni remises en question. La plus violente d’entre elles fut sans doute portée par l’ouvrage de Marcel Detienne, L’invention de la mythologie, publié en 1981. L’auteur y dénonçait les errances du structuralisme alors dominant, en insistant sur l’impossibilité de su...

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (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.

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)

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)

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)

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 ancient Taoist text that forms the central part of this book was discovered by Wilhelm, who recognized it as essentially a practical guide to the integration of personality. Foreword and Appendix by Carl Jung; illustrations. Translated by Cary F. Baynes.A Helen and Kurt Wolff Book.

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 is an excellent textbook on Neoplatonism which gives the reader a very concise and lucid overview of the basic doctrines and leading thinkers of the last great philosophy to emerge before the Christianization of the Roman Empire. I’ve no doubt that my students next semester will benefit from the analyses contained in the book. The contents of the chapters are very informative and adequately place developments in their socio-cultural context." --Michael B. Simmons, Auburn University at Montgomery.

This article explores the way in which the Yogavāsiṣṭha's account of causation as coincidence relates to its soteriological agenda and the view that the 'existence' of the world-deemed to be an illusion anyway-is a mere accident. Comparison is made to similar ideas about causality articulated by David Hume, who nonetheless stops short of drawing quite such radical metaphysical conclusions, in spite of his epistemological skepticism concerning the existence of external objects.

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.

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.

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

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.

Discusses the moral and ethical aspects of euthanasia and related topics.