Logic from a Rhetorical Point of View

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