Talk:Equivalence of Definitions of Logical Consistence

From ProofWiki
Jump to navigation Jump to search

Can someone who is familiar with the subject judge whether this should be a definition equivalence or a "equivalent characterizations" page? --barto (talk) 17:13, 8 September 2017 (EDT)

Actually what should happen here is that Definition:Logically Consistent is replaced by different terminology. This page touches on equivalence of being (syntactically) consistent, and (semantically) satisfiable, and as such veers close to the ground of soundness and completeness theorems. I have put considerable effort in sorting out this terminology, which is an idiosyncratic mess throughout the literature. — Lord_Farin (talk) 06:05, 9 September 2017 (EDT)
For future reference: Definition:Logically Consistent replaced by Definition:Consistent (Logic)/Set of Formulas/Propositional Logic/Definition 2. — Lord_Farin (talk) 14:50, 15 November 2017 (EST)