Register | Sign In


Understanding through Discussion


EvC Forum active members: 66 (9164 total)
4 online now:
Newest Member: ChatGPT
Post Volume: Total: 916,471 Year: 3,728/9,624 Month: 599/974 Week: 212/276 Day: 52/34 Hour: 2/1


Thread  Details

Email This Thread
Newer Topic | Older Topic
  
Author Topic:   Easy proof for Inteligent Design
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 155 of 213 (556785)
04-21-2010 4:35 AM
Reply to: Message 154 by PaulK
04-21-2010 2:14 AM


Re: Necessary Truths
And, if you think about it the accountant CANNOT be adding information. Given the same numbers the summation must come out the same each time. Barring errors in the addition, the result MUST come out the same each time. If extra information were being added he result would depend on that extra information. And we know that that is not true, and in fact your argument depends on 1 + 1 always equalling 2, no matter what.
Any change in information is information in itself and information equality is both ways. But in this case it is only one way(I don't accept this however we assume your original argument correct). Means 1+1 have the meaning and information of 2 so 2 can easily be omitted and redundant. However if you put 2 instead of 1+1 we will lose information. We don't know that if 2 is for example 3-1 or 0+2 or 1+1,.... So we lost this bit. That's why they are claiming that it is not strictly tautology.

This message is a reply to:
 Message 154 by PaulK, posted 04-21-2010 2:14 AM PaulK has replied

Replies to this message:
 Message 159 by PaulK, posted 04-21-2010 4:54 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 156 of 213 (556786)
04-21-2010 4:37 AM
Reply to: Message 151 by PaulK
04-20-2010 5:43 PM


Re: Necessary Truths
No, the concept is derived from reality. By us.
We get to physics later. So you accepted that logical truths are derived from reality, correct?

This message is a reply to:
 Message 151 by PaulK, posted 04-20-2010 5:43 PM PaulK has replied

Replies to this message:
 Message 158 by PaulK, posted 04-21-2010 4:50 AM MrQ has not replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 157 of 213 (556789)
04-21-2010 4:47 AM
Reply to: Message 153 by cavediver
04-20-2010 11:53 PM


Re: Necessary Truths
Look, you are wandering far from your point, which still stands refuted - fundemental phsyics has shown us that reality follows a mathemtical order that leaves no room for design or choice, yet is so vast and hypothetically allows an infinitude of domains with varying physics that just about any plausible outcome will be realised at some point within the global parameter space. We see no room, nor need for any designer. That does not mean that there is no designer. But then it is not us, rather you, that is claiming a "proof". Are you ready to retract your claim?
Your problem is that you got stuck in physics. As I said this is the nature of probability models that gives pseudo-deterministic results on something that is random. In fact what you are claiming here is that probability models are not related to random variables and everything is deterministic. Because the same can be applied to other fields that probabilities are in use. So this will collapse whole notion of random variables and probabilities in mathematics. Do you agree on this?
I suggest you read this Determinism - Wikipedia. Also refer to my messages about incompleteness theorem. A totally deterministic logical system can't be build from within itself alone and needs some true axioms to start with from outside that is not in anyway dependent on the system.
Edited by MrQ, : refrence

This message is a reply to:
 Message 153 by cavediver, posted 04-20-2010 11:53 PM cavediver has replied

Replies to this message:
 Message 164 by cavediver, posted 04-21-2010 7:23 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 160 of 213 (556792)
04-21-2010 5:06 AM
Reply to: Message 159 by PaulK
04-21-2010 4:54 AM


Re: Necessary Truths
Aside form the dodgy first sentence which appears to claim that a loss of information is a gain of information this seems to simply agree with my point. May I take it that you accept that "1 + 1 = 2' is necessarily true as a consequence of the definitions of the symbols etc. in mathematics ?
No! As I said the information in tautology should be redundant in a way you omit any part of redundant information still you have a copy. In this case, simply is not true. I gave you an example of a proper tautology. "I am alive as I have life". If you omit any parts of it it will contain the same amount of information. Both "I am alive" and "I have life" are complete and gives us the same information. In our example 1+1=2, simply it is not true. Apart from the fact that equality by itself is an additional information which is omitted.
Apart from all these, incompleteness theory at least claims that you can't build a logical system from within itself consistently. Therefore, something should come from outside.

This message is a reply to:
 Message 159 by PaulK, posted 04-21-2010 4:54 AM PaulK has replied

Replies to this message:
 Message 161 by PaulK, posted 04-21-2010 5:12 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 162 of 213 (556796)
04-21-2010 5:20 AM
Reply to: Message 161 by PaulK
04-21-2010 5:12 AM


Re: Necessary Truths
The only difference seems to be that '1 + 1' carries more information than '2'. That really isn't a huge difference.
This is a joke! We are doing scientific discussion here. What do you mean by huge difference?! How much difference should be there for you to accept it! The fact is that these two are not the same in informational level either an epsilon difference or infinity still don't fit as a tautology.
No, that's not what it says. Although at least you are beginning to grope towards the truth instead of writing total nonsense on the subject.
Ok correct the parts that I am missing. I copied for you from wikipedia which you accepted it.

This message is a reply to:
 Message 161 by PaulK, posted 04-21-2010 5:12 AM PaulK has replied

Replies to this message:
 Message 163 by PaulK, posted 04-21-2010 5:34 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 165 of 213 (556817)
04-21-2010 8:31 AM
Reply to: Message 163 by PaulK
04-21-2010 5:34 AM


Re: Necessary Truths
It says that you can't prove that a system (that meets the requirements, which include containing arithmetic) cannot be proven to be both consistent and complete from within itself - unless it is inconsistent. Do you know what consistency and completeness mean when discussing formal systems ? If not then you really have no business trying to talk about it.
Consistency means there is no contradiction between them. Now what? Basically what this theory is saying is that if you don't want to be inconsistent then you should have set of axioms that don't have any proofs. I guess if I remember it right, it was saying at least one axiom should be like that. This is of course natural because everything is build up based on axioms based on logic and axioms themselves therefore if original axioms are consistent then the rest should be consistent as well.

This message is a reply to:
 Message 163 by PaulK, posted 04-21-2010 5:34 AM PaulK has replied

Replies to this message:
 Message 167 by PaulK, posted 04-21-2010 9:10 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 166 of 213 (556818)
04-21-2010 8:40 AM
Reply to: Message 164 by cavediver
04-21-2010 7:23 AM


Re: Necessary Truths
As I have stated, you really do not know enough about this subject to continue in this vein - the above nonsense is clear evidence of this.
Actually I now believe that you are a robot! So I agree with you completely!

This message is a reply to:
 Message 164 by cavediver, posted 04-21-2010 7:23 AM cavediver has not replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 168 of 213 (556837)
04-21-2010 9:53 AM
Reply to: Message 167 by PaulK
04-21-2010 9:10 AM


Re: Necessary Truths
You haven't even attempted to explain completeness as it refers to formal systems. These are standard technical terms, and if you don't understand them then it you won't understand what even Wikipedia is saying. (Which is ironic, when you consider it).
Logical Completeness is the idea that you can prove everything within a mathematical system to be either true or false. For long time mathematicians believed that the only reason some of the problems in math are not resolved is that still they still don't know the way and they had hope some day they eventually will. Godel proved that this belief is false and there are some theories in math that can never be proven by mathematics itself to be false or to be true. This is the idea of incompleteness.
which don't have proofs because if they did they wouldn't be axioms - you wouldn't even have a system worth speaking of. And if we took a system without axioms as a degenerate case it couldn't possibly be inconsistent, which shows that you don't understand the concept of consistency either.
You can have a set of axioms that are inherently contradicting but you don't notice their contradictions. So having just axioms doesn't resolve the issue but you have to have consistent axioms. Also, the number of axioms are important. Because you can start with a couple and then later on realize there are some other statements that can't be proven and should be assumed to be truth.
And what does it mean - to you - for the axioms to be consistent ? Is it enough that they do not directly contradict ?
No Godel has solution for this. I guess it is called proof tree. As I said the contradictions might be hidden.

This message is a reply to:
 Message 167 by PaulK, posted 04-21-2010 9:10 AM PaulK has replied

Replies to this message:
 Message 169 by PaulK, posted 04-21-2010 10:53 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 170 of 213 (556877)
04-21-2010 1:48 PM
Reply to: Message 169 by PaulK
04-21-2010 10:53 AM


Re: Necessary Truths
At least you've learned something ! There are some complications
Well, I still don't understand why you rejected originally and accept now. The whole point I made was that there are sets of axioms which includes necessary truths as well that should be accepted as truth. These axioms are not from the system itself. So you were wrong to say they come from the system. As you said later they create the system. So what are the sources of them? subconscious mind? reality?

This message is a reply to:
 Message 169 by PaulK, posted 04-21-2010 10:53 AM PaulK has replied

Replies to this message:
 Message 171 by PaulK, posted 04-21-2010 1:58 PM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 172 of 213 (556881)
04-21-2010 2:14 PM
Reply to: Message 171 by PaulK
04-21-2010 1:58 PM


Re: Necessary Truths
The axioms of a formal system are created by the conscious mind - specifically the mind of the human being who defines the system. That should be perfectly obvious to anyone who understands what a formal system is.
Ok now we are progressing after three pages of side debates! So are you saying human mind creates these axioms and necessary truths? Also does it mean that when there is no system then there is no axiom or necessary truths?

This message is a reply to:
 Message 171 by PaulK, posted 04-21-2010 1:58 PM PaulK has replied

Replies to this message:
 Message 173 by PaulK, posted 04-21-2010 2:19 PM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 174 of 213 (556893)
04-21-2010 2:46 PM
Reply to: Message 173 by PaulK
04-21-2010 2:19 PM


Re: Necessary Truths
The only necessary truths outside of formal systems are tautologous in at least some sense.
As I said before they are not tautologies(in strict sense) as if they were there were no use of them. Why would a formal system needs repetitions? There is something inside these necessary truths that are needed. These are information that seems very obvious for us and thus you categorize them as repetitions. But in fact they are so fundamental and important that the system won't work without them. This is mind that processes these information so inherently this is the starting point for the formal system. Even a simple equation like a+b=b+a contains information. Now if you are saying mind creates them does it imply that they are hypothetical or does it mean that they have roots in reality?

This message is a reply to:
 Message 173 by PaulK, posted 04-21-2010 2:19 PM PaulK has replied

Replies to this message:
 Message 175 by PaulK, posted 04-21-2010 5:44 PM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 176 of 213 (556932)
04-21-2010 6:36 PM
Reply to: Message 175 by PaulK
04-21-2010 5:44 PM


Re: Necessary Truths
It is intended to represent an aspect of reality. So the answer is both.
(But the reality is NOT a necessary truth !)
OK lets call this reality roots of necessary truth as 'the root'. Now how do you think that this the root manifest itself? can be in the general relations between forces? Remember, we already agreed that necessary truth were there since beginning. So there was not that much of physical world created.

This message is a reply to:
 Message 175 by PaulK, posted 04-21-2010 5:44 PM PaulK has replied

Replies to this message:
 Message 177 by PaulK, posted 04-22-2010 1:50 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 178 of 213 (557017)
04-22-2010 7:17 AM
Reply to: Message 177 by PaulK
04-22-2010 1:50 AM


Re: Necessary Truths
We agree that necessary truths were TRUE in the beginning. We also agree that they would be true even if your external mind didn't exist, so no help for you there. But of course, you've changed the subject away from necessary truths, and we are talking not of the beginning but of a time where humans were making observations and using them to construct abstracted models of reality.
It is not changing the subject. We wanted to see if traces of necessary truth are in physics as well. I mentioned that necessary truths are build in fabric of the universe. I am just showing which I claimed that. You already said that necessary truths have some roots in the reality in the form of relations between forces in physics. Here is what you said:
The root there would be the behaviours of physical objects as we observe them.
So this relationship exists as following:
physical objects or forces -> root of necessary truth ->our mind -> necessary truth presented in our language
Do you accept this or not?

This message is a reply to:
 Message 177 by PaulK, posted 04-22-2010 1:50 AM PaulK has replied

Replies to this message:
 Message 179 by PaulK, posted 04-22-2010 7:26 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 181 of 213 (557393)
04-25-2010 4:51 AM
Reply to: Message 179 by PaulK
04-22-2010 7:26 AM


Re: Necessary Truths
observations of physical phenomena -> human minds -> construction of systems to enable modelling physical phenomena -> theorems of these systems.
Remember the theorems are necessarily true only within the systems where they are theorems.
Again you are denying the root of reality that we said include the basics of neccessary truth. I see nothing here that relates to that. Observation of physical phenomena is simply a process inside human mind. So I don't know why you seperated it. I am no longer interested in human mind part. As we concluded that the root of necessary truth are in physics. Now we have to work on that and see what it means and how necessary truths are manifested themselves?
If you review our discussion on concrete and abstract concepts, there is one thing that I mentioned there which is very important:
Axiom: In material world that we know, nothing is static. Everything changes.
For example the apple example, as you said all atoms and molecules change every second but still we call it apple. What remains constant is the abstract part.
But concrete root of necessary truths and physical laws don't change. Therefore, something outside matter is maintaining the special constant relationships which include the necessary truths and physical laws. Simply matter doesn't have the capability. It is created by mind and discovered by mind as it is higher in level than physics and goes in to abstraction. Exactly like the relation of software to the computer. The bits gets stored in memory but memory constantly changes as it is material. Software is logical abstraction system that is responsible to read these information do necessary error detection and correction to maintain and extract information from them again.
In science nobody has worked on this subject. They assume that relations are there as a fact. But nobody asks why they are there and is it normal for matter itself to have such kind of relationship?! Also in brain is like that. We have memories stored in cells that constantly change. We have thoughts and ideas. These thoughts and ideas and memories don't change but our brain change constantly. You simply can not have anything like this unless you have a second layer abstraction over the material world. Simply matter by itself has no capability of having it.

This message is a reply to:
 Message 179 by PaulK, posted 04-22-2010 7:26 AM PaulK has replied

Replies to this message:
 Message 183 by PaulK, posted 04-25-2010 5:03 AM MrQ has replied

  
MrQ
Member (Idle past 5074 days)
Posts: 116
Joined: 04-04-2010


Message 182 of 213 (557395)
04-25-2010 4:59 AM
Reply to: Message 180 by Modulous
04-22-2010 8:59 AM


Re: Work is left to be done
Demonstrate that this is true and you will be close to proving the existence of god. Unfortunately, as far as I can tell, abstract concepts require minds. Minds only seem to exist when there is a physical object creating one (ie., a brain). So you are going to have first prove the existence of non physically based minds, which has proven difficult.
Thanks for your participation. Please read the message I sent with title "Summery" in this thread.
To me mind is software of the brain. It runs on the brain that's why it cease to exist without it. As when you run Windows on a PC, if you destroy PC, Windows inside will also get destroyed. But these are two complete different things. Software is information and matter is the mean to store it. To us computers are really redundant as the only reason we create the computers are to use softwares. If we can run our software on something else, we would be still happy.
Now if we accept this, you can in theory extract mind software and run it on a silicon chip some day! Nobody said that brain is the only way you can run it. So we are living in information world and matter is just a game here. People tend to see concrete reality as the real thing but in fact what has value and important is the abstract parts of it.

This message is a reply to:
 Message 180 by Modulous, posted 04-22-2010 8:59 AM Modulous has replied

Replies to this message:
 Message 198 by Modulous, posted 04-25-2010 9:01 PM MrQ has replied

  
Newer Topic | Older Topic
Jump to:


Copyright 2001-2023 by EvC Forum, All Rights Reserved

™ Version 4.2
Innovative software from Qwixotic © 2024