Ok .. :ae:.. you are getting a little better but still missing the mark I'm afraid.
I could argue this point from two perspectives.
I could state that this is irrelevent since you have misunderstood my statements or ...
I could demonstrate how you misaplied Godel to the context of our discussion(that is an eternal data set, or at a minimum, one that can jump systems).
Just to clear my previous comments:
grace2u writes:
I am not arguing that the AXIOMS contained within the various logical(or nonlogical) systems are universal and invariant, rather that there are in existence a set of universal and aboslute laws(reflected by laws of thought and laws of logic(reason)) that make these laws perceivable and useful to us
I must first begin by copying over the quote that I used to summarize my final point from inconsistencies within atheistic evolution.... I did say that these universal absolutes are REFLECTED by the laws of thought and laws of logic(reason).
Now, in your statement:
:ae: writes:
I take your assertion that the "laws of logic" are universal, absolute and fixed to mean that there exists some single set of fundamental axioms from which all logical systems proceed
I contend that it is possible that there is one single set, but not known by man. How could man ever know that this is the case. Even if a theist said, here they are... I would still maintain that we do not know if that is truly complete. Again, we can only measure a system to the degree accuracy of our tools. Unless one postulates they are god-and therefore error free, they could never be for certain.
Now, for the sake of discussion and to demonstrate you are wrong yet again, even though I really am not obliged to, I will demonstrate where your strict system does not in fact represent reality and where Godels infamous incompleteness theorem does not hold(this by his own definition). BTW it is not merely I that contend it doesn't hold in reality, but many philosophers will agree in the following(references provided if asked-I'm being lazy).
:ae: writes:
What it states essentially is that for any set of axioms at least sufficiently complex as to model elementary arithmetic there exist within the system well-formed formulae which are true yet unprovable in the system lest the system suffer inconsistency
I agree with your summary of the theorem...
Please note the emphasis on --ANY SET OF AXIOMS AT LEAST SUFFICIENTLY COMPLEX(btw I'm not shouting here, simply emphasizing)--and then it continues.
So,
1)Godel states that the proposed SET of axioms must be sufficiently complex. Now as I'm sure you know, the incompleteness theorem requires a system in which to operate in, else it falls apart.
2)That is to say, if the data set is infinte, the theorem does not hold. I am sure we could argue all day and night whether or not the universe and the logic that describes it is infinite or not. I hope we could agree that it is. So, if the set of axioms is infinite(or can in essence cross systems), the theorem is invalid. This theorem is more a problem for a mathematician than a theist philosopher arguing that that an infinite God contains infinite and absolute logic that is reflected towards His creation.
BTW, I am not arguing against Godel, merely that you have misapplied his theorem in this case.
Nice try..
I will have to address your other point tomorrow, its getting late.
Take care and I still do appreciate your comments ,
"Christe eleison"