"Aby jednoznacznie zreferować treść współczesnych teorii metodologicznych, musimy posłużyć się dokładnie w nich ustaloną terminologią"
A jednak indukcja stosowana jest ciągle nie tylko w życiu codziennym, lecz także stanowi jedną z głównych metod w naukach przyrodniczych. Stąd logika formalna jest niezbędnym założeniem badania naukowego. Łukasiewicz pokazuje, że tak zwana indukcja jest specjalnym przypadkiem redukcji. dających się zaobserwować, następstw) albo choroba jako taka (w odróżnieniu od jej symptomów).