(January 2, 2022 at 2:35 pm)LadyForCamus Wrote:(January 2, 2022 at 12:13 pm)Paleophyte Wrote: It's an unfounded premise.
1) If Thor does not exist then thunder does not exist. <--- Why assume that this is true?
2) Thunder exists.
3) Thor must exist.
That's entirely sound and a decent example of denying the consequent. If Thor is the only possible cause of thunder then the existence of thunder logically requires the existence of Thor.
But it depends entirely on the validity of P1. The instant that you introduce the possibility that thunder can exist without Thor then denying the consequent fails and the argument collapses.
1) If Thor does not exist then thunder might be caused by something else.
2) Thunder exists.
3) Thunder has an indeterminate cause and we can't say a bloody thing about Thor's involvement.
It's a lovely example of an argument that's logically sound but entirely unfounded. Which looks to have been the point of the person posting the obviously ridiculous Thor exists argument.
It's argument by assertion. Thor is the only possible source of thunder. God is the only possible source of morality. And that's arse backwards since they have to prove that god exists first before assigning him attributes.
I thought a formal argument was sound if and only if the structure is valid and all the premises are true? If we assume for the sake of the argument that P1 and P2 are true, then like you said, that doesn’t necessarily lead to a true conclusion. Doesn’t that mean, by definition, the argument is invalid? Not trying to be a pest here, just trying to learn.
Sorry, I've confused my terminology there. You're right. The argument is valid (the logic is internally consistent) but since the premises aren't all true it's not sound.