"If and Only If" Should Be Spelled "Ifeff"
post by jimrandomh · 2021-07-16T22:03:22.857Z · LW · GW · 21 commentsContents
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:
- 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).
- Easy to tell that it's not just 'if' or a typo for 'if'.
↑ 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 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 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.