La Géométrie, a short appendix that appeared in Descartes’ famous Discourse on the Method, laid the foundations of analytic ...

Ever since modern symbolic ... logic, monadic predicate logic, polyadic predicate logic. We follow this same outline, but with three twists. We emphasize reasoning techniques (natural deduction) over ...