Concept tag
#soundness
-
What’s the difference between a valid argument and a sound one?
In a debate thread here someone said an argument was "valid but not sound" and I realised, being completely new to logic, that I didn't understand the difference. To me both words just sounded like "good". Could someone explain simply, with examples…
Started by Kavya Menon3 replies -
Soundness and completeness of a logical system: what exactly is being proved?
I'm stuck on vocabulary, having no formal training in logic. I've read that a logical system can be sound and complete: everything provable is true, and everything true is provable. Fine. But then I read that Gödel proved a completeness theorem in…
Started by Pieter van Dijkhuizen4 replies