From 093c8228028b2ae51df93119f920b3f0cbc760bf Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Wed, 21 Dec 2022 12:00:05 +0000 Subject: [PATCH] Autosave: 2022-12-21 12:00:05 --- Logic/General_concepts/Soundness.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Logic/General_concepts/Soundness.md b/Logic/General_concepts/Soundness.md index 0c78a73..11099e8 100644 --- a/Logic/General_concepts/Soundness.md +++ b/Logic/General_concepts/Soundness.md @@ -1,10 +1,10 @@ --- categories: - - Mathematics + - Logic tags: [logic] --- -### Soundness +# Soundness Recall that in the definition of [deductive validity](Validity%20and%20entailment.md#validity) we do not say: an argument is valid iff if the premises _are true_ and the conclusion _is true_. We say _if it is possible for the premises to be true_. This is important: we are not interested in the actual truth of the premises or the conclusion.