Book picks similar to
The Languages of Logic by Samuel Guttenplan
philosophy
logic
non-fiction
filosofia
The Malaise of Modernity
Charles Taylor - 1991
To Taylor, self-fulfillment, although often expressed in self-centered ways, isn't necessarily a rejection of traditional values and social commitment; it also reflects something authentic and valuable in modern culture. Only by distinguishing what is good in this modern striving from what is socially and politically dangerous, Taylor says, can our age be made to deliver its promise.
In Praise of Idleness and Other Essays
Bertrand Russell - 1935
Routledge is an imprint of Taylor & Francis, an informa company.
The Discourses
Epictetus
It is Epictetus, a lame former slave exiled by Emperor Domitian, who offers by far the most precise and humane version of Stoic ideals. The Discourses, assembled by his pupil Arrian, catch him in action, publicly setting out his views on ethical dilemmas.Committed to communicating with the broadest possible audience, Epictetus uses humor, imagery conversations and homely comparisons to put his message across. The results are perfect universal justice and calm indifference in the face of pain.
The most comprehensive edition available with an introduction, notes, selected criticism, glossary, and chronology of Epictetus' life and times.
Epictetus: A Stoic and Socratic Guide to Life
Anthony A. Long - 2002
A. A. Long, a leading scholar of later ancient philosophy, gives the definitive presentation of the thought of Epictetus for a broad readership. Long's fresh and vivid translations of a selection of the best of Epictetus' discourses show that his ideas are as valuable and striking today as they were almost two thousand years ago. This is a book for anyone interested in what we can learn from ancient philosophy about how to live our lives.
How to read and do proofs
Daniel Solow - 1982
Shows how any proof can be understood as a sequence of techniques. Covers the full range of techniques used in proofs, such as the contrapositive, induction, and proof by contradiction. Explains how to identify which techniques are used and how they are applied in the specific problem. Illustrates how to read written proofs with many step-by-step examples. Includes new, expanded appendices related to discrete mathematics, linear algebra, modern algebra and real analysis.
Books by Oliver Sacks: The Man Who Mistook His Wife for a Hat / An Anthropologist on Mars/Musicophilia: Tales of Music and the Brain
Books LLC - 2010
Purchase includes a free trial membership in the publisher's book club where you can select from more than a million books without charge. Chapters: The Man Who Mistook His Wife for a Hat, An Anthropologist on Mars, Musicophilia: Tales of Music and the Brain, Seeing Voices, Migraine, Uncle Tungsten: Memories of a Chemical Boyhood, Awakenings, The Island of the Colorblind, . Source: Wikipedia. Free updates online. Not illustrated. Excerpt: The Man Who Mistook His Wife for a Hat and Other Clinical Tales is a 1985 book by neurologist Oliver Sacks describing the case histories of some of his patients. The title of the book comes from the case study of a man with visual agnosia. The Man Who Mistook His Wife for a Hat became the basis of an opera of the same name by Michael Nyman, which premiered in 1986. The book comprises 24 essays split into 4 sections which each deal with a particular aspect of brain function such as deficits and excesses in the first two sections (with particular emphasis on the right hemisphere of the brain) while the third and fourth describe phenomenological manifestations with reference to spontaneous reminiscences, altered perceptions, and extraordinary qualities of mind found in "retardates." The individual essays in this book include, but are not limited to: Christopher Rawlence wrote the libretto for a chamber opera, directed by Michael Morris with music by Michael Nyman, based on the title story. "The Man Who Mistook His Wife for a Hat" was first produced by the Institute of Contemporary Arts in London in 1986. A television version of the opera was subsequently broadcast in the UK. Peter Brook adapted Sacks's book into an acclaimed theatrical production, "L'Homme Qui...," which premiered at the Theatre des Bouffes du Nord, Paris, in 1993. An Indian theatre company, performed a play The Blue Mug, based on the book, starring Rajat Kapoor, Konkona Sen Sharma, Ranvir Shorey a...More: http: //booksllc.net/?id=3371
Critique of Pure Reason
Immanuel Kant - 1781
It presents a profound and challenging investigation into the nature of human reason, its knowledge and its illusions. Reason, Kant argues, is the seat of certain concepts that precede experience and make it possible, but we are not therefore entitled to draw conclusions about the natural world from these concepts. The Critique brings together the two opposing schools of philosophy: rationalism, which grounds all our knowledge in reason, and empiricism, which traces all our knowledge to experience. Kant's transcendental idealism indicates a third way that goes far beyond these alternatives.
Phenomenology of Spirit
Georg Wilhelm Friedrich Hegel - 1807
It begins with a Preface, created after the rest of the manuscript was completed, that explains the core of his method and what sets it apart from any preceding philosophy. The Introduction, written before the rest of the work, summarizes and completes Kant's ideas on skepticism by rendering it moot and encouraging idealism and self-realization. The body of the work is divided into six sections of varying length, entitled "Consciousness," "Self-Consciousness," "Reason," "Spirit," "Religion," and "Absolute Knowledge." A myriad of topics are discussed, and explained in such a harmoniously complex way that the method has been termed Hegelian dialectic. Ultimately, the work as a whole is a remarkable study of the mind's growth from its direct awareness to scientific philosophy, proving to be a difficult yet highly influential and enduring work.
A Concise Introduction to Logic [with CD-ROM]
Patrick J. Hurley - 1972
Inside: Logic Resource CD-ROM
Metaphysics
Peter van Inwagen - 1993
The author's work can serve either as a textbook in a university course on metaphysics or as an introduction to metaphysical thinking for the interested reader. This second edition, revised though not fundamentally changed, includes the basis of the first edition with a new chapter on the nature of time.
Linear Algebra Done Right
Sheldon Axler - 1995
The novel approach taken here banishes determinants to the end of the book and focuses on the central goal of linear algebra: understanding the structure of linear operators on vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. For example, the book presents - without having defined determinants - a clean proof that every linear operator on a finite-dimensional complex vector space (or an odd-dimensional real vector space) has an eigenvalue. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. This second edition includes a new section on orthogonal projections and minimization problems. The sections on self-adjoint operators, normal operators, and the spectral theorem have been rewritten. New examples and new exercises have been added, several proofs have been simplified, and hundreds of minor improvements have been made throughout the text.
Horizons: Exploring the Universe
Michael A. Seeds - 1981
To achieve this goal, they focuses on two central questions: "What Are We?" which highlights your place as a planet dweller in an evolving universe, guiding you to better understand where we came from and how we formed; and "How Do We Know?" which provides insights into how the process of science can teach us more about what we are.
The Spirit of the Laws
Montesquieu - 1748
This lucid translation renders Montesquieu's problematic text newly accessible to a fresh generation of students, helping them to understand why Montesquieu was such an important figure in the early Enlightenment and why The Spirit of the Laws was such an influence on those who framed the American Constitution. Fully annotated, this edition focuses on Montesquieu's use of sources and his text as a whole, rather than on those opening passages toward which critical energies have traditionally been devoted. A select bibliography and chronology are also provided.
Language, Proof and Logic: Text and CD
Jon Barwise - 1999
The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.
Real World Haskell: Code You Can Believe In
Bryan O'Sullivan - 2008
You'll learn how to use Haskell in a variety of practical ways, from short scripts to large and demanding applications. Real World Haskell takes you through the basics of functional programming at a brisk pace, and then helps you increase your understanding of Haskell in real-world issues like I/O, performance, dealing with data, concurrency, and more as you move through each chapter. With this book, you will:Understand the differences between procedural and functional programming Learn the features of Haskell, and how to use it to develop useful programs Interact with filesystems, databases, and network services Write solid code with automated tests, code coverage, and error handling Harness the power of multicore systems via concurrent and parallel programming You'll find plenty of hands-on exercises, along with examples of real Haskell programs that you can modify, compile, and run. Whether or not you've used a functional language before, if you want to understand why Haskell is coming into its own as a practical language in so many major organizations, Real World Haskell is the best place to start.