Gli sviluppi della ricerca logica