Se a logica pode provar qualquer coisa, então ela poderia provar que a logica não pode provar qualquer coisa?

Mas a lógica não pode provar qualquer coisa. A lógica apenas pode provar aquilo que decorra, como conclusão, de um raciocínio corretamente encaminhado. Todavia a maior parte das constatações a respeito da realidade não são lógicas e sim evidências mostradas pela percepção que os sentidos têm do mundo, auxiliados, se preciso, por instrumentos, como lentes, microfones, medidores e vários outros. As assertivas que se fazem a respeito da estrutura e do comportamento da realidade, hauridas das evidências, não são produtos de raciocínios, não sendo, portanto, lógicas. Isso não as impede de serem verdadeiras, pois há dois critérios de verdade, a evidência e a prova. Todavia, toda prova, em última instância, advém de evidências primitivas, a partir das quais, por raciocínio, se tiram conclusões e das conclusões, por raciocínio, se tiram novas conclusões e assim por diante. Mas no princípio da cadeia de raciocínios sempre há constatações diretas da veracidade das assertivas obtidas por evidências, que não são lógicas.