18

I understand the technical and logical distinction between "if" and "only if" and "if and only if". But I have always been troubled by the phrase "only if" even though I am able to parse and interpret it. Also in my posts on this and other sites I have frequently had to make edits to migrate the term "only", sometimes across multiple structural boundaries of a sentence, which is empirical evidence to myself that I don't intuitively know the meaning of the word.

Is there any simple rule that I can use to determine whether or not it is appropriate to use this word in a particular context in order to achieve more clarity? In mathematical discourse, what are some other common lexical contexts, meaningful or not, in which appears the word "only"? Why do I often write "only" in the wrong place?

Dan Brumleve
  • 17,796
  • 3
    This question might be relevant: http://math.stackexchange.com/questions/1135/if-and-only-if-which-direction-is-which – AgCl Aug 25 '10 at 07:59
  • 4
    I think that in formal writing, statements of the form "$P(\text{only }x)$" for some predicate $P$ and noun phrase $x$ have the meaning "$\not\exists y\neq x. P(y)$", but I haven't thought through enough examples to be sure. It might be helpful (although maybe a little embarrassing) if you posted examples where you initially wrote "only" in the wrong place. At least, I find it easier to correct someone's intuition if I know where that intuition is going wrong. –  Aug 25 '10 at 09:40
  • 1
    Rahul, here is one such sequence of edits I have made to my own text.

    First version: "In any case I have intended to demonstrate only that it has a computable bound."

    Next version: "In any case I have only intended to demonstrate that it has a computable bound."

    Final version: "In any case I have intended only to demonstrate that [it] has a computable bound."

    – Dan Brumleve Aug 25 '10 at 10:19
  • Of course now I favor the original version over the final... Which means what I do? – Dan Brumleve Aug 25 '10 at 10:42
  • 1
    English is not my mother-tong, but I dare saying that "only if" is the same as "provided that". If that is not the meaning in association with logic quantifiers, then I am missing an important (perhaps subtle) concept. – Américo Tavares Aug 25 '10 at 11:29
  • 3
    @Américo Tavares: That is the other way around. “A only if B” (where A and B are clauses) means “B if A,” and equivalent to “B provided that A.” (I am not a native speaker of English, either.) – Tsuyoshi Ito Aug 25 '10 at 11:51
  • 1
    @Tsuyoshi: In Wiktionary http://en.wiktionary.org/wiki/provided "provided" and "only if" are synonyms. Example from there: You can go to the party provided you finish all your homework first. I will comment no further because it now seems to me that my first comment doesn't give a relevant clarification. – Américo Tavares Aug 25 '10 at 14:22
  • 1
    @Américo: Thanks for the reference. I see that the word “provided” sometimes mean “only if” or “if and only if” in English just as in the example given in Wiktionary. I do not think that this usage is common in mathematical context, but I may be wrong. – Tsuyoshi Ito Aug 25 '10 at 17:22
  • 1
    Although it is, of course, possible to figure out exactly what "only if" means in the logical context, it is confusing enough that the expression "only if" should almost never be used except as a part of the expression "if and only if." There are plenty of synonyms that are easier to parse, as people have illustrated. – Charles Staats Aug 25 '10 at 20:54
  • I have realized that "only" can be used as both an adverb and an adjective and this may explain some of my confusion because for this reason it can go in more places than most words. – Dan Brumleve Aug 26 '10 at 03:16
  • @DanBrumleve 1. My answer here echoes KCd's below. $\quad$ 2. Re: your 3rd comment above: the different placements of "only" in your 3 sentence versions add different information: 1) you don't intend to demonstrate other properties of $f;$ 2) you have not actually made the demonstration—merely intended to; 3) you want merely to demonstrate that property—not to, say, explain its significance. – ryang Jun 04 '23 at 05:37

3 Answers3

17

The terms "only" and "only if" mean different things. The first is English and the second is mathematical.

1) "only" in English means "just this and not others", where "others" could be an object or an action, depending on what "only" is connected with. For example, "We only proved that $p$ is prime" means you showed $p$ is prime but not anything further, which I think is synonymous with "We proved only that $p$ is prime"; it is just a stylistic judgment as to which of those you use and I prefer the second version at the moment. However, "We proved that only $p$ is prime" means you proved $p$ is prime while other numbers in the argument (that may possibly have been prime) are not prime.

The classical example, which is not meant as a personal remark, is to insert "only" in front of each word of the sentence "I love you". Each version has a completely different meaning. This is discussed under the topic "Modifiers" on the page http://www.kaptest.com/GMAT/Learn-and-Discuss/Community/blogs/tag/verbal/

2) In math, "only if" has the same meaning as "implies". (Logically, it's the direction that is not "if", which is how I first was able to remember its meaning.) In terms of Tom's example, "shoes are on ==> socks are on" has the same meaning as "your shoes are on only if your socks are on."

KCd
  • 46,062
  • What some books mean when they say that "$X=0$ only when $y=3$ etc" ? Do they refer to the cases where $X=0$ or we should interpret it as only if (necessary condition)? – user599310 Jun 12 '20 at 08:29
  • They probably mean that if $X = 0$ happens then necessarily $y = 3$ happens. – KCd Jun 12 '20 at 11:01
5

I think analogies in plain English are the way to internalize this... so here's one:

Given that you want to wear socks with your shoes, put your shoes on only if you have already put your socks on.

The idea is that there is no other way to arrive at the state of having your socks and shoes on (aside from the ridiculous possibility of placing your socks over your shoes).