The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School.

The problem of precise characterisation of traditional forms of reasoning applied in mathematics was independently investigated and successfully resolved by Jaśkowski and Gentzen in 1934. However, there are traces of earlier interests in this field exhibited by the members of the Lvov-Warsaw School. We focus on the results obtained by Jaśkowski and Leśniewski. Jaśkowski provided the first formal system of natural deduction in 1926. Leśniewski also demonstrated in some of his papers how to construct proofs in accordance with intuitively correct principles. [ABSTRACT FROM AUTHOR]