John Buridan's 'Treatise on Consequences' contains arguably the most important treatment of logical consequence in the middle ages. Buridan was a philosopher and logician working at the University of Paris in the mid-fourteenth century. His works include commentaries on many of …