There can be no doubt that the knowledge of logic is of considerable practical importance for every one who desires to think and to infer correctly.

Alfred Tarski

That which is provable, ought not to be believed in science without proof.

Richard Dedekind