Logic from a Rhetorical Point of ViewWalter de Gruyter, 21 lis 2011 - 327 No detailed description available for "Logic from a Rhetorical Point of View". |
Spis treści
| 1 | |
| 6 | |
| 13 | |
| 18 | |
3 Conceptual potential and conceptual engineering | 23 |
Formalized versus Intuitive Arguments The Historical Background | 31 |
2 The Renaissance reformism and intuitionism in logic | 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 |
| 288 | |
| 297 | |
| 300 | |
| 305 | |
Inne wydania - Wyświetl wszystko
Kluczowe wyrazy i wyrażenia
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