Back to Home

General 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 | Misc. Topics | Post

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Mathematical Logic And G\"odel

Forum List | Follow Ups | Post Message | Back to Thread Topics
Posted by R. Stephen Newberry on December 1, 2003 18:09:21 UTC

The Anatomy and Ultimate nature of "True-but-Unprovable Propositions"

can be found at


Presents a very crude, very basic view of the Logical Universe from the perspective of Classical Logic and Henkin General Models semantics. Not only is the equivalence-class of such sentences [and their negations]derived by a method of such simplicity that it is self-evidently correct, but the ontological and epistemological 'raison d'etre' for such sentences is demonstrated in a comparably self-evident manner.

The key to the puzzle is that there are two flavors of mathematical truth: (1) Tautological truth, "u-validity, (= universal validity, absolute truth in EVERY universe) ; and (2) Contingent truth, "n-validity" (= validity on all-and-only finite domains; with satisfiability on an infinite domain (by compactness), but admitting an infinite counter-model.)

The essay has been submitted for publication in JSL. Comments are solicited.

Follow Ups:

    Login to Post
    Additional Information
    About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
    Unless otherwise specified, web site content Copyright 1994-2022 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