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. |
Comentarios de la gente - Escribir un comentario
LibraryThing Review
Crítica de los usuarios - 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. Leer comentario completo
Contenido
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 | |
Otras ediciones - Ver todas
Términos y frases comunes
Alex already ambiguity anaphoric appears apply argument Bernardo born branch called cats Chapter chase checked clause close complex sentences conclusion conditional conjunction connectives consider consistency construct counter set course described designator developed earlier effect English equivalent example expressed fact false formula George given grammar hates identity inconsistent intelligible introduced invite Jane John killed kind logical Maria Martha Mary matter means mice Molly Montague natural negation notion Noun Phrase obvious occurs original path perhaps phrase-marker possible situation predicate premises President pronoun proposition provides quantifier question reason recognize reference relation remains replacing respect restrained result rewriting rules Riff Romeo rule rule-governed Sarah scope set of sentences simple situation someone story string structure symbol tableau thing Tony transformation treatment true truth truth-value turn Tybalt underlying universal valid Verb
Información bibliográfica
| Título | Deductive Logic in Natural Language Broadview library of logic and critical thinking |
| Autor | Douglas Cannon |
| Editor | Broadview Press, 2002 |
| ISBN | 1551114453, 9781551114453 |
| Largo | 302 páginas |
| Exportar cita | BiBTeX EndNote RefMan |