"If and Only If" Should Be Spelled "Ifeff"

post by jimrandomh · 2021-07-16T22:03:22.857Z · LW · GW · 21 comments

Contents

21 comments

If and only if is an important logical concept, useful in many contexts, both mathematical and nonmathematical. Unfortunately, "if and only if" is also an unwieldy five-syllable phrase. Mathematicians have solved this problem by shortening it to "iff". Unfortunately, this shortening has not caught on in non-mathematical contexts. This makes some communication and thinking unwieldy and ambiguous.

I think the reason "iff" hasn't caught on more broadly is because it's easily misread as "if", and doesn't have an intuitive pronunciation. I think both of these problems would be solved by changing the spelling to "ifeff" (prononunced /ɪfɛff/). The etymology is that you take "iff", and pronounce the second "f" separately. This would slightly improve the thinking and communication of most English speakers.

I think a small group of people using "ifeff" in their writing would likely start a process where "ifeff" eventually takes over, via the usual process by which vocabulary spreads, and that "ifeff" would be used by groups that don't currently have a short-enough word for this concept. I also think the correspondence between "iff" and "ifeff" is intuitive enough that this will not cause very much confusion.

21 comments

Comments sorted by top scores.

comment by jowen · 2021-07-17T14:53:27.608Z · LW(p) · GW(p)

I appreciate "ifeff" due to its continuity with "iff". However, just to add, I've always had a soft spot for the use of just when to mean "if and only if". It is short and elegant and conveys approximately the right meaning even when it isn't recognized as a term of art.

comment by Ben Pace (Benito) · 2021-07-16T22:26:11.988Z · LW(p) · GW(p)

Counter: the reason "iff" works is because people who don't get it can still read the sentence and not worry they missed something key. If you use "ifeff" then massive audiences will infer that the sentence is unreadable.

Replies from: jimrandomh
comment by jimrandomh · 2021-07-16T22:29:08.790Z · LW(p) · GW(p)

But they did miss something key!

Replies from: Idan Arye, RobbBB
comment by Idan Arye · 2021-07-16T22:51:09.476Z · LW(p) · GW(p)

I'd argue that people who are not familiar with "iff" are usually unfamiliar with its full version "if and only if" as well and, unaware of the need for such distinction, tend to treat regular "if" as bidirectional. These two mistakes will cancel each other out and they won't miss said something key.

Replies from: gworley
comment by Gordon Seidoh Worley (gworley) · 2021-07-17T15:19:05.607Z · LW(p) · GW(p)

Agreed. I think this basically makes concerns about "iff" being mistaken for "if" irrelevant and trying to make a better shorthand for "if and only if" is a distraction with insufficient impact for most anyone to trouble themselves with.

comment by Rob Bensinger (RobbBB) · 2021-07-16T23:10:47.160Z · LW(p) · GW(p)

What about "if(f)"? Pronounced 'ifeff', but spelled 'if(f)' so it's both:

  1. Easy to tell that this is a variant of 'if', and if you round things off to colloquial 'if' then you'll at least sort of get what's being said (context probably helps).
  2. Easy to tell that it's not just 'if' or a typo for 'if'.
Replies from: jimrandomh, kithpendragon
comment by jimrandomh · 2021-07-16T23:31:36.384Z · LW(p) · GW(p)

I wouldn't expect if(f) to be linguistically successful; it's weird in a not-quite-a-word way that means it can't ever become a regular vocabulary item.

Replies from: Benito
comment by Ben Pace (Benito) · 2021-07-18T01:57:55.749Z · LW(p) · GW(p)

Alt: I think ifif makes much more sense than ifeff. It's super unclear where the 'e' comes from or why there's two 'f's, but "if and only if" is "ifif" if you take the start and the end.

comment by kithpendragon · 2021-07-18T18:03:35.792Z · LW(p) · GW(p)

How about if'f or if-f? Both are easier to type than if(f), but still look less like an error than iff.

The whole "add punctuation" strategy still ruins the word for Scrabble, though. :(

Edit: ... and I see now that gilch had the exact same idea right below [LW(p) · GW(p)].

comment by gilch · 2021-07-17T02:23:23.481Z · LW(p) · GW(p)

How about if'f or if-f?

comment by Rob Bensinger (RobbBB) · 2021-07-16T22:13:33.630Z · LW(p) · GW(p)

I think the reason "iff" hasn't caught on more broadly is because it's easily misread as "if"

Also, if you aren't familiar with "iff" you might see it and assume it's just a typo for "if". Jargon catches on better if it's obviously jargon, so people can google it or ask questions when they notice they don't understand.

Why 'ifeff', though? I'm not seeing a logical connection between the '-eff' and '... and only if'. I'd have expected the best shorthand to look more connected to the original, like 'iffo'.

Replies from: jimrandomh
comment by jimrandomh · 2021-07-16T22:19:08.561Z · LW(p) · GW(p)

"Eff" is the pronounciation of the letter f, so iff becomes if-f becomes if-eff. It might be more intuitive with a dash, but also it's less like a word. I'll edit in an explanation of the etymology; I thought it was more intuitive than it actually was.

Replies from: RobbBB
comment by Rob Bensinger (RobbBB) · 2021-07-16T23:08:15.124Z · LW(p) · GW(p)

Ahh, OK. This has the advantage that it's connected to 'iff', so you're competing less with existing usage.

comment by niplav · 2021-07-17T00:54:28.077Z · LW(p) · GW(p)

This is my claim to fame (CTRL-F "ifef").

comment by Viliam · 2021-07-16T23:16:04.102Z · LW(p) · GW(p)

What about "if-if"? Short, obviously not a typo, intuitive spelling. Oh, seems like stutter.

comment by Protagoras · 2021-07-17T00:14:13.248Z · LW(p) · GW(p)

Logicians still can't agree whether the symbol for if and only if should be a triple bar or a double arrow. Odds that they'd all sign up for this, rather than having it be, at best, yet another competing standard, seem low.

Replies from: mikkel-wilson
comment by MikkW (mikkel-wilson) · 2021-07-17T07:11:09.082Z · LW(p) · GW(p)

I don't see what's wrong with having competing standards in this situation

comment by Slider · 2021-07-17T09:00:40.772Z · LW(p) · GW(p)

FBI doesn't need to be EfbiAi to be workable. Ifeff mixes acronyms on proper words. "sif" meaning "strictly if" would fit my aesthetics better and would be analogous how "greater than" has the versions "strictly greater" and "greater or equal"

Replies from: deepthoughtlife
comment by deepthoughtlife · 2021-07-19T21:13:39.607Z · LW(p) · GW(p)

An interesting  idea. It would definitely need to be explained, but it is very easy to see and understand after that [though it is also a Norse God.] Perhaps it should be tried mainly in the longer form at first, for people to get used to it, replacing the phrase 'if and only if'.

comment by deepthoughtlife · 2021-07-19T21:09:26.912Z · LW(p) · GW(p)

I see a major problem here, which is all the worse for simplicity. It sounds like a censored swear word. The types that would actually use this in the beginning are being technical, and it isn't very technical to be swearing about if and only if [publicly]. It sounds more appropriate for a rant. The current implementation has problems, but 'iff' is clearly superior to the proposed alternative.

comment by mako yass (MakoYass) · 2021-07-19T03:03:53.520Z · LW(p) · GW(p)

If you actually succeeded and everyone started writing "ifeff" the etymology would no longer point to a logical story.

"Ifof" seems better to me. It more resembles "If and only if" which would make it easier to learn.