Logic from a Rhetorical Point of View

17th century adjective algebra argumental construct Aristotle arithmetic artificial intelligence Aspasia axioms calculus of classes called Chapter cognitive rhetoric concept concerned conditional 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 member supposition mental method mind mind-philosophical logic Mizar Mizar MSE modern logic natural languages natural logic normal definition notion numbers 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 second-order logic sense sentence sequence Subsec symbolic logic syntactic term theoretical logic thing tion transformation truth truth-functional universal quantifier validity variables