logic and methodology of scientific knowledge