Deductive Logic in Natural LanguageBroadview Press, 2002 M11 13 - 284 páginas This 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. |
Contenido
1 | |
22 | |
III Establishing Inconsistency with Tableaux | 46 |
IV Extending the Tableau Technique | 68 |
V Generative Grammar | 94 |
VI Logical Analysis of Complex Sentences | 123 |
Identity and Other Relations | 157 |
OneWord Quantifiers | 185 |
IX Quantifier Expressions and Syllogisms | 218 |
TruthFunctional Logic | 248 |
For Reading and Reference | 275 |
Index | 280 |
Otras ediciones - Ver todas
Términos y frases comunes
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 go Sarah hates Tybalt inconsistent introduced John will go Juliet is forbidden Juliet loves Leibniz's Law logically equivalent Martha means Molly will go negation rule Noun Phrase obvious 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 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