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

[Jon Awbrey <jawbrey@oakland.edu>]

John F. Sowa wrote:
> 
> 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

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

John,

Perhaps the difference in "propositional altitudes"
between the empirical type and the theoretical type
of rock-climber is not in the equipage of gear and
lines and ropes and stuff that they have learned
to use for staking out their positions.

And as I am learning more and more lately,
working with a net does not have all that
much impact on changing one's inveterate
perspective, either.  And yet, I cannot
seem to resist a good cliff-hanger ...

Cheers,

Jon Awbrey 

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