A Companion to Philosophical Logic

Copyright © 2002, 2006 by Blackwell Publishing Ltd

A Companion to Philosophical Logic

Editor(s): Dale Jacquette

Published Online: 26 NOV 2007

Print ISBN: 9780631216711

Online ISBN: 9780470996751

DOI: 10.1002/9780470996751

About this Book

Product Information

About The Product

This 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.

Table of contents

    1. You have free access to this content
      Frontmatter (pages i–xiii)

    1. Introduction: Logic, Philosophy, and Philosophical Logic (pages 1–8)

      Dale Jacquette

  3. Part I: Historical Development of Logic

    1. Chapter 1

      Ancient Greek Philosophical Logic (pages 9–23)

      Robin Smith

    2. Chapter 2

      History of Logic: Medieval (pages 24–34)

      E. P. Bos and B. G. Sundholm

    3. Chapter 3

      The Rise of Modern Logic (pages 35–48)

      Rolf George and James van Evra

  4. Part II: Symbolic Logic and Ordinary Language

    1. Chapter 4

      Language, Logic, and Form (pages 49–72)

      Kent Bach

    2. Chapter 5

      Puzzles about Intensionality (pages 73–85)

      Nathan Salmon

    3. Chapter 6

      Symbolic Logic and Natural Language (pages 86–101)

      Emma Borg and Ernest Lepore

  5. Part III: Philosophical Dimensions of Logical Paradoxes

    1. Chapter 7

      Logical Paradoxes (pages 103–114)

      James Cargile

    2. Chapter 8

      Semantical and Logical Paradox (pages 115–130)

      Keith Simmons

    3. Chapter 9

      Philosophical Implications of Logical Paradoxes (pages 131–142)

      Roy A. Sorensen

  6. Part IV: Truth and Definite Description in Semantic Analysis

    1. Chapter 10

      Truth, the Liar, and Tarski's Semantics (pages 143–163)

      Gila Sher

    2. Chapter 11

      Truth, the Liar, and Tarskian Truth Definition (pages 164–176)

      Greg Ray

    3. Chapter 12

      Descriptions and Logical Form (pages 177–193)

      Gary Ostertag

    4. Chapter 13

      Russell's Theory of Definite Descriptions as a Paradigm for Philosophy (pages 194–223)

      Gregory Landini

  7. Part V: Concepts of Logical Consequence

    1. Chapter 14

      Necessity, Meaning, and Rationality: The Notion of Logical Consequence (pages 225–240)

      Stewart Shapiro

    2. Chapter 15

      Varieties of Consequence (pages 241–255)

      B. G. Sundholm

    3. Chapter 16

      Modality of Deductively Valid Inference (pages 256–261)

      Dale Jacquette

  8. Part VI: Logic, Existence, and Ontology

    1. Chapter 17

      Quantifiers, Being, and Canonical Notation (pages 263–280)

      Paul Gochet

    2. Chapter 18

      From Logic to Ontology: Some Problems of Predication, Negation, and Possibility (pages 281–292)

      Herbert Hochberg

    3. Chapter 19

      Putting Language First: The ‘Liberation’ of Logic from Ontology (pages 293–304)

      Ermanno Bencivenga

  9. Part VII: Metatheory and the Scope and Limits of Logic

    1. Chapter 20

      Metatheory (pages 305–318)

      Alasdair Urouhart

    2. Chapter 21

      Metatheory of Logics and the Characterization Problem (pages 319–331)

      Jan Woleński

    3. Chapter 22

      Logic in Finite Structures: Definability, Complexity, and Randomness (pages 332–348)

      Scott Weinstein

  10. Part VIII: Logical Foundations of Set Theory and Mathematics

    1. Chapter 23

      Logic and Ontology: Numbers and Sets (pages 349–364)

      José A. Benardete

    2. Chapter 24

      Logical Foundations of Set Theory and Mathematics (pages 365–376)

      Mary Tiles

    3. Chapter 25

      Property-Theoretic Foundations of Mathematics (pages 377–387)

      Michael Jubien

  11. Part IX: Modal Logics and Semantics

    1. Chapter 26

      Modal Logic (pages 389–409)

      Johan van Benthem

    2. Chapter 27

      First-Order Alethic Modal Logic (pages 410–421)

      Melvin Fitting

    3. Chapter 28

      Proofs and Expressiveness in Alethic Modal Logic (pages 422–441)

      Maarten de Rijke and Heinrich Wansing

    4. Chapter 29

      Alethic Modal Logics and Semantics (pages 442–477)

      Gerhard Schurz

    5. Chapter 30

      Epistemic Logic (pages 478–490)

      Nicholas Rescher

    6. Chapter 31

      Deontic, Epistemic, and Temporal Modal Logics (pages 491–509)

      Risto Hilpinen

  12. Part X: Intuitionistic, Free, and Many-Valued Logics

    1. Chapter 32

      Intuitionism (pages 511–530)

      Dirk van Dalen and Mark van Atten

    2. Chapter 33

      Many-Valued, Free, and Intuitionistic Logics (pages 531–544)

      Richard Grandy

    3. Chapter 34

      Many-Valued Logic (pages 545–561)

      Grzegorz Malinowski

  13. Part XI: Inductive, Fuzzy, and Quantum Probability Logics

    1. Chapter 35

      Inductive Logic (pages 563–581)

      Stephen Glaister

    2. Chapter 36

      Heterodox Probability Theory (pages 582–594)

      Peter Forrest

    3. Chapter 37

      Why Fuzzy Logic? (pages 595–605)

      Petr Hájek

  14. Part XII: Relevance and Paraconsistent Logics

    1. Chapter 38

      Relevance Logic (pages 607–627)

      Edwin D. Mares

    2. Chapter 39

      On Paraconsistency (pages 628–650)

      Bryson Brown

    3. Chapter 40

      Logicians Setting Together Contradictories: A Perspective on Relevance, Paraconsistency, and Dialetheism (pages 651–664)

      Graham Priest

  15. Part XIII: Logic, Machine Theory, and Cognitive Science

    1. Chapter 41

      The Logical and the Physical (pages 665–679)

      Andrew Hodges

    2. Chapter 42

      Modern Logic and its Role in the Study of Knowledge (pages 680–693)

      Peter A. Flach

    3. Chapter 43

      Actions and Normative Positions: A Modal-Logical Approach (pages 694–705)

      Robert Demolombe and Andrew J. I. Jones

  16. Part XIV: Mechanization of Logical Inference and Proof Discovery

    1. Chapter 44

      The Automation of Sound Reasoning and Successful Proof Finding (pages 707–723)

      Larry Wos and Branden Fitelson

    2. Chapter 45

      A Computational Logic for Applicative Common LISP (pages 724–741)

      Matt Kaufmann and J. Strother Moore

    3. Chapter 46

      Sampling Labeled Deductive Systems (pages 742–769)

      D. M. Gabbay

    1. You have free access to this content
      Resources for Further Study (pages 771–775)

    1. You have free access to this content
      Index (pages 776–816)

SEARCH