2
$\begingroup$

In this question, it was made clear, when

$\bullet$ some statement $A$ is stronger than another statement $B$, namely if $A\Rightarrow B$ holds; and when the statement $A$ is weaker than another statement $B$, namely if $B\Rightarrow A$ holds.

and

$\bullet$ when a theorem $A\Rightarrow B$ (every mathematical theorem is from the point of view of propositional logic an implication) is stronger another theorem $A'\Rightarrow B'$, namely if $[(A'\Rightarrow A) \ \land (B=B')]$ or $[(B\Rightarrow B') \ \land (A=A')]$ holds (i.e. the hypothesis of the first theorem is weaker (viewed as a statement) than the hypothesis if the second and the conclusions are equivalent or if the conclusion of the first theorem is stronger than the conclusion of the second theorem and the hypothesis' are equal).

(One could also define analogously the notation if "weaker" for theorems - for statements we had to define this notion - but for the sake of simplicity let's treat only the case of "stronger" in this question.)

Since a theorem is also a statement, I'm interested in the connection between the use of the words stronger for statements and theorems: Let $A$,$A'$,$B$ and $B'$ be some statements and $$ \boldsymbol{X}:=[(A' \Rightarrow A) \land (B=B')] \lor [(B \Rightarrow B') \land (A=A')] $$ and $$\boldsymbol{Y}:=(A \Rightarrow B) \Rightarrow ( A' \Rightarrow B').$$ Then $\boldsymbol{X}$ models the statement, that "the theorem "$A\Rightarrow B$ is stronger than the theorem $A' \Rightarrow B'$", and $\boldsymbol{Y}$ models the statement that "the statement $A \Rightarrow B$ is stronger than the statement $A' \Rightarrow B'$".

Now it isn't very hard to prove that $$ \boldsymbol{X} \Rightarrow \boldsymbol{Y},$$ but the converse doesn't hold.

My question is, how would I have to modify the definition of one theorem being stronger than another, i.e. of $\boldsymbol{X}$, in a meaningful way that actually reflects how we think about one theorem being stronger than another ?

(So letting the definition of one theorem being stronger than another be something tautological, like $\boldsymbol{X}=\boldsymbol{Y}$, or something meaningless for our way to think of theorems, like $\boldsymbol{X}=\top$, is not allowed.)

For example, suppose we let $\boldsymbol{X}:=A' \Rightarrow A )\lor (B \Rightarrow B')$, meaning the hypothesis of the first theorem has to be weaker than that of the second theorem (but we don't say anything about how the conclusion of the theorems have to relate to each other) or the conclusion of the first theorem is stronger than the one of then second theorem but we don't say how the hypothesis' have to relate). The we get that $\boldsymbol{X}\Leftarrow \boldsymbol{Y}$, but this time the other direction fails.

BTW, we can also convince ourselves that modifying only $\boldsymbol{X}$ makes sense, since tampering with the definition of $\boldsymbol{Y}$ would be pointless because the meaning of the words "stronger" and "weaker" for statements is clear and since the correct way to model some mathematical theorem with hypothesis $A$ and conclusion $B$ via propositional logic is via the implication $A \Rightarrow B$.

I'm also aware that this might be a soft question, since it what one understands to be a "meaningful way" that reflects how we think about one theorem being stronger than another.

  • 0
    Could you clarify what you mean by _modify_? Because you can simply "modify" $X$ by replacing it with $Y$ and you get the desired equivalence.2012-11-04
  • 0
    @PetrPudlák Sorry, I didn't think if this case, which I want to exclude, so by modifying $X$ I mean providing an $X$ that is different from $Y$ such that equivalence holds and only the logical connectives of implication and equality are used. If you want to know how I got to this, see http://math.stackexchange.com/questions/216294/sufficient-necessary-vs-weaker-stronger This question was inspired by that question, were it occurred to me that actually a theorem *isn't* stronger than another (both being viewed as statements) **if and only if** the hypothesis is weaker or the conclusion is [...]2012-11-06
  • 0
    [...] stronger ($A$ and $B$ denote the hypothesis and conclusion of one theorem $A'$, $B'$ those of the other theorem). You only have the **only if** part (which, translated to this question, means $X \Rightarrow Y$). And what I actually, secretly was asking here was, how should I modify the definition of one theorem being stronger than another to get " **if and only if** ".2012-11-06
  • 1
    I'm afraid your assignment is imprecise. Unless you specify very precisely what $X$ may be, it's very vague. You can for example take $X:=Y=(A=A)$ or $X:=(A\Rightarrow A)\Rightarrow Y$ etc. There are infinitely many possibilities how to make $X$ equivalent to $Y$ and yet different. | The bottom line is: Two propositions of the same "strength" are always equivalent. Like two tautologies are always equivalent, or two contradictions, etc. You can distinguish them only syntactically (that's why I'm asking for a syntactic criterion for $X$).2012-11-11
  • 0
    I think there are two possible views: (1) you only want to add something to $X$, then the answer is to take $X':=X\lor Y$, or something equivalent to it, like $X':=\lnot Y\Rightarrow X$. (2) $Y$ is arbitrary and you want to construct $X$ which is equivalent to it using only $=$ and $\Rightarrow$. If you also allow $\lnot$ or $\bot$ (logical false) this is possible. If you allow only $=$ and $\Rightarrow$ you fail for $Y:=\lnot A$.2012-11-11
  • 0
    You look like you think that $( A \Leftrightarrow B ) \not\Leftrightarrow A = B$. So you define $A = B$ to be something else. What is it?2012-11-17
  • 0
    @xavierm02 I couldn't quite understand what you mean, but what I'm asking for has something to do with what you mean, I think (if you mean $\boldsymbol{X}$ instead of $A$ and $\boldsymbol{Y}$ instead of $B$): I'm looking exactly form that $\boldsymbol{X}$ should take, so that I can get equivalence. *Please read my question again, since I've made a major edit to hopefully explain better what I'm after.*2012-11-17
  • 0
    @PetrPudlák Ok, I understood. To address these problems, I *have made a major edit to my question (so please read it again)*. Since I can't be more precise because I can't possibly write out all syntactical requirements $\boldsymbol{X}$ has to satisfy, I gave the whole motivation why I asked this question. From this motivation it hopefully should now be clear that the examples of $\boldsymbol{X}$ you gave in the comments aren't suitable for me.2012-11-17

1 Answers 1

3

I'm afraid there is no "good" answer to that. As you said, $X$ is a sufficient condition for $Y$, but not vice versa. For example: If $B\Rightarrow B'$ and $A'\Rightarrow A$ (the assumption is weaker and the conclusion stronger) then $Y$ holds but $X$ doesn't. So we could generalize $X$ to $$X_1\,:=\,(B\Rightarrow B') \land (A'\Rightarrow A)$$

This is probably the best where we can get, but still $X_1$ isn't equivalent to $Y$. In fact, it cannot be. We cannot really compare two implicative theorems just by looking at their assumptions and conclusions separately. The reason is that we can have one theorem stronger than another without such a direct relationship between their assumptions and conclusions. Consider these formulas: \begin{align} U &\,:=\, A \Rightarrow B \\ V &\,:=\, ((A\lor C)\land D) \Rightarrow ((B\lor C)\land D) \end{align} $U$ is stronger than $V$ because $\vdash U\Rightarrow V$ (i.e. in the sense of your $Y$). But there is no reasonable correlation between $A$ and $(A\lor C)\land D$ or $B$ and $(B\lor C)\land D$. Depending on other circumstances ($C$ and $D$), $A$ can be stronger or weaker than $(A\lor C)\land D$.

So $Y$ (or something equivalent to it) is the only reasonable way to say that one theorem is stronger than another.

  • 0
    Then again, all theorems are tautological. Is "Every continuous real function on a compact space assumes its maximum" really stronger than "Every affine linear function on $[0,1]$ assumes its maximum" if both are simply true? One rather has to resolve to inverstigate the different *theories* in which both statements are theorems.2012-11-17
  • 0
    @PetrPudlák Ok, but before I accept the answer, please tell me: Would you agree, that in case the assumptions and conclusions involve the *same* "circumstances" (i.e. only $A$ and $B$ may appear in both theorems) that the definition of "one theorem being stronger than another" that I had in mind, is "good" ?2012-11-18
  • 0
    @HagenvonEitzen Could you please tell me, what you mean with "investigating different *theories* in which both statements are theorems" ? Aren't we always in the big "theory" of ZFC ?2012-11-18
  • 0
    @temo I'm not sure what you mean, could you make an example of such theorems?2012-11-18
  • 0
    @PetrPudlák Consider for example these two theorems (which where given in my original question http://math.stackexchange.com/questions/216294/sufficient-necessary-vs-weaker-stronger): $$ $$ **Theorem 1.** Let $X$ be a complete metric space, and suppose that $\{G_n:n\in\Bbb N\}$ is a family of dense open subsets of $X$; then $\bigcap_{n\in\Bbb N}G_n\ne\varnothing$. $$ $$ **Theorem 2.** Let $X$ be a complete metric space, and suppose that $\{G_n:n\in\Bbb N\}$ is a family of dense open subsets of $X$; then $\bigcap_{n\in\Bbb N}G_n$ is dense in $X$. $$ $$ Then these have the same hypothesis [...]2012-11-19
  • 0
    [...] but the second has a stronger conclusion then the first. Since these theorems are related to each other, it seems, that here my definition of "one theorem being stronger than another" would seem to work (since Theorem 2 implies Theorem 1, since Theorem 2 says more/gives more information) ? (Since time ran out and the 50 rep points would else have expired, I accepted your answer)2012-11-19
  • 0
    @temo: If we always in ZFC then for any two theorems $A,B$, we have $ZFC\vdash A\leftrightarrow B$, e.g. "every vector space has a basis $\iff$ every planar map is four-colourable". In a different theory, for example ZF, the situation may be different, e.g. $A$ may no longer be true in general. In that situation, we'd have only $ZFC\vdash A\rightarrow B$ instead. We'd hardly ever have simply $A\vdash B$ or $B\vdash A$.2012-11-20
  • 0
    @temo In a sense yes. If two implicative theorems have the same assumption $A\Rightarrow B_1$ and $A\Rightarrow B_2$ then we can prove $$((A\Rightarrow B_1)\Rightarrow (A\Rightarrow B_2)) \,\Leftrightarrow\, (A\Rightarrow (B_1\Rightarrow B_2))$$ This means that comparing the conclusions _under the assumption_ is the same as comparing the theorems in general. Note that $$((A\Rightarrow B_1)\Rightarrow (A\Rightarrow B_2)) \,\underbrace{\Leftrightarrow}\, (B_1\Rightarrow B_2)$$ doesn't hold (it holds only right-to-left). (Similarly we could fix the conclusions.)2012-11-20