A scholarly edition of a work by David Hume. The edition presents an authoritative text, together with an introduction, commentary notes, and scholarly apparatus.

Ethics and jurisprudence are liable to the remark in common with logic. Almost every writer having taken a different view of some of the particulars which ...

In seiner letzten Schrift unternimmt Husserl den Versuch, auf dem Wege einer teleologisch-historischen Besinnung auf die Ursprünge unserer kritischen wissenschaftlichen und philosophischen Situation die Notwendigkeit einer transzendentalphänomenologischen Umwendung der Philosophie zu begründen. Er geht von seinem Begriff der "Lebenswelt" aus und entwickelt eine auf diesen Zentralbegriff seiner Spätphilosophie gegründete eigenständige Einleitung in die transzendentale Phänomenologie.

8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.

Unpopular in its day, David Hume's sprawling, three-volume A Treatise of Human Nature (1739-40) has withstood the test of time and had enormous impact on subsequent philosophical thought. Hume's comprehensive effort to form an observationally grounded study of human nature employs John Locke's empiric principles to construct a theory of knowledge from which to evaluate metaphysical ideas. A key to modern studies of eighteenth-century Western philosophy, the Treatise considers numerous classic philosophical issues, including causation, existence, freedom and necessity, and morality. (...) Unabridged republication of the edition originally published by Oxford at the Clarendon Press, London, 1888. Index. Appendix. (shrink)

Provability, Computability and Reflection.

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...) immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary. (shrink)

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

How do we know that God exists? One of Britain's greatest 18th-century philosophers addresses the age-old question in this timeless dialogue. Equally captivating as a philosophical argument and as a work of literature, this classic is particularly relevant in terms of its criticism of the reasoning behind Intelligent Design.

" There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.