Logic from a Rhetorical Point of ViewWalter de Gruyter, 1994 - 312 σελίδες |
Αναζήτηση στο βιβλίο
Αποτελέσματα 1 - 5 από τα 56.
Σελίδα vii
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Σελίδα 4
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Σελίδα 8
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Σελίδα 10
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Σελίδα 13
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Περιεχόμενα
Formalized versus Intuitive Arguments | 1 |
Descartes Leibniz and Pascal facing a crisis in logic | 6 |
MindPhilosophical Logic | 13 |
Conceptual potential and conceptual engineering | 23 |
The Renaissance reformism and intuitionism in logic | 44 |
Leibniz on the mechanization of arguments | 57 |
The existential import of general names | 75 |
The TruthFunctional Calculus | 89 |
Defining Logic and Intelligence | 183 |
The holistic doctrine of definition | 197 |
The holistic doctrine of definition | 198 |
Implicit definitions and conclusive conceptualization | 203 |
Symbolic Logic | 220 |
Marthas objectual reasoning matched by symbolic logic | 231 |
Aspasias argument confronted with predicate logic | 239 |
Implicit Definitions | 257 |
The truthfunctional analysis of disjunction | 100 |
The truthfunctional analysis of conditionals | 104 |
The Predicate Calculus | 112 |
Quantification rules interpretation formal systems | 120 |
Predicate logic compared with natural logic | 126 |
Reasoning Logic and Intelligence | 141 |
Formal blind reasoning and artificial intelligence | 175 |
The case of a definition in the food market | 265 |
The case of nonexistent Geist and similar cases | 269 |
The Postscript as a BookNetwork Interface | 278 |
288 | |
297 | |
Άλλες εκδόσεις - Προβολή όλων
Συχνά εμφανιζόμενοι όροι και φράσεις
17th century adjective algebra argumental construct Aristotle arithmetic artificial intelligence Aspasia axioms belongs 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 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 thing tion traditional transformation truth truth-functional universal quantifier variable Xenophon