Che cos'è la logica? È solo una scienza formale e astratta, oppure ha a che fare con la realtà? Serve solo a giustificare conoscenze già trovate, oppure anche a scoprirne di nuove? Questo libro ricostruisce le risposte date a tali problemi dall'antichità ai nostri giorni da alcuni tra i pensatori più significativi quali Platone, Aristotele, Descartes, Pascal, Leibniz, Kant, Boole, Frege, Hilbert e Gödel. Partendo da tale ricostruzione esso propone una nuova visione della logica imperniata sul problema della scoperta, in cui il metodo analitico, l'induzione e l'analogia svolgono un ruolo centrale. Ciò comporta il passaggio dall'attuale concezione della scienza come sistema chiuso a una concezione della scienza come sistema aperto.