The necessity in deduction: Cartesian inference and its medieval background · Study