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