Des formes logiques aux formes métaphysiques : abstraction ou déduction ?