Naturlig deduktion
Naturlig deduktion er en gren af matematisk logik, der blev udviklet i Polen i 1920'erne og 30'erne. Den er beregnet til at udtrykke slutningsregler, der er nært beslægtet med den "naturlige" måde at ræsonnere på.
Jaśkowski blev ansporet af en række seminarer i Polen i 1926 af Łukasiewicz, som gik ind for en mere naturlig behandling af logikken, og han gjorde de første forsøg på at definere en mere naturlig deduktion. I 1929 foreslog han første gang i 1929 at bruge en diagrammatisk notation, og senere opdaterede han sit forslag i artikler i 1934 og 1935.
