Regarding errors: It’s not that intuitionism never turns up errors. It’s that the classical approach incorporates the concept of error within the formal system itself. This is mentioned in the link I gave. There are two senses here:
Falsehood is more tightly interwoven in the formal system when following the classical approach.
Errors are more integral to the process of comparing maps to territories than the description of territories in themselves.
It is possible that these two senses are not directly comparable. My question is: How meaningful is the difference between these two senses?
Regarding subsets: It is true that intuitionism is often regarded as the constructive subset of classical mathematics, but intuitionists argue that classical mathematics is the proper subset of intuitionistic mathematics where proof by contradiction is valid. I’m basically paraphrasing intuitionistic mathematicians here.
This (i.e. subsets thing) is not intended as an irrefutable argument. It is only intended to extend the correspondence. After all, if either classical or intuitionistic approaches can be used as a foundation for all of mathematics, then it stands to reason that the other will appear as a proper subset from the foundational perspective of either.
Edit: This doesn’t add any new information, but let me give an example for the sake of vividness. Suppose you have a proposition like, “There is a red cube.” Next, you learn that this proposition leads to a contradiction. You could say one of two things:
This proves there is no red cube.
This means the context in which that proposition occurs is erroneous.
Does it make sense to say that 1 is the strategy of correcting a map and 2 is the strategy of rejecting a description as inaccurate without seeking to correct something?
Thank you for the response.
Regarding errors: It’s not that intuitionism never turns up errors. It’s that the classical approach incorporates the concept of error within the formal system itself. This is mentioned in the link I gave. There are two senses here:
Falsehood is more tightly interwoven in the formal system when following the classical approach.
Errors are more integral to the process of comparing maps to territories than the description of territories in themselves.
It is possible that these two senses are not directly comparable. My question is: How meaningful is the difference between these two senses?
Regarding subsets: It is true that intuitionism is often regarded as the constructive subset of classical mathematics, but intuitionists argue that classical mathematics is the proper subset of intuitionistic mathematics where proof by contradiction is valid. I’m basically paraphrasing intuitionistic mathematicians here.
This (i.e. subsets thing) is not intended as an irrefutable argument. It is only intended to extend the correspondence. After all, if either classical or intuitionistic approaches can be used as a foundation for all of mathematics, then it stands to reason that the other will appear as a proper subset from the foundational perspective of either.
Edit: This doesn’t add any new information, but let me give an example for the sake of vividness. Suppose you have a proposition like, “There is a red cube.” Next, you learn that this proposition leads to a contradiction. You could say one of two things:
This proves there is no red cube.
This means the context in which that proposition occurs is erroneous.
Does it make sense to say that 1 is the strategy of correcting a map and 2 is the strategy of rejecting a description as inaccurate without seeking to correct something?