The logical assumptions, that is the rules of inference (part of the overall proof theory) and the logical syntax, are assumed as part of the underlying logic, and are part of the mechanism needed for the application of reason. Thus logic is assumed as an unproblematic foundation for the justification of knowledge.