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

David C. Ullrich wrote:


An interpretation I for a language consists of a set S, relations
on M, one for each predicate in the language, etc. Given a
sentence w and an interpretation I, w is either true or false
in I. Then by definition a _model_ of w is an interpretation of
the language in which w turns out to be true.

I have never heard of this usage of the word interpretation.
What you call interpretation, I call model. Of course, a
model *of* w is a model in which w is true.

Apparently there exist some different, slightly incompatible,
definitions of these notions.

groente
-- Sander
.

Relevant Pages

  • Re: Why an inconsistent ZF may be desirable, and should be welcome.
    ... is true under an interpretation M of L if, and only if, the interpreted ... individual, within a symbolic language (reasonably, these would include ... if we define a mathematical object and a set constructively as ... and without any loss of generality - I consider mathematics ...
    (sci.logic)
  • Re: arithmetic in ZF
    ... By At Home, I mean, IN NATURAL LANGUAGE! ... Rbut there is no ONE algorithm that does them ... and there is NO interpretation of ANYthing ... What makes something a predicate is ...
    (sci.logic)
  • Re: Moore on Skolems Paradox
    ... >> David C. Ullrich ... >language" is assigning a reference to all of the terms that we learn. ... >language+ the interpretation given to it as a part of learning the ... >purely formal system, by specifying ranges for the variables, ...
    (sci.logic)
  • Re: Enderton problem
    ... So A appears to have a descending chain. ... It's also not elementarily equivalent to N, ... have language with usual truths about N expressible in this ... It depends on the interpretation of "<". ...
    (sci.logic)
  • Re: Cantors circular "proof" that evens = integers
    ... independently of any choice of axioms. ... side CALLS "a language" is completely IRrelevant to ... I KNOW what an interpretation is! ... predicates and term for term-functors) and -arity. ...
    (sci.logic)