Logic for Philosophy

Author: Theodore Sider

Publisher: Oxford University Press, USA

ISBN: N.A

Category: Philosophy

Page: 289

View: 8755

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii)extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness,undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to dophilosophy.

Modal Logic for Philosophers

Author: James W. Garson

Publisher: Cambridge University Press

ISBN: 0521682290

Category: Mathematics

Page: 455

View: 323

This 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications.

The Logic of the Articles in Traditional Philosophy

A Contribution to the Study of Conceptual Structures

Author: E.M. Barth

Publisher: Springer Science & Business Media

ISBN: 9401098662

Category: Philosophy

Page: 560

View: 5655

When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits. I take the liberty of doing so now, two and a half years later. First and foremost I want to thank Professor G. Nuchelmans warmly for his expert guidance of my research. A number of my most im portant sources were brought to my attention by him. During the whole process of composing this book his criticism and encouragement were carried out in a truly academic spirit. He thereby provided working conditions that are a sine qua non for every author who is attempting to approach controversial matters in a scientific manner, conditions which, however, were not easily available at that time. In a later phase I also came into contact with Professors L. M. de Rijk and J. B. Ubbink, with both of whom I had highly stimulating discussions and exchanges of ideas. The present edition contains some entirely new sections, viz. 1-9, IV-29, V-9, V-20, VII-14 (iii), (iv), VII-17 (i), VIII-22, IX-17, IX-19, X-9 and XI-8. Section X-9 was inspired by a remark made by Professor A.

On the Philosophy of Logic

Author: Jennifer Fisher

Publisher: Cengage Learning

ISBN: 1111796971

Category: Philosophy

Page: 240

View: 4166

Jennifer Fisher's ON THE PHILOSOPHY OF LOGIC explores questions about logic often overlooked by philosophers. Which of the many different logics available to us is right? How would we know? What makes a logic right in the first place? Is logic really a good guide to human reasoning? An ideal companion text for any course in symbolic logic, this lively and accessible book explains important logical concepts, introduces classical logic and its problems and alternatives, and reveals the rich and interesting philosophical issues that arise in exploring the fundamentals of logic. THE WADSWORTH PHILOSOPHICAL TOPICS SERIES (under the general editorship of Robert Talisse, Vanderbilt University) presents readers with concise, timely, and insightful introductions to a variety of traditional and contemporary philosophical subjects. With this series, students of philosophy will be able to discover the richness of philosophical inquiry across a wide array of concepts, including hallmark philosophical themes and themes typically underrepresented in mainstream philosophy publishing. Written by a distinguished list of scholars who have garnered particular recognition for their excellence in teaching, this series presents the vast sweep of today's philosophical exploration in highly accessible and affordable volumes. These books will prove valuable to philosophy teachers and their students as well as to other readers who share a general interest in philosophy. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version.

Philosophy of Logic

Author: N.A

Publisher: Elsevier

ISBN: 9780080466637

Category: Mathematics

Page: 1218

View: 2048

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter

Classical Philosophy

A history of philosophy without any gaps

Author: Peter Adamson

Publisher: OUP Oxford

ISBN: 0191662046

Category: Philosophy

Page: 400

View: 5237

Classical Philosophy is the first of a series of books in which Peter Adamson aims ultimately to present a complete history of philosophy, more thoroughly but also more enjoyably than ever before. In short, lively chapters, based on the popular History of Philosophy podcast, he offers an accessible, humorous, and detailed look at the emergence of philosophy with the Presocratics, the probing questions of Socrates, and the first full flowering of philosophy with the dialogues of Plato and the treatises of Aristotle. The story is told 'without any gaps', discussing not only such major figures but also less commonly discussed topics like the Hippocratic Corpus, the Platonic Academy, and the role of women in ancient philosophy. Within the thought of Plato and Aristotle, the reader will find in-depth introductions to major works, such as the Republic and the Nicomachean Ethics, which are treated in detail that is unusual in an introduction to ancient philosophy. Adamson looks at fascinating but less frequently read Platonic dialogues like the Charmides and Cratylus, and Aristotle's ideas in zoology and poetics. This full coverage allows him to tackle ancient discussions in all areas of philosophy, including epistemology, metaphysics, philosophy of language, philosophy of science, ethics and politics. Attention is also given to the historical and literary context of classical philosophy, with exploration of how early Greek cosmology responded to the poets Homer and Hesiod, how Socrates was presented by the comic playwright Aristophanes and the historian Xenophon, and how events in Greek history may have influenced Plato's thought. This is a new kind of history which will bring philosophy to life for all readers, including those coming to the subject for the first time.

Logic for Computer Science and Artificial Intelligence

Author: Ricardo Caferra

Publisher: John Wiley & Sons

ISBN: 1118604261

Category: Technology & Engineering

Page: 523

View: 4684

