Er syllogistisk logikk i stand til å fange matematiske bevis? Denne boken presenterer den første sammenfattende fremstillingen av historien bak de ulike forsøkene på å besvare dette spørsmålet, resonnementene bak de forskjellige standpunktene, og de vidtrekkende konsekvensene av disse. Aristoteles hevdet at vitenskapelig kunnskap, som omfatter matematikk, tilbys av syllogismer av en spesiell art: 'vitenskapelige' ('demonstrative') syllogismer. I antikkens Hellas og middelalderen ble påstanden om at Euklids teorem kunne omformes syllogistisk akseptert uten videre vurdering. Likevel, allerede på Galens tid ble viktigheten av relasjonelt resonnement for matematikk anerkjent. Kritiske røster begynte å dukke opp i renessansen, og spørsmålet om hvorvidt matematiske bevis kunne omformes syllogistisk fikk større oppmerksomhet de påfølgende tre århundrene. Gjennom mer detaljerte analyser av Euklids teoremer ble det gjort forsøk på å utvide logisk teori til å omfatte disse komplekse problemstillingene.
