Little Idiot wrote:Xamonas Chegwé wrote:Little Idiot wrote:So you are still saying maths does show knowledge which can not be demonstrated emirically, as long as the axioms hold true and the logic is good. This even applies without the universe, as long as the axioms hold true and the logic is sound.
Even if it is easier for us to accept axioms because they agree with our empirical or experienced observations, the axioms can be of un-observed systems - who ever observed a pair of infinite lines, say, to confirm if they actually do or do not meet at infinity? Or, the first 4 Axioms of Peano which you linked to are described in the wiki link as 'in modern treatments these are often considered axioms of pure logic.' Therefore the truth of the axioms does not depend on being observed, we could say some axioms depend on being reasonable or logical.
Therefore, there is still knowledge proved by maths which can not be demonstrated by emirical method.
Also, mathematics offers absolute proof, if its axioms hold true and its logic is good. Empricism does not offer proof. This point alone establishes maths can provide knowledge that empiricism alone can not.
Therefore my claim of 'victory' on this point (that at least one other method of gaining valid knowledge) still stands.
If, in any given reality, it is possible to conceive of a set of axioms (such as the Peano axioms) which define Natural Numbers as we know them, then Fermat's Last Theorem (and everything other mathematical theorem that is derived from those axioms) will be true
in that reality.
I suppose it all comes down to how weird your
absolute reality (the one outside of time) actually is. If it is so far removed from what we can observe that the laws of logic do not apply (for example, if
A = B =/=> B = A
in absolute reality) then Peano axioms do not hold and nothing can be known about the results based upon them.
Basically, an assumption needs to be made regarding absolute reality.
It must be sufficiently like our observable reality for a set of axioms equivalent to Peano to apply. In other words, the concept of Natural Numbers must be
expressible within absolute reality. But we can only guess as to its nature based upon our empirical knowledge of
this reality, the observable one. So we are back to empiricism, albeit at a far more rarified level than treeness.
Wow.
I owe you an apology for making you think so hard!
I don't actually find thinking hard. The hard bit is transferring that thinking into words in an ordered and unambiguous manner.
I was, to be honest, working on a lot lower level than the response you offer, I was meaning in our reality, there are mathematical proofs (assuming axioms and logic hold) which can produce knowledge that not be demonstrated by emperical method, and there are axioms which do not depend on demonstration by observation to be true. (Such as parallel lines on a plane do not meet before infinity - we cant demonstrate that, but it could be an axiom).
It is an axiom - in Euclidian geometry. Usually stated in the equivalent form that, "There exists one, and only one line that can be drawn through any point not on a line which is parallel to that line." It is a bad example though, as taking the counter-assumptions (either that there exists no line, or many lines, parallel to the first) as axioms also leads to internally consistent geometries that have real-world applications. This is the heart of non-Euclidian geometry.
The point is proven, by the accepting of Peano axioms of pure logic.
Therefore there are other ways of us knowing within our reality.
By 'the point', do you mean the parallel postulate that you just referred to? The parallel postulate
cannot be proven by the first 4 Peano axioms - or even by using all of them - that is false. The Peano axioms relate to Natural Numbers, not to geometry.
Assuming that we accept mathematical theorems proved using sound logic based upon logical axioms as being different from empirical observation and not merely an extension of it (which I do not entirely concede but am happy to declare a moot point), then that,
single, alternative way of knowing exists.
This cannot be extended to imply that there are any other ways of knowing without further justification. And each way of knowing requires its own evidence.
But, although this point has become something of an issue since I 'proclaimed victory' on it, since the first 4 Peano axioms are pure logic, I need not have held the battle so dear, as I too must be allowed to present an axiom of pure logic without need for empirircal evidence.
You may present as many 'axioms of pure logic' as you wish. However, be aware that the beauty and value of the Peano axioms lies in their self-evident simplicity. To argue against them, one must pretty much argue that logical thought itself has no value.
Can you claim the same about
your 'axioms of pure logic'?
If I have not exhausted your patience, I can tell you the answer to your question about 'my' absolute reality.(I am not sure if I can ask a meaning full question of what this means for number theory, so I leave that to you - just tell me anything you can from this answer). In order to answer, I am not attempting to offer proof nor justification, so forgive my assertion, but you did ask about 'my' absolute reality so I hope I can be excused. I must however offer the first woo warning, read on at your own risk, if you are easily offended by statements unsupported by empirical evidence STOP!.
I am not offended at all. Why should I be? You are as entitled to your beliefs as anyone. However, I will STOP here and not address what comes after, except to say that it is unsubstantiated, illogical and ultimately meaningless. You describe a singularity where the rules of logic do not apply and call this an 'axiom of pure logic'. It is not. It is woo. It is belief. It is based upon nothing but supposition and vagueness. Sorry if that offhand dismissal offends you.
It has been nice debating with you. I hope you have enjoyed it too and maybe learned a little. I have certainly delved into areas that I have not visited for many years - hence a few contradictions, especially early on. I think I'll go and look for a thread about tits, or cheese, now. I need a little light relief.
