Re: what makes it true?

ron@xxxxxxxxxxxxxx wrote:


>> and just for clarity: I am claiming that if a statement can be proved
>> from a set of axioms then the statement holds in any model where the
>> axioms hold. If I am wrong please explain why
>
> You are right.

No, he's wrong. That's _not_ what he was claiming. The above is
just a statement of the Soundness Theorem. Rather, he claimed
that there was no such thing as statements which could be proved
false.

Bart

.

Relevant Pages

  • Re: Lightspeed exceeded
    ... 'real' question still remains what dictates the rules/laws. ... Sidestepping it by claiming one 'infers' but cannot explain is ... science, those axioms are open to question as well. ...
    (sci.physics.relativity)
  • Re: Lightspeed exceeded
    ... Sidestepping it by claiming one 'infers' but cannot explain is ... Deductive reasoning is only as good as the axioms used as a base. ... science, those axioms are open to question as well. ...
    (sci.physics.relativity)
  • Re: Torkel Franzen on truth
    ... I wondered why you were so convinced about what TF was claiming. ... axioms or methods or reasoning is justifiable or reasonable, ... Via the model existence theorem, ...
    (sci.logic)
  • Re: what makes it true?
    ... so what is Goedel's incompleteness theorem? ... I am claiming that if a statement can be proved from a set of axioms then the statement holds in any model where the axioms hold. ... Prev by Date: ...
    (sci.math)
  • Re: JSH: Assocation does not prove
    ... In article, James Harris wrote: ... >> Any proof that X follows from a set of axioms T establishes that T ... > But if my charge against Wiles's work is correct, ... even bothered to *read* the proof you are claiming is wrong? ...
    (sci.math)