自然な推理
自然演繹は、1920年代から30年代にかけてポーランドで開発された数理論理学の一分野である。自然」な推論方法に密接に関連した推論ルールを表現することを目的としている。
1926年にポーランドで行われたŁukasiewiczによる一連のセミナーで、論理学のより自然な取り扱いを提唱したことに刺激されて、Jaśkowskiはより自然な演繹法を定義しようとする最初の試みを行った。1929年に彼はまず図式的な表記法を用いることを提案し、その後1934年と1935年の論文でその提案を更新している。
