Re: Skolem Again

David C. Ullrich wrote:
> let's just say the meaning of a
> theory is something which is determined by the class of models
> of a theory, leaving open what the meaning actually _is_.)

> [So]in fact it's very clear that there is simply no contradiction: The fact
> that one theory has more than one model does not say
> that it has more than one meaning - if T is a theory
> there is exactly _one_ thing which is the class of all models of T.

Well if that's your definition of 'meaning', of course there is no
contradiction. But meaning = truth conditions. Truth conditions =
model.

> If you read that sentence you may understand my confusion

Typo.

.

Relevant Pages

  • Re: Choice Question # 2
    ... David C. Ullrich wrote & Charlie-Boo wrote: ... I was of that presentation of AC in the language of ZF. ... evidently meaning to say something about me. ...
    (sci.logic)
  • Re: A implies I
    ... David C. Ullrich wrote: ... What do you mean by standard meaning? ...
    (sci.logic)
  • Re: axioms of mathematical logic
    ... David C. Ullrich wrote: ... very first bit of formalism in the exposition, ... inventions have meaning for anyone else. ...
    (sci.logic)
  • Re: axioms of mathematical logic
    ... David C. Ullrich wrote: ... inventions have meaning for anyone else. ... ignorant of some standard conventions (the meaning of which should ...
    (sci.logic)
  • Re: axioms of mathematical logic
    ... David C. Ullrich wrote: ... inventions have meaning for anyone else. ... wrong with the typographical settings on your computer. ...
    (sci.logic)