Re: What is

On 29 Mar, 10:05, "elsiemelsi" <cyprin...@xxxxxxxxxxxxxxx> wrote:
you say

if given a substratum S and an object A, it is provable that A belong to S
than S is predicable of A and S(A) is true

i say rubbish
all you are saying is S(A) true because it can be derived from a proven
statement ie it is provable that A belong to S
but as godel is said to have shown provable is different from true

just because it is provable that A belong to S
does not make it true -according to godel- and as such any statement
predictable of that is not necessarly true at all

--
Message posted usinghttp://www.talkaboutscience.com/group/sci.logic/
More information athttp://www.talkaboutscience.com/faq.html

I say garbage!
Goedel shown that a certain true sentence cannot neither be proven
nor disproven in a given formal system.
This is completely different from what you are stating!
This is to be refered to concistency more than to demonstrability!



.

Relevant Pages

  • Re: What is
    ... Thanks to Goedel Truth may be assumed to be equivalent to the relation ... If given a substratum S and an object A, it is provable that A belong ... proven statements and true stasements ...
    (sci.logic)
  • Re: What is
    ... if given a substratum S and an object A, it is provable that A belong to S ... but as godel is said to have shown provable is different from true ... predictable of that is not necessarly true at all ...
    (sci.logic)