Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: RE: RE: Re: Re: Abstraction, Analogy, Example, Icon, Metaphor, Model, Morphism, Paradigm, Prototype, Simulation


Matthew,

That is a point that I keep emphasizing to both logicians
and to database experts -- two sets that are almost disjoint.

>Of course the basis is data models, rather than FOL type stuff, but as I am

>increasingly realising the gap between the two is narrower than most people

>think. It is just that very few try to cross it.

I keep reminding the logicians that the query subset of SQL
can represent full FOL.  And I keep reminding the database
programmers that whenever they formulate a query in SQL they
are using a version of FOL.

There are a few professor types who know both, but they are
very rare and are usually ignored by both the programmers and
the logicians.

John Sowa