Date: 20 Sep 1984 10:44 EDT (Thu)
From:: Walter Hamscher
To: *mac@MIT-MC
Subject: Slimy Logic Seminar

       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

                           Abstract

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