🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #263

Re: A only if B

#263
From: Gary Merrill
Date: Wed, 14 Oct 1992 18:57
31 lines
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!sasghm
References: <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