The first premise serves only to define terms, just as James' example did. You can either ignore it, or take it up with James (whose benefit it was meant for). Aside from the non-physical requiring a cause being ontologically nonsensical, the conclusion is inferred from the premises:
Why is it ontologically nonsensical for the non-physical requiring a cause?
If you think so, and it would be a premise open to questioning, then surely you should accept Sarkus' amendment to your argument of
"only physical things require a cause"?
You have to bear in mind, and I'm sure JamesR and Sarkus would both tell you, that the form of logic doesn't care about the soundness of the premises, or what is ontologically nonsensical.
It merely cares about what can logically follow from what is stated - not from what isn't stated.
In this case, if your logical argument does not state "
only physical things require a cause" then we can not rule out non-physical things also having a cause.
The non-applicability to non-physical things is not stated in a premise.
(A) requires (B)
(C) is not equivalent to (A)
Thus we can infer that:
(C) does not share the requirement of (A)
Sarkus is correct in his assessment: the logic is invalid.
- Ducks require oxygen (equivalent to "A requires B")
- You are not equivalent to a 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?
Had you, as Sarkus suggested, said "Only (A) requires (B)" in premise 1 then the conclusion would be valid.
Parsimony is aided by the economy of givens. Logical negation, e.g. 'is not', is boolean.
The form of the logical argument still has to be valid
before you start being parsimonious about what you state and do not state.
Your premises do not correlate to mine and are trivially flawed as givens, since they define a non-universal characteristic instead of a necessary requirement.
I have to disagree here: the premises Sarkus has used, other than premise 3, are identical to the ones
you provided as an example.
All he has done is swap "big red metal truck" for "fluffy towel" to highlight the invalidity of your conclusion.
Do you accept that neither the "big red metal truck" nor the "fluffy towel" are stuffed toys?
If so then the substitution does not alter the form of the argument.
If you have issue with the other premises then you need to examine why
you used them in the first instance.
Requirements are such because the entity cannot ontologically exist without it. Stuffed toys can exist that are not fluffy, so the requirement not only doesn't hold for all stuffed toys, it also isn't ontologically isolated to that class of entity.
To quote your post #229:
"
Equivalently:
...
And:
1. The toy menagerie (E) is the collection of all stuffed toys (PT).
2. All stuffed toys have the property of being fluffy (X).
3. The big red truck (G) is not a stuffed toy (PT).
4. Therefore the big red truck (G) does not have the property of being fluffy (X)."
And Sarkus' highlighting of the invalid conclusion:
"
1. The toy menagerie (E) is the collection of all stiffed toys (PT).
2. All stuffed toys have the property of being fluffy (X).
3. The fluffy towel (G) is not a stuffed toy (PT).
4. Therefore the fluffy towel (G) does not have the property of being fluffy (X)."
You will note that lines 1 and 2 are identical.
It is
you who has stated the univeral requirement for "all stuffed toys have the property of being fluffy" in
your premises.
If you now disagree with this then you also need to separate the issue of validity - and I can confirm, as will JamesR and Sarkus, and possibly others, that your conclusion is invalid - with issues of soundness - i.e. whether the premises themselves are true.
It seems to be the issue of soundness that you now seem to be arguing about with "
the requirement not only doesn't hold for all stuffed toys, it also isn't ontologically isolated to that class of entity."
But let's examine that sentence more closely:
"The requirement not only doesn't hold for all stuffed toys,": you'll note that in
your example (even it was based on one JamesR provided previously) you stated in the premise that "All stuffed toys have the property of being fluffy", and as such it is
you who have set up that the requirement
does hold for all stuffed toys.
A valid conclusion must therefore follow that premise.
"
it also isn't ontologically isolated to that class of entity.": this is a matter of soundness, not logical form.
As said previously, logical form doesn't give two hoots about the soundness of the premises.
If you don't set up the premises to specifically exclude things from possibility then logical form alone might suggest they can happen, even if in reality they can't.
E.g. All men are spiders
Spiders have eight legs
Therefore all men have eight legs.
You'll note: no bearing on reality (the premises are unsound) but the conclusion is valid.
Your example, however, is demonstrably invalid in its conclusion - as adequately shown by Sarkus.
The direct contradiction in the conclusion should have clued you in on the fact that one or more of your premises were flawed.
Again, this was your argument that you're now dismantling.
Sarkus merely highlighted the issue of validity by substituting a metal truck for a fluffy towel.
And you are also now criticising the soundness of your own argument.
Anyone would think you are just out to pick a fight with someone, even if that has to be yourself.
Your invalid comparison doesn't effect the fact that, assuming the givens, my premises offer no other alternative.
"Assuming the givens"?
Since when does logical form make assumptions not within the premises?
If you want there to be no other alternative then you have to set up the premises to rule our those alternatives.
Maybe by adding the "Only..." that Sarkus suggested?
This post of yours is rather sad. I really have given you more credit than you here demonstrate you deserve.
To be honest, I see nothing erroneous with what Sarkus has written, and he highlighted the invalidity quite clearly.
Had he not beaten me to the punch I would have pointed out the invalidity of your conclusion just as he has.
It is also rather surprising that you criticise an example he uses as being not comparable when it is the example
you used to support your case (even if itself based on a JamesR example), so in essence you are merely criticising yourself, although it seemed to take Sarkus making the slight change ("red metal truck" to "fluffy towel") to highlight this to you.
If you're going to call a post "sad", or denigrate someone, then it behooves you not to do so while standing in quicksand, especially when they're throwing you a rope.