## Deductive Logic in Natural LanguageThis text offers an innovative approach to the teaching of logic, which is rigorous but entirely non-symbolic. By introducing students to deductive inferences in natural language, the book breaks new ground pedagogically. Cannon focuses on such topics as using a tableaux technique to assess inconsistency; using generative grammar; employing logical analyses of sentences; and dealing with quantifier expressions and syllogisms. An appendix covers truth-functional logic. |

### Hva folk mener - Skriv en omtale

#### LibraryThing Review

Brukerevaluering - ostrom - LibraryThingIt's only logical that this would be a fine textbook. My colleague Doug Cannon has taught logic well for many years. The prose is clear and readable, the examples wonderful. Les hele vurderingen

### Innhold

Stories and Situations | 22 |

Establishing Inconsistency with Tableaux | 46 |

Extending the Tableau Technique | 68 |

Generative Grammar | 94 |

Logical Analysis of Complex Sentences | 123 |

23 Transformations in logical analysis Grouping | 136 |

24 The reach of rules Negated conditionals | 143 |

25 Tableaux constructed by rules | 149 |

34 Anyone quantifier scope and anaphoric pronouns | 210 |

Exercises | 215 |

Quantifier Expressions and Syllogisms 35 The universal quantifier | 218 |

36 Relative pronouns and the existential and nihilistic | 228 |

37 Tableaux for syllogisms and other arguments | 234 |

38 Anyone and logical equivalence | 237 |

39 Things times and places | 241 |

Exercises | 245 |

Exercises | 154 |

Identity and Other Relations 26 Designators and predicates | 157 |

27 Properties and relations Types of relations | 161 |

28 The peculiar relation of identity | 171 |

29 Tableau rules for identity | 177 |

Exercises | 181 |

OneWord Quantifiers 30 Quantifiers in general | 185 |

everyone | 189 |

32 Tableau rules for the simplest quantifiers | 196 |

33 The simplest quantifiers in tableaux | 204 |

TruthFunctional Logic 40 Review Tableau rules for sentence connectives | 248 |

41 Three levels of symbolization | 250 |

42 Symbolic languages for algebra | 252 |

43 Truthfunctions and their computational tables | 254 |

44 Truth tables and calculating truthvalues | 259 |

45 Constructing an arbitrary function Normal form | 270 |

Exercises | 274 |

For Reading and Reference | 275 |

280 | |

### Andre utgaver - Vis alle

### Vanlige uttrykk og setninger

Alex anaphoric anaphoric pronoun apply Bernardo Bowser cats chase mice Chapter checked clause complex sentences conclusion conjunction consistency construct counter set designator eat seeds example existential quantifier formula gang member George was born go Molly hates Tybalt inconsistent introduced invite Ron John will go Juliet is forbidden Juliet loves Leibniz's Law logically equivalent Martha means Molly will go negation rule Noun Phrase obvious occurs one-word quantifier original sentences parentheses path phrase-marker phrase-structure grammar possible situation predicate premises President of Russia proposition Putin quantifier expressions quantifier rules recognize reference related to Romeo result rewriting rules Riff rule-governed connectives Sarah will go sentence letters sentences of English set of sentences simple sentences situation with respect someone story string syntactically ambiguous tableau tableau rules terminal symbols Tony restrained transformation true with respect truth table truth-functional truth-value Tybalt hates underlying sentence universal quantifier universe of discourse Verb Phrase words