Buridan and Ockham distinguished between inferences valid by form and those valid by the impossibili...