Happy Halloween

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
But Wait!

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Harvey on April 9, 2002 15:21:12 UTC

Aurino,

A=A is the identity relationship and it is an axiom of logic (i.e., true by definition). Is that what you mean to say, that "LNC" is an axiom of formal logic? If so, then I agree. The issue with Alan is that he is treating the axiom as needfully true, but that would be demonstrate a proof of an axiom (which there is none).

Warm regards, Harv

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-2020 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