0
$\begingroup$

In my question yesterday I asked about the definition and usage of the word "model", for which I was told the following definition:

A formula of propositional logic is true under an interpretation iff the interpretation assigns the truth value T to that formula. If a formula is true under an interpretation, then that interpretation is called a model of that formula.

An interpetation satisfies a formula φ iff it is a model of the formula. Same for a set $\Gamma$ of formulas, if an interpretation satisfies all the formulas in $\Gamma$ then it is a model of $\Gamma$. Then if we say $\Gamma \vDash \varphi$ then $\varphi$ is a semantic consequence of $\Gamma$ / is satisfied in all "models" of $\Gamma$ (true whenever everything in $\Gamma$ is true).

This also matches the definitions for model as seen on the Wiki for Interpretation (Logic) and Propositional calculus.

All good so far. But when I get really confused when I see posts like these where they use "models" as a word meaning "satisfies all the axioms in a theory."

From Asaf's answer:

Models are structures, and structures are models. But when we say "model" we mean that there is a particular theory which holds in the structure, and when we say "structure" we are mainly interested in an arbitrary interpretation of the language.

From Metin's answer:

A structure is a set with some interpretable symbols(constants, relations and functions) within a fixed language. You do not ask for more from a structure.

However...

A model (of a theory) is a structure which satisfies the axioms of the theory. It makes more "structural sense"...

And then from one of Asaf's comments:

When I say "a model of 𝖹𝖥𝖢" they also know, immediately, that I am talking about a model which satisfies all the axioms of 𝖹𝖥𝖢.

So I am unclear on which definition is correct or if this is the same word being used in two different ways or if this is "logical model" versus "semantic model" or something else entirely.

On the one hand we seem to have "model" meaning "any interpretation that satisfies a formula or set of formulas." On the other hand we have "model" meaning "Interpretation that satisfies all the axioms of a theory".

From the Wiki article on Structure (mathematical logic) we see also:

For a given theory in model theory, a structure is called a model, if it satisfies the defining axioms of that theory.

So which is it exactly? Does "model" have a different meaning in propositional logic compared to model theory or first-order logic or set theory etc?

$\endgroup$
  • $\begingroup$ Comments are not for extended discussion; this conversation has been moved to chat. $\endgroup$ – Aloizio Macedo Oct 18 '18 at 2:16
0
$\begingroup$

We agree that an interpretation is a model of a formula $\varphi$ if the formula is TRUE in that interpretation (i.e. if the interpretation satisfies the formula).

The same for a set $\Gamma$ of formulas.

Consider now a theory $T$ with the collection $\Gamma_T$ of its axioms.

"A model of the theory is an interpretation that satisfies all the axioms of the theory."

So far, nothing new : the collection of axioms of the theory $T$ is a set of formulas. Thus, a model of the theory is an interpretation that satisfies all those formulas.

Consider for example first order arithmetic, i.e. the f-o version of Peano axioms.

We can call the collection of f-o Peano axioms with $\mathsf {PA}$.

We can prove from it the usual arithmetical laws (or theorems), like e.g. : $1+1=2$.

In symbols, we have : $\mathsf {PA} \vdash (1+1=2)$.

By soundness of the predicate calculus, we have : $\mathsf {PA} \vDash (1+1=2)$.

And again, this is consistent with the above definitions :

the arithemetical theorem $1+1=2$ is a logical consequence of the (first-order) arithmetical axioms, i.e. it is TRUE in every interpretation that satisfies the collection $\mathsf {PA}$ of arithmetical axioms.


In the answer to your previous post we have seen that an interpretation for propositional logic is :

an assignment $v : \text{At} \to \{ \text T, \text F \}$ such that, e.g. $v(p_0)= \text T, v(p_1)= \text F$, etc.

In the case of first-order language an interpretation needs a domain of "objects", like e.g. the set $\mathbb N$ of natural numbers.

Of course, different FOL theories need different domains, while in propositional logic we have only one domain: the boolean one $\{ \text T, \text F \}$.

And then we have to specify how to interpret the new elements of the language (in addition to the connectives) : quantifiers, individual constants, variables, predicate and function symbols.

Having done this, we have to complete our semantics for FOL with the definition of :

satisfaction relation, model, valid formula, logical consequence.

$\endgroup$
  • $\begingroup$ But to address your last point, what would be an example of an interpretation that satisfies the PA arithmetical axioms? (I'm not quite sure what interpretations look like outside of propositional logic where we just assign the atomic variables T/F values) $\endgroup$ – user525966 Oct 18 '18 at 2:23
  • $\begingroup$ But isn't this a slightly different usage? What's the difference between an interpretation being "a set of natural numbers" and an interpretation being "a specific choice of true/false values for the atomic variables"? Why wouldn't we say "boolean numbers satisfies propositional logic" instead of "p = true, q = false, r = true, s = true, ...". It feels like "interpretation" here is being used two ways: One way meaning "a choice of number system" and one way meaning "a specific choice of values for our non-logical terms" $\endgroup$ – user525966 Oct 18 '18 at 13:05
  • $\begingroup$ I'm trying to move into FOL but the definitions feel so incompatible to me and I don't see how one is a simplified generalization of the other. In prop logic an interpretation is a specific choice of true/false values. How is this comparable to FOL where an interpretation is not a specific choice of values but instead an entire "data type" like natural numbers? Why isn't a model of prop logic "boolean variables", by extension? $\endgroup$ – user525966 Oct 18 '18 at 13:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.