Re: "Semantics" vs. "No Semantics"

From: Francois Bry <bry@ifi.lmu.de>
Subject: Re: "Semantics" vs. "No Semantics"
Date: Tue, 09 May 2006 16:18:57 +0200

> Peter F. Patel-Schneider wrote:
> > ********************
> > # Abstraction (computer science), a mechanism and practice to reduce and
> > 	factor out details so that one can focus on few concepts at a time 
> > # Abstraction (mathematics), the process of extracting the underlying
> > 	essence of a mathematical concept, removing any dependence on real
> > 	world objects 
> > # Abstraction (sociology), the varying levels at which theoretical concepts
> > 	can be understood 
> > ********************
> >   
> I see no contradications with the use of the word I made: A semantics S1
> is more abstractsa than a semanrtics S2 if it leaves out some aspects
> that S2 does not leave out. :-)
> 
> Francois

I do see a very clear and important distinction.  The abstraction notion
above closest to your view of abstraction leaves out details, not arbitrary
aspects.  

peter