POOD and the Unique Name Assumption
From: Brian Selzer <brian_at_selzer-software.com>
Date: Mon, 9 Jun 2008 09:02:42 -0400
Message-ID: <TR93k.5874$xZ.1736_at_nlpi070.nbdc.sbc.com>
Does the Unique Name Assumption apply only to individuals, or does it apply also to relations? Under an interpretation where constant symbols are mapped to individuals and predicate symbols are mapped to relations, if a and b are constant symbols and P and Q predicate symbols and if neither aPb nor aQb fail to denote, can aPb ever mean exactly the same thing as aQb?
Date: Mon, 9 Jun 2008 09:02:42 -0400
Message-ID: <TR93k.5874$xZ.1736_at_nlpi070.nbdc.sbc.com>
Does the Unique Name Assumption apply only to individuals, or does it apply also to relations? Under an interpretation where constant symbols are mapped to individuals and predicate symbols are mapped to relations, if a and b are constant symbols and P and Q predicate symbols and if neither aPb nor aQb fail to denote, can aPb ever mean exactly the same thing as aQb?
And if the Unique Name Assumption does apply also to relations, then what impact does that have on POOD?
Received on Mon Jun 09 2008 - 15:02:42 CEST