Article View: sci.logic
Article #647Re: Multiple Truth Values
From: Torkel Franzen
Date: Tue, 12 Jan 1993 10:07
Date: Tue, 12 Jan 1993 10:07
25 lines
2077 bytes
2077 bytes
In article <1993Jan12.083955.19685@CSD-NewsHost.Stanford.EDU> pratt@Sunburn. Stanford.EDU (Vaughan R. Pratt) writes: >So if you >truthfully 'fess right up with "I broke the vase" then it cannot be >that you did not break the vase. But if you say "I didn't not break >the vase" then while this tips us off to some degree of culpability on >your part it does not permit us to infer intuitionistically that you >actually broke the vase. In your terminology then, a confession on your part in the form "surely I broke the vase" must not be taken to mean that you did break the vase, although an indignant denial in the form "surely I did not break the vase" or "I did not surely break the vase" implies that you did not break the vase. If you say "surely, if I broke the vase I must have smashed the window" and later admit that you broke the vase, we must be careful not to claim that you stand convicted on your own evidence of having smashed the window, but only of having surely smashed the window. I think this whole thing is a very shrewd move on your part in that it practically guarantees that whatever misdemeanors you may commit in the future, you will be able to confuse your interrogators to the point where they prefer to drop all charges. Presuming, of course, that your lawyer can convince the court that this person, being an Intuitionist, must be interrogated in his own language.
Technical Details
Message-ID:
<TORKEL.93Jan12110752@lludd.sics.se>Path:
arc1-ca.pugleaf.net!sparky!uunet!gatech!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!sics.se!torkelReferences:
<1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> <1993Jan11.194737.11729@dcs.qmw.ac.uk> <1993Jan12.083955.19685@CSD-NewsHost.Stanford.EDU>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!gatech!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!sics.se!torkel From: torkel@sics.se (Torkel Franzen) Newsgroups: sci.logic Subject: Re: Multiple Truth Values Message-ID: <TORKEL.93Jan12110752@lludd.sics.se> Date: 12 Jan 93 10:07:52 GMT References: <1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> <1993Jan11.194737.11729@dcs.qmw.ac.uk> <1993Jan12.083955.19685@CSD-NewsHost.Stanford.EDU> Sender: news@sics.se Organization: Swedish Institute of Computer Science, Kista Lines: 25 In-Reply-To: pratt@Sunburn.Stanford.EDU's message of 12 Jan 93 08:39:55 GMT