Re: One-To-One Relationships
Date: Fri, 30 Nov 2007 13:42:27 GMT
"Marshall" <marshall.spight_at_gmail.com> wrote in message
> On Nov 29, 10:50 pm, David BL <davi..._at_iinet.net.au> wrote:
> > On Nov 30, 2:54 pm, Marshall <marshall.spi..._at_gmail.com> wrote:
> > > On Nov 29, 9:20 pm, David BL <davi..._at_iinet.net.au> wrote:
> > > > How does one interpret a tuple as a proposition about the real world
> > > > if one avoids any conception of entities?
> > > How does one interpret a proposition as a proposition about
> > > the real world?
> > I'm not sure what you mean.
> > I didn't state myself clearly. I wasn't intending the formal meaning
> > of "proposition". Please substitute a less formal word like "fact" in
> > my previous post.
> Okay. Let me rephrase my question according to your specifications:
> How does one interpret a proposition as a fact about the real world?
> I believe that the answer to this question is the same as the answer
> to the question you asked, which was:
> "How does one interpret a tuple
> as a proposition about the real world
> if one avoids any conception of entities?"
> The formalism that gives us propositions, and that lets us use them
> to state facts about the real world, and infer new facts from the
> stated facts, does not have any conception of entities.
> Is it clear what I'm saying?
> > > > It seems to me that some entities are inevitable. Can't the
> > > > of entities be stated without throwing the baby out with the bath
> > > > water?
> > > Counter-question: what do you get from entities that you
> > > don't get from propositions?
> > I would have thought we need both.
> That's no excuse for not answering my question. :-)
> > By "proposition" do you mean formula from the propositional calculus?
> > The propositional calculus is a formalism and doesn't come with some
> > mapping back to the real world. I don't understand how any mapping
> > could be understood without any conception of entities.
> Does that mean you understand the term "entity" to be referring
> to the conceptual layer? I don't think that's the usual sense of
> the word.
> > Isn't this mapping related to intensional definitions? These are
> > typically stated in natural language because they can't be
> > formalised. It seems to me that the instantiations of natural
> > language intensional definitions are the counterpart to propositions
> > being instantiations of predicates, and such natural language
> > instantiations always refer to things that are assumed to exist in the
> > real world (assuming the RDB is meant to model reality somehow).
> So, given all this, do we need to separate out the concepts of
> entity and relationship at the logical layer? It seems to me the
> answer is a clear "no."
> Since, as you say, the mapping to the real world cannot
> be formalized, I figure anyone can go ahead and think
> about it however they like.
If a proposition concerning the real world is stated in plain English, rather than some formal way, there are going to be some nouns in the plain English. Those nouns are going to have referents. Those referents can be called "entities". They can also be called "things" or "objects". Whatever you call them, there will be objections. Received on Fri Nov 30 2007 - 14:42:27 CET