Los escolásticos distinguieron entre proposición «formalmente hipotética», la "condicional", y «materialmente hipotética», la "implicación", y así ha perdurado en la filosofía tradicional.