Logique formelle, ontologie esthétique