Concept tag
#soundness
-
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 -
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 -
Logic for beginners: what makes an argument valid
A first introduction to the single most useful idea in logic, with the tests you can use on any argument and the mistakes almost everyone makes.
Started by Tomasz SzewczakReply first (no replies yet)