Search found 1 match
- Thu Mar 09, 2017 5:33 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Understanding soundness/completeness as "validity classification"?
- Replies: 2
- Views: 1701
Understanding soundness/completeness as "validity classification"?
I want to test my understanding of soundness and completeness. In particular, I will attempt to describe it in terms of *validity classification* where "positive" relates to "valid", and "negative" relates to "invalid", hence we can judge a classification to b...