1
$\begingroup$

Is it true that a conservative extension of a theory is equiconsistent with it, and, if so, why?

WP says: "In mathematical logic, a logical theory T2 is a (proof theoretic) conservative extension of a theory T1 if the language of T2 extends the language of T1; every theorem of T1 is a theorem of T2; and any theorem of T2 which is in the language of T1 is already a theorem of T1. [...] Note that a conservative extension of a consistent theory is consistent."

I have a copy of Hodges, A shorter model theory, which gives a definition on p. 58 that seems to be exactly equivalent, although the claim about equiconsistency isn't made.

So what's wrong with the following counterexample?

T1 is a theory in which the only sentence is A, and the only axiom is that A is true.

T2 is a theory in which the only sentences are A and B. It has three axioms: (1) A is true. (2) B is true. (3) B is false.

T2 is a conservative extension of T1, but although T1 is consistent, T2 is inconsistent.

  • 1
    Those are not logical theories.2012-02-26

2 Answers 2

7

The general claim that conservative extensions are equiconsistent depends on the theories extending ordinary propositional calculus.

So in your $T_2$ we can prove $\neg A$ from $B$ and $\neg B$ (because everything follows from a contradiction), and since $\neg A$ is a sentence in the language of $T_1$ that is not a theorem of $T_1$, $T_2$ is actually not a conservative extension.

If we really want, we can weaken the assumption of including propositional calculus to "allows every sentence to be negated, as a matter of syntax" together with "allows everything to be inferred from a sentence together from its negation". The latter condition is implicit in the common definition of consistency as "cannot derive both a sentence and its negation".

Also, without these minimal assumptions, it is hard to imagine how you're going to state "B is false" as an axiom in the first place.

  • 0
    Yes, perhaps. However, I the$n$d to think that the _$s$eco$n$d_ of tho$s$e assumptions is essential for making sure that the thing you do to the sentence in the first assumption is actually _negation_, as opposed to something completely different that just happens to be written with a bent-stick symbol.2012-02-26
5

You’ve not actually specified languages or theories, so you really have no example at all. However, the idea behind your example could be turned into something that makes sense, so I’ll address the fundamental misunderstanding that remains even after that has been done: your $T_2$ is not a conservative extension of $T_1$. Because $T_2$ is inconsistent, every formula in its language is provable in $T_2$, including the formula $\lnot A$. However, $\lnot A$ is not provable in $T_1$.

  • 0
    @Ben: If you don’t have some notion of inference and negation, the usual notion of consistency isn’t even meaningful, and I’d hesitate to say that you have anything that could meaningfully be called a logical theory. Also, see Ricky Demer’s comment (if you haven’t already).2012-02-26