Code

• The logic of unanalyzed sentences
• Adding sentential connectives
• Propositional Tableaux
• The logic of subjects and predicates
• A unified semantics for the logical operators
• The proper treatment of subjects