Tämä kirja, jonka on kirjoittanut yksi arvostetuimmista nykyaikaisista matematiikan filosofeista, on täysin uudelleen kirjoitettu ja päivitetty seuraaja kirjoittajan aikaisemmalle Johdonmukaisuuden todistamattomuus (1979). Sen aiheena on todistettavuuden ja modaalisen logiikan välinen suhde, Aristoteleen keksimä logiikan haara, jota filosofit halveksivat ja matemaatikot käytännössä jättävät huomiotta. Täällä se saa ensimmäisen tieteellisen sovelluksensa keksintönsä jälkeen. Modaalinen logiikka koskee välttämättömyyden ja mahdollisuuden käsitteitä. George Boolos osoittaa, kuinka modaalisen logiikan käsitteet, tekniikat ja menetelmät valaisevat loistavasti kahdennenkymmenennen vuosisadan tärkeintä loogista löytöä: Kurt Godelin epätäydellisyysteoreemoja ja niiden todistuksessa rakennettuja "itseensä viittaavia" lauseita. Kirja tutkii välttämättömyyden ja mahdollisuuden käsitteiden uudelleentulkinnan vaikutuksia todistettavuuteen ja johdonmukaisuuteen. Kieli: englanti