Talk:Formal logic
This is an old revision of this page, as edited by Ed Poor (talk | contribs) at 02:54, December 16, 2008. It may differ significantly from current revision.
Symbolic vs. Categorical Logic
The first bit contains examples (ill-formed ones, at that!) of categorical logic, or the Aristotelian Syllogistic, not what these days is called symbolic logic, or the Propositional Calculus. Do we want to split the article, or should I just replace the bad examples with relevant ones?