Re: Informal theories versus formal theories.


Aatu Koskensilta wrote:
> Starbles@xxxxxxxxxxxxx wrote:
>
> > Actually the universe is consistent and complete. It exists. That has
> > been proven with informal logic.
>
> Given that the universe is not a formal theory what does it mean to say
> it's "consistent and complete"?
>
There are no contradictions in the universe. That is true. It is also
true that everything that exists exists in the universe. The former is
proof that it is consistent, and the latter is proof that it is
complete.

> --
> Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
>
> "Wovon man nicht sprechen kann, daruber muss man schweigen"
> - Ludwig Wittgenstein, Tractatus Logico-Philosophicus

.

Relevant Pages

  • Evelyn can under fish their page
    ... Zakariya and Karim quited the necessary republics ... Yesterday, docks endorse sort of consistent clubs, unless they're ... vary accessible quarters as for the experimental marine audience, ... Otherwise the universe in Mhammed's cause might ...
    (sci.crypt)
  • Re: Upstairs--Third Person narration
    ... Yes - parts of the universe observe other parts, ... description which would itself be consistent. ... Imagine a scientific geometer-ant mathematician, ...
    (rec.arts.sf.composition)
  • Re: (OT) Re: Object identity
    ... Integers aren't consistent or not. ... This was the reason why I asked you to present the language of Truth. ... In a platonic Universe such lamp definitely exists. ... Do you seriously believe that solving equations of theoretical physics is ...
    (comp.object)
  • Re: (OT) Re: Object identity
    ... Consistency may be a property of a formal system, ... Therefore I *postulate* that a chosen formal system is consistent. ... Of course I can't prove Platonism. ... In a platonic Universe such lamp definitely exists. ...
    (comp.object)
  • Re: Can someone summarize the Cantor Confusion thread
    ... the other, loon. ... WM claims complete infinite binary trees have properties they cannot ... universe is infinite and infinite sets are equivalent, ... There's A theory with no axioms, consistent with surviving ancient ...
    (sci.math)