Poznanie pravdy môže byť úplne isté, alebo dostupné „len“ s vysokou mierou istoty. Úplne isté je také tvrdenie, ktoré možno alternatívne formulovať aj tak, že nie je možné, že by bolo nepravdivé. Je to tvrdenie mimoriadne silné, najsilnejšie zo všetkých možných a je dosť pochybné, že by bolo veľa vecí, ktoré by sme s takou istotou mohli tvrdiť. Príkladom tvrdenia, ktorého pravdivosť je takto skalopevne istá, je tvrdenie, že nejestvuje štvorcový kruh. Dôkaz je ľahký, lebo sa redukuje na odhalenie vnútorného protirečenia v popise objektu, ktorého neexistenciu dokazujeme. V našej mysli vieme, čo je kruh a čo je štvorec a vieme, že tieto objekty sa už z definície nedajú kombinovať. Je dosť jasné, že logické protirečenia (ale ani iné logické vlastnosti) nemožno hľadať v prírode, len v našej mysli. Aj dôkaz zachovania energie je taký, pretože apeluje na vzťah našej mysle k našej predstave o tom, čo znamená objektívna skutočnosť.