Definition talk:Statement Form

This smells suspiciously like it should be incorporated in User:Lord_Farin/Sandbox/PropLog/Definition:Language of Propositional Logic -- particularly the "Formal Definition" subpage. &mdash; Lord_Farin (talk) 14:49, 16 September 2013 (UTC)


 * Feel free, I never was satisfied with this when I first defined it - I always wondered whether it ought to be couched in the language of metalanguage. So to speak. --prime mover (talk) 18:53, 16 September 2013 (UTC)

This and Definition:Logical Formula have been taken apart. The possible confusion in scope means the sources have to be reviewed. I will take care of updating whatever links here. &mdash; Lord_Farin (talk) 16:13, 2 December 2013 (UTC)

Remaining links are either up for rewriting themselves, prone to deletion, or the result of the flow of the cited works. &mdash; Lord_Farin (talk) 18:25, 2 December 2013 (UTC)


 * Okay, put a SourceReview template in place for each of the latter (along with a username=Prime.Mover so I can keep track of them) and I'll address them once I'm reunited with my home bookshelves. --prime mover (talk) 23:01, 2 December 2013 (UTC)


 * I've revisited this, and I reckon it's better to keep this page as a high-level oveview of the concept, so as to allow the accessibility of those who are not interested in the formal-systems approach to logic. --prime mover (talk) 09:53, 22 December 2013 (UTC)