WEBVTT 00:00:02.660 --> 00:00:08.096 The next question has probably been bothering you ever since very early on in 00:00:08.096 --> 00:00:13.874 the previous lecture. Namely, if valid arguments can have false premises, then 00:00:13.874 --> 00:00:19.154 what good are they? Sure, there's this technical logician's notion of a valid 00:00:19.154 --> 00:00:24.919 argument, but why should we care whether arguments are valid if valid arguments can 00:00:24.919 --> 00:00:30.824 be really bad? Validity might be necessary for an argument to be good or at least for 00:00:30.824 --> 00:00:35.965 a deductive argument to be good because remember, there are also inductive 00:00:35.965 --> 00:00:42.407 arguments. But even though it's necessary, it's not enough. You can have a horrible 00:00:42.407 --> 00:00:48.260 argument but still valid. Well, the great thing about validity is that when you add 00:00:48.260 --> 00:00:54.042 true premises to a valid argument, then you get something that really is valuable, 00:00:54.042 --> 00:00:58.967 which we're going to call a sound argument. Because if you know that the 00:00:58.967 --> 00:01:04.820 premises are true and you also know that it's not possible for the premises to be 00:01:04.820 --> 00:01:10.790 true and the conclusion, false, then, you know, the conclusion must be true. So, in 00:01:10.790 --> 00:01:16.954 a sound argument, the conclusion has to be true. And that is what makes it valuable 00:01:16.954 --> 00:01:23.193 cuz if we can get a deductive argument to be sound, then you really got something. 00:01:23.193 --> 00:01:28.981 What you've got is a true conclusion. Officially then, a sound argument is one 00:01:28.981 --> 00:01:35.167 where the premises are true and the argument is valid. And we've got the same 00:01:35.167 --> 00:01:40.574 combinations of truth and falsity as possibilities that we had in valid 00:01:40.574 --> 00:01:46.431 arguments. You can have both premises and conclusion are true and then, if it's 00:01:46.431 --> 00:01:52.289 valid, the argument is sound and if it's not valid, it's not. Or you can have the 00:01:52.289 --> 00:01:58.147 premises are true and the conclusions false and then, it can't be valid. But if 00:01:58.147 --> 00:02:04.460 it's invalid, it's not sound. We can have the premises are false and the conclusions 00:02:04.694 --> 00:02:10.776 true. And then if it's valid, it's not sound and if it's invalid, it's not sound. 00:02:10.776 --> 00:02:17.014 Or we can have both the premises and the conclusion are false, and then, it's not 00:02:17.014 --> 00:02:22.784 going to be sound whether it's valid or not. So, the only combination, where it 00:02:22.784 --> 00:02:28.944 sound is when the premises are true and the argument is valid and, in that case, 00:02:28.944 --> 00:02:34.517 you know that the conclusion is true. What about lack of soundness? Well, there are 00:02:34.517 --> 00:02:39.754 two ways an argument yjay fail to be sound, namely, either the argument can be 00:02:39.754 --> 00:02:44.785 invalid or one of its premises can be false. So, it's a lot easier for an 00:02:44.785 --> 00:02:50.294 argument to be unsound. And we know that a deductive argument tries to be valid and, 00:02:50.294 --> 00:02:55.592 of course, it wants its premises to be true so a deductive argument is trying to 00:02:55.592 --> 00:03:00.582 be sound. And when it fails to be sound, it's not going to be any good. And the 00:03:00.582 --> 00:03:06.437 next question is how can you know? If you don't know whether the premises are true, 00:03:06.437 --> 00:03:11.059 you're not going to know whether the arguments sound. Well, not quite, because 00:03:11.059 --> 00:03:15.743 if you, if the argument's valid and you know it's valid, then you don't know 00:03:15.743 --> 00:03:20.552 whether it's sound unless you know the premises are true. But if you that the 00:03:20.552 --> 00:03:25.237 argument is invalid, you already know it's unsound, even if you don't know whether 00:03:25.237 --> 00:03:30.046 the premises are true. So, if you think about it, that shows why you want to be 00:03:30.046 --> 00:03:34.869 able to test for validity. Because if you can show the argument's invalid, then 00:03:34.869 --> 00:03:39.669 you're going to be able to, well, I know it's unsound, regardless of what you think 00:03:39.669 --> 00:03:44.407 about whether the premises are true or not. So, there's going to be some value to 00:03:44.407 --> 00:03:49.084 validity, namely, if you can show it's invalid, you're going to show it's unsound 00:03:49.084 --> 00:03:54.504 and that means that the deductive argument didn't get what it wanted. So, validity is 00:03:54.504 --> 00:04:00.535 going to be necessary for soundness and soundness is going to be important because 00:04:00.535 --> 00:04:06.879 it guarantees the truth of the conclusion, and then, validity derives its value from 00:04:06.879 --> 00:04:12.814 the fact that if it's not valid, it's not sound. Okay. Now, there's a more to say 00:04:12.814 --> 00:04:17.227 about validity. And we'll say a lot more about validity when we get to a formal 00:04:17.669 --> 00:04:22.587 logic in the second part of this course. But for now, we're just going to stick 00:04:22.587 --> 00:04:27.252 with this pretty intuitive notion of validity and see how we can use this 00:04:27.252 --> 00:04:30.027 notion of validity to reconstruct arguments.