1
$\begingroup$

As a beginner, I'm overwhelmed by the usage of terminology , such as theory, model, interpretation, structure et al, which are omnipresent in Mathematical logic.

Here's my understanding about them:

Creating a theory is synonymous to axiomatization, which is selecting a finite number of sentences, which is expected to be satisfiable,which means these sentences are true in at least one model.

The motivation of distinguishing between theory and model is that a theory always suffers from the indecidability of some meaningful sentences e.g. continuum hypothesis, which can't be avoided once and for all by adding more axioms in the theory. However, as expected in a model, there is no such thing indecidable as continuum hypothesis, or we don't talk about them in the context of a model. Usually, a model is defined as consisting of an underlying set, a set of relations, and a set of functiosn, which are defined intentionally to address certain unsolved problems in the theory. It seems to me it only make sense to talk about a model in the context of a particular sentence of interest, because no model can be fully axiomatized.

I'm also confused with the usage of interpretation, structure, and model. Are they interchangeable?

  • 2
    Aximoatizations aren't always finite. Recursively enumerable is usually very useful, and sometimes even more generous axiomatizations are useful -- e.g. the axiomatization formed by taking every theorem as an axiom is useful in the foundations of non-standard analysis.2012-12-30

1 Answers 1

2

A theory and axiomatization are not entirely synonymous. It makes sense to talk about axiomatization of a theory, but there's no such thing as a theory of an axiomatization. The difference is, perhaps, a bit subtle, but it is there. Some authors also consider theory to be by definition closed under taking consequences, which makes the distinction more clear.

Similarly for the differences between model and structure: they mean the same thing on their own, so “Take a model $M$”, and “Take a structure $M$” mean the same, but “model” has a more specific meaning: you can say, for example, that “$M$ is a model of $T$” and you can't really replace “model” with “structure” in this statement. On the other hand, it is more usual to say that something is a structure of a given language than a model.

The word “interpretation”, I've most often encountered to mean the interpretation of a term or a symbol of a language in a given structure (or model ;) ) than anything else, and I don't think it has any synonyms to that effect.

Your paragraph about theories and models seems completely off to me. A model and a theory are two very distinct concepts. A theory is just a set of formulas, while a model is a concrete set with concrete interpretations of all symbols of a given language. They're defined the way they are defined, not necessarily to address any unsolved problems, whatever that's supposed to mean, and it certainly makes sense to talk about a model in full generality, along with its entire theory. I'm not sure what you mean by the statement that „no model can be fully axiomatized”.

  • 0
    @MettaWorldPeace: well, I was referring to what I've personally encountered in practice. I think I've also heard that the word is sometimes used to that effect (and I haven't said that it is never the case), it's just that I don't recall having ever heard it *actually* used in that meaning during a lecture or a conference talk, hence the impression.2013-01-06