Talk:Formal logic

From Conservapedia
This is the current revision of Talk:Formal logic as edited by Ed Poor (Talk | contribs) at 04:12, December 17, 2008. This URL is a permanent link to this version of this page.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)