sci.logic Google Group

Re: In a Consistent System, Can a True Sentence Imply a False One?

2010-07-30T02:19:26Z

Why was I the one who got confused when a) even you yourself only assumed
(not asserted) "disprovable" would mean "refutable" and b) somebody else
introduced (CM) or defined (AS) the term here which face-value seems to
be ridiculous because the context is in an inconsistent system where
*all formulas* are _provable_ by sheer technical definition, or consequences

Re: details re Z-R |- PA consistent

2010-07-30T02:07:59Z

Officer, arrest that man!

ANUSHKA HOT PICTURES FOR BOLLYWOOD FANS

2010-07-29T23:34:29Z

ANUSHKA HOT PICTURES FOR BOLLYWOOD FANS
------------------------------ -------
[link]

Re: What are space and time?

2010-07-29T21:00:03Z

In article
<efe6a582-9984-46e0-8243-90c97 97ac...@x21g2000yqa.googlegrou ps.com>,
Well, that is that. Impossible. Moving on, then...

Re: What are space and time?

2010-07-29T20:41:42Z

It was not Einstein, but his teacher, Minkowski who "merged them". But
even this is wrong. It was Galileo who merged them -- what counts is
that the appearance of a mixed space-time symmetry. That's what
marries space and time. The marriage was already in place when the
extra "space-time" term in the transformation law appeared under

Re: What are space and time?

2010-07-29T20:36:25Z

Place a stationary shell around a spherical region of space and then
let it go. Its volume will contract with an acceleration given by 4 pi
G M, where M is the mass contained within the region. Once it gets
moving, the equation for the volume contraction will also involve the
first derivative of the volume contraction. Both cases are instances

Re: cube = inside sphere + hyperboloid Re: strip-geometry-building as reversal of Calculus #4.30 & #245 Correcting Math & Atom Totality

2010-07-29T19:01:28Z

It is a shame, perhaps in math history that the Recalculus was not
borne first and only later
would the Calculus be borne, but if we look at technology we
understand instantly why Recalculus is borne later, because strip
making technology is sophisticated. To make wine
barrels out of strips of oak wood; to make baskets out of strips of

Re: In a Consistent System, Can a True Sentence Imply a False One?

2010-07-29T18:44:26Z

Probably because he's confusing "disprovable" (which I assume means
"refutable") with "not provable".
In fact, here's what he says in reply:
Because in a T if A is provable but ~A is "disprovable" then T
should be consistent. "Provable" means having a proof and
"disprovable" means otherwise, in the context of discussing

Re: In a Consistent System, Can a True Sentence Imply a False One?

2010-07-29T18:29:22Z

Because in a T if A is provable but ~A is "disprovable" then T should
be consistent. "Provable" means having a proof and "disprovable" means
otherwise, in the context of discussing (in)consistency of a system.
And Alan was making the definition for an inconsistent theory where all
formulas are supposed to be _provable_ (not disprovable).

Re: details re Z-R |- PA consistent

2010-07-29T17:55:08Z

I apologize that my language was too strong here (instead of dashing
things off, I need to wait until I have time to think things through
more thoroughly) -- I meant something more on the lines of your "One
could argue that..."

Re: WHY SCIENCE IS NOT PART OF CULTURE

2010-07-29T17:34:32Z

If science were not part of culture then it would be part of nature.
As science is actually the study of nature then it is not nature per
se.
Therefore as culture and nature are often see as mutually exclusive
terms, science must be included as part of culture.
In fact science fulfills most definitions of of culture. From wiki....

Re: details re Z-R |- PA consistent

2010-07-29T16:46:31Z

No, no ordinal is a model of ZFC. V_kappa for a large cardinal kappa is
a model of ZFC.
It follows from the existence of a large cardinal that ZFC is consistent
but it is consistent with ZFC that ZFC is inconsistent.

Re: details re Z-R |- PA consistent

2010-07-29T16:32:18Z

But wouldn't a large cardinal be a model of ZFC? *
Here that's where the cardinal as an ordinal would model the
cumulative hierarchy of ZFC, but then it would have the other
properties of being a model of ZFC. So, having a large cardinal
supports the features of a model of ZFC, i.e., a sufficiently larger

Re: In a Consistent System, Can a True Sentence Imply a False One?

2010-07-29T15:10:39Z

Obviously not. Since the question has such an obvious answer, I'm
guessing that your intention here is to imply that Alan's answer leads
to the absurd conclusion that a system can be simultaneously consistent
and inconsistent. It doesn't, of course, but why do you think it does?

Re: In a Consistent System, Can a True Sentence Imply a False One?

2010-07-29T14:30:07Z

I do need some coffee: there was a typo. The formula I meant is cGC, not pGC.
Sorry.