Article View: sci.logic
Article #263Re: A only if B
From: Gary Merrill
Date: Wed, 14 Oct 1992 18:57
Date: Wed, 14 Oct 1992 18:57
31 lines
1971 bytes
1971 bytes
In article <7563@charon.cwi.nl>, frankt@cwi.nl (Frank Teusink) writes: |> I agree totaly in the mathemathical sense. But I think that when |> we use the phrase "only if" in language, the "if" part is often |> implicite. I would not say "Tom will come only if we invite him", |> if I thought that even with an invitation, Tom might not come. I certainly would say this. For example, consider the context Bob will come if he learns of the party -- whether we want him to or not. But Tom will come only if we invite him. Since we haven't yet invited Tom, we of course have no idea of whether he will in fact come (once he is invited) since, for example, he may have a conflict, may want to avoid Bob, etc. If you don't concede this (rather standard, I think) use of 'only if', you have a lot of trouble straightforwardly expressing the thought that Tom is the sort of fellow who won't attend in the absence of an invitation. I agree that it is sometimes (maybe even often) the case in English that 'only if' is used in a context where 'if and only if' is implied, but this does not remove its more fundamental meaning. And I think that you have picked a particularly bad example to illustrate the point. -- Gary H. Merrill [Principal Systems Developer, C Compiler Development] SAS Institute Inc. / SAS Campus Dr. / Cary, NC 27513 / (919) 677-8000 sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
Technical Details
Message-ID:
<Bw4Ko2.58J@unx.sas.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!darwin.sura.net!gatech!concert!sas!mozart.unx.sas.com!sasghmReferences:
<Bw2noB.6tE@newsflash.concordia.ca> <7563@charon.cwi.nl>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!darwin.sura.net!gatech!concert!sas!mozart.unx.sas.com!sasghm From: sasghm@theseus.unx.sas.com (Gary Merrill) Subject: Re: A only if B Originator: sasghm@theseus.unx.sas.com Sender: news@unx.sas.com (Noter of Newsworthy Events) Message-ID: <Bw4Ko2.58J@unx.sas.com> Date: Wed, 14 Oct 1992 18:57:37 GMT References: <Bw2noB.6tE@newsflash.concordia.ca> <7563@charon.cwi.nl> Nntp-Posting-Host: theseus.unx.sas.com Organization: SAS Institute Inc. Lines: 31