El documento describe las características de las ciencias formales y fácticas. Las ciencias formales usan la deducción, su criterio de verdad es la no contradicción, y sus enunciados son analíticos. Las ciencias fácticas usan la observación y experimentación, su criterio de verdad es la verificación, y sus enunciados son predominantemente sintéticos. También discute el conocimiento empírico, teórico, y las bases filosóficas del método científico propuesto por Galileo y Bacon.