Re: An All/Nothing multiverse model

From: James N Rose <integrity.domain.name.hidden>
Date: Tue, 30 Nov 2004 07:09:13 -0800

If there any viable system in which you -can-
both derive, and find useful application for,
the equation 0=1 ?

James Rose


Bruno Marchal wrote:
>
> At 13:40 26/11/04 -0500, Hal Ruhl wrote:
> >What does "logically possible" mean?
>
> A proposition P is logically possible, relatively to
> 1) a consistent set of beliefs A
> 2) the choice of a deduction system D (and then consistent
> means "does not derive 0=1).
>
> if the negation of P is not deductible (in D) from A.
>
> Concerning many theories, to say that a proposition
> (or a set of propositions) A is logically possible
> is the same as saying that A is consistent (i.e you
> cannot derive 0 = 1 from it), or saying that A has a
> model (a reality, a mathematical structure) satisfying
> it.
>
> Bruno
>
> http://iridia.ulb.ac.be/~marchal/
Received on Tue Nov 30 2004 - 10:12:33 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:10 PST