If you assume that the non-physical has an existence that requires a cause then you are making unfounded, a priori assumptions.
Noone is making that assumption.
It merely remains a possibility that hasn't been ruled out by the premises.
If you assume otherwise then it is you who is making the
a priori assumption.
We can agree on the premise that physical things require a cause, because we've never observed otherwise. Since we have not observed the non-physical, it is ridiculous to just make unfounded assumptions about it. Now if you want to argue that some particular conception of a non-physical existence must require a cause, make your case.
Until I move on to the soundness of the premises, I'm concentrating on the validity of the argument, otherwise no matter how true the premises, the argument would remain unsound.
Certainly. Logic doesn't care about soundness of premise, but we're not discussing pure logic here. We're discussing both whether the premises are sound and whether they logically lead to the conclusion.
No, I'm discussing
validity - I haven't even begun to discuss the veracity of the premises.
Nor has Sarkus for that matter, reading through his responses.
The soundness of the argument should only be considered once the validity is established, otherwise you're relieving your bladder into the wind.
For one, soundness assures a premise does not beg the question.
Actually it is mere validity that assures that: if valid then there is no question begging.
To demonstrate - an argument with true premises that begs the question:
Everyone but me on this forum is called Baldeee.
I am on this forum.
Therefore I am called Baldeee.
The premises are true but the argument, however, suffers from begging the question.
A sound argument must indeed be valid, but it is the validity that assures no question begging.
But I have no problem with you adding 'only' if that helps you understand the premise. If you cannot manage to infer that from the parsimonious premises, so be it.
It's not a matter of understanding, it's a matter of the logical argument being valid or not.
It's up to you: if you don't include it then that particular argument is demonstrably invalid.
LOL! Oxygen is not necessary and sufficient for a duck to exist, since a dead duck is still a duck.
Okay - try it with a slight tweak:
- A living duck requires oxygen (equivalent to "A requires B")
- You are not equivalent to a living duck (equivalent to "C is not equivalent to A")
- So since you think you can infer that "C does not share the requirement of A" then I can infer that you do not require oxygen?
Similarly:
- A car requires energy in order to do work.
- You are not a car.
- Therefore you do not require energy to do work.
Both are invalid, and both demonstrate the invalidity of your argument on which their logical form is based.
If you wish to define such a relationship and premise for the non-physical, that is your own assertion.
Why do I need to define one?
You are presenting the argument, and unless you rule something out in the premise then it is should not be assumed as ruled out.
You have again, with your two lines above, merely stated things about physical things.
You simply haven't excluded anything for the non-physical.
As stated many times now, inserting the word "only" would resolve that particular issue in your original argument.
'Fluffy towel' begs the question in the conclusion, i.e. whether it is fluffy. That is logically invalid, and it should be obvious to even the most simple-minded.
I'm sure the word "fluffy" was inserted to ensure that even you understood that other things can indeed be "fluffy".
The example is, however, valid if you remove that particular word, and demonstrates the point even more so now that you are aware that towels can indeed be fluffy.
The conclusion your logic would result in would be that the towel can not be fluffy simply because it doesn't fit into the category of stuffed toys.
The example (without the word "fluffy") thus demonstrates the invalid logic you're employing.
You see, simply swapping entities in a logical premise still has to avoid circular reasoning, like that introduced by defining a towel as 'fluffy' and then concluding it is 'fluffy'. Valid logic does not allow you to define the conclusion before inferring it.
Resolved as per above.
Remove the word "fluffy" and then by your invalid logic you conclude that the towel can not be fluffy because it isn't a stuffed toy.
Again (and this really shouldn't bear repeating to a rational adult who know thing one about logic), but a logical premise cannot assume the conclusion. That is the fallacy of begging the question (circular reasoning). But let's start by just looking at premise 2:
2. All stuffed toys have the property of being fluffy (X).
This does not say that ONLY stuffed toys are fluffy.
And where in your original argument does it use the ONLY?
It doesn't.
The example therefore remains comparable.
The simple illustration of this is that all thumbs are fingers but not all fingers are thumbs. The property of being fluffy is only defined as being necessary to stuffed toys (So you are right...the requirement is 'defined' as holding for all stuffed toys, whether that premise is sound or not). It is not sufficient to conclude that any fluffy thing is a stuffed toy. Very simple logic here guys.
We know - hence JamesR posted that example as a demonstration of this very issue.
Your equivalent premise: "Physical existence requires a cause"... the property of requiring a cause is only defined as being necessary to physical existence.
And yet you seem to show you understand the flaw in the stuffed-toy example, but you're struggling to see the same issue in your own argument.
Now I will admit it was unwise to use James' example, since its conclusion was equally faulty.
Of course it was equally faulty - it was highlighting the faultiness of the logical form you employed.
It was designed to be faulty.
It did not define 'fluffy' as sufficient for the existence of a stuffed toy, so it could not be used to conclude a truck was not fluffy.
Nowhere did your original argument define any relationship for non-physical items.
Defining one specifically for the physical does not also define one for the non-physical.
However, had you, as Sarkus originally said, and as I have pointed out, included the word "only" at the start, then your initial example would not have suffered from this specific flaw.
My actual form of the KCA corrected for that by making the relationship required, i.e. both necessary and sufficient.
No, your form of the KCA is just as flawed.
- Physical existence requires a cause.
- God is not physical.
- Therefore, God has no cause.
- Therefore, God is the only available uncaused cause.
In 1 you have merely stated what is necessary and sufficient for physical items.
You have said nothing about the non-physical, which may or may not require a cause.
In this case, even if you had put "
Only physical existence requires a cause" it would not save the argument from being invalid: it would merely imply that a cause is not necessary for non-physical existence, but does not exclude the possibility of the non-physical from having a cause.
So no, your form of the KCA is still flawed: 3 does not follow from 1 and 2, and 4 is a non-sequitur.
Sufficiency means that the property or thing is ontologically isolated to a class of thing. This is because the existence of that property or thing is sufficient to conclude that a particular class of thing exists. Necessity and sufficiency are logical relationships between statements. They have no bearing on soundness.
Actually they have quite a bit of bearing on soundness: the claim of necessity in the premise must be true else the argument is unsound.
However we are still on issues of validity, but we can discuss the veracity of premises later.
"If you don't set up the premises to specifically exclude things from possibility then logical form alone might suggest they can happen"?! Logical statements are not required to be exhaustive. Logical statements can be mutually exclusive, jointly exhaustive, collectively exhaustive, etc..
I am aware of that - and my comment stands.
I didn't say "
explicitly exclude", I said "
specifically exclude" - which can be achieved through a number of means.
You have utilised none of them.
Actually, it was James' argument. I'm criticizing the form of his example, and yes, mistakenly equated to my own. Yes, it was not immediately obvious that it was logically invalid, since I tend to give James much more benefit of the doubt.
It was designed to be invalid.
And it mirrors yours - it is comparable - it highlights why your initial argument is invalid.
I'm pleased that you can see the flaw in his example, but still stumped as to why you seem incapable of applying that to yours.
I've already explained the differences and where each is logically valid/invalid. My actual argument is logically valid.
No, it's not valid.
Your explanations have been found wanting, as detailed above.
To be continued...