siti
Well-Known Member
And now to your second argument:
A valid syllogism (as, again, I have never denied). But this is definitely either deliberate obfuscation or circular depending on what you mean (or refuse to define) by the word "entities".
First of all, can we get rid of "(/structures)" - I can see why you want it, but it doesn't help your cause - for example, languages have structures, perhaps even thoughts do - but can we really argue that those structures are "objectively existing"? I know these are not the kind of structures that that physicists discover using the scientific method - but I am actually doing your argument a favour by clearing out a potentially objectionable bit.
Now we are left with the same issue in regard to the use of the word "entities" - which means "having independent existence". Is that OK?
So eliminating the "(/structures)" and substituting the phrase 'things having independent existence' in your argument and we now have:
P1: All things having independent existence discovered by physicists using the scientific method are objectively existing.
P2: Some mathematical relations are things having independent existence discovered by physicists using the scientific method.
C: Therefore, some mathematical relations are objectively existing.
Now P2 is very suspect because we have no reason to assume this to be true unless we are already assuming mathematical realism. If we don't make that assumption then we presumably have to get rid of the "having independent existence" (i.e. the "entities") part altogether but that completely undermines your major premise - which, in any case, even in its original form, is probably a tautology. But anyway, if we do strip that bit out we are then left with:
P1: All 'things' discovered by physicists using the scientific method are objectively existing.
P2: Some mathematical relations are 'things' discovered by physicists using the scientific method.
C: Therefore, some mathematical relations are objectively existing.
What we have now is the equivalent of an argument that goes:
All red things are red
Some roses are red things
Therefore, some roses are red
Now P1 is definitely a tautology (so no problem about that being true) and P2 is more or less OK as long as we allow sufficient latitude in the definition of 'things'. But the conclusion, (besides being another statement of the perfectly obvious and nothing more than a slightly reworded version of the minor premise by virtue of the tautological nature of the major premise), still only establishes (if it establishes anything at all) that mathematical relations exist independently of individual minds. We can no more use this argument to establish mathematical realism than we can use the red roses argument to establish the reality of qualia (such as 'redness').
Still nowhere near a convincing argument for mathematical realism.
(2)
P1: All entities (/structures) discovered by physicists using the scientific method are objectively existing.
P2: Some mathematical relations are entities (/structures) discovered by physicists using the scientific method.
C: Therefore, some mathematical relations are objectively existing.
And I noted that it's form is AII-1--which states:
All M are P.
Some S are M.
Therefore, some S are P.
A valid syllogism (as, again, I have never denied). But this is definitely either deliberate obfuscation or circular depending on what you mean (or refuse to define) by the word "entities".
First of all, can we get rid of "(/structures)" - I can see why you want it, but it doesn't help your cause - for example, languages have structures, perhaps even thoughts do - but can we really argue that those structures are "objectively existing"? I know these are not the kind of structures that that physicists discover using the scientific method - but I am actually doing your argument a favour by clearing out a potentially objectionable bit.
Now we are left with the same issue in regard to the use of the word "entities" - which means "having independent existence". Is that OK?
So eliminating the "(/structures)" and substituting the phrase 'things having independent existence' in your argument and we now have:
P1: All things having independent existence discovered by physicists using the scientific method are objectively existing.
P2: Some mathematical relations are things having independent existence discovered by physicists using the scientific method.
C: Therefore, some mathematical relations are objectively existing.
Now P2 is very suspect because we have no reason to assume this to be true unless we are already assuming mathematical realism. If we don't make that assumption then we presumably have to get rid of the "having independent existence" (i.e. the "entities") part altogether but that completely undermines your major premise - which, in any case, even in its original form, is probably a tautology. But anyway, if we do strip that bit out we are then left with:
P1: All 'things' discovered by physicists using the scientific method are objectively existing.
P2: Some mathematical relations are 'things' discovered by physicists using the scientific method.
C: Therefore, some mathematical relations are objectively existing.
What we have now is the equivalent of an argument that goes:
All red things are red
Some roses are red things
Therefore, some roses are red
Now P1 is definitely a tautology (so no problem about that being true) and P2 is more or less OK as long as we allow sufficient latitude in the definition of 'things'. But the conclusion, (besides being another statement of the perfectly obvious and nothing more than a slightly reworded version of the minor premise by virtue of the tautological nature of the major premise), still only establishes (if it establishes anything at all) that mathematical relations exist independently of individual minds. We can no more use this argument to establish mathematical realism than we can use the red roses argument to establish the reality of qualia (such as 'redness').
Still nowhere near a convincing argument for mathematical realism.
Last edited: