Re: Godel cant tell us what makes a mathematical statement true



Nam Nguyen wrote:
herbzet wrote:
Nam Nguyen wrote:

There's no such thing as just a true formula: usually it's understood
by that we mean an interpreted-as-true formula. As such an interpreted
formula needs to have a meaning. But not the other way around. For
example, if the formula F = (0=0) /\ (0=1) has a meaning, its meaning
is *independent* from whether or not F has any truth value!

For example,
GC has some meaning but whether or not it's true or false (by whatever the
chosen underlying truth definition) is a different matter.

Well this is a technical question of some interest. I was under
the impression that interpreting a formula in a given structure
entailed a truth-value assignment also. Perhaps I am mistaken
on this point. Can you explain how a formula F can be assigned
a meaning (interpreted) without thereby arriving a truth-value
for F? I'm, admittedly, slightly fuzzy on this point.

--
hz
.

Relevant Pages

  • Re: Godel cant tell us what makes a mathematical statement true
    ... by that we mean an interpreted-as-true formula. ... GC has some meaning but whether or not it's true or false (by whatever the ... chosen underlying truth definition) is a different matter. ... structure with that assignment for the individual variables. ...
    (sci.logic)
  • Re: Godel cant tell us what makes a mathematical statement true
    ... by that we mean an interpreted-as-true formula. ... GC has some meaning but whether or not it's true or false (by whatever the ... A structure PLUS an assignment for the individual variables does ... we must therefore examine the methods of the mathematician." ...
    (sci.logic)
  • Re: Godel cant tell us what makes a mathematical statement true
    ... by that we mean an interpreted-as-true formula. ... GC has some meaning but whether or not it's true or false (by whatever the ... chosen underlying truth definition) is a different matter. ... A structure PLUS an assignment for the individual variables does ...
    (sci.logic)
  • Re: Godel cant tell us what makes a mathematical statement true
    ... by that we mean an interpreted-as-true formula. ... GC has some meaning but whether or not it's true or false (by whatever the ... chosen underlying truth definition) is a different matter. ... talking about satisfaction of open formula. ...
    (sci.logic)
  • Re: Godel cant tell us what makes a mathematical statement true
    ... by that we mean an interpreted-as-true formula. ... GC has some meaning but whether or not it's true or false (by whatever the ... chosen underlying truth definition) is a different matter. ... matter of interpretation, or assignment, w.r.t. to a binary value. ...
    (sci.logic)
Quantcast