Re: truth/falsity of sentences in first-order logic

David C. Ullrich wrote:
Honest. The word "model" seems to be misused this way a lot here
on sci.logic; when people here say "model" they are very often
referring to "interpretation".

To be fair, this is a pretty common usage. Thus in Chang and Keisler for example we have

A model for L is a pair <A,F>.

where L is a first order language, A the universe of the model and F the interpretation function. A model M is a model of a sentence or a theory if the sentence or the theory is true in M, but M itself is in any case a model (for L).

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: Generalized series
    ... >On Sat, 30 Jul 2005, David C. Ullrich wrote: ... what I _suspect_ you're referring to is ... >>>summation can be done only on countable subset of I. ...
    (sci.math)
  • Re: Generalized series
    ... >On Sat, 30 Jul 2005, David C. Ullrich wrote: ... This generalized series stuff was defined ... since that's the url you were referring to, ...
    (sci.math)
  • Re: proof of Wiener theorem ?
    ... David C. Ullrich wrote: ... [proof of WTT] ... was referring to there, sorry. ...
    (sci.math)
  • Re: truth/falsity of sentences in first-order logic
    ... referring to "interpretation". ... this is a pretty common usage. ... David C. Ullrich ...
    (sci.logic)
  • Re: Peanos space-filling curve
    ... I've replied to four posts in one to save space and time. ... David C. Ullrich wrote in message ... I have difficulty with 'separate' applied to ordered reals. ...
    (sci.fractals)
Loading