Re: what makes it true?

grubb@xxxxxxxxxxxxxxxxx (Daniel Grubb) writes:

> By setting out the axioms and rules of inference? I don't see your
> point.

Set out how?
.

Relevant Pages

  • Re: what makes it true?
    ... By setting out the axioms and rules of inference? ... Prev by Date: ...
    (sci.math)
  • Re: all the incompleteness proofs are worthless untill...
    ... derivable from axioms via inference rules. ... Around here provability is indeed the same thing as ... own connection to absolute truth, since it was only the worry ...
    (sci.logic)
  • Re: A question on FOL inference
    ... be "too easily" or too trivially a consequence of the axioms, ... The 2 statements can never be *logically equivalent*: no matter how we manipulate the logic rules (and not the FOL's inference rules), we simply can not "convert" a 'side' into an 'angle'! ... the very definition of logical equivalence. ... Let L be the language of group theory with + be the binary function, and e be the constant individual (which would be the ...
    (sci.logic)
  • Re: Why? [was Re: Cantor`s powerset theorem is false?]
    ... A while back, after having already corrected a number of your posts, I ... The axioms of Z set theory do NOT allow that inference. ... That gives the existence of ...
    (sci.logic)
  • Re: all the incompleteness proofs are worthless untill...
    ... derivable from axioms via inference rules. ... Everything is relative to the context of a particular formal ... between provability and derivability from axioms via inference ...
    (sci.logic)