Deductive Logic in Natural Language

Forside
Broadview Press, 13. nov. 2002 - 302 sider

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.

 

Hva folk mener - Skriv en omtale

LibraryThing Review

Brukerevaluering  - ostrom - LibraryThing

It'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
Index
280
Opphavsrett

Andre utgaver - Vis alle

Vanlige uttrykk og setninger

Om forfatteren (2002)

Douglas Cannon is a professor in the Department of Philosophy at the University of Puget Sound.

Bibliografisk informasjon