Talk:Formal logic

From Conservapedia

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?

Split it, please! --Ed Poor ^Talk 21:54, 15 December 2008 (EST)

Ed, I'm going to be out of town for a few days, but I'll work as I have time. Obviously this project intersects with the Logic article, too, so I'll be making changes there as well. StevenK 23:06, 16 December 2008 (EST)

Sounds logical. ;-) --Ed Poor ^Talk 23:12, 16 December 2008 (EST)