## A Philosophical Companion to First-order LogicThis volume of recent writings, some previously unpublished, follows the sequence of a typical intermediate or upper-level logic course and allows teachers to enrich their presentations of formal methods and results with readings on corresponding questions in philosophical logic. |

### What people are saying - Write a review

User Review - Flag as inappropriate

Upon reading part of this upper-level logic course material, I would say it will thoroughly confuse students. Which is what most of this type course does. Just go to Thomas Aquinas. The more simple one makes the material, the more brilliant is the teacher.

### Contents

Logical Appraisal | 6 |

Semantics | 28 |

What Do Q and R Stand for Anyway? | 50 |

Theories of Truth | 62 |

Definite Descriptions | 69 |

Proof Theory | 76 |

Metalogic | 85 |

Truth and Proof | 101 |

Existence and Quantification | 162 |

The Significance of On Denoting | 178 |

Proof Theory | 202 |

13b On the Idea of a General Proof Theory | 212 |

Overviews | 225 |

On FirstOrder Logic | 259 |

291 | |

303 | |

### Other editions - View all

### Common terms and phrases

A D B analysis antinomy argument-place arithmetic assert assumption atomic sentences axioms Bolzano classical complex predicate conclusion conditional consider construction deduction defined definiens definition of truth denoting concepts derivable discussion English envies equivalent essay example existential explain fact false falsity first-order logic follows free variables Frege functions Gentzen's given idea implies implies2 inconsistent induction intuitionist justify Kant king of France linguistic logical consequence logical constants logical implication logicians material implication mathematical meaning metalanguage modus ponens natural deduction natural language necessarily existent notation notion of truth numbers object language occur philosophical possible precisely premiss principle problem proof theory proper name proposition provable quantifier question reason relational expression rules of inference Russell Russell's semantics sense sentence containing sentential sequent calculus simple singular terms snow is white statement symbols syntactic Tarski tences term true theorem theory of descriptions thing tion tokens true sentences truth-conditions truth-functional valid argument words