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