Path: utzoo!utgpu!water!ylfink
From: ylfink@water.waterloo.edu (ylfink)
Newsgroups: ont.events,uw.talks
Subject: The Paradox of the Name Relation.
Keywords: Mr. Bijan Arbab, Thurs., Sept. 22/88, 3:00 PM, DC 1304.
Message-ID: <1839@water.waterloo.edu>
Date: 19 Sep 88 17:55:52 GMT
Distribution: ont
Organization: U of Waterloo, Ontario
Lines: 40



DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

PROGRAMMING LANGUAGES
AND ARTIFICIAL INTELLIGENCE SEMINAR

                    - Thursday, September 22, 1988

Mr.   Bijan  Arbab,  Department  of  Computer  Science,
University of California, Los Angeles, California, will
speak on ``The Paradox of the Name Relation''.

TIME:                3:00 PM

ROOM:              DC 1304

ABSTRACT

Kazimierz   Ajdukiewicz  makes  use  of  the  following
example  to  demonstrate a logical puzzle.  We have the
two true premises:

    1.  Newton knew that 8 > 5.

    2.  The atomic number of oxygen = 8.

Hence,  by  the  substitutive  law  of  equality, using
premise 2 to substitute in premise 1, we infer

    3.  Newton  knew that the atomic number of oxygen >
        5.

But the conclusion is clearly false.  Must we therefore
abandon  the  substitutive  law,  or is there some less
drastic remedy?

                   September 19, 1988