An introduction to Kant's critical philosophy