Analysis of the general presuppositions of formal reasoning exemplified on the basic texts of modern logic (Frege, Russell, Wittgenstein).
