Back to Home

God & Science Forum Message

Forums: Atm · Astrophotography · Blackholes · Blackholes2 · CCD · Celestron · Domes · Education
Eyepieces · Meade · Misc. · God and Science · SETI · Software · UFO · XEphem
RSS Button

Home | Discussion Forums | God and Science | Post
Login

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Getting To The Truth

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Harvey on July 17, 2003 15:32:39 UTC

Michael,

I'm sorry but I have no idea what you are talking about there. Can you be less elusive and more specific? For one thing, truth has nothing to do with meaning, I don't know why you brought meaning up. A statement can be true even if you don't know what it means.

I brought up meaning because you said: "Actually, the term 'true' has a very specific meaning in math." An undefined term can acquire meaning, it just can't be reduced (in mathematics) any further. This is why my response was in regards to how 'true' can have meaning in math and still remain an undefined term.

Harv: Axioms are statements that tell you under which certain conditions a mathematical statement is to be considered 'true'. Michael: But that's the whole point. You can't have truths without axioms, but the truths of math are no less true just because the axioms can't be proven true.

Right. But, what I said is that the term 'true' is never defined in mathematics. The conditions of truth are defined, and this is done in formal systems with axioms, rules of inference, etc. This is why I said that the term true "is simply an undefined term that is used under certain conditions".

Follow Ups:

Login to Post
Additional Information
Google
 
Web www.astronomy.net
DayNightLine
About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
Unless otherwise specified, web site content Copyright 1994-2018 John Huggins All Rights Reserved
Forum posts are Copyright their authors as specified in the heading above the post.
"dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET"
are trademarks of John Huggins