Sets to Sentences:  The Sets to Sentences software converts Ideas, expressed as Sets of either Objects or Attributes, into a variety of sentences.  The sentences generated include Type 2 and 7 Simple Sentences, Two-Set Relationship Clauses, Propositions, and Relation Statements.  (A later version will cover the remaining 8 Simple Sentence types of English grammar, but Types 2 and 7 are the most common types found in finance contracts.)

Classical Logic: Proposition and Categorical Syllogism Generator:  Essentially, this is a calculator for solving Categorical Syllogisms.  The user types in any three distinct Ideas A, B, and C (expressed in the plural form) and the Two-Set Relationships A-B, A-C, and B-C.  (Each Two-Set Relationship is either Subset, Superset, Partially Overlapping, or Disjoint.)  Then, the software calculates all possible Categorical Syllogisms using these three Ideas.  

Math Without Numbers Compendium:  This software provides “definitions” of Ideas in terms of their set relationships to other Ideas.  There are four primary relationships: Subset of Objects (Example or Species), Superset of Objects (Cover or Genus), Subset of Attributes (Property), and Superset of Attributes (Accident or Accidental Property).  These four Relations are especially important, because they correspond to four of the five Predicables identified by Aristotle.  The fifth Predicable, “Differences”, corresponds to those Accidental Properties that distinguish a particular Species from its Genus.

MATH WITHOUT NUMBERS