> By looking for statements that as input for their evaluation depend on something that is not just a matter of definition.
How would a claim only depending on something that is just a matter of definition indicate that it is not about reality?
How do you determine whether a claim depends on something that is not just a matter of definition?
Isn't the claim "1 + 9 = 10" a claim about reality by virtue of it being a claim (because a claim asserts something as true, and to be true is to be in accordance with reality, so "1 + 9 = 10" is to say that "'1 + 9 = 10' is in accordance with reality")?
> The problem with your analogy is that that diamond (or its absence) is represented, in the form of the diamond (or its absence).
Is this to say that the diamond is its representation?
> It's a claim about external reality, or a description of a pattern in external (physical) reality. That pattern is there, even without anyone conceptualizing it.
Would this mean math doesn't exist outside of the brain because it doesn't have "a pattern in external (physical) reality"?
Assuming only physical reality exists, wouldn't that make math a physical part of the brain?
> Claims about mathematics are inherently linked to those definitions, and to those rules of evaluation.
Are definitions and rules of evaluation physical?
> A closer analogy would be about "a diamond on the moon", with "the moon" having no referent. Does "a diamond is on the moon" have a truth value if there is no moon?
Agreed. What indicates that the statement "1 < 2" has no referent?
>>>>> Making the assumption that there is such a thing as immaterial Peano axioms seems to me as reasonable as making the assumption that there is such a thing as immaterial cake.
>>>> So what material(s) are the Peano axioms composed of?
>>> That's a category error?
>> Are you asking me or telling me? If you're telling me it is a category error, why?
> I am telling you, because axioms are not made of a material.
>> Do you think that the Peano axioms are material or not material?
> I would tend towards saying that they are not material, in the same way that I would say that movies are not material. But that does not mean that I think that the Peano axioms can be said to exist absent a material representation, just as I wouldn't think that movies can be said to exist absent a material representation.
> An expression of the form "movies are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of movies.
Would the equivalent statement for axioms therefore say "An expression of the form "axioms are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of axioms"?
>> Implicit in my reason is the claim that when one acts according to God's will they will attain maximal joy/happiness.
> Well, sure, but then that's still mostly just the same claim using different words, not a reason to be convinced it's actually true?
You never asked for reasons to be convinced it's true. You asked for reasons to care.
> And the global maximum of eating pleasure is achieved through eating according to Jane's will for your entire life, so don't let dips in local pleasure deter you from abiding by Jane's will.
> Are you convinced yet that eating the way Jane wants you to is the way to go? If not, why not?
If you cared to attain maximum eating pleasure and you believed of Jane that the maximum eating pleasure could be achieved through eating according to Jane's will your entire life, then Jane's will would be the way to go.
To parallel:
If you cared to attain maximum joy/happiness and you believed of God that the maximum joy/happiness could be achieved through acting according to God's will your entire life, the God's will would be the way to go.
> How would a claim only depending on something that is just a matter of definition indicate that it is not about reality?
Because that is the definition of "definition"? "definition" is defined to mean an arbitrary assignment of semantics to symbols, with no requirement that those semantics in any way connect to reality, so you (a) only need to know those assignments in order to evaluate a statement that only references definitions, and (b) it would be a fallacy of equivocation to evaluate a reference to a definition as a reference to an object described by that definition, if there happens to be such a thing.
> How do you determine whether a claim depends on something that is not just a matter of definition?
By trying to evaluate the claim using only definitions as a source of information, and seeing whether any references remain unresolved this way?
> Isn't the claim "1 + 9 = 10" a claim about reality by virtue of it being a claim (because a claim asserts something as true, and to be true is to be in accordance with reality, so "1 + 9 = 10" is to say that "'1 + 9 = 10' is in accordance with reality")?
"to be true is to be in accordance with reality" is not something I would agree with. To be in accordance with reality implies being true, but the other way around is not true, because we also use the word "true" to refer to statements derived from formal systems, and formal systems are not reality. The difference between the two uses of the word is that truths in formal systems are only relative to that formal system, which itself is arbitrarily defined, which is why the same statement can be true relative to one formal system and at the same time false relative to another formal system.
As I mentioned earlier, '1 + 9 = 10' is not true. It is true under Peano axioms. Let's throw those away, an define a new axiom: '(1 + 9 = 10) = false'. Now, '1 + 9 = 10' is false.
> Is this to say that the diamond is its representation?
It's not so much "its" representation, as there can be many representations of the same information, but a diamond existing in some place certainly does represent the information that a diamond exists in that place, doesn't it? As in: You can potentially extract the information that a diamond exists in that place from the arrangement of matter that makes up the diamond!?
> Would this mean math doesn't exist outside of the brain because it doesn't have "a pattern in external (physical) reality"?
> Assuming only physical reality exists, wouldn't that make math a physical part of the brain?
That seems to me like a confusion of the abstraction and the underlying representation.
Yes, mathematics consists of axioms, and much like I see no reason to think that movies can exist absent a physical/material medium, I don't see a reason to think that axioms, and thus mathematics, can exist absent a physical/material medium--though I don't see why it would have to be a brain in either case, and DVDs and math textbooks seem to suggest that it doesn't, though either certainly can in principle be represented physically in a brain, sure.
But the abstraction of mathematics is about the physical representation just as much as movies are, and to avoid some potential distractions, let's assume we are talking about a cartoon: Does a cartoon have "a pattern in external (physical) reality", in the sense that there is a reality "out there" that is described by the cartoon?
Also, while there is nothing wrong with making the assumption that only physical reality exists for the argument's sake, there isn't really any need to. There is no problem with being open to the possibility that movies don't need physical representation to exist somehow. But there is no reason to believe that they in fact can until that has been demonstrated, when all movies we have ever encountered so far had a physical representation.
> Are definitions and rules of evaluation physical?
For definitions: No, the same way that movies aren't physical. For rules of evaluation: Well, for defined rules of evaluation, see definitions. But of course, you can look at the whole world as a computation, in which case the world is nothing but evaluation, and the rules of that evaluation essentially would be what makes up "the physical".
> Agreed. What indicates that the statement "1 < 2" has no referent?
You are shifting the burden of proof? I didn't claim that it has no referent, I am simply pointing out that there is no truth value if there is no referent, so if you want to make the claim that there is a truth value, you would have to demonstrate that there is a referent.
> Would the equivalent statement for axioms therefore say "An expression of the form "axioms are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of axioms"?
Sure.
> Depends on how you are defining "observe". Regarding electrons, the effects they produce indicates interactions that are physical in nature.
So, are you saying then that the effects of the potential of the universe to change state that we observe are not physical in nature? Because if they were physical, it seems you are saying, then the potential of the universe to change state would also be physical, wouldn't it? But if those effects aren't physical, wouldn't that then mean that we don't have scientific evidence for the potential of the universe to change state?
I am just wondering what distinguishes electrons from the potential of the universe to change state, that the effects of one scientifically establishes it as part of physical reality, while the effects of the other scientifically establishes it as part of non-physical reality!?
> You never asked for reasons to be convinced it's true. You asked for reasons to care.
Isn't being convinced it's true a requirement for caring? If someone said "You should do this work for me if you want to get paid by me" ... would you or anyone care if they weren't reasonably sure that the person making the claim actually had the money to pay them? I mean, how is that claim alone a reason to care if there is no reason to believe the consequence of being paid will actually materialize?
> If you cared to attain maximum eating pleasure and you believed of Jane that the maximum eating pleasure could be achieved through eating according to Jane's will your entire life, then Jane's will would be the way to go.
If you cared to attain maximum wealth, and you believed that maximum wealth could be attained through shooting yourself in the head, then shooting yourself in the head would be the way to go.
> ... "definition" is defined to mean an arbitrary assignment of semantics to symbols, with no requirement that those semantics in any way connect to reality ...
What indicates to you that your definition of 'definition' isn't an arbitrary assignment of semantics to symbols, with semantics that don't in any way connect to reality?
>> How do you determine whether a claim depends on something that is not just a matter of definition?
> By trying to evaluate the claim using only definitions as a source of information, and seeing whether any references remain unresolved this way.
To rephrase, are you saying "a claim depends on something that is not just a matter of definition when evaluated using only definitions and there are remaining unresolved references"?
> "to be true is to be in accordance with reality" is not something I would agree with. To be in accordance with reality implies being true...
What is your definition of "true"?
If "To be in accordance with reality implies being true", then I can replace "in accordance with reality" with "true" in a sentence. Now, if I am understanding you correctly, according to you I can't do that the other way around. In either case I can still rephrase what you've said.
"'to be true is to be in accordance with reality' is not something I would agree with" then becomes "'to be true is to be true' is not something I would agree with" which follows from "To be in accordance with reality implies being true". So, either you're just wrong, because true is true, or there is some separate word or adjective we need to use while we speak of truth.
> To be in accordance with reality implies being true, but the other way around is not true, because we also use the word "true" to refer to statements derived from formal systems, and formal systems are not reality.
When you say "we also use the word 'true' to refer to statements derived from formal systems", would I be correct in saying that something is 'true' under a formal system, when it is consistent with that system?
If so, is "consistent with a formal system" a reality or a derivation from a formal system?
In other words: is the word 'true' in the statement "It is true that '1+9=10' is consistent with the Peano axioms" referring to derivation from a formal system, or is it referring to being in accord with reality?
In other words yet again (regarding my above statement indicating that we may need a word or adjective to separate how we speak of truth): is the statement "It is true that '1 + 9 = 10' is consistent with the Peano axioms" 'formally true' or 'really true'?
> As I mentioned earlier, '1 + 9 = 10' is not true. It is true under Peano axioms. Let's throw those away, an define a new axiom: '(1 + 9 = 10) = false'. Now, '1 + 9 = 10' is false.
You didn't change anything though. Saying "now it is false" implies that something changed of either the axioms themselves or the statement '1 + 9 = 10'. '1 + 9 = 10' is true under the Peano axioms and false under the '(1 + 9 = 10) = false' axiom. Without proper context '1 + 9 = 10' is not able to be evaluated. With proper context it is always true of false depending on that context.
Another question that I think is pertinent to our conversation regarding '1 + 9 = 10': What is a number?
> ... I don't see a reason to think that axioms, and thus mathematics, can exist absent a physical/material medium ...
If math didn't exist absent a physical/material medium, then could you observe it? If so, then wouldn't all math be a reality, if not, then why consider it not able to exist absent a physical medium? Perhaps this is another case of confusing abstraction and the underlying representation, in which case, what is abstraction and how can it be represented in different ways but also be dependent on its representation?
>> Are definitions and rules of evaluation physical?
> For definitions: No, the same way that movies aren't physical.
This seems to fly in the face of you stating "There is no problem with being open to the possibility that movies don't need physical representation to exist somehow. But there is no reason to believe that they in fact can until that has been demonstrated, when all movies we have ever encountered so far had a physical representation".
Are you, summed together with the context of other things you've stated, saying: definitions and rules are non-physical, but there is no reason to think that there exists anything besides the representations of things, and all representations are physical?
>>> The problem with your analogy is that that diamond (or its absence) is represented, in the form of the diamond (or its absence). It's a claim about external reality, or a description of a pattern in external (physical) reality. That pattern is there, even without anyone conceptualizing it. ... A closer analogy would be about "a diamond on the moon", with "the moon" having no referent. Does "a diamond is on the moon" have a truth value if there is no moon?
>> Agreed. What indicates that the statement "1 < 2" has no referent?
> You are shifting the burden of proof? I didn't claim that it has no referent, I am simply pointing out that there is no truth value if there is no referent, so if you want to make the claim that there is a truth value, you would have to demonstrate that there is a referent.
I analogized "1 < 2" being true or false regardless of its symbolic or conceptual representation to "There is a diamond on the moon" being true or false regardless of its symbolic or conceptual representation. You stated that a 'closer analogy would be about "a diamond on the moon", with "the moon" having no referent' because the objects in my diamond-moon analogy have physical presence and "1 < 2" does not.
If you are "simply pointing out that there is no truth value if there is no referent" and not saying that "'1 < 2' has no referent", then you haven't challenged my analogy because you've only asserted "if". You drawing a "closer analogy" would seem to indicate that you intended to claim that "1 < 2" has no referent as a challenge to my analogy. Which is the case?
>>> An expression of the form "movies are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of movies.
>> Would the equivalent statement for axioms therefore say "An expression of the form "axioms are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of axioms"?
> Sure.
What, then, constitutes an instance of an axiom that is analogous to an instance of a movie?
> I am just wondering what distinguishes electrons from the potential of the universe to change state, that the effects of one scientifically establishes it as part of physical reality, while the effects of the other scientifically establishes it as part of non-physical reality!?
The potential for the universe being in a different state does not effect anything.
> Isn't being convinced it's true a requirement for caring?
Not necessarily. Morality is a topic. You can care about what someone has to say about morality without being convince of what they are saying. This conversation is an example. You care enough about what I have to say to continue asking what I have to say about morality, but, unless you've been holding out on me ;), you're obviously not convinced that what I am saying is true. After caring about what I) had to say, you would only act toward following what I am saying regarding morality if you were convinced what I was saying was true.
>> If you cared to attain maximum wealth, and you believed that maximum wealth could be attained through shooting yourself in the head, then shooting yourself in the head would be the way to go.
> What indicates to you that your definition of 'definition' isn't an arbitrary assignment of semantics to symbols, with semantics that don't in any way connect to reality?
Nothing does, because that is exactly what it is?
But mind you that that does not mean that whether there is a consensus on this definition is not a question of reality. Just because definitions are arbitrary, doesn't mean that you can't get together with other people and agree on a common definition, to make it useful for communication, nor that you can't empirically determine whether such an agreement exists.
> To rephrase, are you saying "a claim depends on something that is not just a matter of definition when evaluated using only definitions and there are remaining unresolved references"?
Well, yeah?
> What is your definition of "true"?
Either consistent with reality or derived from axioms.
> If "To be in accordance with reality implies being true", then I can replace "in accordance with reality" with "true" in a sentence.
If "To be a rat implies being a mammal", then I can replace "a rat" with "a mammal" in a sentence.
"'To be a mammal is being a rat' is not something I would agree with" then becomes "'To be a rat is being a rat' is not something I would agree with".
So, all mammals are rats then?
(In other words: No, you can't?)
> When you say "we also use the word 'true' to refer to statements derived from formal systems", would I be correct in saying that something is 'true' under a formal system, when it is consistent with that system?
I guess it depends on what exactly you mean by "consistent". A statement where neither that statement nor its negation can be derived/proven from a given formal system arguably can be considered consistent with that formal system (i.e., not inconsistent), in which case that implication isn't true.
> In other words yet again (regarding my above statement indicating that we may need a word or adjective to separate how we speak of truth): is the statement "It is true that '1 + 9 = 10' is consistent with the Peano axioms" 'formally true' or 'really true'?
That is 'formally true', I guess, though the statement is potentially ambiguous, because: Ultimately, behind every abstraction of a formal system that we have encountered so far, there is some physical evaluator or group of evaluators, and whether some proof is accepted as correct or not is ultimately decided by those evaluators/by a consensus of those evaluators.
So, in that sense, every 'formal truth' is a 'real truth' about evaluators in the world, and whether they agree on the evaluation result, in much the same way that every (arbitrary) definition is a 'real truth' about definers in the world, and whether they agree on a definition.
> Another question that I think is pertinent to our conversation regarding '1 + 9 = 10': What is a number?
How about 'a more abstract word'? (Plus, I guess, it needs to be usable for measuring and/or counting?)
> If math didn't exist absent a physical/material medium, then could you observe it? If so, then wouldn't all math be a reality, if not, then why consider it not able to exist absent a physical medium? Perhaps this is another case of confusing abstraction and the underlying representation, in which case, what is abstraction and how can it be represented in different ways but also be dependent on its representation?
That seems like another case of just that confusion, yeah.
Consider a hallucinating human. A hallucinating human has ideas that aren't real, right? But yet those ideas are real. That is to say: A hallucinating human is really hallucinating, hallucination is a somewhat physically observable phenomenon. But what they are thinking is not in any way a sensible model of reality, hence not real.
'Real' is used with two different meanings here, and conflating the two is fallacious equivocation. And in the same way, mathematicians can be observed doing math. But that doesn't mean that the math that they are doing is in any way a model of reality. The existence of a thought and the content of that thought are two distinct things.
Also, it is not dependent on its representation, it is dependent on a representation. You can not have a movie without representation. That doesn't mean that a movie must be a DVD. The movie is still the same movie when it is photons coming out of a projector. But it is not a(n existing) movie anymore when you destroy all representations of it.
> This seems to fly in the face of you stating "[...]"
In which way?
> Are you, summed together with the context of other things you've stated, saying: definitions and rules are non-physical, but there is no reason to think that there exists anything besides the representations of things, and all representations are physical?
No, I don't think so. For one, there is reason to think that things that are not (just) representations do exist, like, say, a rock (unless you count everything as a representation of itself, then I guess that's true by definition, but there is still a distinction between self-representation and "other-representation"). And also, I am not saying that all representations are physical, just that no non-physical representation has ever been demonstrated, and thus there is no reason to believe that that's a thing (yet).
> I analogized "1 < 2" being true or false regardless of its symbolic or conceptual representation
That simply seems to be a category error, which is the reason why I can't see a referent. '1 < 2' is an expression that can be evaluated using some formal system. Like, there are rules for transforming '1 < 2' into 'true'. You seem to be assuming that there is something left that '1 < 2' could refer to after you have removed the evaluation rules, but I don't see what that could be.
> to "There is a diamond on the moon" being true or false regardless of its symbolic or conceptual representation. You stated that a 'closer analogy would be about "a diamond on the moon", with "the moon" having no referent' because the objects in my diamond-moon analogy have physical presence and "1 < 2" does not.
'1 < 2' having a physical presence was not a requirement on my part. Not that I have any clue what a non-physical presence would look like, but that isn't my problem, because you are the one making the claim that there is such a thing, so it is up to you to demonstrate that.
> If you are "simply pointing out that there is no truth value if there is no referent" and not saying that "'1 < 2' has no referent", then you haven't challenged my analogy because you've only asserted "if".
That is actually a perfectly valid challenge, namely pointing out an unjustified assumption? Your argument builds on there being a truth value, and I have pointed out that you have not established that there is a truth value (because that is dependent on '1 < 2' having a referent, which you have not demonstrated), hence your argument fails, and it is now up to you to show that there is in fact a referent (and thus a truth value) if you want to continue using that argument, or to use a different argument, or to take back your claim.
> What, then, constitutes an instance of an axiom that is analogous to an instance of a movie?
I think I don't understand what you are asking.
> The potential for the universe being in a different state does not effect anything.
Doesn't it effect, you know, the universe changig its state?
Or is that simply a matter of naming? What if we called "the potential for the universe being in a different state" a "unichangetron" instead? A unichangetron is the mechanism that changes the state of the universe, much like an electron is a mechanism that changes the state of the electric field. Is the unichangetron a part of physical reality?
> Not necessarily. Morality is a topic. You can care about what someone has to say about morality without being convince of what they are saying. This conversation is an example. You care enough about what I have to say to continue asking what I have to say about morality, but, unless you've been holding out on me ;), you're obviously not convinced that what I am saying is true.
That's all true, but also completely besides the point? The question wasn't why I should care about what you have to say (i.e., why I should listen to what you say), but why I should care about morality under the definition you gave (i.e., why I should use that version of morality for anything).
> After caring about what I) had to say, you would only act toward following what I am saying regarding morality if you were convinced what I was saying was true.
Well, yeah. Which is why I am asking you to justify your assertions, so I can check whether your justifications are convincing. So far, as far as morality is concerned, there have been no justifications, only assertions, and obviously I am not going to be convinced by pure assertions that I wasn't convinced of before. So, if your goal is to convince, you have so far failed to present anything that would even fall into the category of "potentially convincing".
>> If you cared to attain maximum wealth, and you believed that maximum wealth could be attained through shooting yourself in the head, then shooting yourself in the head would be the way to go.
>> Do you agree?
> Absolutely.
So, are you saying that if you believe that shooting yourself in the head will make you attain maximum wealth, and you then shoot yourself in the head, you will indeed attain maximum wealth?
> Nothing does, because that is exactly what it is?
So, we can only agree or disagree, and there is no reason to believe your definition of 'definition'?
> Just because definitions are arbitrary, doesn't mean that you can't get together with other people and agree on a common definition, to make it useful for communication, nor that you can't empirically determine whether such an agreement exists.
How might we empirically determine whether such agreements exist without having agreement on what the term 'agree' means?
> Well, yeah?
How do you determine that there are actual unresolved references, and that it is not just a deficiency in your definitions?
> So, in that sense, every 'formal truth' is a 'real truth' about evaluators in the world...
You may need to go into more depth for me because this seems to walk back on previous statements you've made. Above you defined "true" as "Either consistent with reality or derived from axioms". It seems that you agree with calling 'consistent with reality' a 'real truth' and 'derived from axioms' a 'formal truth'. Now you've stated that "... every 'formal truth' is a 'real truth' ...". Wouldn't that in some way negate the most of the emphasis provided by the term 'formal truth'?
> And in the same way, mathematicians can be observed doing math. But that doesn't mean that the math that they are doing is in any way a model of reality.
Does that mean that the math isn't a model of reality though?
> The existence of a thought and the content of that thought are two distinct things.
Does that establish that the content of a thought doesn't really exist though?
> But it is not a(n existing) movie anymore when you destroy all representations of it.
Are you making a distinction between a representation and the thing being represented? It seems that your definition of 'representation' also includes the thing being represented, but that is a definition you deny later on when you state "For one, there is reason to think that things that are not (just) representations do exist, like, say, a rock (unless you count everything as a representation of itself, then I guess that's true by definition, but there is still a distinction between self-representation and "other-representation")".
>>>> Are definitions and rules of evaluation physical?
>>> For definitions: No, the same way that movies aren't physical.
>> This seems to fly in the face of you stating "[...]"
> In which way?
"... the same way that movies aren't physical." and "... all movies we have ever encountered so far had a physical representation.", and now also "But it is not a(n existing) movie anymore when you destroy all representations of it."
To paraphrase my understanding of your position:
"All movies encountered have had physical representation." K
"Definitions are not physical in the same way that movies aren't physical." Contradicts the previous line a bit...
"When all representations of a movie are destroyed, that movie no longer exists." Wait, if there are only physical representations of movies, then, even if I'm confusing abstraction and representation, how can movies be non-physical in any way?
Again this could be another case of confusing abstraction and the underlying representation, and if that is the case, what is 'abstraction', what does it mean for something to be an abstraction, and do particular abstractions have physical representation?
> And also, I am not saying that all representations are physical, just that no non-physical representation has ever been demonstrated, and thus there is no reason to believe that that's a thing (yet).
This back-and-forth between us started off of me having stated "Math is not testable with the scientific method, but it is obviously compatible with science" and you had replied "If you mean that axioms are not testable, that's simply a category error because axioms are not claims about reality."
Now, if you're not saying "that all representations are physical", and are saying "that no non-physical representation has ever been demonstrated", wouldn't that, at the very least, leave the question open to axioms being claims about reality?
>> I analogized "1 < 2" being true or false regardless of its symbolic or conceptual representation
> That simply seems to be a category error, which is the reason why I can't see a referent. '1 < 2' is an expression that can be evaluated using some formal system. Like, there are rules for transforming '1 < 2' into 'true'. You seem to be assuming that there is something left that '1 < 2' could refer to after you have removed the evaluation rules, but I don't see what that could be.
Why are you equating the "symbolic or conceptual representation" of '1 < 2' to the "evaluation rules" of '1 < 2'?
> '1 < 2' having a physical presence was not a requirement on my part. Not that I have any clue what a non-physical presence would look like, but that isn't my problem, because you are the one making the claim that there is such a thing, so it is up to you to demonstrate that.
I have no qualms with ending our discussion if your taking the middle ground of "I don't know". I could go on, but I really don't care to. You initially challenged my assertion regarding math and science, my claims namely being on the grounds of math not being physical, by claiming that I was making a category error (at the time from my vantage point, you seemed to be saying only the physical exists). My goal has been to bring things to a middle ground, but if you haven't been or are no longer making claims against the non-physical, then we are at where I wanted to be. You can challenge claims of the non-physical, to be sure, but at this juncture I prefer to shoot down claims that assert the non-physical doesn't exist, of which you no longer appear to me to be claiming.
>> If you are "simply pointing out that there is no truth value if there is no referent" and not saying that "'1 < 2' has no referent", then you haven't challenged my analogy because you've only asserted "if".
> That is actually a perfectly valid challenge, namely pointing out an unjustified assumption? Your argument builds on there being a truth value, and I have pointed out that you have not established that there is a truth value (because that is dependent on '1 < 2' having a referent, which you have not demonstrated), hence your argument fails, and it is now up to you to show that there is in fact a referent (and thus a truth value) if you want to continue using that argument, or to use a different argument, or to take back your claim.
Your paragraph here is a valid challenge. Your pointing out of an unjustified assumption was not explicit previously.
What makes "'1 < 2' has a referent" an unjustified assumption in the context of my argument? Yes I have not established it, but what would make me unjustified in assuming it?
>>>>> An expression of the form "movies are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of movies.
>>>> Would the equivalent statement for axioms therefore say "An expression of the form "axioms are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of axioms"?
>>> Sure.
>> What, then, constitutes an instance of an axiom that is analogous to an instance of a movie?
> ... why I should care about morality under the definition you gave (i.e., why I should use that version of morality for anything).
First "care" and "use" are two very different questions. Again, define should ;).
Why should you use the version of morality of which I am speaking? Because it is the true one (I recognize that I have not established this).
> So, are you saying that if you believe that shooting yourself in the head will make you attain maximum wealth, and you then shoot yourself in the head, you will indeed attain maximum wealth?
> I have no qualms with ending our discussion if your taking the middle ground of "I don't know"
Well, it's obviously up to you what you want to discuss, but I would very much object to the idea that "I don't know" is some kind of middle ground.
When someone makes some outlandish claim and you ask "How is that true?", to which they they respond "Why are you saying that I am wrong?", and you say "I am not saying you are wrong, I don't know whether you are wrong, but your claim is unsubstantiated, and since it is your claim, it is up to you to substantiate it." ... would you say that you have taken some sort of middle ground on the outlandish claim?
> My goal has been to bring things to a middle ground, but if you haven't been or are no longer making claims against the non-physical, then we are at where I wanted to be.
I don't think I have ever made claims against the non-physical, at least not intentionally. I have only objected to your unsubstantiated claims that the non-physical exists because they are unsubstantiated.
Though I do wonder: If you say that your goal was to bring things to a middle ground, and you consider "I don't know" to be some sort of middle ground ... do you agree then that we don't know of the existence of anything non-physical?
> You can challenge claims of the non-physical, to be sure, but at this juncture I prefer to shoot down claims that assert the non-physical doesn't exist, of which you no longer appear to me to be claiming.
Well, sure, but be careful to not confuse rejections of unsubstantiated claims with counter-claims.
> What makes "'1 < 2' has a referent" an unjustified assumption in the context of my argument? Yes I have not established it, but what would make me unjustified in assuming it?
Hu? What would make you unjustified in assuming it? The fact that you are assuming it? The definition of "assumption" is "to be accepted as true without justification"? So, if you were giving a justification, it wouldn't be an assumption anymore?! I really don't understand what you are asking me here ...
> What did you mean by "instances of movies"?
Like, a particular DVD, or blue-ray, or MPEG file, or series of pictures on a screen, or whatever ... I guess you could say "copies" instead of "instances". And likewise for axioms, them being remembered in a brain, written on a blackboard, printed in a book ...
> No. The potential for the universe being in a different state is not a mechanism by which the universe changes state.
How did you determine that?
Like, I understand you are making this claim, but I don't see the fundamental difference between "the potential for the universe being in a different state" and "the potential for the electric field being in a different state", or however else you could describe the electron, that would justify any fundamental distinction.
So, what are the criteria by which you decided that the potential for the universe being in a different state is not a mechanism by which the universe changes state, that would, when applied to the electron, get you to the conclusion that the electron is a mechanism by which the electric field changes state, which thus would justify the distinction? And the same for any other reasons you give.
So far, it seems more like you have the pre-conceived notion that one of those is physical and the other is not, and then you give reasons that seem consistent with either of those positions somehow. But what I am interested in is: Suppose we don't know yet which of those is physical or non-physical, how do we go about finding out?
> First "care" and "use" are two very different questions. Again, define should ;).
Yeah, and "care" and "listen to" are two different questions as well. If you care about what someone is saying, "listening to" is how you express that. If you care about someone's version of morality, "using it" is how you express that. That is what caring about something means.
> Why should you use the version of morality of which I am speaking? Because it is the true one (I recognize that I have not established this).
And then you certainly also recognized that you haven't given reasons to be convinced, right? Because that is what I explained I meant when you asked for a definition for "should". I am sorry, but this starts to feel like you are willfully missing the point.
> Absolutely not.
OK, so: Are you saying that if you believe that the global maximum of eating pleasure is achieved through eating according to Jane's will for your entire life, then if you eat according to Jane's will for your entire life, you will indeed achieve the global maximum of eating pleasure?
> So, we can only agree or disagree, and there is no reason to believe your definition of 'definition'?
I'm not really sure what you are asking?!
I am telling you what I think the generally accepted definition is. That's an empirical claim, and it's up to you whether you take my word for it, check other sources, or do an investigation yourself, just as with every other empirical claim?
> How might we empirically determine whether such agreements exist without having agreement on what the term 'agree' means?
By not using the term 'agree' in the empirical investigation?! Though I don't quite see what the point of that limitation is? If there is agreement on what 'agree' means, as seems to be common among users of the English language, then why would you want to avoid the term?
> How do you determine that there are actual unresolved references, and that it is not just a deficiency in your definitions?
I am not quite sure what you mean by "deficiency in the definitions"?
If you mean that there are terms in the statement that I have no definition for, then I try to obtain a definition for those terms. So, if I can ask whoever made the statement, I might ask them for the definition they were using. If that isn't an (easy) option, I might look it up in dictionaries. Or I might try to derive it from the context in which the statement was made (in particular when I do know definitions, but it's multiple mutually-exclusive ones).
If you mean that my definitions are not the ones that the person making the statement meant ... well, then I get the wrong idea of what they were saying?
But mind you that when I said "there are unresolved references remaining", I don't mean "unresolved references to definitions". When I evaluate "Polar bears are green", then "polar bear", for example, refers to a concept that refers to an observable entity. So, I can resolve "polar bear" to that concept using the definition of "polar bear". But at the end there remains the reference to the observable thing. That's what I am talking about.
> Why is that your definition of "true"?
Because that is the generally accepted definition, and as such it is useful to have a definition that matches what other people understand when you use the term. Also, it's probably the generally accepted definition because those two concepts are useful, even though having them both use the same label maybe is unfortunate.
> Also what are your definitions of "consistent" and "derived"?
In this particular context:
Consistent: Not leading to contradictions.
Derived: Arrived at by applying transformations/identities specified by the axioms. You could also say proven using the axioms.
> It seems that you agree with calling 'consistent with reality' a 'real truth' and 'derived from axioms' a 'formal truth'.
Seemed like a useful short hand, so I went with it, sure.
> Now you've stated that "... every 'formal truth' is a 'real truth' ...". Wouldn't that in some way negate the most of the emphasis provided by the term 'formal truth'?
No, that is just a confusion of layers of abstraction. Within the framework of mathematics, noone empirically investigates whether "1 + 9 = 10", because that would be a category error, simply by definition. Within mathematics, 1 + 9 = 10 is defined to be formally true (unless explicitly stated that standard axioms don't apply), but noone is making a claim about real truth, which is why investigating that question empirically is a category error: Empirical investigation applies to claims of real truth, not to claims of formal truth, just as proofs apply only to formal truths, but not to real truths.
But that doesn't mean that the claim that "'1 + 9 = 10' is a formal truth in mathematics" isn't an empirical claim. For every supposed formal truth in mathematics, you can investigate empirically whether that is indeed the case, namely by investigating what the consensus on definitions among mathematicians is.
> A number is 'a more abstract word'??
Seems like a pretty succinct description? Though, as I also wrote, it probably needs to be usable for measuring or counting, otherwise lots of mathematical objects would fall under that definition that are not usually considered numbers.
> Does that mean that the math isn't a model of reality though?
Yes, of course, that's exactly what it means!
Mind you though that that doesn't mean that some parts of mathematics can't be used to model some aspects of reality. But that is a matter of empirical investigation.
Does Newton's law of gravity predict the movement of masses that don't collide? That is an empirical question of whether a particular mathematical structure is useful for modeling an aspect of reality. As it turned out, it is quite useful indeed. But as it later also turned out, it's not actually a (perfect) model of reality, and the theory of relativity gives more accurate results, even though it uses a quite different mathematical structure. But then, there is no reason to think that that is a perfect model of reality either.
> Does that establish that the content of a thought doesn't really exist though?
I'm not sure what you are trying to say here? What do you mean by "really exist"? Are you saying that someone who is hallucinating doesn't have those ideas that we usually call "hallucinations"?
> Are you making a distinction between a representation and the thing being represented?
Well, yes?!
> It seems that your definition of 'representation' also includes the thing being represented, but that is a definition you deny later on when you state "For one, there is reason to think that things that are not (just) representations do exist, like, say, a rock (unless you count everything as a representation of itself, then I guess that's true by definition, but there is still a distinction between self-representation and "other-representation")".
I'm not sure where you see a contradiction here?! I am just pointing out that no matter how you prefer to generally define 'representation' (and different definitions are useful in different contexts), you can distinguish between things representing themselves and things representing other things, i.e., you can (conceptually) distinguish a rock from a picture of a rock or from the word "rock".
> Again this could be another case of confusing abstraction and the underlying representation, and if that is the case, what is 'abstraction', what does it mean for something to be an abstraction, and do particular abstractions have physical representation?
I suppose it is.
When you say "movie X is funny", it is completely irrelevant to the meaning of that statement how that movie is physically represented. The thing that you refer to as "the movie" here is a concept that is not concerned with material aspects. You can use pretty much any object (as long as it has sufficient degrees of freedom) to encode that movie into it, and that statement would still have the same meaning.
So, movies are not material in the sense that any statement that you make about a movie retains its meaning no matter what representation you choose for the movie/the statement applies to all representations of it that there are, have been, or will be. Really, as far as the abstraction is concerned, things would still work perfectly fine with a movie that had no physical representation--if that were a thing somehow.
As for what an abstraction is, I think the summary at the top of the wikipedia article is a good one:
In the specific case, the material representation has no subjectively valued purposes to the concept of a movie.
As to whether particular abstractions have physical representation: Well, given that our brains constantly operate using abstractions (all of language is nothing but abstractions), I would say that obviously yes?!
Mind you, none of this is about "empirical properties of movies" or anything of that sort. The claim isn't "if you take a DVD and put it under the microscope, you will find that it is immaterial" or anything like that. It's simply a matter of what abstractions are concerned with by definition, and the definition of "movie" simply is not concerned with physical representation.
> Now, if you're not saying "that all representations are physical", and are saying "that no non-physical representation has ever been demonstrated", wouldn't that, at the very least, leave the question open to axioms being claims about reality?
No. What claims are about is a matter of intention, and mathematicians don't intend to make statements about reality when they declare axioms, thus they are not claims about reality. It's simply a matter of definition: Axioms are defined to be unproved statements that are assumed to be (formally) true for the purpose of making derivations from them.
When I say "Joe is a baker", that doesn't leave the question open whether I am talking about John, and when a mathematician says "I will assume that 1 is a natural number", that doesn't leave the question open whether it's an assumption.
That doesn't mean that John isn't a baker, nor that the structure that can be derived from the Peano axioms can't be used to model aspects of reality. But that's not what either of those claims is about.
> Why are you equating the "symbolic or conceptual representation" of '1 < 2' to the "evaluation rules" of '1 < 2'?
I am not. I am saying that there is no such thing as the meaning of a statement in a formal language absent the rules of that formal language. It's like asking "is a pun funny regardless which language it is in?" It's a category error. The pun is a property of the language, or possibly of a family of related languages: If you remove the language from it, there is no pun left. "A pun in English, but absent English" has no referent.
Given how long it can take to make responses, for us to start dipping into doing two part posts when we aren't making much progress is likely a waist time for the both of us (I wouldn't say no progress because we have still been defining and attempting to understand each other's terms).
Given the context of some of the things we've discussed and being aware of how each of us is defining terms, I'm going to start from where our discussion began and see if we can come to a quicker agreement/disagreement.
I've still answered what I consider highlights of our discussion from your last reply, but I'll be putting more stock into the starting point of our discussion, attempting to be more careful with any assumptions made.
As always if you think I'm intentionally avoiding something by my skimming, feel free to bring it up.
===
zAy> Being untestable is about as incompatible with science as you can get.
I replied "Math is not testable with the scientific method, but it is obviously compatible with science".
Instead, this time I'll ask two questions:
What does it mean for something to be incompatible with science?
and
What determines that not being testable is "about as incompatible with science as you can get"?
===
> I'm not really sure what you are asking?!
I'm asking whether I am following your statements correctly. You, to paraphrase, seemed to have stated that we can only agree or disagree on definitions, having no reason to believe any definition is true because all definitions are arbitrary "by definition". Does this sum up your position correctly?
> Seems like a pretty succinct description? Though, as I also wrote, it probably needs to be usable for measuring or counting, otherwise lots of mathematical objects would fall under that definition that are not usually considered numbers.
How is it really a succinct description if "lots of mathematical objects would fall under that definition that are not usually considered numbers"?
> you can (conceptually) distinguish a rock from a picture of a rock or from the word "rock".
What do you intend to mean by adding the modifier "conceptually" to "distinguish"? I probably agree, but I want to make sure I'm understanding you correctly. I would add that you can distinguish a rock from a picture of a rock, from the word "rock", and from the concept of a rock.
Can or can you not do the same with mathematics, and why or why not?
> So, movies are not material in the sense that any statement that you make about a movie retains its meaning no matter what representation you choose for the movie/the statement applies to all representations of it that there are, have been, or will be.
So, in that sense, would you agree that the non-physical exists in reality?
> What claims are about is a matter of intention, and mathematicians don't intend to make statements about reality when they declare axioms, thus they are not claims about reality.
How do you know that mathematicians don't intend to make statements about reality when they declare axioms?
Even if they don't intend to make claims about reality, couldn't mathematicians intend to do so?
> When someone makes some outlandish claim and you ask "How is that true?", to which they they respond "Why are you saying that I am wrong?", and you say "I am not saying you are wrong, I don't know whether you are wrong, but your claim is unsubstantiated, and since it is your claim, it is up to you to substantiate it." ... would you say that you have taken some sort of middle ground on the outlandish claim?
Yes, asking them to substantiate their claim does not mean that you are taking the opposite view point. Having not taking the affirmative or negative position means that you are taking the middle ground...
That being said, asking someone to substantiate their claim does mean that you are claiming that their claim is unsubstantiated, meaning that you are not taking the middle ground regarding the evidence they do or don't have to back up their claim.
> I have only objected to your unsubstantiated claims that the non-physical exists because they are unsubstantiated.
Your objection, that my claim is unsubstantiated, is an unsubstantiated claim. (This claim hear is unsubstantiated because I have given no evidence to support it. Evidence for or against it might be found in previous replies)
> Well, sure, but be careful to not confuse rejections of unsubstantiated claims with counter-claims.
Sure, but be careful to substantiate your rejections.
> Hu? What would make you unjustified in assuming it? The fact that you are assuming it? The definition of "assumption" is "to be accepted as true without justification"? So, if you were giving a justification, it wouldn't be an assumption anymore?! I really don't understand what you are asking me here ...
The assumption it self is unjustified, yes, but why am I unjustified in assuming it? Arguments can't be made without assumptions, but the assumptions of arguments should be obvious. I think that "'1 < 2' has a referent" is an obvious assumption in light of the Peano axioms (in part since we both think that the Peano axioms exist (ignoring what we think regarding the nature of the Peano axioms and their derivations)). If you think that is not obvious, why?
If you think arguments shouldn't make assumptions at all, then tell me why and give me an example argument with no assumptions.
> I guess you could say "copies" instead of "instances".
So if the "copies" are material, are the "originals" also material?
===
>> No. The potential for the universe being in a different state is not a mechanism by which the universe changes state.
> How did you determine that?
The mechanisms by which something changes state can be determined by science.
> I don't see the fundamental difference between "the potential for the universe being in a different state" and "the potential for the electric field being in a different state"
There isn't a fundamental difference between those two statements. I used the word "universe" as a catch-all. You could substitute "universe" for just about anything else, if not all things, physical.
===
> Yeah, and "care" and "listen to" are two different questions as well. If you care about what someone is saying, "listening to" is how you express that. If you care about someone's version of morality, "using it" is how you express that. That is what caring about something means.
Fair.
> And then you certainly also recognized that you haven't given reasons to be convinced, right?
Yes... I explicitly stated this, albeit in different terms.
> OK, so: Are you saying that if you believe that the global maximum of eating pleasure is achieved through eating according to Jane's will for your entire life, then if you eat according to Jane's will for your entire life, you will indeed achieve the global maximum of eating pleasure?
> The mechanisms by which something changes state can be determined by science.
How do you know that? Couldn't there be mechanisms by which something changes state that can not be determined by science? How do you know there aren't?
And in the particular case: How did you determine that the mechanism by which the universe changes state can not be determined by science?
> There isn't a fundamental difference between those two statements. I used the word "universe" as a catch-all. You could substitute "universe" for just about anything else, if not all things, physical.
So, electrons are non-physical after all, then? I assume you agree that the electric field is physical? The potential to change the electric field is not observable, but it exists, therefore, it is non-physical? (I am paraphrasing, obviously, but I think that is roughly your argument applied to electrons?)
Also, it seems problematic that you are refering to "physical" here, in what for all intents and purposes is an attempt to define the distinction between the physical and the non-physical. And that doesn't seem to me to be a mere accident, but rather a symptom of the fact that you seem to build your argument on our current understanding of physics--when, really, the question is: What justifies our current understanding of physics? It is true that the electron is considered part of the physical world by physicists. But why is that? And what does that even mean? When you start with physics from a position where the existence of electrons has not been established yet, what were the steps to get from there to here?
> Yes... I explicitly stated this, albeit in different terms.
Well, possibly. But then, I asked for things that you would expect to be convincing. Stating that what you said isn't convincing still doesn't really make things convincing, does it?
> Absolutely not.
Exactly. So, why would you expect the same reason to be convincing when you use it?
> Given how long it can take to make responses, for us to start dipping into doing two part posts when we aren't making much progress is likely a waist time for the both of us [...]
Sure, I felt a bit like doing that as well, especially when I couldn't submit my previous response in one piece ;-)
> What does it mean for something to be incompatible with science?
Well, I guess that's a question that can be answered in a million ways, depending on the context, but the relevant aspect to this discussion probably is this:
To be incompatible with science means to be making factual (as in real/non-formal) claims based on methodology that is not demonstrated to be reasonably reliable for determining the truth of such a claim.
> What determines that not being testable is "about as incompatible with science as you can get"?
The definition of what science/"the scientific method" is?
> I'm asking whether I am following your statements correctly. You, to paraphrase, seemed to have stated that we can only agree or disagree on definitions, having no reason to believe any definition is true because all definitions are arbitrary "by definition". Does this sum up your position correctly?
No, and that is for the simple reason that "having no reason to believe any definition is true" is a category error, and hence the question doesn't even make sense.
Let's say I define that X = 5. Is that definition true? Does it even make sense to ask whether me defining X as 5 is true?
The act of assigning meanings to labels is not in the category of things that have a truth value. You might as well be asking whether pouring juice into a glass is true. Or whether singing a song is true. When someone says "I will use the word 'apple' to refer to large, grey animals with trunks" (i.e., they give you the definition they are using), and you ask "but is that definition true?", that is simply a non-sequitur. It's as sensible as asking in response to "I will use 'X' to refer to 5" with "but is that definition true?".
And just to make sure this doesn't cause confusion: That does not mean that asking for the truth value of "'apple' as a word for large, grey animals with trunks is commonly accepted in the English language" is a category error. Whether something is a commonly accepted definition for a word in a widely used language is in the category of things that have a truth value, more specifically a "real truth" value, and obviously in this particular case that truth value is false.
> How is it really a succinct description if "lots of mathematical objects would fall under that definition that are not usually considered numbers"?
Well, then it's not. Combined with what I added after that, it still is, so what's the point of harping on this? I gave you a definition, you think half of that definition is not good enough ... well, how about you use the full definition, then? Especially when I obviously kindof agree that the first part is pretty ambiguous, which presumably is why I added the second part?
> What do you intend to mean by adding the modifier "conceptually" to "distinguish"? I probably agree, but I want to make sure I'm understanding you correctly.
I am simply trying to avoid the pitfall of hard solipsism. After all, every rock you see is mediated through a picture of that rock on your retina. If there actually is a retina, that is. So, can you really distinguish a rock from a picture of a rock?
I think none of that is really all that relevant to the question at hand, and it's kindof enough that you can conceptualize the difference, which is why I added the "(conceptually)", to avoid that possible distraction--but if you agree that we can distinguish a rock from a picture of a rock, then you might as well ignore it.
> I would add that you can distinguish a rock from a picture of a rock, from the word "rock", and from the concept of a rock.
Yeah, sure.
> Can or can you not do the same with mathematics, and why or why not?
Well, obviously not the same, as there is no such thing as "a picture of a mathematics"?! But obviously, we can, say, distinguish mathematics from the word "mathematics". So, I guess I am not really sure what the question is?
> So, in that sense, would you agree that the non-physical exists in reality?
I agree that instances of abstractions that are not concerned with physical representation do exist in reality. That does not mean that I agree that instances of those same abstractions exist without physical representation, for lack of evidence of that being a thing.
> How do you know that mathematicians don't intend to make statements about reality when they declare axioms?
Because that is how "axiom" is defined (by mathematicians)?
> Even if they don't intend to make claims about reality, couldn't mathematicians intend to do so?
You mean whether a hypothetical mathematician could be intending to make a claim about reality when declaring it an "axiom"?
Well, yes, in the sense that anyone can obviously redefine words however they want? It's the same sense in which I could be talking about a mammal when I say 'apple'. The point is, that still doesn't make elephants a fruit, so the question is kindof pointless. Even if you somehow manage to make someone apply the label 'axiom' to a claim about reality, that helps you nothing with trying to show that all of the not-a-claim-about-reality axioms are claims about reality.
> Yes, asking them to substantiate their claim does not mean that you are taking the opposite view point. Having not taking the affirmative or negative position means that you are taking the middle ground...
Well, if that is how you use the term, then that's how you use the term, I guess, but it seems to me that it's more appropriate for someone taking a position that is meaningfully on a scale between two other positions--which is very much distinct from not coming to a conclusion.
> That being said, asking someone to substantiate their claim does mean that you are claiming that their claim is unsubstantiated, meaning that you are not taking the middle ground regarding the evidence they do or don't have to back up their claim.
Sure. Though it's just as much just an expression of how convincing you find someone's arguments as it is some claim of an objective measure of substantiation.
> Your objection, that my claim is unsubstantiated, is an unsubstantiated claim. (This claim hear is unsubstantiated because I have given no evidence to support it. Evidence for or against it might be found in previous replies)
Well, sure, you can read it that way. But ultimately, in a discussion between two, it's about how convincing your arguments are to the other party, so it's kindof besides the point?
> Sure, but be careful to substantiate your rejections.
Yeah, I think I am. That is, I explain why your arguments are not convincing (unless they are ...).
> The assumption it self is unjustified, yes, but why am I unjustified in assuming it?
My point was that you are neither justified nor unjustified (in the sense of being (in)sufficiently justified), because that's a category error. To make an assumption means to declare that you will treat whatever you are saying you assume as true (for the purposes of a particular statement/discussion/argument/whatever), regardless whether there is justification for it or not. Assumptions are not in the category of things that have a level of sufficient justification. If you give a justification for a statement, that that by definition makes it not an assumption. "Justified assumption" is a contradiction in terms like "wet dryness".
> Arguments can't be made without assumptions, but the assumptions of arguments should be obvious.
And they should be something the other party agrees with, if you goal is to convince. If you assume something to be true that the other party doesn't (yet) think is true, any arguments that you build on that assumption will be unconvincing.
Which also means that if the other party challenges your assumption, you then should justify it (making it no longer an assumption).
> I think that "'1 < 2' has a referent" is an obvious assumption in light of the Peano axioms (in part since we both think that the Peano axioms exist (ignoring what we think regarding the nature of the Peano axioms and their derivations)).
Well, but that is what this is all about? If the Peano axioms are a purely artificial construct of humans, then "'1 < 2' absent humans" has no referent, and your hypothetical scenario that you were asking about was roughly the equivalent of that, arguably.
Also, it doesn't really make too much sense to respond to an objection to an assumption with "it should be obvious". I mean, you might have thought that, and that's why you made the assumption, and that's all fine. But the moment the other party tells you they don't agree with your assumption, the equivalent of "but I think you should agree" is not really going to help anyone.
> If you think that is not obvious, why?
Why I think that it is not obvious that '1 < 2' absent an evaluator aware of the Peano axioms (and more) has a referent? Because as far as I can see that is a statement in a formal system, which has no meaning without that formal system.
> If you think arguments shouldn't make assumptions at all, then tell me why and give me an example argument with no assumptions.
I am not saying that at all. It just doesn't make sense to make "justified assumptions", because that's a contradiction in terms.
> So if the "copies" are material, are the "originals" also material?
How would I know? I mean, I have only ever experienced material (in the farthest sense) copies and originals, so I see no reason to think that non-material ones are a thing. But who knows, maybe you have the evidence for non-material copies of movies?!
> To be incompatible with science means to be making factual (as in real/non-formal) claims based on methodology that is not demonstrated to be reasonably reliable for determining the truth of such a claim.
Why define 'incompatible with science' this way over utilizing some form of the top definitions of 'incompatible' resulting from a quick google search (e.g. "so opposed in character as to be incapable of existing along with science", "incapable of association or harmonious coexistence with science", "that which cannot coexist or be conjoined with science", "not able to exist or work with science")?
Also, are you saying that it is the "making" of the claim that is incompatible when using non-demonstrated methodology, or is it the claim itself that is incompatible?
How can a methodology be demonstrated to be reasonably reliable for determining the truth of a claim?
Why are formal claims excluded from being considered incompatible with science?
Is it possible that a claim could be really true even though the methodology used to arrive at that claim has not been demonstrated to be reasonably reliable for determining the truth of such a claim?
> The definition of what science/"the scientific method" is?
What is the definition of science/"the scientific method"?
===
> Well, then it's not. ... I obviously kindof agree that the first part is pretty ambiguous, which presumably is why I added the second part
Regarding the second part of your description of numbers, to what does "measuring or counting" refer (i.e. what is being measured or counted)?
> Well, obviously not the same, as there is no such thing as "a picture of a mathematics"?! But obviously, we can, say, distinguish mathematics from the word "mathematics". So, I guess I am not really sure what the question is?
When we distinguish a rock from a picture of a rock, from the word "rock", and from the concept of a rock, we are noting that the rock exists apart from a picture of it, a word of it, and a concept of it. Now that's not difficult to accept because a rock is physical. So when I ask if we can do the same of mathematics, I am seeking an acknowledgement of the non-physical and a reason why if we can, and for a reason why if we cannot.
> I agree that instances of abstractions that are not concerned with physical representation do exist in reality. That does not mean that I agree that instances of those same abstractions exist without physical representation, for lack of evidence of that being a thing.
Are you saying "not concerned with physical representation" is equivalent to "not material", as in "a movie is not material because it is not concerned with physical representation but is an instance of an abstraction which we have no evidence for or against being physical"?
> Because that is how "axiom" is defined (by mathematicians)
So all mathematicians agree that they don't intend to make statements about reality when they declare axioms?
What your definition of 'axiom'? The most readily available definitions I can find either roughly state that an axiom is "a self-evident truth", "a statement widely accepted as true", or "an assumption without proof for the sake of studying the consequences that follow". None of these indicate that axioms aren't intended to be statements about reality.
> Well, yes, in the sense that anyone can obviously redefine words however they want.
So would I be correct in stating that you could just be defining 'axiom' however you want, and the statement "axioms are not claims about reality" simply conforms with your definition?
> But the moment the other party tells you they don't agree with your assumption, the equivalent of "but I think you should agree" is not really going to help anyone.
I haven't only told you "I think you should agree" though. I also asked why you disagree...
> If the Peano axioms are a purely artificial construct of humans, then "'1 < 2' absent humans" has no referent ...
... Because as far as I can see ['1 < 2'] is a statement in a formal system, which has no meaning without that formal system.
So am I correct in that, given the Peano axioms, it is not obvious to you that '1 < 2' has a referent, because the Peano axioms may or may not be a purely artificial construct of humans.
> How would I know? I mean, I have only ever experienced material (in the farthest sense) copies and originals, so I see no reason to think that non-material ones are a thing. But who knows ...
So you acknowledge that you don't know whether non-physical things exist?
===
> How do you know that? Couldn't there be mechanisms by which something changes state that can not be determined by science? How do you know there aren't?
Because all of reality as we experience it can be intelligibly explained by science, and since changes in state can be observed by science then there are intelligible explanations for those changes.
If in reality there were some changes of state that could not be intelligibly explained, then reality taken as a whole wouldn't be intelligible. If reality as a whole was unintelligible, then it couldn't be fully and intelligibly asserted that "reality is not entirely intelligible". Such a statement is self defeating.
> And in the particular case: How did you determine that the mechanism by which the universe changes state can not be determined by science?
I don't know what this is asking.
> So, electrons are non-physical after all, then?
What have I said that lead you to this conclusion?
> I assume you agree that the electric field is physical? The potential to change the electric field is not observable, but it exists, therefore, it is non-physical? (I am paraphrasing, obviously, but I think that is roughly your argument applied to electrons?)
The electric field is physical, we can observe its effects and things that indicate it has been affected. The potential(s) for the electron field being in a different state is/are not observable via effects or things that indicate it has been affected.
> Exactly. So, why would you expect the same reason to be convincing when you use it?
What line of reasoning?! My agreement to the modification you gave to my scenario--"If you cared to attain maximum wealth, and you believed that maximum wealth could be attained through shooting yourself in the head, then shooting yourself in the head would be the way to go"--was an assertion that a person ought to follow their beliefs.
Unless there is some ambiguity somewhere, "would be the way to go" doesn't bear much resemblance to "you will indeed attain".
You modified "then shooting yourself in the head would be the way to go" to say "you then shoot yourself in the head, [then] you will indeed attain maximum wealth", which seemed to become a line of questioning to determine whether I thought a person will get what is in line with their beliefs. It should be fairly obvious that I don't think that is the case, unless one's beliefs are in line with what is true. Have I established what I think is true: no.
I acknowledged that I had not substantiated a convincing argument to care about morality (given my definition) when you highlighted that "'care' and 'listen to' are two different questions as well".
> Unless there is some ambiguity somewhere, "would be the way to go" doesn't bear much resemblance to "you will indeed attain".
Seriously? You really didn't understand that "would be the way to go" in this context means roughly "would be how they would reach their goal"? And that the implied goal in this scenario was not to die, but to attain wealth? Are you absolutely sure that you are not intentionally not understanding the obvious that you would understand in any other conversation that is not about a god belief?
> You modified "then shooting yourself in the head would be the way to go" to say "you then shoot yourself in the head, [then] you will indeed attain maximum wealth", which seemed to become a line of questioning to determine whether I thought a person will get what is in line with their beliefs. It should be fairly obvious that I don't think that is the case, unless one's beliefs are in line with what is true. Have I established what I think is true: no.
Which primarily means that you have just completely missed the point of that part of the conversation?
> I acknowledged that I had not substantiated a convincing argument to care about morality (given my definition) when you highlighted that "'care' and 'listen to' are two different questions as well".
Well, yeah ... so there is no reason to care about morality under your definition, then?
> Why define 'incompatible with science' this way over utilizing some form of the top definitions of 'incompatible' resulting from a quick google search (e.g. "so opposed in character as to be incapable of existing along with science", "incapable of association or harmonious coexistence with science", "that which cannot coexist or be conjoined with science", "not able to exist or work with science")?
All of those say pretty much the same, in so far as they are applicable to the situation?
> Also, are you saying that it is the "making" of the claim that is incompatible when using non-demonstrated methodology, or is it the claim itself that is incompatible?
Science is a "method for making/justifying claims", and as such, it is non-scientific methods that are (potentially) incompatible with it? Plus, obviously, you can justify claims that do have scientific justification via non-scientific methods (like, I dunno, "masses attract because I think 5 is a lucky number")--that justification is obviously non-scientific, but that doesn't change the fact that the claim that masses do attract does have scientific justification.
> How can a methodology be demonstrated to be reasonably reliable for determining the truth of a claim?
Using science.
> Why are formal claims excluded from being considered incompatible with science?
Because science is concerned with reality, and determining what is true about reality, and formal claims don't say anything about reality.
> Is it possible that a claim could be really true even though the methodology used to arrive at that claim has not been demonstrated to be reasonably reliable for determining the truth of such a claim?
Yes, obviously?
> What is the definition of science/"the scientific method"?
As far as this discussion is concerned, it's the idea that methods you use to justify claims about reality should be demonstrably reliable.
> Regarding the second part of your description of numbers, to what does "measuring or counting" refer (i.e. what is being measured or counted)?
Distances (in spaces) and cardinality (of sets).
> When we distinguish a rock from a picture of a rock, from the word "rock", and from the concept of a rock, we are noting that the rock exists apart from a picture of it, a word of it, and a concept of it. Now that's not difficult to accept because a rock is physical. So when I ask if we can do the same of mathematics, I am seeking an acknowledgement of the non-physical and a reason why if we can, and for a reason why if we cannot.
If we can what? Distinguish the word 'mathematics' from the concept of mathematics?
> Are you saying "not concerned with physical representation" is equivalent to "not material", as in "a movie is not material because it is not concerned with physical representation but is an instance of an abstraction which we have no evidence for or against being physical"?
No, it's not an equivalence, it is just one of the definitions of "not material". It is generally accepted usage to call concepts that are not concerned with material/physical aspects "not material". But there is also the usage of "something possessing attributes otherwise associated with the material, but also not being material", such as "an immaterial horse" or something along those lines. Those two definitions are not interchangeable.
> So all mathematicians agree that they don't intend to make statements about reality when they declare axioms?
No, just as not all humans agree that the earth is a sphere.
> What your definition of 'axiom'? The most readily available definitions I can find either roughly state that an axiom is "a self-evident truth", "a statement widely accepted as true", or "an assumption without proof for the sake of studying the consequences that follow". None of these indicate that axioms aren't intended to be statements about reality.
Which might be because they are not all talking exclusively about mathematics?
But really, I don't get what the point of all this even is. You can distinguish claims in formal systems and claims about reality, right? And you can distinguish statements declared as assumptions from statements declared as derived or observed truth, right? So, who cares whether all mathematicians agree on the names for these things (no, they don't, if only because mathematicians speak differen languages)? I have pointed out that those categories can be distinguished, and that showing something for one of those categories does not demonstrate truth for the other categories. So, how about we get back to the substance of that, instead of trying to figure out what people call it?
> So would I be correct in stating that you could just be defining 'axiom' however you want, and the statement "axioms are not claims about reality" simply conforms with your definition?
Well, yes and no. No, in that I used the definition that is commonly accepted, and didn't mean to introduce any unusual definition. But also yes, in the sense that in so far as we are not primarily talking about what the generally accepted definitions are or what other people mean, it doesn't make much sense to do anything other than to go with "well, ok, that's what they mean when they use the word", as long as it is being used consistently.
> So am I correct in that, given the Peano axioms, it is not obvious to you that '1 < 2' has a referent, because the Peano axioms may or may not be a purely artificial construct of humans.
No. It is not obvious that there is such a thing as "given the Peano axioms", absent humans (or possibly more generalized evaluators). You constantly want to make this assumption, but that assumption really is just the assumption of the existence of the immaterial, and as such it's not a useful basis for demonstrating the existence of the immaterial, because every false claim could be assumed to be true in order to demonstrate that it is true, and thus assuming a claim in order to demonstrate that it is true is not a reliable method for determining the truth of a claim.
> So you acknowledge that you don't know whether non-physical things exist?
That depends on the definition of "exists". As far as the most commonly used definition is concerned, the non-physical does not exist, because existence by definition implies physicality (when a normal person says "there exists no grocery store in this street", they are not excluding the possibility that a non-physical grocery store exists in the street). For a more general definition that you might find to be used by philosophers, I don't know.
> Because all of reality as we experience it can be intelligibly explained by science
Hu? Do you mean by that that there is nothing that's left unexplained by science? Or are you saying that whatever science doesn't have an explanation for yet, is (by definition) not part of reality? Or what?
> and since changes in state can be observed by science then there are intelligible explanations for those changes.
Hu?! I mean, yeah, we can observe changes in state, I guess, but then we also can observe changes in state that we don't have explanations for, can't we? So ... no?
> If in reality there were some changes of state that could not be intelligibly explained, then reality taken as a whole wouldn't be intelligible.
Well ... maybe? It smells like a setup for equivocation ...
> If reality as a whole was unintelligible, then it couldn't be fully and intelligibly asserted that "reality is not entirely intelligible". Such a statement is self defeating.
Well ... yeah? The point being? Has anyone made the claim that reality is not entirely intelligible?
> The electric field is physical, we can observe its effects and things that indicate it has been affected. The potential(s) for the electron field being in a different state is/are not observable via effects or things that indicate it has been affected.
Oh, so your claim is that the potential for the electric field to change state is something distinct from the electron? And analogously for the potential for the universe to change state?
Could you explain then what there is to this potential to change the state of the electric field beyond what is described by the theory of the electron and other charged particles (I used only "electron" before for simplicity, but I guess some more precision is appropriate here)?
As far as I can tell, "the potential to change" generally is simply a way to describe certain attributes of a thing, and you haven't demonstrated that that isn't all that's going on here.
When someone says "this lamp has the potential to change color", there isn't a thing in addition to the lamp that we call "the potential to change color", neither a physical nor a non-physical one, it's simply a way of expressing the fact that it has colored light filters built in, or uses different-colored LEDs, and that there are controls or something to influence in which proportions those are used to produce light. If you think there is something like "the essence of the potential to change color" that has some sort of existence beyond what is described by the mechanism of the lamp, that would be for you to demonstrate.
> "If you cared to attain maximum wealth, and you believed that maximum wealth could be attained through shooting yourself in the head, then shooting yourself in the head would be the way to go"--was an assertion that a person ought to follow their beliefs.
So, you think they ought to follow their belief even though they demonstrably (I think you would agree?) will achieve the exact opposite of their stated goal by doing so?
> All of those say pretty much the same, in so far as they are applicable to the situation?
Do you think they mean the same thing as your definition? If so why, otherwise where did you get your definition of 'incompatible with science' from?
> ... it is non-scientific methods that are (potentially) incompatible with [science].
Is this to say that non-scientific methods are not necessarily incompatible with science?
> Using science.
How is science demonstrated to be reasonably reliable for determining the truth of a claim?
Is that to say that science can demonstrate the reliability of a methodology that is used to determine the truth of non-scientific claims?
> Because science is concerned with reality, and determining what is true about reality, and formal claims don't say anything about reality.
Define reality.
How do you know that formal claims don't say anything about reality?
Is science the only method that can determine what is true about reality?
> Yes, obviously?
Then, how do you know that mathematical claims are not about reality when it may simply be the case that the rules that derive them have not been demonstrated to be reasonably reliable for determining the real truth of such a claim?
> As far as this discussion is concerned, it's the idea that methods you use to justify claims about reality should be demonstrably reliable.
What about this definition determines that not being testable is "about as incompatible with science as you can get"?
Why define 'science' this way over utilizing some form of the top definitions of 'science' resulting from a quick google search (e.g. "the intellectual and practical activity encompassing the systematic study of the structure and behaviour of the physical and natural world through observation and experiment", "such knowledge or such a system of knowledge concerned with the physical world", "systematic knowledge of the physical or material world gained through observation and experimentation", "is the pursuit and application of knowledge and understanding of the natural and social world following a systematic methodology based on evidence")?
===
> Distances (in spaces) and cardinality (of sets).
What is distance?
What are spaces?
What is cardinality?
What are sets?
> If we can what? Distinguish the word 'mathematics' from the concept of mathematics?
Not the word but mathematics itself. Just like you can distinguish a rock from the concept of a rock.
> No ...
Then why state "... (by mathematicians)" rather than "(by some mathematicians)" (though that still wouldn't seem to help assert your case)? It seams like your using the intent of mathematicians to assert that axioms are not claims about reality when you don't know the intent of all mathematicians. Do you have a more solid way to stake your claim?
> Which might be because they are not all talking exclusively about mathematics?
Then from where are you drawing your definition?
> But really, I don't get what the point of all this even is. ... I have pointed out that those categories can be distinguished, and that showing something for one of those categories does not demonstrate truth for the other categories.
We have singled out formal truths from real truths to highlight your position that distinguishes them. I have yet to agree that formal truths are not real truths because I don't think that you have established that as fact.
> Well, yes and no.
So you don't know whether your defining 'axiom' however you want and whether the statement "axioms are not claims about reality" simply conforms with your definition?
> No, in that I used the definition that is commonly accepted...
What is, and from where are you drawing, your definition of axiom?
> No. It is not obvious that there is such a thing as "given the Peano axioms", absent humans (or possibly more generalized evaluators).
So, it is not obvious to you that '1 < 2' does or does not have a referent, because the Peano axioms that '1 < 2' is derived from may or may not be a purely artificial construct of humans (or possibly more generalized evaluators)?
> That depends on the definition of "exists".
What is your definition?
> As far as the most commonly used definition is concerned, the non-physical does not exist, because existence by definition implies physicality
"You constantly want to make this assumption, but that assumption really is just the assumption of the [non-]existence of the immaterial, and as such it's not a useful basis for demonstrating the [non-]existence of the immaterial, because every false claim could be assumed to be true in order to demonstrate that it is true, and thus assuming a claim in order to demonstrate that it is true is not a reliable method for determining the truth of a claim.
> because existence by definition implies physicality (when a normal person says "there exists no grocery store in this street", they are not excluding the possibility that a non-physical grocery store exists in the street)
How do you know 'existence' is implying physicality in this scenario over 'grocery store' implying physicality?
===
> ... Or what?
Read 'can be'.
> Hu?! I mean, yeah, we can observe changes in state, I guess, but then we also can observe changes in state that we don't have explanations for, can't we? So ... no?
Not having an explanation now doesn't mean that there can't be one. Science has yet to fail in giving us further explanations for things. So, unless you want to deny the effectiveness of science you have no case.
> Well ... maybe? It smells like a setup for equivocation ...
If a wall was painted completely blue and then someone added a spec of orange somewhere, then wall as a whole would not be blue.
> Well ... yeah? The point being? Has anyone made the claim that reality is not entirely intelligible?
You asked "Couldn't there be mechanisms by which something changes state that can not be determined by science?". My point is "No" for the aforementioned reasons.
> Could you explain then what there is to this potential to change the state of the electric field beyond what is described by the theory of the electron and other charged particles (I used only "electron" before for simplicity, but I guess some more precision is appropriate here)?
There is nothing to the "potential to change the state of the electric field" that goes beyond what is described by the theory of the electron and other charged particles. The theory incorporates notions of change. Stating that something can change is to state that the potential for that thing to change exists. So, the "potential to change the state of the electric field" doesn't go beyond the theory.
> As far as I can tell, "the potential to change" generally is simply a way to describe certain attributes of a thing, and you haven't demonstrated that that isn't all that's going on here.
This sounds like a claim against my definition. If that's what it is, then you'll need to substantiate that your definition is something I need to deny, but... You yourself rightly noted to me that it doesn't make sense to ask if a definition is true. Are you now saying that I need to argue against a definition, one that, as far as I can tell, you made up?
Or perhaps you are saying that your definition is the generally accepted one, and you are asking me to argue that your definition isn't the generally accepted one. In which case I'd ask you to substantiate your claim that your definition is the generally accepted one?
> When someone says "this lamp has the potential to change color", there isn't a thing in addition to the lamp that we call "the potential to change color", neither a physical nor a non-physical one
Soooo, you don't think a lamp can change color?
> it's simply a way of expressing the fact that it has colored light filters built in, or uses different-colored LEDs, and that there are controls or something to influence in which proportions those are used to produce light.
And not to express that a lamp can change color...?
> If you think there is something like "the essence of the potential to change color" that has some sort of existence beyond what is described by the mechanism of the lamp, that would be for you to demonstrate.
Again, like with the electric field, "the essence of the potential to change color" does not exist beyond what is described by the mechanism of the lamb because the mechanism of the lamp is in part described by change. To be able to change color is "the essence of the potential to change color", which of course exists, otherwise you'd be saying something tantamount to "lamps can't change color".
That "non-physical potential(s) of particular physical things exists" is the conclusion to my 'potential' argument. You have yet to substantiate any objection against it.
===
> So, you think they ought to follow their belief even though they demonstrably (I think you would agree?) will achieve the exact opposite of their stated goal by doing so?
Long story short: It is immoral to do what you think is immoral even if it is moral, so you'll be better off doing what you think is moral even if it is immoral. That being said we are obligated to correct our neighbors' incorrect moral beliefs and to be open to being corrected.
Looking back, all of my statements regarding the scenarios were ambiguous to my intent because they were all meant to be tied to morality but I didn't explicitly state it as such. My bad.
> Well, yeah ... so there is no reason to care about morality under your definition, then?
Does a person not substantiating a claim mean that the claim is not true?
Out of curiosity, what would you say is a reason to care about science?
No, I am asking you to substantiate that there is more to it than a definition, because a definition doesn't make reality. Namely, defining that 'existence' covers the application of a label to a set of attributes of another thing does not justify treating it as existing in the sense of being an entity onto itself, which is what this was originally about.
I don't care whether you label that as existence, if I understand that that is what you mean. I care about the fallacious equivocation that you are attempting when you then go on to claim that anything that can be said to exist under that definition also has the properties that would be required under a different definition.
> That "non-physical potential(s) of particular physical things exists" is the conclusion to my 'potential' argument. You have yet to substantiate any objection against it.
There is nothing to substantiate on my part. You have in no way substantiated the "non-physical" part. You have specified no criterion by which we could distinguish whether that potential is physical or not. All sort-of-criteria you have mentioned were very vague for one, and would classify all kinds of things generally considered to be physical by physicists as non-physical.
At best, any distinctions you have tried were artefacts of the language that you use to describe the situation, rather than of the situation itself. You call one thing a "potential", while you call the other thing a "mechanism", and then try to build a distinction on that. But you seem to never check whether you couldn't just as well look at the potential as a mechanism and at the mechanism as a potential. The fact that you can use two different words to describe the same situation does not make for a substantial difference in the facts of the matter.
> Long story short: It is immoral to do what you think is immoral even if it is moral, so you'll be better off doing what you think is moral even if it is immoral.
Wut? Seriously, I have problems taking you seriously on this. How far do you have to twist concepts in your head for that statement to make any sense at all? "It is immoral to do [something] even if it is moral [...]". How is it not blatantly obvious to you that that is just a nonsense statement due to a couldn't-be-more-obvious self-contradiction?
> Does a person not substantiating a claim mean that the claim is not true?
You are again shifting the burden of proof. Seriously, stop it, it's annoying!
Noone claimed that your claim wasn't true. But the mere fact that some claim has not been demonstrated to be false yet is not a good reason to care about the claim, because the vast majority of claims that have not been demonstrated to be true or been demonstrated to be false yet are in fact false, statistically speaking, so caring about every claim that hasn't been demonstrated to be false yet (other than possibly for the purposes of determining the truth of the claim) would have an abysmal success rate.
> Out of curiosity, what would you say is a reason to care about science?
The fact that it is the collection of methodology (using a rather broad definition of science, which is what I think you should care about) that produces demonstrably the by far most reliable predictions of reality that thus allow us to control reality better (because we can use that predictive power to act in a way that results in outcomes closer to our goals, from political decisions to medical interventions or the engineering of technical solutions).
If you care about being able to better achieve your goals (as you probably do, because that's a thing humans almost universally do), you should care about using the most reliable methodology known so far that enables that, up to the point where we possibly find a demonstrably more reliable methodology.
[part 1 ... yeah, seems I don't manage to stay under the limit]
Note: We seem to be getting side-tracked with tons of irrelevant details. Instead of answering all your questions, I will try try reformulating my position on some things in the hopes of maybe clearing up some of the confusion.
> Do you think they mean the same thing as your definition? If so why, otherwise where did you get your definition of 'incompatible with science' from?
What does any of this matter? It is really simple: I, just as scientists generally, use the word "science" to mean "the collection of methods that are demonstrably reliable for determining facts about reality". Religion uses methods that are not demonstrably reliable for determining (supposed) facts about reality. So, religion will make (real) truth claims and will claim that those are reliable, where science says that those claims are unreliable, which means that the statements are in conflict.
That is the fact of the matter. If you want to argue about whether there are some people who hold positions as scientists who happen to use a different definition, or whether this is true, ultimate incompatibility when it is possible for both to exist in the same universe ... really, I am just not interested, because none of that changes anything about this pretty easy to understand fact.
What I am interested in are substantial arguments that show that in fact the methods used by religions to make (real) truth claims are comparable in reliability to scientific methods.
> How is science demonstrated to be reasonably reliable for determining the truth of a claim?
By testing whether the predictions made by whatever method is suggested as part of scientific methodology do come true with a probability higher than chance, preferably much higher than chance.
> How do you know that formal claims don't say anything about reality?
How do you know that claims about football don't say anything about the car industry?
First and foremost, that is a nonsensical question. When someone makes a claim that they intend to say something about football, then that is what their claim is about, by the definition of what it means to make a claim. You are making it way more complicated than necessary when you try to then argue about whether the statement could somehow also be interpreted as being about the car industry. Maybe it can, but that doesn't change anything about the fact that whoever made the claim was not trying to convey anything about the car industry. The speaker didn't mean what they didn't mean, no matter how much you argue about the labels used to describe the situation and whether the statement could be reinterpreted to mean something else than what was meant by the speaker.
The fact that the same sequence of words can be used to describe distinct facts about reality does not mean that when you show that one of those facts is true, all other facts that could be described using the same words are also true, so it is a completely futile exercise to keep arguing about whether some word or some statement could also mean something else.
> Then, how do you know that mathematical claims are not about reality when it may simply be the case that the rules that derive them have not been demonstrated to be reasonably reliable for determining the real truth of such a claim?
Because there is nothing in the claim that even refers to reality, just as there is nothing in the claim about football that refers to the car industry. This has absolutely nothing to do with whether some method is reliable--there is simply no method at all, it's all just a category error.
You might as well be asking how I know that claims about English grammar are not about reality when it may simply be the case that the rules to derive English sentences have not been demonstrated to be reasonably reliable for determining the real truth of such a claim.
When someone says "'The tree jumps over the moon.' is a grammatically correct English sentence", it is nothing more than a category error to ask what that statement says about reality. It simply doesn't. It is, very obviously, talking about the formal system also known as the English language, and whether the sentence 'The tree jumps over the moon.' can be derived from the "axioms" of the English language.
Also, it is completely irrelevant whether someone somewhere maybe does make statements that are intended to say something about both English grammar and medicine. The fact that that might somehow be possible still does not change that in general, when someone talks about English grammar, they are not talking about medicine. And most importantly for this conversation: When I am telling you that I am explicitly not talking about medicine, but only about English grammar, it is just completely besides the point to keep going on about how someone maybe could also mean to say something about medicine.
The point is: A bunch of axioms and what results from them.
> Not the word but mathematics itself. Just like you can distinguish a rock from the concept of a rock.
So, what would you point to for mathematics if you wanted to point to mathematics while avoiding pointing to the concept of mathematics? I don't see what could possibly be meant by that, so if you want to make the claim that there is something there, it's up to you to demonstrate that there is.
> Then why state "... (by mathematicians)" rather than "(by some mathematicians)"
For the same reason that you don't say "The earth is considered to be an oblate spheroid (by most physicists)", and the fact that you are asking this makes me wonder how much you are actually trying to understand, rather than just trying to avoid justifying your own position. It is just completely normal and not the slightest bit of a problem that you generalize when talking about groups of people, when it is just completely irrelevant whether some small minority of that group deviates from what otherwise defines that group.
> We have singled out formal truths from real truths to highlight your position that distinguishes them. I have yet to agree that formal truths are not real truths because I don't think that you have established that as fact.
There is no fact to establish here. I am simply telling you about the distinction that I am making (as are many other people). And it doesn't even matter whether formal truths are also real truths. What matter is that you can distinguish formal truths from not-formal truths.
> So, it is not obvious to you that '1 < 2' does or does not have a referent, because the Peano axioms that '1 < 2' is derived from may or may not be a purely artificial construct of humans (or possibly more generalized evaluators)?
I guess so? I mean, I would say it's pretty obvious that the way we know them they are an artificial construct of humans (like, the axioms were formulated by humans). If you think there is more to it than that, that would be for you to demonstrate.
> Not having an explanation now doesn't mean that there can't be one.
You are shifting the burden of proof, again. It is really getting annoying. You implicitly claimed that there would be explanations for all things we have no explanations for yet. I rejected that claim. When I reject your claim that there will be explanations, I am not making any claim, and in particular I am not making the claim that there will be things that will be unexplained forever, so stop turning my asking for your justification around into "but some other claim I have made up is unjustified as well!".
If you make the claim that there will be explanations for everything we can observe, then it is up to you to substantiate that claim. You are not justified in making that claim just because I have not demonstrated that something will stay unexplained forever--a claim that I never made, and that is in no way implied in my rejection of your claim.
If there is a question to which we don't know the answer, your unsubstantiated answer does not win by default until someone disproves it. If we don't know the answer, we don't know the answer, and it's up to you to demonstrate that you do know the answer if you think that you do.
> Science has yet to fail in giving us further explanations for things. So, unless you want to deny the effectiveness of science you have no case.
Science constantly fails to give us answers? Like, exactly everything we don't know, which is, like, a lot? The effectiveness of science is very obviously limited, given how much we would want to know, but don't. That doesn't mean it's ineffective, it just as obviously is not, but there is no contradiction between recognizing that it is limited, and possibly fundamentally so (in the sense that some things might stay unexplained forever), and recognizing that it is effective.
> If a wall was painted completely blue and then someone added a spec of orange somewhere, then wall as a whole would not be blue.
Yeah, sure. The problem is when you then build an argument on that and then use that argument to conclude something about almost completely blue walls.
> yeah, seems I don't manage to stay under the limit ... We seem to be getting side-tracked with tons of irrelevant details.
To skim things down, let's get more formal.
===
Could you please state your argument, regarding things being testable as they relate to science, in the form of a syllogism that ends with the conclusion "Therefore if X is a claim about reality and X is not testable, then X is not compatible with science" to establish that a claim about reality not being testable is "about as incompatible with science as you can get"?
A preemptive question to the syllogism that you may give (to possibly help its formulation): Are all aspects of reality testable by science?
Much of our discussion can be omitted as it ties back to our main contention which is "what constitutes compatibility with science". If there is a need to resume something previously discussed it will likely resurface from here. I apologize if I am making you restate things, I am making my best attempt to understand your position (you have no idea how nice it would be for me to ditch my Catholic faith if it could be shown that it wasn't true), hopefully that's been evident by the amount of time I've left between some responses. Again I've included things that interest me which don't necessarily contribute to our "compatibility with science" dispute.
===
> By testing whether the predictions made by whatever method is suggested as part of scientific methodology do come true with a probability higher than chance, preferably much higher than chance.
Testing by a method other than science? How do you know that method is reliable?
===
Could you please provide a syllogism that ends with the conclusion "Therefore formal claims are not about reality" to establish that mathematical/grammatical claims are not about reality?
===
> So, what would you point to for mathematics if you wanted to point to mathematics while avoiding pointing to the concept of mathematics? I don't see what could possibly be meant by that, so if you want to make the claim that there is something there, it's up to you to demonstrate that there is.
That's what I'm asking, I'm not claiming one way or the other. If you know what it points to please let me know, and how you know. If you don't know, then you can't rule out the non-physical without knowing whether it points to something physical or not.
> It is just completely normal and not the slightest bit of a problem that you generalize when talking about groups of people, when it is just completely irrelevant whether some small minority of that group deviates from what otherwise defines that group.
Except your saying that it all depends upon intent and you'd need to take into account intents that don't agree if that is the case. But now you've stated that it depends upon the intent of the majority. If the majority of mathematicians say that they are making claims about reality, then you'd likely say (correct me if I am wrong) that "anyone can obviously redefine words however they want but that doesn't make the claims they are making about reality" even though you've made it about the majority's intent. You need to establish that axiomatic claims can't be about reality in some way besides intent. The syllogism that I've asked you to provide above would do that.
> I guess so? I mean, I would say it's pretty obvious that the way we know them they are an artificial construct of humans (like, the axioms were formulated by humans). If you think there is more to it than that, that would be for you to demonstrate.
My point is that you don't know whether '1 < 2' has a referent or not. If you know that mathematical claims are not about reality, then you would know that '1 < 2' has no referent. If you don't know that '1 < 2' has no referent, then you don't know that mathematical claims are not about reality. I don't need to establish "'1 < 2' has a referent" to establish that you don't know whether mathematical claims are about reality.
===
> You implicitly claimed that there would be explanations for all things we have no explanations for yet.
I explicitly stated it. Even if you said science is limited, as you have done, you'd still have no case because the position that "there are not explanations for some things" is self-defeating, as I have already stated.
> You have specified no criterion by which we could distinguish whether that potential is physical or not.
Unless your criterion assumes that everything that exists is physical, I don't see why I couldn't use your criterion.
===
> "It is immoral to do [something] even if it is moral [...]". How is it not blatantly obvious to you that that is just a nonsense statement due to a couldn't-be-more-obvious self-contradiction?
If you think there is a contradiction, please state it as a syllogism to highlight it. I'll rephrase to make my statement less ambiguous: It is immoral to do X if you think X is immoral even if X is moral, so you'll be better off doing any X you think is moral even if X is immoral.
> You are again shifting the burden of proof. Seriously, stop it, it's annoying! No one claimed that your claim wasn't true. ...
Your question seemed snarky, so I gave it the snarky response I thought it deserved. I apologize if it was a genuine question, and if so my answer would be "No there is a reason, but not one I care to defend at the moment".
I thought I could give part of a reason, even if not fully formed, because I didn't want to be a bad host of the questions that lead to this side conversation. That being said, I have no interest in substantiating my claims regarding morality if you don't think that what I am saying could be compatible with science even in principle. I don't mind getting deeper into it, but substantiating, not worth the effort at the moment.
===
> If you care about being able to better achieve your goals (as you probably do, because that's a thing humans almost universally do), you should care about using the most reliable methodology known so far that enables that, up to the point where we possibly find a demonstrably more reliable methodology.
If I were to supplant "morality", as I have defined it, for "science", and repeated what you said as a reason to care about morality, what objections might you have to the given reason?
> You need to establish that axiomatic claims can't be about reality in some way besides intent. The syllogism that I've asked you to provide above would do that.
You are simply missing the point. It's not a question of if it "can be about reality". That's like asking "can claims about John be about Jack?" No, they can't. And that's not for some deep reason that you seem to be looking for that somehow magically prevents claims about John from being about Jack. It's the frickin obvious fact that when I say "John has brown hair", I am not talking about Jack. That's all there is to it, and you are just obfuscating this trivial fact by trying to reinterpret what I might mean by "John", and whether I maybe am using "John" to refer to an invisible unicorn. I don't mean any of that, I simply mean John, and that is why I said "John". Your ability to be creative in your interpretation does not change what I mean by a statement.
> My point is that you don't know whether '1 < 2' has a referent or not. If you know that mathematical claims are not about reality, then you would know that '1 < 2' has no referent. If you don't know that '1 < 2' has no referent, then you don't know that mathematical claims are not about reality. I don't need to establish "'1 < 2' has a referent" to establish that you don't know whether mathematical claims are about reality.
Let me clarify: Under the definitions used by mathematicians, '1 < 2' has no referent absent the axioms defined by mathematicians, that is easy to know from the definitions used by mathematicians. If you want to propose different definitions that possibly are structurally compatible with the ones used by mathematicians, feel free to do so, but if those imply that '1 < 2' has a referent absent axioms/evaluators/..., that would be up to you to demonstrate.
> I explicitly stated it. Even if you said science is limited, as you have done, you'd still have no case because the position that "there are not explanations for some things" is self-defeating, as I have already stated.
But I have never made that claim, so what is the point of bringing it up?
> Unless your criterion assumes that everything that exists is physical, I don't see why I couldn't use your criterion.
I don't have a criterion? I don't think there is any distinction to be made, and if you think that there is, it's up to you to demonstrate some way to make the distinction.
> If you think there is a contradiction, please state it as a syllogism to highlight it. I'll rephrase to make my statement less ambiguous: It is immoral to do X if you think X is immoral even if X is moral, so you'll be better off doing any X you think is moral even if X is immoral.
For any action X, "being moral" is semantically equivalent to "being moral to do", and "immoral" is the negation of "moral". Therefore, your statement says that there exists an action that is moral and not moral at the same time.
> That being said, I have no interest in substantiating my claims regarding morality if you don't think that what I am saying could be compatible with science even in principle.
The primary problem is not what you are saying, the primary problem is the method you use to justify it.
> If I were to supplant "morality", as I have defined it, for "science", and repeated what you said as a reason to care about morality, what objections might you have to the given reason?
That you have in no way demonstrated that your version of morality does produce any of the results promised, it's just an empty assertion.
> Could you please state your argument, regarding things being testable as they relate to science, in the form of a syllogism that ends with the conclusion [...]
I might try to, but I suspect the problem is more the nailing down of definitions than the logical structure of the argument, and I suspect in particular that there might be some misunderstanding about ...
> A preemptive question to the syllogism that you may give (to possibly help its formulation): Are all aspects of reality testable by science?
... what "testability" means in the context of the philosophy of science, as this question doesn't really make all that much sense in that context.
First of all, there is no such thing as "testable by science". Science is not a method of testing things. At most, you could maybe say that science is the collection of all of the reliable methods of testing things known so far.
I'll go on somewhat of a tangent, but I think it might be helpful: You do maybe know the saying "There is no such thing as alternative medicine, just medicine that works, and medicine that doesn't"? What is meant by that is that medicine is not a fixed set of methods, but rather the collection of all of the methods that have been demonstrated to be effective so far. But the important bit is the "so far": It's very much possible that some other methods are effective as well, even some of those that are suggested as "alternative medicine". But the point is that those methods are not excluded from medicine on the grounds of some dogma or anything like that, but rather simply because they have not been demonstrated to be effective--and as soon as their efficacy is demonstrated, they will simply become part of medicine. So, "alternative medicine" only consists of methods of which the efficacy is unknown, or which are known to be ineffective, because anything that previously was in that category, and for which efficacy now has been demonstrated, becomes "normal" medicine.
Science is the same way. So, in particular, science does not have any dogma against religious ideas or methods just because they are religious ideas or methods. There is no doctrine that says that science is somehow not allowed to come to the conclusion that god exists, say. Nor does science have any doctrine against conclusions about the supernatural or the non-physical ... or anything, really. The demand is just that you can show that whatever methods you use to come to a conclusion are (reasonably) reliable.
The point is: When science demands testability, it doesn't mean "testable using the methods prescribed by science", it just means testable in any way at all--if you need to use a new method for the test, that is perfectly fine, if you can demonstrate that it works. Really, it's not just that any effective method of testing is fine, but rather, any new method demonstrated to be effective would simply start being considered to be part of science. The defining goal of science is to produce reliable predictions, and any method that helps with that is acceptable. If you could demonstrate that prayer can be used to make reliable predictions (including to reliably influence outcomes, in which case the prediction would be that the prayer produces that particular outcome), then prayer would be accepted as a scientific method.
Also, I think it is important to note what specificially testability means in the context of the philosophy of science: Testability is the property of a claim that you know experiments that could be done, and if those experiments gave a result different than predicted by your claim, you would conclude that your claim is false. The point of demanding testability is not to establish that something is true (apparently something that many people think), nor to establish that it is false. The point of testability is to weed out those claims that are indistinguishable from stuff that someone just made up. That is not because what someone just made up is necessarily false, but because almost all claims that someone could potentially make up are false, and thus, if you have no way to distinguish a given claim from one that was just made up, the probability that it is false is extremely high. Importantly, demanding testability is not a dogmatic demand: There is a reason for it, namely that without it you are likely to accept lots of false claims.
So, are all aspects of reality testable by science? Well, for one, any aspects that are testable, by whichever method, are, by definition, testable by science, for any demonstrably reliable test you were to use would become part of science. Which leaves the question: Are all aspects of reality testable? I don't know, possibly not. But the time to believe any claims about those aspects that are not testable is when they become testable, and not before, for the reason I explained above: They are indistinguishable from stuff someone just made up.
> I am making my best attempt to understand your position (you have no idea how nice it would be for me to ditch my Catholic faith if it could be shown that it wasn't true),
Haha, that statement actually indeed makes it very believable that you do, for a reason that you most likely didn't even notice. Let me explain:
What you are doing here is shifting the burden of proof, again--except: You are shifting it to yourself, where it doesn't belong. You are believing something, it seems, because it hasn't been disproven to you. As a general rule, that's a bad idea, and with religions in particular, it will essentially guarantee that you won't find the way out. Mind you that I am not saying that you necessarily should find the way out, because your particular religion could in principle be true, after all. But what should give you pause is that this is true of all religions--and they can impossibly all be true, because they make contradicting claims. All religions have at their core untestable claims, that is, claims which are impossible to contradict with any test. The claims themselves are constructed in such a way that it is impossible to disprove them, even if they are in fact false. So, no matter whether they are true or false, you won't ever find a way to disprove them.
So, if you are trying to disprove the claims of your religion, you might as well give up, you won't, ever, at least for the central claims, and no matter what your religion is. What I would suggest instead is shifting the burden of proof to those making the claim, and to disbelieve claims until they have been demonstrated to be most likely true, not believe claims until they have been demonstrated to be most likely false--which most likely is something that you do practice for most (all?) other claims anyway (like, if someone is trying to sell you something, you won't just take their word for it that theirs is the best product until you have disproved that claim, but rather you will first investigate alternatives before you come to a conclusion about which product is likely to be the best). There should be reasons to believe, not no reasons to not believe.
Now, given the effects of religious indoctrination, especially when coupled with (also untestable) threats for disbelief, that's potentially easier said than done, and probably not something that you'll just switch frome one day to the next, but given what you wrote, I guess it's a perspective worth thinking about. If you are interested, I guess I could also dump a bunch of resources on you that might be helpful in further exploring your reasons for your religious beliefs, just let me know and I'll dig up some URLs ...
> Testing by a method other than science? How do you know that method is reliable?
No, by testing with an established scientific methodology. You simply use methods that you do already know are reliable to test other methods whether they are reliable. (And mind you that "reliable" here does not mean "give results with 100% certainty".)
> Could you please provide a syllogism that ends with the conclusion "Therefore formal claims are not about reality" to establish that mathematical/grammatical claims are not about reality?
Could you provide a syllogism that ends with the conclusion "Therefore claims about John are not about Jack"?
> That's what I'm asking, I'm not claiming one way or the other. If you know what it points to please let me know, and how you know. If you don't know, then you can't rule out the non-physical without knowing whether it points to something physical or not.
I am not ruling out the non-physical, if only because the term is ill-defined. You made claims about the existence of the non-physical, and you have yet to demonstrate that that's a thing, without constantly shifting the burden of proof to me. "Mathematics" clearly is used to refer to stuff that has at least physical representation, so I'll agree that mathematics has at least those physical aspects (like, books, brains, lectures, what have you). If you think there is more to it, then that's for you to demonstrate, not for me to disprove.
> But now you've stated that it depends upon the intent of the majority.
No, I have done that before, because that is how language is used. There is no need to state so explicitly. "Physicists believe earth is an oblate spheroid" does not mean "there are no physicists who don't believe earth is an oblate spheroid". That sentence simply is not the English translation of "forall <physicists>: <physicist> believes that earth is an oblate spheroid". It is common usage in English to use generalized statements with the implied understanding that they do not apply to all individuals, so you are simply deviating from standard English if that is how you choose to interpret the sentence.
> I suspect the problem is more the nailing down of definitions than the logical structure of the argument
Possibly, but where we are missing each other on definitions would likely be more noticeable in a syllogism.
> The point of testability is to weed out those claims that are indistinguishable from stuff that someone just made up.
Is it possible that a testable claim could imply another claim that is not testable? In other words, could you have an implicit reason for believing that something is true rather than an explicit one?
> I don't know, possibly not.
So, if it is possible that some aspects of reality are not testable, then it is possible that a claim about such an aspect of reality is not compatible with science?
===
> You are believing something, it seems, because it hasn't been disproven to you.
That is not the case. I think there is great evidence. If it is false, then it is likely that my willingness to accept things is too generous, but I'll make any effort I can to get past that if that is indeed the position I find myself in.
> So, no matter whether they are true or false, you won't ever find a way to disprove them.
So, might you be attempting to say that non-testable claims are incompatible with doing science, rather than non-testable claims being incompatible with science itself?
> If you are interested...
I am.
===
> No, by testing with an established scientific methodology. You simply use methods that you do already know are reliable to test other methods whether they are reliable.
So, is there a chain of scientific methods that establish further scientific methods with no beginning, or is there some first self-evident method, that can't be tested for reliability without being circular?
===
> That's like asking "can claims about John be about Jack?"
So are you saying "you can't make a claim about John be about Jack, because John is not Jack", and to parallel "you can't make a claim about math be about reality because math is not reality"? What if John was Jack's middle finger, how could a claim about John not be about Jack?
>>>> So, it is not obvious to you that '1 < 2' does or does not have a referent, because the Peano axioms that '1 < 2' is derived from may or may not be a purely artificial construct of humans (or possibly more generalized evaluators)?
>>> I guess so? ...
>> My point is... If you don't know that '1 < 2' has no referent, then you don't know that mathematical claims are not about reality. I don't need to establish "'1 < 2' has a referent" to establish that you don't know whether mathematical claims are about reality.
> Let me clarify: ... '1 < 2' has no referent absent the axioms defined by mathematicians
Given the Peano axioms, and their evaluations and derivations by humans, does '1 < 2' have a referent?
===
> But I have never made that claim, so what is the point of bringing it up?
You objected to my claim that "everything has an explanation" thinking I had not substantiated it. I get that you're not making the opposing claim, but in order to substantiate my claim I showed that the opposing claim can't be true. Even if your not making the opposing claim, your objection has no case because the opposing claim can't be true. If "not everything has an explanation" can't be true then "everything has an explanation" must be true. So you can choose to reject my claim, but that is a choice to reject a substantiated claim. If you don't think I have substantiated it, let me know why.
> I don't have a criterion? I don't think there is any distinction to be made, and if you think that there is, it's up to you to demonstrate some way to make the distinction.
You don't have a definition for physical? You don't think there is a distinction, or do you lack reason to think there is a distinction? For the criterion that I did give what was deficient? (you said that I didn't but I did: to be physical is to be able to have measurable effects or to be measurably affected)
===
> For any action X, "being moral" is semantically equivalent to "being moral to do", and "immoral" is the negation of "moral". Therefore, your statement says that there exists an action that is moral and not moral at the same time.
My statements never fluctuate the moral value of X.
Another rephrase: It is immoral to do (A: X while thinking X is immoral) even if (B: X is moral). You'll be better off doing (C: any X while thinking X is moral) even if (D: X is immoral).
Regarding A and B: A is immoral, even though B says X of A might be moral. It is not doing X that is immoral, it is doing A.
Regarding C & D: The entirety of C is moral, even though D says X of C might be immoral. It is not X that is moral, it is C.
> The primary problem is not what you are saying, the primary problem is the method you use to justify it.
What is my method, and what is problematic with it?
> That you have in no way demonstrated that your version of morality does produce any of the results promised, it's just an empty assertion.
If, for my demonstration, I were to refer to the lives of the saints, they being better at achieving their goals of happiness than anyone else whom does not employ their methods by far, how might you object then?
> You don't have a definition for physical? You don't think there is a distinction, or do you lack reason to think there is a distinction? For the criterion that I did give what was deficient? (you said that I didn't but I did: to be physical is to be able to have measurable effects or to be measurably affected)
I have never heard a coherent explanation of what the distinction would be.
Yes, you said that to be physical is to be able to have measurable effect [...], but then denied that the measurable effects of the potential of the universe to change state (namely, the measured change in state) implies that the potential of the universe to change state is physical, while you also say that the same kind of measurement when applied to the effects of charged particles implies that electrons are physical ... so, it's completely incoherent. You have not specified any method that I (or you) could apply to an arbitrary object to classify it as either physical or non-physical, you have just given vague criteria that can be interpreted any way you like and then simply asserted that the potential of the universe to change state is non-physical while electrons are physical.
> Another rephrase: It is immoral to do (A: X while thinking X is immoral) even if (B: X is moral). You'll be better off doing (C: any X while thinking X is moral) even if (D: X is immoral).
So, it is, under certain circumstances, immoral to do what is moral?
Could you explain in what way something could be meaningfully moral that does not mean that doing it is moral? Like, how could a sentence of the form "X is moral" possibly mean anything other than "doing X is moral"?
You could just as well be saying "It tastes bad to eat what you don't like even if it tastes good" ... as if there is any essence to "tasting good" that is independent from someone eating the thing. All it means for something to "taste good" is that someone likes to eat it, and if you don't like to eat it, then it doesn't taste good, and the same thing rather obviously seems to apply to "being moral" and "doing".
> Regarding A and B: A is immoral, even though B says X of A might be moral. It is not doing X that is immoral, it is doing A.
That doesn't resolve the contradiction. All you are saying here is that (A) whether X is moral depends on one's personal opinion and (B) that whether X is moral is objectively defined. You maybe should decide for one of those. Either it's defined by one's personal opinion, then there is no objective definition, or there is an objective definition, then it's not defined by one's personal opinion. Both at the same time doesn't work.
> What is my method, and what is problematic with it?
What I meant was: The primary problem is not that you are saying that acting according to god's will will maximize your well-being (or whatever the exact claim was, I might be butchering it somewhat), the problem is (probably) how you come to that conclusion. Now, I am making some assumptions based on how theists generally justify their position, and it is possible, though somewhat unlikely, that you have a completely different justification. But in any case, the important question is whether your justification is sufficient, not whether the claim is false.
> If, for my demonstration, I were to refer to the lives of the saints, they being better at achieving their goals of happiness than anyone else whom does not employ their methods by far, how might you object then?
1. You couldn't have picked a more biased example. If I were to show you that there exist millionaires who got rich with day trading, would you consider that evidence that day trading generally makes people rich? If you want to figure out whether some method reliably gives a particular result, you have to look at all people who have attempted the method, not just those who are known for having ended up with a good result. Even terrible methods usually will not prevent all good outcomes.
2. That is an extremely limited perspective on happiness. To take a somewhat random example, one big contribution to lack of happiness in the world are diseases. The saints most certainly were not exceptionally good at either helping to cure or manage diseases in general, nor at avoiding getting ill. That doesn't take away from the forms of happiness they might have been able to achieve (not that I am all that familiar with the lives of Catholic saints), but it's not at all obvious that they were particularly good at achieving overall-happiness, nor that their goals were indeed limited to those particular kinds of happiness, and they didn't mind getting ill, for example.
If you want to figure out which of any competing methods for achieving a goal is better at doing so, you have to compare scenarios that actually use different methods. A saint who makes all decisions based on what they believe to be divine revelation, say, but who lives in a secular society where all other decisions are made based on scientific ideas, is not in fact using only divine revelation to achieve happiness, but possibly simply benefits from all the discoveries made by people using scientific decisionmaking for increased happiness, with possibly some comparably minor additional improvement due to their god belief, or whatever. If you wanted to compare methods, you would have to compare scenarios where either only one or only the other method is being used, or you risk misattributing results.
> Possibly, but where we are missing each other on definitions would likely be more noticeable in a syllogism.
Well, maybe, but part of the problem is that I don't really know yet what assumptions to build on that you would share. There are tons of ways to demonstrate incompatibility between religion and science, depending on which assumptions (definitions, in particular) you build on.
> Is it possible that a testable claim could imply another claim that is not testable?
Yes. Example: The earth being flat implies that invisible unicorns exist. "the earth is flat" is testable, "invisible unicorns exist" is not (arguably), and the implication is true (ex falso quodlibet).
> In other words, could you have an implicit reason for believing that something is true rather than an explicit one?
For one, testability is not a reason to believe a claim, as can be seen from the claim above that the earth is flat, which is testable, but demonstrably false. Lack of testability is a reason to not believe (because it's indistinguishable from claims that were just made up), testability is not a reason to believe (because the test might very well disprove the claim).
But the bigger problem with that question seems to be that it assumes some sort of essentialist testability. If we turn the implication around, we get a correct statement: If some claim B implies a claim A, and A is testable, then that is reason to not disbelieve B for lack of testability. But it makes no sense under any circumstances to label B as "untestable": Disproving A implies disproving B, and thus if you have some method for testing A, that method is also a test of B, and thus B is testable.
If a test could disprove your claim, then that is what it means for the claim to be testable, the amount of indirection between the claim and the test is irrelevant.
> So, if it is possible that some aspects of reality are not testable, then it is possible that a claim about such an aspect of reality is not compatible with science?
Yes. Making claims that are indistinguishable from stuff that's just made up is not compatible with science, because science is about making claims that are as reliable as possible, and claims that are indistuinguishable from stuff that's just made up is notoriously unreliable.
Or another way to put it: Making claims about the untestable implies the claim that you are able to detect the undetectable, which is self-contradicting. Either you can detect something, then you can use that to construct a test, or you can't, then you have no basis for claiming that you can.
> That is not the case. I think there is great evidence. If it is false, then it is likely that my willingness to accept things is too generous, but I'll make any effort I can to get past that if that is indeed the position I find myself in.
Well, granted, that is a likely alternative!
(Though I would say the problem is not necessarily that the evidence is false, but that it is insufficient ... or rather, that it should be. I mean, unless you really do happen to have the evidence that everyone has been waiting for ... ;-)
Also, good luck with that! :-)
> So, might you be attempting to say that non-testable claims are incompatible with doing science, rather than non-testable claims being incompatible with science itself?
I don't understand what the distinction is that you are making here.
Seems like a good starting point overall: Various hosts with different perspectives and styles, focus on talking to theists, so chances are they will address (or have addressed) what you are interested in, and obviously you could also try calling yourself if you feel like it, plus they regularly have guests who might have their own sites or youtube channels or whatever, so also a good way to discover more resources. You might also want to have a look at the tons of other programs they (the atheist community of Austin) have started to produce recently ... really, just dig around a bit and see whether anything fits your taste.
One guy (not the only one by far, you might also want to look for others) practicing street epistemology, with many talks addressing questions of religious beliefs.
Not sure whether it's too relevant for you, but then, they have a collection of quite a wide range of different resources, so who knows, digging around there might turn up something interesting ...
If you want to read a book or two, the classics (almost) from Dawkins, Hitchens, Harris, and Dennett probably aren't the worst idea, Dennett in particular if you want to get more into the philosophy side of things. Other than that, I guess I would rather start from the above and look out for recommendations from there.
> So, is there a chain of scientific methods that establish further scientific methods with no beginning, or is there some first self-evident method, that can't be tested for reliability without being circular?
Neither, really, though more the latter than the former. You could say that the basis that everything else builds on is the assumption that our senses are somewhat reliable, i.e., that if an overwhelming majority of people agree about some observation, the observation is probably a reasonably accurate description of something that actually happened. And mind you that not much reliability is necessary in order to bootstrap this, because you can largely test that, too.
But when you think about it, you'll notice that that assumption isn't actually necessary if you are careful with formulating your goal. Namely, if your goal is to have as accurate a model of reality as possible, then that still holds if you have absolutely no way to make any reliable determination about reality: If you have no way to make any reliable determination about reality, then, by definition, no method will give you a better result than pure randomness, and thus every method is optimal (and pessimal at the same time). And as soon as there is even a little bit of structure to reality that you could figure out, building on your senses is going to outperform ignoring your senses.
> So are you saying "you can't make a claim about John be about Jack, because John is not Jack", and to parallel "you can't make a claim about math be about reality because math is not reality"?
More precisely, because a statement about math is not a statement about reality, other than that math is part of (human) reality.
> What if John was Jack's middle finger, how could a claim about John not be about Jack?
That's just a pointless question. And that is not because it is categorically wrong, but because it brings no insight. There is not a single statement that you couldn't object to with "but what if some words had completely different meanings than what the speaker presumably intended, based on common usage?" "'The earth is round' is true!"--"But what if by 'true' they meant false, or by 'earth' they meant a banana, or by 'round' they meant flat?" The answer is simply: They didn't.
> Given the Peano axioms, and their evaluations and derivations by humans, does '1 < 2' have a referent?
Yes, those axioms, evaluations and derivations (well, particular aspects of them). Just the same way that 'Game of Thrones' has a referent, given the series, and characters of that series have a referent, given the series. None of that implies some essence that exists absent those human artefacts.
> You objected to my claim that "everything has an explanation" thinking I had not substantiated it. I get that you're not making the opposing claim, but in order to substantiate my claim I showed that the opposing claim can't be true.
No, you haven't. At best, you have shown that holding that position is not justified (arguably, you haven't done that either, but it doesn't really matter for this). But lack of justification for one position does not imply that the position is false, nor that there is justification for the opposing position. It simply means that there is no good reason to believe that one position. If neither a given position nor the opposing position is justified, then we simply don't know which of the positions is correct.
> Even if your not making the opposing claim, your objection has no case because the opposing claim can't be true. If "not everything has an explanation" can't be true then "everything has an explanation" must be true. So you can choose to reject my claim, but that is a choice to reject a substantiated claim. If you don't think I have substantiated it, let me know why.
Well, see above. You have to show that it is impossible for something to be unexplainable, not just that we don't know whether something is unexplainable.
> Yes, you said that to be physical is to be able to have measurable effect [...], but then denied that the measurable effects of the potential of the universe to change state (namely, the measured change in state) implies that the potential of the universe to change state is physical, while you also say that the same kind of measurement when applied to the effects of charged particles implies that electrons are physical ... so, it's completely incoherent.
Where did "'the measured change in state' is an effect 'of the potential of the universe to change state'" come from? I never stated this, thus you've made a straw-man and then drew comparisons with it to electrons, effectively making up the notion of me being incoherent.
===
> So, it is, under certain circumstances, immoral to do what is moral?
Moral =/= immoral
> Like, how could a sentence of the form "X is moral" possibly mean anything other than "doing X is moral"?
It doesn't. There is more to the form of my sentences that you are clearly missing. My form is "A: X while you think X is immoral", "doing A is immoral".
Another way to think of it. "A: X while Y". A is moral when "X: Throwing darts" and "Y: aiming at a dart board". You can modify Y to "aiming at someones face" and make A immoral with out changing X.
> Either it's defined by one's personal opinion, then there is no objective definition, or there is an objective definition, then it's not defined by one's personal opinion. Both at the same time doesn't work.
Oh please. The objective definition incorporates subjective conditions. Ex: Define F as the set of propositions {A -> B, C -> D, A -> ~D, C -> ~B}. F is an objective framework which never changes, but what is derived from F is subject to the truth values of A, B, C, and D.
===
> Now, I am making some assumptions based on how theists generally justify their position, and it is possible, though somewhat unlikely, that you have a completely different justification.
I'm curious. How do you think theists generally justify their position?
===
> 1. You couldn't have picked a more biased example. If I were to show you that there exist millionaires who got rich with day trading, would you consider that evidence that day trading generally makes people rich?
False analogy. I'm claiming that everyone whom employs the methods of the saints achieves their goals of happiness. Your analogy would only be valid if everyone got rich with day trading, and if that were the case then that would be evidence that day trading generally makes people rich.
> If you want to figure out whether some method reliably gives a particular result, you have to look at all people who have [carried out] the method, not just those who are known for having ended up with a good result. Even terrible methods usually will not prevent all good outcomes.
Replaced "attempted the method" with "carried out the method" because you can fail an attempt, but to fail to attempt the method is to not follow the method. There is not a single known instance of a person having carried out the methods employed by the saints that didn't end up with good results.
> but it's not at all obvious that they were particularly good at achieving overall-happiness
Depends on how you are defining overall happiness. Many saints died joyfully while being tortured to death.
> If you wanted to compare methods, you would have to compare scenarios where either only one or only the other method is being used, or you risk misattributing results.
The problem you'll find with this is that you're not likely to find anyone who employs no aspects of the methods used by the saints, particularly because such a person, and you'd agree, would be completely depraved.
> I don't really know yet what assumptions to build on that you would share.
Then just start with something, and if I don't agree with your assumptions then we can decide where to go from there. It doesn't have to be perfectly formal, but at least needs to flow via enumerated propositions. I fail to see how avoiding to produce a formal argument for your position isn't an attempt at equivocation. Why else attempt to only argue informally where the informality is more likely to generate greater ambiguity?
> Yes. Example: ...
Is it possible that a testable claim could be true and imply another claim that is not testable?
===
> ... I mean, unless you really do happen to have the evidence that everyone has been waiting for ...
Flat earthers may say the same to anyone whom tells them that there is great evidence that the earth is an oblate spheroid. Simply thinking that evidence isn't sufficient doesn't mean that it isn't.
> I don't understand what the distinction is that you are making here.
Science is a method. Doing science is to use the scientific method. The scientific method involves testing claims. Using the scientific method on non-testable claims is contradictory. The scientific method and the claims it has proven can co-exist with claims that can't be tested so long as those claims don't contradict the scientific claims. While those claims that can't be tested can co-exist with the scientific method, the incompatibility is in attempting to do science with those claims.
===
> Well, let's see ...
Thanks :-)
===
> And mind you that not much reliability is necessary in order to bootstrap this, because you can largely test that, too.
I get what bootstrapping means in compiler terms, but regarding methods of discerning truth, the notion of bootstrapping would seem to fly in the face of Gödel.
> But when you think about it, you'll notice that that assumption isn't actually necessary ... And as soon as there is even a little bit of structure to reality that you could figure out, building on your senses is going to outperform ignoring your senses.
Still sounds like your relying on the assumption that our senses are reliable... Like, you wouldn't know that using your senses out performs ignoring your senses unless you were already relying on your senses to determine that.
===
> More precisely, because a statement about math is not a statement about reality, other than that math is part of (human) reality.
When you apply the name "John" to one person and the name "Jack" to another, there are physical criterion to distinguish between John and Jack allowing us to verify via testing that a claim only about John is not a claim about Jack. Unless there are physical criterion that allows us to distinguish between math and reality, you've made a false analogy.
> The answer is simply: They didn't.
The conclusion I'm looking for is "They couldn't" and in particular "They couldn't intelligibly mean 'claims only about math are claims about reality'" and I want to know why. Only saying "they didn't" leaves the door open for someone else who could.
===
> Yes, those axioms, evaluations and derivations (well, particular aspects of them). Just the same way that 'Game of Thrones' has a referent, given the series, and characters of that series have a referent, given the series.
>>>>> The point is: A bunch of axioms and what results from them.
Under this axiomatic context: Do distances, spaces, cardinalities, and sets symbolically or conceptually exist absent of any physical representation?
===
> No, you haven't. At best, you have shown that holding that position is not justified (arguably, you haven't done that either, but it doesn't really matter for this). ... Well, see above. You have to show that it is impossible for something to be unexplainable, not just that we don't know whether something is unexplainable.
Explain how I haven't. You're just saying I haven't. Where is the misstep in my argument (formalized below)?
==========
1 ) If X has no explanation, then X can't be explained.
2 ) If X can't be explained, then X is unintelligible.
3 ) If X is unintelligible and X is a part of reality, then the claim "reality as a whole is unintelligible" can be truthfully asserted.
4 ) If the claim "reality as a whole is unintelligible" can be truthfully asserted, then all claims about reality as a whole are unintelligible.
5 ) If all claims about reality as a whole are unintelligible, then the claim "reality as a whole is unintelligible" is unintelligible.
6 ) If the claim "reality as a whole is unintelligible" is unintelligible, then the claim "reality as a whole is unintelligible" cannot be truthfully asserted.
----------
7 ) X is a part of reality and X has no explanation (ASSUME for RAA)
8 ) X is a part of reality (Conjunction Elimination from 7)
9 ) X has no explanation (Conjunction Elimination from 7)
10) X can't be explained (Conditional Elimination from 1, 9)
11) X is unintelligible (Conditional Elimination from 2, 10)
12) X is unintelligible and X is a part of reality (Conjunction Introduction 11, 8)
13) The claim "reality as a whole is unintelligible" can be truthfully asserted (Conditional Elimination from 3, 12)
14) All claims about reality as a whole are unintelligible (Conditional Elimination from 4, 13)
15) The claim "reality as a whole is unintelligible" is unintelligible (Conditional Elimination from 5, 14)
16) The claim "reality as a whole is unintelligible" cannot be truthfully asserted (Conditional Elimination from 6, 15)
17) The claim "reality as a whole is unintelligible" can be truthfully asserted and The claim "reality as a whole is unintelligible" cannot be truthfully asserted (Conjunction Introduction 13, 16)
18) Therefore: It is not the case that X is a part of reality and X has no explanation (Reductio Ad Absurdum from 7 to a contradiction on 17)
---------
Rephrasing of the Conclusion: Either X is not a part of reality or X has an explanation (De Morgan)
Rephrase of the Rephrasing: If X is a part of reality then X has an explanation (Implication)
> Replaced "attempted the method" with "carried out the method" because you can fail an attempt, but to fail to attempt the method is to not follow the method. There is not a single known instance of a person having carried out the methods employed by the saints that didn't end up with good results.
Those methods don't possibly include as one step being successful? As in: If you don't get the good result, then the only accepted explanation is that you didn't do it right? Because that would be an untestable claim, then.
Also, in any case, that doesn't resolve the bias, as that sounds pretty much like a textbook example of survivorship bias. Or in other words: Why would you expect to know about someone carrying out the methods and failing? The fact that you don't know about them does not mean that they don't exist, and it seems pretty obvious that those who succeed would be way more likely to be known. Also, it seems just completely impossible to know that such a person never existed, given that anyone out of billions or humans could have been someone who tried?
> Depends on how you are defining overall happiness. Many saints died joyfully while being tortured to death.
Seriously? You are telling me that you can't recognize this as a case of mental illness, and the only possible explanation in your mind is that they found a path to happiness that would be usable by anyone? Sorry, but your claims really are getting absurd. Pretty much what you'd expect from someone who tries to find any justification for a predetermined conclusion, rather than following the evidence where it leads, though.
> The problem you'll find with this is that you're not likely to find anyone who employs no aspects of the methods used by the saints, particularly because such a person, and you'd agree, would be completely depraved.
I'm not sure that I would agree they would be depraved, I am not really sure what your point or argument even is there.
But in any case, sure, that might be a problem, but that is not my problem. If you make a claim, it's your responsibility to provide the evidence, and if that's too difficult, then that doesn't mean that your position is reasonable without evidence, it simply means that you are making unsubstantiated claims.
> Then just start with something, and if I don't agree with your assumptions then we can decide where to go from there. It doesn't have to be perfectly formal, but at least needs to flow via enumerated propositions.
Well, it's just that I have already tried that, and even the most basic concepts seem to be problematic. At its core it's pretty simple, actually, but I guess we'll just end up at exactly the same discussion we are already having:
1) Science says that untestable claims about reality are unreliable.
2) Religion says that certain untestable claims about reality are reliable.
3) Therefore, religion's claims as to the reliability of some claims about reality contradicts science's claims as to the reliability of those claims.
> Is it possible that a testable claim could be true and imply another claim that is not testable?
No.
> Flat earthers may say the same to anyone whom tells them that there is great evidence that the earth is an oblate spheroid. Simply thinking that evidence isn't sufficient doesn't mean that it isn't.
Yeah ... so? They are still wrong, and I am most likely not.
> Science is a method. Doing science is to use the scientific method.
No. "The scientific method" is a very naive conception of science that is possibly useful as a teaching device, but not much more.
You seem to insist on modeling science as a dogma. The problem is: It just isn't.
Doing science is to use whatever methods that deliver demonstrably reliable results and reject whatever methods that don't. There is no fixed method, because that in itself would be unreliable.
> The scientific method involves testing claims. Using the scientific method on non-testable claims is contradictory.
Then don't use "the scientific method"! It is well-established that untestable claims are unreliable (and I have explained at length why), and so science uses that knowledge to weed out unreliable claims. Weeding out unreliable claims is a very important part of doing science effectively.
> The scientific method and the claims it has proven can co-exist with claims that can't be tested so long as those claims don't contradict the scientific claims.
No, when science tells us that your claim is indistinguishable from stuff someone made up, then that is not consistent with you telling us that you know it to in fact be true. Either there is indeed a good reason to think it is in fact true, then science is wrong and needs to be corrected so it doesn't classify a reliable claim as unreliable, or there is not, then you are irrational when accepting it anyway.
All you are saying here is that it is reasonable to believe made-up nonsense as long as science hasn't disproved it yet. And just to make sure you don't misunderstand: I did not say that whatever model you propose is made-up nonsense. But as it is indistinguishable from made-up nonsense, either both your proposed model and made-up nonsense are reasonable to believe, or neither is, because you don't have the option to distinguish the indistinguishable.
> While those claims that can't be tested can co-exist with the scientific method, the incompatibility is in attempting to do science with those claims.
No, the incompatibility comes from the fact that both are claims about the same subject matter, namely reality, and that those claims are contradictory.
> I get what bootstrapping means in compiler terms, but regarding methods of discerning truth, the notion of bootstrapping would seem to fly in the face of Gödel.
All I mean is that you (kindof) have to make some assumption of sorts, because there is no way to prove ultimate reality or disprove hard solipsism. If someone insists that they are a brain in a vat, there is no way to prove to them that they are not. But still, most people are willing to accept that other people exist, at least as a useful model of the reality they experience, so you generally can build on that assumption to make convincing arguments.
> Still sounds like your relying on the assumption that our senses are reliable... Like, you wouldn't know that using your senses out performs ignoring your senses unless you were already relying on your senses to determine that.
You do know that by definition. Senses are, by definition, those inputs that reflect external reality. Ignoring all inputs about external reality cannot possibly be more successful at manipulating the external reality than using inputs about external reality. And mind you that that would include stuff like a "god sense", if that were a thing, and god were a part of reality that you could sense.
> Under this axiomatic context: Do distances, spaces, cardinalities, and sets symbolically or conceptually exist absent of any physical representation?
I don't know. I certainly don't see any reason to believe so.
> Explain how I haven't. You're just saying I haven't. Where is the misstep in my argument (formalized below)?
The primary problem with that whole argument is that it considers having an explanation a property of the thing to be explained, rather than of the subject (not) understanding the thing.
For one, that seems like an incoherent concept, but more importantly, it's just completely unhelpful. We were talking in the context of what we can know, and if we can't know something, it is completely irrelevant if it had some property of "having an explanation" that isn't accessible to us.
> Where did "'the measured change in state' is an effect 'of the potential of the universe to change state'" come from? I never stated this, thus you've made a straw-man and then drew comparisons with it to electrons, effectively making up the notion of me being incoherent.
Uh, well, I dunno, possibly I misunderstood something. Could you then provide a criterion by which to distinguish the physical from the non-physical, that could be applied to an arbitrary object to determine whether it is physical or non-physical, and that's not using just vague terminology that could eaily be interpreted in a dozen different ways?
> Another way to think of it. "A: X while Y". A is moral when "X: Throwing darts" and "Y: aiming at a dart board". You can modify Y to "aiming at someones face" and make A immoral with out changing X.
Sure. And what would be the analogue of "aiming at the dart board" in your abstract argument then? Wouldn't that be that it is moral to do what is moral when you think it is moral? So, it is immoral to do what is moral when you think it is immoral, and it is moral to do what is moral when you think it is moral. Or in other words: Whether something is moral is completely determined by whether you think it is moral, and whether it is moral has no effect on whether it is moral?
> Oh please. The objective definition incorporates subjective conditions. Ex: Define F as the set of propositions {A -> B, C -> D, A -> ~D, C -> ~B}. F is an objective framework which never changes, but what is derived from F is subject to the truth values of A, B, C, and D.
But what is your objective definition? There is no problem with having an objective definition that depends on subjective conditions. But there is a problem with having an objective definition that completely delegates to subjective conditions while also claiming to give evaluation results that are independent of (those) subjective conditions, which seems to be what you are doing.
There seems to be no situation in which your rule of "doing X is (im)moral if is you think it is (im)moral" would leave the morality of an action undefined, but you still claim that this is the exception to a rule that applies in other cases. What are those other cases?
> I'm curious. How do you think theists generally justify their position?
There isn't one justification, but still a somewhat limited set of justifications, that are all equally bad, but for different reasons. So, not really something I can answer in under a few dozen pages. But I guess the videos on Matt Dillahunty's youtube channel (SansDeity) do cover quite a lot of those, if you want to find out. They also had a counter-apologetics wiki at http://wiki.ironchariots.org/, but that's been offline for a while ... but, just looking into it, it seems like someone has put up a fork: https://religions.wiki/ --I guess that might be worth a look as well.
> False analogy. I'm claiming that everyone whom employs the methods of the saints achieves their goals of happiness. Your analogy would only be valid if everyone got rich with day trading, and if that were the case then that would be evidence that day trading generally makes people rich.
Well, possibly that is what you intended to claim, but you very much didn't. You wrote about saints as opposed to people who didn't use their methods, and you also didn't make the claim that all people who used those methods were saints. So, the analogy was perfectly fine.
How do you determine that something is not testable? How do you determine that something is unreliable?
When you say "Science says", what do you mean? When you say "Religion says", what do you mean?
>> Is it possible that a testable claim could be true and imply another claim that is not testable?
> No.
Why?
===
> Yeah ... so? They are still wrong, and I am most likely not.
How do you know that there is a greater chance that you are not wrong? What are the percentages you have calculated to conclude this?
===
> Doing science is to use whatever methods that deliver demonstrably reliable results and reject whatever methods that don't. There is no fixed method, because that in itself would be unreliable.
Is "use whatever methods that deliver demonstrably reliable results and reject whatever methods that don't" a fixed method?
> It is well-established that untestable claims are unreliable (and I have explained at length why)
Would you please explain "at length" once more in the form of a syllogism that ends with the conclusion "Therefore all non-testable claims are unreliable"?
> Either there is indeed a good reason to think it is in fact true, then science is wrong and needs to be corrected so it doesn't classify a reliable claim as unreliable
It's becoming more clear that we seem to have different criterion for what we consider testable. Would you consider all claims that are provable or disprovable testable? Would you consider all claims that if true, and not provable or disprovable, are not testable?
> No, the incompatibility comes from the fact that both are claims about the same subject matter, namely reality, and that those claims are contradictory.
What are some claims of science and religion (regarding religion, particularly fundamental ones) that are contradictory, as in they claim opposing things (X and ~X)? Or are the only claims that are incompatible as far as you are concerned the ones stated in your above syllogism?
===
> All I mean is that you (kindof) have to make some assumption of sorts, because there is no way to prove ultimate reality or disprove hard solipsism.
So, there is some first self-evident method that can't be tested for reliability without being circular?
> You do know that by definition. Senses are, by definition, those inputs that reflect external reality.
A definition you have assumed? Don't get me wrong, I'm not saying anything is wrong with that assumption, it is a self-evident one, but call it like it is.
===
>>> More precisely, because a statement about math is not a statement about reality, other than that math is part of (human) reality.
>> When you apply the name "John" to one person and the name "Jack" to another, there are physical criterion to distinguish between John and Jack allowing us to verify via testing that a claim only about John is not a claim about Jack. Unless there are physical criterion that allows us to distinguish between math and reality, you've made a false analogy.
>>> The answer is simply: They didn't.
>> The conclusion I'm looking for is "They couldn't" and in particular "They couldn't intelligibly mean 'claims only about math are claims about reality'" and I want to know why. Only saying "they didn't" leaves the door open for someone else who could.
?
===
>> Under this axiomatic context: Do distances, spaces, cardinalities, and sets symbolically or conceptually exist absent of any physical representation?
> I don't know. I certainly don't see any reason to believe so.
Then you can't see any reason to believe '1 < 2' could make reference to anything other than the physical representations of distances of space, cardinalities of sets, and any other needed mathematical structures?
===
> The primary problem with that whole argument is that it considers having an explanation a property of the thing to be explained, rather than of the subject (not) understanding the thing.
==========
1 ) If X can't be explained, then X is unintelligible.
2 ) If X is unintelligible and X is a part of reality, then the claim "reality as a whole is unintelligible" can be truthfully asserted.
3 ) If the claim "reality as a whole is unintelligible" can be truthfully asserted, then all claims about reality as a whole are unintelligible.
4 ) If all claims about reality as a whole are unintelligible, then the claim "reality as a whole is unintelligible" is unintelligible.
5 ) If the claim "reality as a whole is unintelligible" is unintelligible, then the claim "reality as a whole is unintelligible" cannot be truthfully asserted.
----------
6 ) X is a part of reality and X can't be explained (ASSUME for RAA)
7 ) X is a part of reality (Conjunction Elimination from 6)
8 ) X can't be explained (Conjunction Elimination from 6)
9) X is unintelligible (Conditional Elimination from 1, 8)
10) X is unintelligible and X is a part of reality (Conjunction Introduction 9, 7)
11) The claim "reality as a whole is unintelligible" can be truthfully asserted (Conditional Elimination from 2, 10)
12) All claims about reality as a whole are unintelligible (Conditional Elimination from 3, 11)
13) The claim "reality as a whole is unintelligible" is unintelligible (Conditional Elimination from 4, 12)
14) The claim "reality as a whole is unintelligible" cannot be truthfully asserted (Conditional Elimination from 5, 13)
15) The claim "reality as a whole is unintelligible" can be truthfully asserted and the claim "reality as a whole is unintelligible" cannot be truthfully asserted (Conjunction Introduction 11, 14)
16) Therefore: It is not the case that X is a part of reality and X can't be explained (Reductio Ad Absurdum from 6 to a contradiction on 15)
---------
Rephrasing of the Conclusion: Either X is not a part of reality or X can be explained (De Morgan)
Rephrase of the Rephrasing: If X is a part of reality then X can be explained (Implication)
==========
> Could you then provide a criterion by which to distinguish the physical from the non-physical, that could be applied to an arbitrary object to determine whether it is physical or non-physical, and that's not using just vague terminology that could eaily be interpreted in a dozen different ways?
To exist and be non-physical is to exist and be incapable of changing state, to exist and be incapable of changing state is to exist and be non-physical.
===
> Whether something is moral is completely determined by whether you think it is moral, and whether it is moral has no effect on whether it is moral?
Wow have I done a terrible job of separating the conscience act from the external act. To be abundantly clear, it is immoral to violate your conscience. There can be two actions that occur when you perform an action: Choosing an action is itself an action, and performing the chosen action is separate from the choosing of that action. So if I where to correct my comments along these lines I would properly state: "It is immoral to [choose to] do what you think is immoral even if [what you choose to do] is moral, so you'll be better off doing [an action] you think is moral even if [that action] is immoral [because choosing to do otherwise would be immoral]. You are better off this way because you are not as/(at all) culpable for your actions if you didn't know they were wrong. That being said we are obligated to correct our neighbors' incorrect moral beliefs and to be open to being corrected."
===
> Sorry, but your claims really are getting absurd.
Argumentum ad Lapidem
Do you expect all true claims to sound rational before you've heard their justification? What did you expect given that I haven't been taking any steps to establish them?
> Pretty much what you'd expect from someone who tries to find any justification for a predetermined conclusion, rather than following the evidence where it leads, though.
"Ad Hominem"
Ouch. Like you've done with 'claims only about math are not claims about reality'? (<- ad hominem)
That might be what you'd expect, but if you claim that's the kind of person I am then you'll need to substantiate that claim.
Lol, I've stated that I'm not taking any steps to establish my claims to you, as they don't usefully tie into to our compatibility discussion, several times now.
> ... it simply means that you are making unsubstantiated claims.
I've stated that I'm not taking any steps to establish my claims here several times now. Echo echo echo ...
> Would you please explain "at length" once more in the form of a syllogism that ends with the conclusion "Therefore all non-testable claims are unreliable"?
Because they are indistinguishable from stuff someone just made up. Do you agree that making shit up is not a reliable way to determine facts about reality?
> It's becoming more clear that we seem to have different criterion for what we consider testable.
I suspect that's a central problem, yes. The scientific notion of testability is something people with a religious background often seem to have difficulty wrapping their head around.
> Would you consider all claims that are provable or disprovable testable? Would you consider all claims that if true, and not provable or disprovable, are not testable?
First of all, just to make sure we aren't getting confused: This is all about "real truths", not about "formal truths", as "proof" is generally the term used by mathematics to describe derivation of formal truths, not so much by scientists, who would rather use terms like "evidence" or "demonstration" to describe, well, evidence for a hypothesis ... though people often colloquially use "proof" for either, even scientists, but it should be understood that it is being used in a meaning distinct from the mathematical use.
Also, I suspect that you are probably completely on the wrong track with "provability", even if I assume that you mean some sort of evidence-driven thing, because testability is not about whether some claim has been shown to be true or false, but about whether the claim could be shown to be false.
Testability is not a question of showing that something is true, because that isn't really a thing with inductive reasoning: For any model where you have not actually tested every prediction that you could derive from it (and those tend to be infinitely many for any non-trivial claims), you can not possibly be sure that there are no circumstances under which it would make a wrong prediction. So, testability is only concerned with showing that a claim is false, by demonstrating a contradiction, because you can indeed be sure that a model that makes predictions contradicted by a single test is incorrect (assuming you did not screw up the test, of course).
Now, of course, for a claim to be considered testable, it is not required that you demonstrate that it is false, that would be kinda pointless. The requirement is that you could potentially demonstrate it to be false if it were false.
So, for example, "water boils at 100 °C at atmospheric pressure" is testable, because there is an experiment that you could do that would contradict the claim if it weren't true. For example, if water actually only boiled at 200 °C, you could put together a demonstration where you heated water to 150 °C, showing that it didn't boil, thus contradicting the claim, thus demonstrating that it is false.
On the other hand, "invisible unicorns exist" is not testable, because there is no experiment that you could possibly do that would show it to be false. No matter what you observe about the world, there is no possible observation that could contradict the claim. That is simply because the claim does not make any predictions about observable reality--and if there is no prediction, there is no way to make an observation that would contradict any prediction.
Another common form of untestable claims, especially from religious people, is of the form "God listens to prayer and sends you help when you need it. When you pray, but you don't receive the help you think you need, god knew better that you actually didn't need the help you thought you needed." So, you pray, and either you get what you prayed for, then that is counted as evidence that god listened to the prayer, or you don't get what you prayed for, then that is counted as evidence that god knows better than you. The important point is: No matter what happens, it is counted as evidence for god. But an experiment where the result is counted as evidence for a particular hypothesis, no matter what the result of the experiment is, doesn't actually provide any evidence for anything, because the conclusion from the experiment does not actually depend on the result of the experiment. If you count every possible outcome as evidence for your hypothesis, there is no point in even doing the experiment, the result is the same as if you were to simply come to the conclusion without an experiment. Or in other words: Such a claim is indistinguishable from something that someone just made up.
> What are some claims of science and religion (regarding religion, particularly fundamental ones) that are contradictory, as in they claim opposing things (X and ~X)?
Religion: "It is warranted to believe that a god exists."
Science: "It is not warranted to believe that a god exists."
> A definition you have assumed? Don't get me wrong, I'm not saying anything is wrong with that assumption, it is a self-evident one, but call it like it is.
WTF? Yes, I am assuming a shared definition of every single word that I am using. Are you expecting me to spell that out, as if it could possibly be any different? Yes, I am assuming that you share the definition of "to be", and the definition of "different", and the definition of "yes", and the definition of "definition", and the definition of "to assume", ... seriously?
> 1 ) If X can't be explained, then X is unintelligible. [...]
Did you change anything? This is again treating the explainability as a property of X, which is incoherent nonsense. What we are talking about is that some particular subject/class of subjects possibly won't ever gain certain knowledge. So, a sensible way to express that is something along the lines of "If X will never be understood by humans, then ...". Maybe you could rewrite your argument in those terms?
> To exist and be non-physical is to exist and be incapable of changing state, to exist and be incapable of changing state is to exist and be non-physical.
So, how does that distinguish the physical from the non-physical, when the physical isn't even mentioned?
> Wow have I done a terrible job of separating the conscience act from the external act. To be abundantly clear, it is immoral to violate your conscience. There can be two actions that occur when you perform an action: Choosing an action is itself an action, and performing the chosen action is separate from the choosing of that action. So if I where to correct my comments along these lines I would properly state: "It is immoral to [choose to] do what you think is immoral even if [what you choose to do] is moral, so you'll be better off doing [an action] you think is moral even if [that action] is immoral [because choosing to do otherwise would be immoral].
So, how exactly are you adding anything of substance here? All of those additional words don't do anything about the brokenness of the argument, unless you are saying that it is possible to act in a way that is not in accordance with how you choose to act ... which is just gibberish. The subjective idea of what is moral still fully determines the choice, and unless you can choose to act differently that you choose to act (WTF?), any independent claims about the morality of the action still are as vacuous as they were before.
> You are better off this way because you are not as/(at all) culpable for your actions if you didn't know they were wrong. That being said we are obligated to correct our neighbors' incorrect moral beliefs and to be open to being corrected."
What does that have to do with anything? I thought we were talking about morality, not culpability, nor obligations to neighbors?!
> Do you expect all true claims to sound rational before you've heard their justification? What did you expect given that I haven't been taking any steps to establish them?
No, but I expect that anyone who is serious about a discussion doesn't just suddenly dump on me some outlandish claims with the expectation that I will accept them for the purposes of building arguments on them. It should hardly be a surprise to you that I don't share the assumption that those claims that you were making are true, so it is obviously completely pointless to even mention them if you don't intend to justify them. You might as well just be saying "I am right" ... might be true, but it's obviously guaranteed to be unconvincing.
> "Ad Hominem"
Nope. That simply wasn't an argument at all, just an observation.
> That might be what you'd expect, but if you claim that's the kind of person I am then you'll need to substantiate that claim.
Correct. Which is why I am not making that claim. I am simply telling you that you maybe should check extra carefully whether that is what you are doing. Because I, ultimately, can't.
How do you determine that a claim is not falsifiable? How do you determine that a claim is unreliable?
When you say "Science says", do you mean "Science is defined as such ..." or "Science has arrived at the conclusion ..."? When you say "Religion says", do you mean "All religions assert ..."?
> Because they are indistinguishable from stuff someone just made up. Do you agree that making shit up is not a reliable way to determine facts about reality?
While I agree that making shit up is not reliable, some claims that are "indistinguishable from stuff someone just made up" aren't necessarily untrue. Given that claims "indistinguishable from stuff someone just made up" could be true, one might think that there may be claims which, though are non-testable, are reliable for use. If that is not the case, then you have to establish the claim "non-testable claims are unreliable" in order to support what you're saying sciences asserts ("that untestable claims about reality are unreliable").
Also, when you say a claim is reliable, what is it reliable for?
===
s> Is it possible that a testable claim could be true and imply another claim that is not testable?
z> No.
s> Why?
?
===
> ... testability ... is about whether the claim could be shown to be false. ... The requirement is that you could potentially demonstrate it to be false if it were false.
You may need to elaborate for me, because true claims can't potentially be shown to be false in principle. So, are we calling claims falsifiable because we don't know beyond inductive reasoning that they are true and can out of ignorance come up with test that potentially demonstrates they are false?
===
z> Doing science is to use whatever methods that deliver demonstrably reliable results and reject whatever methods that don't. There is no fixed method, because that in itself would be unreliable.
s> Is "use whatever methods that deliver demonstrably reliable results and reject whatever methods that don't" a fixed method?
?
===
> Religion: "It is warranted to believe that a god exists."
> Science: "It is not warranted to believe that a god exists."
Assuming your saying "It is not warranted" because the claim "God exists" is not falsifiable, how has it been shown that the claim "God exists" is not a falsifiable claim?
===
> WTF? Yes... ... seriously?
Oh, so you agree that science relies upon the reliability of the senses and that the claim "our senses are reliable" is not falsifiable in principle?
===
z> More precisely, because a statement about math is not a statement about reality, other than that math is part of (human) reality.
s> When you apply the name "John" to one person and the name "Jack" to another, there are physical criterion to distinguish between John and Jack allowing us to verify via testing that a claim only about John is not a claim about Jack. Unless there are physical criterion that allows us to distinguish between math and reality, you've made a false analogy.
??
===
z> The answer is simply: They didn't.
s> The conclusion I'm looking for is "They couldn't" and in particular "They couldn't intelligibly mean 'claims only about math are claims about reality'" and I want to know why. Only saying "they didn't" leaves the door open for someone else who could.
??
===
s> Under this axiomatic context: Do distances, spaces, cardinalities, and sets symbolically or conceptually exist absent of any physical representation?
z> I don't know. I certainly don't see any reason to believe so.
s>Then you can't see any reason to believe '1 < 2' could make reference to anything other than the physical representations of distances of space, cardinalities of sets, and any other needed mathematical structures?
?
===
> Did you change anything?
Did you read it? The first argument contains 18 points and said "X has". The second argument contains 16 points and does not say "X has".
> This is again treating the explainability as a property of X, which is incoherent nonsense.
Could you quote something from the second argument that treated "explainability as a property of X"?
===
> So, how does that distinguish the physical from the non-physical, when the physical isn't even mentioned?
I guess the implication wasn't obvious enough. To exist and be physical is to exist and be capable of changing state, to exist and be capable of changing state is to exist and be physical.
===
> ... unless you are saying that it is possible to act in a way that is not in accordance with how you choose to act ... which is just gibberish.
"Intend" is probably a better word than "choose".
===
> No, but I expect that anyone who is serious about a discussion doesn't just suddenly dump on me some outlandish claims with the expectation that I will accept them for the purposes of building arguments on them.
Like 'claims only about math are not claims about reality'?
> While I agree that making shit up is not reliable, some claims that are "indistinguishable from stuff someone just made up" aren't necessarily untrue.
Correct. Which is why I am not saying that claims that are indistinguishable from stuff that someone just made up are false. Really, even stuff that someone in fact just made up is not necessarily untrue. It is possible to make shit up and end up with the truth. But most claims that you could make up are false (for any claim A that you could make up, you could also make up at the very least the claim that not A, and at most one of those two can be true), which is why just making things up is not a reliable way to determine truth.
> Given that claims "indistinguishable from stuff someone just made up" could be true, one might think that there may be claims which, though are non-testable, are reliable for use.
"reliability of a claim" means the probability that the claim is true, based on what you know. The fact that some of the claims might be true does not mean that the probability of any particular claim being true is high.
> Also, when you say a claim is reliable, what is it reliable for?
It's not reliable _for_ anything, it is simply likely to be a correct description of reality.
> You may need to elaborate for me, because true claims can't potentially be shown to be false in principle.
Yes, they can, and that is the most important part of it that you have to wrap your head around.
The claim "water boils at 100 °C (at standard pressure ...)" is probably true, I suppose you would agree?
Here is an observation that could potentially be made that would count as falsification of the claim: Water in liquid form at 200 °C (at standard pressure ...).
Testability is not about actual demonstration, it is about potential demonstration. There has to be some demonstration that, if it were done, would be accepted as demonstrating that the claim is false.
The whole point is that for actually true claims, those demonstrations will never be actualized. But for actually false claims, they might, and often are. And that is how we weed out false claims, thus increasing the concentration of actually true claims in what we consider "state of the art human knowledge".
It is important to remember that "water boils at 100 °C" is not something we know for absolutely certain to be true. All attempts to falsify it so far have failed, that is all: All experiments so far have not produced any result that contradicts that claim. But for all we know, someone could demonstrate liquid water at 200 °C tomorrow (or water steam at 50 °C, or whatever--there are tons of demonstrations that would be accepted as falsification of that claim), and that would establish that this claim is false, after all.
> Assuming your saying "It is not warranted" because the claim "God exists" is not falsifiable, how has it been shown that the claim "God exists" is not a falsifiable claim?
What would you accept as falsification of the claim of the existence of the god that you believe in?
> Oh, so you agree that science relies upon the reliability of the senses and that the claim "our senses are reliable" is not falsifiable in principle?
All you are really saying here is "What if reality isn't real?" That is just a pointless objection. Whatever "ultimate reality" looks like, we still have to deal with the reality that we experience, and we most certainly experience what we experience, and the possibility that we might not be experiencing "ultimate reality" does not change that we are experiencing a reality, and that it is meaningful to make statements about that reality.
> Did you read it?
Yes, but it didn't seem like you changed anything of substance, in particular with regards to my criticism.
> Could you quote something from the second argument that treated "explainability as a property of X"?
The problem is that you are writing so massively ambiguous statements that it is very hard to nail down what you actually mean, and thus where exactly you treat explainability as a property of X. Even the first half of a sentence, "If X can't be explained", certainly sounds like "can't be explained" is a property of X. To avoid some of that ambiguity, I would very much prefer if you were to explicitly write down your argument completely avoiding "can be explained" or "has an explanation", instead using only "is known to humans" or "will be known to humans", and show that way that humans will at some point in time know everything.
And yes, I am aware that I am skipping a lot of stuff. I am getting the impression that we aren't getting anywhere with those due to way more fundamental misunderstanding, and I suspect a lot of it boils down to testability one way or another, so I think we are better off concentrating on that for now, instead of wasting a lot of time with going in circles.
Sorry about that, I wasn't explicit with that as part of my intention.
================================================================================
> By looking for statements that as input for their evaluation depend on something that is not just a matter of definition.
How would a claim only depending on something that is just a matter of definition indicate that it is not about reality?
How do you determine whether a claim depends on something that is not just a matter of definition?
Isn't the claim "1 + 9 = 10" a claim about reality by virtue of it being a claim (because a claim asserts something as true, and to be true is to be in accordance with reality, so "1 + 9 = 10" is to say that "'1 + 9 = 10' is in accordance with reality")?
================================================================================
> The problem with your analogy is that that diamond (or its absence) is represented, in the form of the diamond (or its absence).
Is this to say that the diamond is its representation?
> It's a claim about external reality, or a description of a pattern in external (physical) reality. That pattern is there, even without anyone conceptualizing it.
Would this mean math doesn't exist outside of the brain because it doesn't have "a pattern in external (physical) reality"?
Assuming only physical reality exists, wouldn't that make math a physical part of the brain?
> Claims about mathematics are inherently linked to those definitions, and to those rules of evaluation.
Are definitions and rules of evaluation physical?
> A closer analogy would be about "a diamond on the moon", with "the moon" having no referent. Does "a diamond is on the moon" have a truth value if there is no moon?
Agreed. What indicates that the statement "1 < 2" has no referent?
================================================================================
>>>>> Making the assumption that there is such a thing as immaterial Peano axioms seems to me as reasonable as making the assumption that there is such a thing as immaterial cake.
>>>> So what material(s) are the Peano axioms composed of?
>>> That's a category error?
>> Are you asking me or telling me? If you're telling me it is a category error, why?
> I am telling you, because axioms are not made of a material.
>> Do you think that the Peano axioms are material or not material?
> I would tend towards saying that they are not material, in the same way that I would say that movies are not material. But that does not mean that I think that the Peano axioms can be said to exist absent a material representation, just as I wouldn't think that movies can be said to exist absent a material representation.
> An expression of the form "movies are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of movies.
Would the equivalent statement for axioms therefore say "An expression of the form "axioms are not material" only says something about which aspects are relevant to the abstraction, not about the underlying reality of instances of axioms"?
================================================================================
> Would you also say that electrons are part of non-physical reality, for example? Mind you, we have never observed electrons themselves!
Depends on how you are defining "observe". Regarding electrons, the effects they produce indicates interactions that are physical in nature.
================================================================================
>> Implicit in my reason is the claim that when one acts according to God's will they will attain maximal joy/happiness.
> Well, sure, but then that's still mostly just the same claim using different words, not a reason to be convinced it's actually true?
You never asked for reasons to be convinced it's true. You asked for reasons to care.
> And the global maximum of eating pleasure is achieved through eating according to Jane's will for your entire life, so don't let dips in local pleasure deter you from abiding by Jane's will.
> Are you convinced yet that eating the way Jane wants you to is the way to go? If not, why not?
If you cared to attain maximum eating pleasure and you believed of Jane that the maximum eating pleasure could be achieved through eating according to Jane's will your entire life, then Jane's will would be the way to go.
To parallel:
If you cared to attain maximum joy/happiness and you believed of God that the maximum joy/happiness could be achieved through acting according to God's will your entire life, the God's will would be the way to go.