Noem twee doelstellingen van de logica