Logic and its components (propositional, first-order,non-classical) play a key role in Computer Science and ArtificialIntelligence. While a large amount of information exists scatteredthroughout various media (books, journal articles, webpages, etc.),the diffuse nature of these sources is problematic and logic as atopic benefits from a unified approach. Logic for Computer Scienceand Artificial Intelligence utilizes this format, surveying thetableaux, resolution, Davis and Putnam methods, logic programming,as well as for example unification and subsumption. Fornon-classical logics, the translation method is detailed. Logic for Computer Science and Artificial Intelligence is theclassroom-tested result of several years of teaching at GrenobleINP (Ensimag). It is conceived to allow self-instruction for abeginner with basic knowledge in Mathematics and Computer Science,but is also highly suitable for use in traditional courses. Thereader is guided by clearly motivated concepts, introductions,historical remarks, side notes concerning connections with otherdisciplines, and numerous exercises, complete with detailedsolutions, The title provides the reader with the tools needed toarrive naturally at practical implementations of the concepts andtechniques discussed, allowing for the design of algorithms tosolve problems.

Handbook of Philosophical Logic

Author: Dov M. Gabbay,Franz Guenthner

Publisher: Springer Science & Business Media

ISBN: 9789400704794

Category: Philosophy

Page: 310

View: 5644

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

Carnap Brought Home

The View from Jena

Author: Steve Awodey,Carsten Klein

Publisher: Open Court Publishing

ISBN: 9780812695519

Category: Biography & Autobiography

Page: 387

View: 4301

Rudolf Carnap (1891-1970) was the most important philosopher of the movement known as logical empiricism or logical positivism, still the basis of much modern analytic philosophy. It was long thought that this movement had been destroyed by the polemics of Quine, Popper, and Kuhn. But recently, leading philosophers have been re-appraising this verdict. It is no longer universally agreed that Quine or Popper "won" their disputes with Carnap, and some have now been arguing that Kuhn's ideas are?as Carnap himself thought?perfectly compatible with logical empiricism. This volume presents the latest contributions to this discussion from both sides, and adds a number of new voices, who look at Carnap from a more international point of view ? bringing out, for instance, the roots of his thought in Continental neo-Kantianism and Dilthey's Lebensphilosophie, and stressing his deep commitment to political and cultural change. Carnap grew up in Jena, and in his student days was an active member there of the utopian "Sera Group", part of the German youth movement. At the same time, he was one of Frege's few students, and was deeply influenced by him.

Advanced Logic for Applications

Author: R.E. Grandy

Publisher: Springer Science & Business Media

ISBN: 9401011915

Category: Philosophy

Page: 176

View: 3615

This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intended to be accessible to philosophers. I have assumed the mathematical sophistication acquired· in an introductory logic course or in reading a basic logic text. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof. For example, the completeness of quantification theory is proved both constructively and non-constructively and relative ad vantages of each type of proof are discussed. Similarly, constructive and non-constructive versions of Godel's first incompleteness theorem are given. I hope that the reader· will develop facility with the methods of proof and also be caused by reflect on their differences. I assume familiarity with quantification theory both in under standing the notations and in finding object language proofs. Strictly speaking the presentation is self-contained, but it would be very difficult for someone without background in the subject to follow the material from the beginning. This is necessary if the notes are to be accessible to readers who have had diverse backgrounds at a more elementary level. However, to make them accessible to readers with no background would require writing yet another introductory logic text. Numerous exercises have been included and many of these are integral parts of the proofs.

Logic: Bullet Guides

Author: Joe Morrison

Publisher: Hachette UK

ISBN: 1444144863

Category: Philosophy

Page: 128

View: 5097

Open this book and you will Learn what logic is Use truth tables and truth trees Make sense of complex arguments Use logic every day

The Old New Logic

Essays on the Philosophy of Fred Sommers

Author: David S. Oderberg

Publisher: MIT Press

ISBN: 9780262651066

Category: Philosophy

Page: 242

View: 3234

A diverse group of contributors reflect on the philosophical legacy of Fred Sommers and his efforts to revive and refashion traditional Aristotelian logic for a post-Fregean world.

Logical Positivism

Author: A.J. Ayer

Publisher: Simon and Schuster

ISBN: 0029011302

Category: Philosophy

Page: 455

View: 1053

Edited by a leading exponent of the school, this book offers--in the words of the movement's founders--logical positivism's revolutionary theories on meaning and metaphysics, the nature of logic and mathematics, the foundations of knowledge, the content of psychological propositions, ethics, sociology, and the nature of philosophy itself.

Philosophy of Meaning, Knowledge and Value in the Twentieth Century

Routledge History of Philosophy

Author: John Canfield

Publisher: Routledge

ISBN: 1134935730

Category: Philosophy

Page: 504

View: 3333

Volume 10 of the Routledge History of Philosophy presents a historical survey of the central topics in twentieth century Anglo-American philosophy. It chronicles what has been termed the 'linguistic turn' in analytic philosophy and traces the influence the study of language has had on the main problems of philosophy. Each chapter contains an extensive bibliography of the major writings in the field. All the essays present their large and complex topics in a clear and well organised way. At the end, the reader finds a helpful Chronology of the major political, scientific and philosophical events in the Twentieth Century and an extensive Glossary of technical terms.