5
$\begingroup$

From Wikipedia

In mathematical logic, a logical theory $T_2$ is a (proof theoretic) conservative extension of a theory $T_1$ if the language of $T_2$ extends the language of $T_1$; every theorem of $T_1$ is a theorem of $T_2$; and any theorem of $T_2$ which is in the language of $T_1$ is already a theorem of $T_1$.

Is a theory, as noted by $T_i$, defined as the set of theorems and axioms of a formal system?

Does a language extending another language means the first language is a superset of the second?

Thanks and regards!

  • 1
    Almost, and yes. A [theory](http://en.wikipedia.org/wiki/Theory_%28mathematical_logic%29) is simply a set of sentences in a formal language. Here, though, that set is taken to contain all of its logical consequences, so in effect your understanding is correct.2012-02-16
  • 0
    @BrianM.Scott: Thanks! (1) Is a theory a set of all wff of a formal language, or a set of all axioms and theorems of a formal system? Is a theory a concept for a formal language or for a formal system? (2) Does a language extending another language means the first language is a superset of the second?2012-02-16
  • 0
    (2) Yes. (1) No, a theory in a language is simply a set of well-formed sentences (= formulas with no free variables) in that language.2012-02-16
  • 0
    @Brian: Thanks! (1) Is a theory a concept for a formal language only, or for a formal system? (2) is it correct that an element of a language called well-formed formula? (3) What elements of a language are not sentences? For example, Words? (4) Are well formed sentences and well formed formulas the same concept?2012-02-16
  • 2
    Hard to know what you mean by elements of a language. But for example, the logical and non-logical symbols are not sentences. Neither are the terms. A well-formed sentence has no free occurrences of variable symbols, a well-formed formula can and usually does.2012-02-16
  • 0
    @AndréNicolas: Thanks! I view a language as a set of finite length strings over some alphabet. So "an element of a language" is by viewing the language as a set. Hope this make my last comment clear.2012-02-16
  • 2
    There are several *kinds* of relevant strings, for example terms, formulas, special kinds of formulas such as sentences, strings of sentences, particularly when they are proofs. Strings of sentences are not usually considered part of the language.2012-02-16

1 Answers 1