A Philosophical Companion to First-order Logic
Author: R. I. G. Hughes
Publisher: Hackett Publishing
Published: 1993
Total Pages: 326
ISBN-13: 9780872201811
DOWNLOAD EBOOKPosts
A Companion to Philosophical Logic
Author: Dale Jacquette
Publisher: John Wiley & Sons
Published: 2008-04-15
Total Pages: 832
ISBN-13: 1405149949
DOWNLOAD EBOOKThis collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.
Philosophical Logic
Author: John MacFarlane
Publisher: Routledge
Published: 2020-11-29
Total Pages: 259
ISBN-13: 1351733567
DOWNLOAD EBOOKIntroductory logic is generally taught as a straightforward technical discipline. In this book, John MacFarlane helps the reader think about the limitations of, presuppositions of, and alternatives to classical first-order predicate logic, making this an ideal introduction to philosophical logic for any student who already has completed an introductory logic course. The book explores the following questions. Are there quantificational idioms that cannot be expressed with the familiar universal and existential quantifiers? How can logic be extended to capture modal notions like necessity and obligation? Does the material conditional adequately capture the meaning of 'if'—and if not, what are the alternatives? Should logical consequence be understood in terms of models or in terms of proofs? Can one intelligibly question the validity of basic logical principles like Modus Ponens or Double Negation Elimination? Is the fact that classical logic validates the inference from a contradiction to anything a flaw, and if so, how can logic be modified to repair it? How, exactly, is logic related to reasoning? Must classical logic be revised in order to be applied to vague language, and if so how? Each chapter is organized around suggested readings and includes exercises designed to deepen the reader's understanding. Key Features: An integrated treatment of the technical and philosophical issues comprising philosophical logic Designed to serve students taking only one course in logic beyond the introductory level Provides tools and concepts necessary to understand work in many areas of analytic philosophy Includes exercises, suggested readings, and suggestions for further exploration in each chapter
The Bloomsbury Companion to Philosophical Logic
Author: Leon Horsten
Publisher: Bloomsbury Publishing
Published: 2014-09-25
Total Pages: 657
ISBN-13: 1472522737
DOWNLOAD EBOOKLogical methods are used in all area of philosophy. By introducing and advancing central to topics in the discipline, The Bloomsbury Companion to Philosophical Logic emphasizes the crucial role logic plays in understanding philosophical problems. Covering stages in the history of logic and of modern logic, this comprehensive Companion looks ahead to new areas of research and explores issues pertaining to classical logic and its rivals, semantics for parts of natural language, and the application of logic in the theory of rationality. Experts in the field provide a mix of technical chapters that offer excellent encyclopaedias of results in the area and chapters of philosophical discussions that survey a range of philosophical positions. To facilitate further study, this volumes also includes a series of research tools such as a detailed index, an up-to-date list of resources and an annotated bibliography. Balancing technical exposition with philosophical discussion, The Bloomsbury Companion to Philosophical Logic not only provides students and lecturers with the basis of a course in philosophical logic, it offers anyone working in this key area of contemporary philosophy a valuable research resource.
A Companion to the Philosophy of Technology
Author: Jan Kyrre Berg Olsen
Publisher: John Wiley & Sons
Published: 2012-10-01
Total Pages: 709
ISBN-13: 1118394232
DOWNLOAD EBOOKDrawing on essays from leading international and multi-disciplinary scholars, A Companion to the Philosophy of Technology is the first comprehensive and authoritative reference source to cover the key issues of technology’s impact on society and our lives. Presents the first complete, authoritative reference work in the field Organized thematically for use both as a full introduction to the field or an encyclopedic reference Draws on original essays from leading interdisciplinary scholars Features the most up-to-date and cutting edge research in the interdisciplinary fields of philosophy, technology, and their broader intellectual environments
The Routledge Companion to Twentieth Century Philosophy
Author: Dermot Moran
Publisher: Routledge
Published: 2008-10-27
Total Pages: 1404
ISBN-13: 1134424027
DOWNLOAD EBOOKThe twentieth century was one of the most significant and exciting periods ever witnessed in philosophy, characterized by intellectual change and development on a massive scale. The Routledge Companion to Twentieth Century Philosophy is an outstanding authoritative survey and assessment of the century as a whole. Featuring twenty-two chapters written by leading international scholars, this collection is divided into five clear parts and presents a comprehensive picture of the period for the first time: major themes and movements logic, language, knowledge and metaphysics philosophy of mind, psychology and science phenomenology, hermeneutics, existentialism, and critical theory politics, ethics, aesthetics. Featuring annotated further reading and a comprehensive glossary, The Routledge Companion to Twentieth Century Philosophy is indispensable for anyone interested in philosophy over the last one hundred years, suitable for both expert and novice alike.
The Oxford Companion to Philosophy
Author: Ted Honderich
Publisher: OUP Oxford
Published: 2005-03-10
Total Pages: 2277
ISBN-13: 0191037478
DOWNLOAD EBOOKOxford University Press presents a major new edition of the definitive philosophical reference work for readers at all levels. For ten years the original volume has served as a stimulating introduction for general readers and as an indispensable guide for students; its breadth and depth of coverage have ensured that it is also read with pleasure and interest by those working at a higher level in philosophy and related disciplines. A distinguished international assembly of 249 philosophers contributed almost 2,000 entries, and many of these have now been considerably revised and updated; to these are added over 300 brand-new pieces on a fascinating range of current topics. This new edition offers enlightening and enjoyable discussions of all aspects of philosophy, and of the lives and work of the great philosophers from antiquity to the present day.
Logic's Lost Genius
Author: Eckart Menzler-Trott
Publisher: American Mathematical Soc.
Published: 2016-05-05
Total Pages: 466
ISBN-13: 1470428121
DOWNLOAD EBOOKGerhard Gentzen (1909–1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called “proof theory” but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for “German logic”, and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smoryński on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smoryński explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers.
Historical Dictionary of Logic
Author: Harry J. Gensler
Publisher: Scarecrow Press
Published: 2006
Total Pages: 360
ISBN-13: 9780810855311
DOWNLOAD EBOOK"Historical Dictionary of Logic contains a dictionary section of more than 300 entries on persons, concepts, theories, forms of logic, fields in which logic is used, and the many fallacies that can trap the unwary. It includes entries on historical periods and figures, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Godel, and Quine. It also includes information on propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and para-consistent logic. A substantial chronology lists the main events in the history of logic, and an introduction sketches the central ideas and their evolution. The bibliography provides a broad range of additional reading."--BOOK JACKET.
The A to Z of Logic
Author: Harry J. Gensler
Publisher: Scarecrow Press
Published: 2010-02-12
Total Pages: 354
ISBN-13: 1461731828
DOWNLOAD EBOOKThe A to Z of Logic introduces the central concepts of the field in a series of brief, non-technical, cross-referenced dictionary entries. The 352 alphabetically arranged entries give a clear, basic introduction to a very broad range of logical topics. Entries can be found on deductive systems, such as propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and paraconsistent logic. Similarly, there are entries on topics relating to those previously mentioned such as negation, conditionals, truth tables, and proofs. Historical periods and figures are also covered, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Gödel, and Quine. There are even entries relating logic to other areas and topics, like biology, computers, ethics, gender, God, psychology, metaphysics, abstract entities, algorithms, the ad hominem fallacy, inductive logic, informal logic, the liar paradox, metalogic, philosophy of logic, and software for learning logic. In addition to the dictionary, there is a substantial chronology listing the main events in the history of logic, an introduction that sketches the central ideas of logic and how it has evolved into what it is today, and an extensive bibliography of related readings. This book is not only useful for specialists but also understandable to students and other beginners in the field.
