Logic from a Rhetorical Point of ViewWalter de Gruyter, 21 Νοε 2011 - 327 σελίδες No detailed description available for "Logic from a Rhetorical Point of View". |
Περιεχόμενα
| 1 | |
| 6 | |
| 13 | |
| 18 | |
| 23 | |
| 31 | |
| 44 | |
3 Leibniz on the mechanization of arguments | 57 |
5 The role of a theory for intelligent generalization | 165 |
mental kinds of reasoning | 170 |
7 Formal blind reasoning and artificial intelligence | 175 |
Defining Logic and Intelligence | 183 |
2 Normal definitions of predicates and names | 188 |
3 The holistic doctrine of definition | 197 |
4 Implicit definitions and conclusive conceptualization | 203 |
Symbolic Logic and Objectual Reasoning Case Studies | 220 |
Towards the Logic of General Names | 68 |
2 The existential import of general names | 75 |
an exercise in Plato | 79 |
The TruthFunctional Calculus and the Ordinary Use of Connectives | 89 |
2 The truthfunctional analysis of denial and conjunction | 93 |
3 The truthfunctional analysis of disjunction | 100 |
4 The truthfunctional analysis of conditionals | 104 |
The Predicate Calculus | 112 |
2 Quantification rules interpretation formal systems | 120 |
3 Predicate logic compared with natural logic | 126 |
Reasoning Logic and Intelligence | 141 |
2 The internal logical code in human bodies | 145 |
3 The problem of generalization in the internal code | 152 |
4 What intelligent generalization depends on | 160 |
2 Ciceros reasoning in the light of symbolic logic | 224 |
3 Marthas objectual reasoning matched by symbolic logic | 231 |
4 Aspasias argument confronted with predicate logic | 239 |
Implicit Definitions and Conceptual Networks Case Studies | 257 |
a definition for computers | 261 |
3 The case of a definition in the food market | 265 |
4 The case of nonexistent Geist and similar cases | 269 |
The Postscript as a BookNetwork Interface Material versus Formal Arguments | 278 |
References | 288 |
Index of Names | 297 |
Index of Subjects | 300 |
Extended Table of Contents | 305 |
Άλλες εκδόσεις - Προβολή όλων
Συχνά εμφανιζόμενοι όροι και φράσεις
17th century adjective algebra argumental construct Aristotle arithmetic artificial intelligence Aspasia axioms calculus calculus of classes called Chapter cognitive rhetoric concept conceptual network concerned condition connection consists context deductive defined definiendum definiens Descartes discussed disjunction domain eidetic object entities essay example existence existential expression fact formal formula function hence human idea implicit definitions individual inference rules instance internal code interpretation introduced intuitive involved latter Leibniz linguistic logical theory logician machine mathematics means mental method mind mind-philosophical logic Mizar modern logic natural languages natural logic natural numbers normal definition notion objectual reasoning operations ostensive ostensive definition owing philosophical phrase praxeological predicate logic premises present problem proof properties prove quantifier question refer relation rhetorical point role sense sentence sequence Subsec symbolic logic syntactic term theoretical logic thing tion traditional transformation truth truth-functional universal quantifier variable Xenophon