Talk:Formal logic
This is an old revision of this page, as edited by StevenK (talk | contribs) at 01:25, December 11, 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?