One of this century’s most important philosophers here focuses on Plato’s Protagoras, Phaedo, Republic, and Philebus and on Aristotle’s three moral treatises to show the essential continuity of Platonic and Aristotelian reflection on the nature of the good.“Well translated and usefully annotated by P. Christopher Smith.... Gadamer’s book exhibits a broad and grand vision as well as a great love for the Greek thinkers.”-Alexander Nehemas, New York Times Book Review“The translation is highly readable. The translator’s introduction and frequent annotation provide (...) special elucidation on points of doctrinal complexity, giving ample references to other works and rival interpretations.”-Choice“This book is an important addition to the steadily growing number of Gadamer’s works available in English. In it, we see Gadamer at his best, that is, engaged in the practice of interpreting important texts from the philosophical tradition, and also at his most controversial.... I enthusiastically recommend this...challenging book as one that rewards all efforts to understand the important claims it makes on its readers.”-Francis J. Ambrosio, International Philosophy QuarterlyHans-Georg Gadamer is professor of philosophy emeritus at the University of Heidelberg. He is the author of numerous books, including two others translated by Smith: Dialogue and Dialectic: Eight Hermeneutical Studies on Plato and Hegel’s Dialectic: Five Hermeneutical Studies. (shrink)

Few details in Virgil's description of the underworld have elicited more comment than his treatment of the sinners Ixion and Pirithous quid memorem Lapithas, Ixiona Pirithoumque? quos super atra silex iam iam lapsura cadentique imminet adsimilis; lucent genialibus altis aurea fulcra toris; epulaeque ante ora paratae regifico luxu; Furiarum maxima iuxta accubat et manibus prohibet contingere mensas exsurgitque facem attollens atque intonat ore.

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, (...) the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

I. The present state of philosophy contrasted with that of the sciences. Both philosophy and science seek not mere opinion but knowledge. The sciences, however, have by now won a vast body of knowledge, and daily make positive additions to it notwithstanding their theoretical controversies. In philosophy, on the contrary, the same great problems are discussed by generation after generation with rather meager results other than a multiplication of theories and schools of opinion. One is therefore moved to wonder whether (...) philosophy is forever doomed to inconclusiveness, or whether on the contrary knowledge and definite progress are possible in its field in the same sense as in the sciences. (shrink)

In a discussion-note in Mind, Father P. M. Farrell, O.P., gave an account, in what he admitted to be an embarrassingly brief compass, of the Thomist doctrine concerning evil. There is one sentence in this discussion which at first glance appears paradoxical. Father Farrell has been arguing that a universe containing ‘corruptible good’ as well as incorruptible is better than one containing ‘incorruptible good’ only. He continues: ‘If, however, they are to manifest this corruptible good, they must be corruptible and (...) they must sometimes corrupt.’ The final words, despite Father Farrell's italics, strike one as expressing, not a self-evident truth, but a non sequitur. The fact that I am capable of committing murder does not entail that I will at some time commit it. It is not immediately obvious that a similar entailment holds in the case of corruption and corruptibility. (shrink)

We re-express a previous general result in a way which seems easier to remember, using the terminology of infinite games. We show how this can be applied to construct recursive linear orderings, showing, for example, that if there is a ▵ 0 2β + 1 linear ordering of type τ, then there is a recursive ordering of type ω β · τ.

We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...) of relations R and S under which the images of R and S can be made ∑α0 and independent over Δα0 in a recursive copy of /oA. (shrink)