on some fundamental issues concerning the relation between logic and