Path: utzoo!utgpu!utstat!jarvis.csri.toronto.edu!mailrus!ames!amdcad!sun!pitstop!sundc!seismo!uunet!mcvax!ukc!etive!aipna!rjc
From: rjc@aipna.ed.ac.uk (Richard Caley)
Newsgroups: comp.ai
Subject: Re: The prince of France is bald.
Message-ID: <528@aipna.ed.ac.uk>
Date: 9 Feb 89 05:16:57 GMT
References: <697@csd4.milw.wisc.edu> <44267@linus.UUCP>
Reply-To: rjc@uk.ac.ed.aipna (Richard Caley)
Organization: Dept. of AI, Edinburgh, UK
Lines: 25
Dragon: Oolong

In article <44267@linus.UUCP> bwk@mbunix.mitre.org (Barry Kort) writes:
>Consider the assertion,

>	The prince of France is bald.				(1)

>From this assertion, we can logically conclude 

>	The prince of France is heir apparent to the throne.	(2)

Presumably because 'The' implies uniqueness. 

I dissagree.

From someone asserting (1) we can imply that they would believe (2) (
assuming that they are following all sorts of conventions ). In the
abstarct, the sentence does not imply the latter at all ( even given a
set of axioms about royal succession and so on ).

>--Barry Kort

-- 
	rjc@uk.ac.ed.aipna	AKA	rjc%uk.ac.ed.aipna@nss.cs.ucl.ac.uk

	    "Give me a beer and money sandwich: hold the bread"
			- Waldo 'DR' Dobbs