redbird: closeup of me drinking tea, in a friend's kitchen (Default)
Redbird ([personal profile] redbird) wrote2005-03-28 11:38 pm
Entry tags:

(no subject)

The word of the day is "iff": I keep wanting to use it in comments.
ext_28681: (Default)

[identity profile] akirlu.livejournal.com 2005-03-29 05:06 am (UTC)(link)
Really? I find "if and only iff" rather limited in applicability to natural language.

[identity profile] webbob.livejournal.com 2005-03-29 05:40 am (UTC)(link)
It's handy for agreements and setting contingent expectations:

You can crash at my place iff I'm home that weekend. (Fans can be pushy, best to be clear.)

He'll be a good pet iff he doesn't start spraying before I have his balls lopped off.

ext_28681: (Default)

[identity profile] akirlu.livejournal.com 2005-03-29 02:28 pm (UTC)(link)
Not to be difficult (or, no more so than is polite) and clearly with my /a/s/s/ logician hat on: I think both of those examples are stronger than you mean. Because, as you know Bob, "iff" doesn't just mean emphatic "if", it means that the if/then lines of implication go both ways in the sentence. And in "If he doesn't start spraying before I have his balls lopped off, then he'll be a good pet," the implication is that not spraying is constitutive of being a good pet, rather than merely a necessary condition of it. Or, to put it another way, the logic of that sentence is such that if the second half is not true then the first half *must* not be true. I.e. If he's not a good pet then he must have started spraying before you had his balls lopped off. But I bet you think there are other ways of being/becoming a bad pet.

I'm sorry. It comes over me like that. I'll shut up now.

[identity profile] aliza250.livejournal.com 2005-03-29 05:16 am (UTC)(link)
Someone, probably [livejournal.com profile] dglenn, had a poll a few weeks back asking whether their friends recognized the term immediately, on hearing it explained, or not at all...

[identity profile] xiphias.livejournal.com 2005-03-29 06:30 am (UTC)(link)
It's a useful term. Lis keeps using it on me: "We can go out to a movie, eye eff eff there's anything you want to see."

'Cause I've got a self-sacrificing streak where I go out and do things I'm not enthusiastic about, just because the person I'm with wants to do them. Using "eye eff eff" allows Lis to easily bypass that about me.

[identity profile] calimac.livejournal.com 2005-03-29 09:12 am (UTC)(link)
I'm still trying to figure out what "iff" means. Googling doesn't help -- too many acronyms.

As far as I can figure out, it's "if" in italics.

[personal profile] cheshyre 2005-03-29 11:56 am (UTC)(link)
IFF == if and ONLY if

[identity profile] minnehaha.livejournal.com 2005-03-29 02:37 pm (UTC)(link)
I don't think I've ever heard it in a context other than mathematical logic. It's not English.

And I don't think of it as more precise than "if"; I think of it as different. "And" isn't more precise than "or," even though the former subsumes the latter.

B

[identity profile] minnehaha.livejournal.com 2005-03-29 02:52 pm (UTC)(link)
"...when they mean 'necessary and sufficient.'"

Which is the term I hear in philosophy.

B

[identity profile] king-tirian.livejournal.com 2005-03-29 03:16 pm (UTC)(link)
In mathematical writing, I encounter and write both. One might say "The Axiom of Choice is a necessary and sufficient condition for Zorn's Lemma," but when you're in the middle of an argument, it's much more convenient to have a simple conjunction that you can use as one would other logical connectors like "and" and "or".
ext_28681: (Default)

[identity profile] akirlu.livejournal.com 2005-03-29 03:03 pm (UTC)(link)
It's not English.

No, precisely right it isn't. It's a logical operator, and the moment you invoke it, all the basic rules of logic, including the potentially annoying Modus Tollens, come along for the ride.

[identity profile] adrian-turtle.livejournal.com 2005-03-29 04:12 pm (UTC)(link)
Do you feel that way about the other logical operators? (and, if, if not, etc) Some of them are useful in casual usage as well as strict construction.

I don't find the abbreviation "iff" useful in english. It's too easy to overlook that extra "f," or mistake it for a typo. If it's important to specify "and only if," it's worth 3 words to specify it properly and increase the chance it will be recognized and understood.
ext_28681: (Default)

[identity profile] akirlu.livejournal.com 2005-03-29 06:00 pm (UTC)(link)
Do you feel that way about the other logical operators? (and, if, if not, etc) Some of them are useful in casual usage as well as strict construction.

Um. To some extent, yes. Depends on context. I'm most likely to be sent off into logic land by sentences of the form "If...then..." But just this morning I restrained myself from arguing with [livejournal.com profile] minnehahaB about whether 'and' subsumes 'or,' or whether, as I would be tempted to say wrt logic operators, that 'or' subsumes 'and' and the latter is in fact more precise than the former. See? There I go again.

But I agree with you that 'iff' isn't that handy for ordinary English usage; indeed, I'm tempted to say that even writing out "if and only if" isn't that handy, because it inevitably uncovers someone who doesn't understand double implication and then I'm all too tempted to get didactic about it.

[identity profile] king-tirian.livejournal.com 2005-03-29 03:09 pm (UTC)(link)
It certainly is English, it's right here in my Merriam-Websters Tenth. In fact, it's a great trivia question to ask someone to name a five syllable word that is only three letters long. (Pronouncing it "if-fuh" is also permitted, but I think unusual because it sounds so much like "if" while having a very different meaning.)

It's a pity that "xor" isn't a word, because we need that too. "and/or" is an abomination.
ext_28681: (Default)

[identity profile] akirlu.livejournal.com 2005-03-29 06:02 pm (UTC)(link)
The trouble is that English 'or' tends to lean toward exclusive 'or' in connotation. If it were the 'or' of logic, then you could just say 'or' for "and/or" and be done.

[identity profile] king-tirian.livejournal.com 2005-03-29 07:54 pm (UTC)(link)
"Or" pulls double duty. Evidently, if you asked my college math professor "Would you like coffee or tea?", his respose would be "Yes, I would."

So if you're talking about a decision between a number of alternatives, then that is exclusive by understanding, I agree. But when you're talking about the connective between logical statements, it's not so clear to me. For example, consider "You should change the oil in your car every three months or three thousand miles." One would not conclude "I don't need to change my oil because it has been a year and eight thousand miles since the last time I changed it."
ext_28681: (Default)

[identity profile] akirlu.livejournal.com 2005-03-29 09:36 pm (UTC)(link)
Evidently, if you asked my college math professor "Would you like coffee or tea?", his respose would be "Yes, I would."

Yes, I tend to be tediously predictable in this way, myself.

ext_28681: (Default)

Re: Let me help

[identity profile] akirlu.livejournal.com 2005-03-29 11:45 pm (UTC)(link)
True, but probably not helpful.

[identity profile] zsero.livejournal.com 2005-03-29 01:44 pm (UTC)(link)
I keep getting confused by iff, because I first came across that combination of letters in IBM's OCL (the IBM minis' equivalent of JCL), where IFF means "if false". It was only several years later that I learned that everyone else it means almost the exact opposite.

I'm also perhaps the only fan who, when I hear the letters RPG, first think "Report Program Generator", and only half a second later, when that obviously doesn't fit the context, do I think "Role Playing Game" ("Rocket Propelled Grenade" is the third meaning, but that doesn't come up very often).

RPG

[identity profile] stealthpup.livejournal.com 2005-03-29 03:21 pm (UTC)(link)
I had a good chuckle watching Black Hawk Down the first time, since my gamer brain kept using the wrong definition.