Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxj!houxm!ihnp4!zehntel!hplabs!sri-unix!WALTER%MIT-OZ@MIT-MC.ARPA From: WALTER%MIT-OZ@MIT-MC.ARPA Newsgroups: net.ai Subject: Humor & Seminar - Slimy Logic Message-ID: <12302@sri-arpa.UUCP> Date: Thu, 20-Sep-84 10:44:00 EDT Article-I.D.: sri-arpa.12302 Posted: Thu Sep 20 10:44:00 1984 Date-Received: Wed, 26-Sep-84 06:22:29 EDT Lines: 44 From: Walter Hamscher[Forwarded from the MIT bboard by SASW@MIT-MC.] The Computer Aided Conceptual Art Laboratory and Laboratory for Graduate Student Lunch presents SLIMY LOGIC or INDENUMERABLY MANY TRUTH-VALUED LOGIC WITHOUT HAIR by Lofty Zofty The indenumerably many-valued logics which result from the first stage of slime-ification are so to speak "non-standard" logics; but slimy logic, the result of the second stage of slime-ification, is a very radical departure indeed from classical logics, and thereby sidesteps many fruitless preoccupations of logicians such as completeness, consistency, axiomatization, and proof. In this talk I attempt to counter Slimy Logic's low and ever-declining popularity by presenting a "qualitative" view of slimy logic in which such definitions as 2 very true = true and -3/2 not very pretty false = false by the qualitative (i.e. so even people who don't carry around two calculators can understand them) definitions: very true = true and not very pretty false = ugly false I will then use this "qualitative" slimy logic to very nearly prove very much that Jon Doyle is probably not very right about nearly extremely many things. HOSTS: Robert Granville and Isaac Kohane Refreshments will be served Moved to the Third Floor Theory Group Playroom