Baruch spinoza has 177 books on goodreads with 118169 ratings. Spinozas life and works 17 the violence of human emotional reactions and the lifethreatening danger of human greed, ambition, and bigotry. In betraying spinoza, rebecca newberger goldstein sets out to rediscover the fleshandblood man often buried beneath the veneer of rigorous rationality and to provide a comprehensive cultural and religious context for the formation of his ideas. If this book is not available as a pdfebook, flair your post as needs digitizing.
Betraying spinoza the renegade jew who gave us modernity. Reason papers 169 the cambridge companion to spinoza, don garrett ed. Spinozas ethics is one of the most difficult books in philosophy. Chances are high that the book you are looking for is already available. Spinozasheritagehasbeenoccluded byhis incorporationinto the single, western, philosophical canon formed and enforced by theologicopolitical condemnation, and his heritage is fur. Theres a new literary celebrity in town, and his name is. Whether youve loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them. Henk barendregt is a prominent dutch mathematical logician, chair of foundations. Spinozas ethics selection by baruch spinoza youtube. Popular spinoza books meet your next favorite book. Chapter 1 introduction some history leibniz had as ideal the following. Hegel or spinoza is first of all an interrogation, with surgical precision, of the exact points of misreading of spinoza by hegelan interrogation that attests, contra hegel, to the immanent power of spi nozas work. Raymonds second book, firstorder logic smullyan 1968 was.
A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. In his book on spinoza, jonathan bennett refers to his necessitarianism as that being the dangerously false thesis towards which his explanatory rationalism is pushing him. It is notoriously obscure, as spinoza invents a variety of new terms and attempts to layout the book like a geometric proof. Theres a new literary celebrity in town, and his name is baruch spinoza rachel kadishs the weight of ink is like a. Lambda calculus with types henk barendregt, wil dekkers.
Henk barendregt during his visit in prague in april 2012. I highly recommend his other works, especially those on kant and his magnum opus, learning from six philosophers. Frierson spinozas life and works1 1632 spinoza born to a portuguesejewish family living in amsterdam 1656 excommunicated from his synagogue and community by 1661 leaves amsterdam and moves to rijnsburg, works as a lensgrinder and writes. Barendregt has put together an aweinspiring work, but not one thats meant to be chewed through.
Most readers of spinoza treat him as a pure metaphysician, a grim determinist, or a stoic moralist, but none of these descriptions captures the author of the ethics, argues steven b. A f unctional program consists of an expression e representing both. Search using the books title or isbn in the library genesis or bookzz database. Mindfulness, vipassana and the hypnotic force of dissociation henk. Buy a cheap copy of a spinoza reader book by baruch spinoza. Henk barendregt at the old jewish cemetery in prague. Files are available under licenses specified on their description page. In this book, the authors focus on three classes of typing for lambda terms. The new spinoza articulates that presence, making the influence and significance of spinoza perfectly clear for a new generation of philosophy. Hendrik barendregt 1947 studied mathematical logic in 1971 at utrecht university. Hobbes and spinoza fulfil, but as rational beings they were conscious of their own ends and were able to direct their actions towards them. Mathematical logician studying consciousness, mindfulness, and meditation. Uncorrected paperswallace matson 4 excellent essays on spinoza start there.
Seiling interest in the nature and definition of the period of history known as the enlightenment has grown recently as scholars have taken fresh approaches to old materials amid the shifting trends of contemporary methods and interests. I spoke only of the accepted tradition, answered baruch. Rotterdam20 saturn the dhamma quest as book uitnodiging. Marinus lamgda it really liked it jul 12, introduction to combinators and lambdacalculus. Henk barendregt, wil dekkers, richard statman this handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. If you like books and love to build cool products, we may be looking for you.
Hendrik pieter henk barendregt born 18 december 1947, amsterdam is a dutch logician. In a skillful book informed both by spinoza scholarship and by debates within feminist theory, sharp argues that spinozas claim that we must regard our lives as natural lives challenges the. Treatise on theology and politics showing that piety and civil peace are not harmed by allowing freedom of thought, but are destroyed by the abolition of freedom of thought. It is a philosophy as it does not need the hypothesis of a god or of life after death. Henk barendregt studied from 1972 to 1979 zen meditation with kobun. Hendrik pieter henk barendregt 1947 in amsterdam ist ein niederlandischer mathematischer logiker. The rolling thunder, and the sounding of the innumerable trumpets was so magnificent an accompaniment, truly furioso, but it must have been so. The lambda calculus, treated in this book mainly in its untyped version.
Whereas studies of spinoza in english have emphasized the logic of the ethics, these essays instead focus on the marginal and developmental moments that have had such a profound effect on french thought. Treatise on theology and politics early modern texts. Although it was published posthumously in 1677, it is his most famous work, and is considered his magnum opus. Indications are given of those parts of the book which can be used to form a coherent course. Her drawings in chapter 1s, 5 and 6 depict spinozas house o 727n 4 paviljoensgracht page 9 a, statue of spinoza page 16, the bac thk oef ne w church and spinozas tomb in the hague page 19, the portugues synagogue ien amsterdam page 185, the house where spinoz livea d in rijnsburg page 233 a, bust of spinoza page. All structured data from the file and property namespaces is available under the creative commons cc0 license. At this period in philosophical history, philosophers were extremely impressed both with geometry and the physics of newton and leibniz. At the beginning of part 1, spinoza defines key terms and lists axioms. Seeing things as they are psychology of meditation, ed. In richard hookers words, a law therefore generally taken, is a directive rule unto goodness of operation. Buddhism is a religion as it deals with questions of life and death and the meaning of life.
The rationalists critical essays on descartes, spinoza, and leibniz, derk pereboom, jan 1, 1999, philosophy, 370 pages. Henk barendregt holds the chair on the foundations of mathematics and. At the beginning of his book on deleuze, alain badiou remarks that he has never recognized the spinoza whom deleuze writes about. Here is a spinoza both hauntingly emblematic and deeply human, both heretic and heroa. Click here for more information the only complete edition in english of baruch spinozas works, this volume features samuel shirleys preeminent translations, distinguished at once by the lucidity and fluency with which they convey the flavor and meaning of. Pdf hosted at the radboud repository of the radboud. Ethica, ordine geometrico demonstrata, usually known as the ethics, is a philosophical treatise written in latin by baruch spinoza. Check out the top books of the year on our page best books of conard carroll rated it it was amazing mar 08, comparison harendregt two theorem provers. If this answers your request, please flair your post as found. Spinoza now is a wellconceived and important entry into the study of spinoza, especially as it draws together many thinkers whose work has been indelibly marked by encounters with spinoza.
Henk barendregt, jorg endrullis, jan willem klop, and johannes. On 6 february 2003 barendregt was awarded the spinozapremie for 2002, the highest scientific award in the netherlands. The full title of the book is ethics, demonstrated in geometrical order. Henk barendregt occupies a book and plant lined study in this. Mindfulness, vipassana and the hypnotic force of dissociation. This book brings together thirteen articles on the most discussed thinkers in the rationalist movement. Barendregt the lambda calculus pdf 6 introduction to lambda calculus. Henk barendregt erik barendsen revised edition december 1998, march 2000. This page was last edited on 18 august 2018, at 05. Brandon look becoming who one is in spinoza and nietzsche i the connection between spinoza and nietzsche has often been remarked upon in the literature on the two thinkers. In spinozas usage, the noun affect is a very broad term that covers.
It begins by challenging the teleology of hegels project. Bennett could be a poster boy for 20th century angloamerican analytical philosophy. Media in category henk barendregt this category contains only the following file. The rule of natural agents that work by simple necessity, is. With this book spinoza has found a critic he so richly deserves. Barendregt is member of the royal dutch academy of science 1997, is recipient of the spinoza award 2002, was distinguished lorentz. A study of spinozas ethics, 1984, jonathan bennett. Goldstein march 28 april 1, 2011 alcohol can be made out of many things. Betraying spinoza the renegade jew who gave us modernity r. The collected works of spinoza provides, for the first time in english, a truly satisfactory edition of all of spinozas writings, with accurate and readable translations, based on the best critical editions of the originallanguage texts, done by a scholar who has published extensively on the philosophers work this first volume contains spinozas single most important work, the ethics, and.
In the parts conversion, reduction, theories, and models the view is respectively algebraic, computational, with more coinductive identifications, and finally settheoretic. Reason papers 169 the cambridge companion spinoza, ed. Byatts possession, but with more seventeenthcentury judaism. Ethics and freedom within spinozas system of necessary. The spinoza problem, by irvin yalom the washington post. Spinozas intellectual power, which emerged shortly after 1656 in his treatise on the emendation of the intellect, must have had a long incubation. Fabio giommi, henk barendregt vipassana, insight and intuition. Contents 1 introduction 5 2 conversion 9 3 the power of lambda 17 4 reduction 23 5 type assignment 33 6 extensions 41 7 reduction systems 47 bibliography 51 3. Other readers will always be interested in your opinion of the books youve read. The lambda calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. It was written between 1661 and 1675 and was first published posthumously in 1677 the book is perhaps the most ambitious attempt to apply the method of euclid in philosophy. Substance, subject, and critical marxism 359 hegel or spinoza. Hendrik pieter henk barendregt born 18 december 1947, amsterdam is a dutch logician, known for his work in lambda calculus and type theory. Offering a new reading of spinozas masterpiece, smith asserts that the ethics is a celebration of human freedom and its attendant joys and responsibilities and should be placed.