## Logic and Philosophy: A Modern IntroductionA comprehensive introduction to formal logic, LOGIC AND PHILOSOPHY: A MODERN INTRODUCTION, 11E is a rigorous, yet accessible text appropriate for students encountering the subject for the first time. Numerous carefully crafted exercise sets accompanied by clear, crisp exposition give students a firm grasp of basic concepts and take the student from sentential logic through first-order predicate logic, the theory of descriptions, and identity. As the title suggests, this is a book devoted not merely to logic; students will encounter an abundance of philosophy as well. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version. |

### What people are saying - Write a review

User Review - Flag as inappropriate

its being one of the best LnP book i have ever read

#### Review: Logic and Philosophy: A Modern Introduction

User Review - Gil - Goodreadsit was a nice book for the course. easy to read. truly made the concepts easy to understand. without it, i dont think i would have gotten the grade i did in Logic. Read full review

### Contents

Introduction | 1 |

Sentential Logic | 17 |

Predicate Logic | 165 |

Answers to EvenNumbered Exercise Items | 358 |

419 | |

Special Symbols | 421 |

423 | |

### Common terms and phrases

antecedent argument is valid asserts assumed premise atomic sentence Betsy categorical propositions Chapter college students compound sentence conclusion false conditional proof Conj conjunction constant contains contradiction contraposition correctly symbolized deductively valid disjunction domain domain of discourse exam example Exercise existential quantifier F F F F F T F T F F T T F false conclusion following argument free variable humans are mortal Impl individual inference invalid logically equivalent loves main connective natural deduction occur predicate logic premises are true prove quantifier rules replace restriction sentence form sentential logic Simp subcontraries substitution instance syllogism T F F tautology tence term theorems translate true premises truth table truth-functional truth-value universal quantifier valid argument form x)(Fx Gx x)Fx x)Gx