On 01 Mar 2014, at 14:00, Edgar L. Owen wrote:
Bruno, This is incorrect. We know truth by its consistency across scope.
Consistency does not entail truth.
The universe is consistent.
That makes no sense. The universe is not a theory, nor a believer, a priori.
I don't know what you mean by "universe", also. Do you mean "physical universe"? "primitive physical universe?", or mathematical universe? or theological universe?
You take for granted what I am searching for.
A person is part of the universe. People have no direct knowledge of the universe. They have only their internal mental simulation of the universe. To the extent that simulation is consistent they are able to live and function in a consistent universe. Consistency across maximum scope IS TRUTH.
Many propositions A can be such that both A and ~A are consistent. What you say makes no sense, unless you mean that the reality is made of all consistent realities, like the everythingers of this list. This leads to block-multiverses, or block multidreams, like arithmetic already is.
In fact this is the fundamental principle of scientific method. If some aspect of scientific knowledge is NOT consistent with the rest then there is some error that is not truth somewhere. Correct the inconsistency and you come nearer to truth.
Correcting inconsistency makes you consistent, not true.
Only when all inconsistency vanishes can complete truth be achieved.
This has been refuted by Gödel, even only on arithmetic. Consistency appears to be cheap. Indeed Peano Arithmetic extended with the formula saying that Peano Arithmetic is inconsistent leads to a consistent theory. The theory PA + PA proves "0 = 1" does not prove that "0 = 1".
Bruno http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
