[ont.events] The Paradox of the Name Relation.

ylfink@water.waterloo.edu (ylfink) (09/16/88)

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:30 PM

ROOM:              MC 5045

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 16, 1988

ylfink@water.waterloo.edu (ylfink) (09/20/88)

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