Medieval logicians including Buridan distinguished 'formal consequence' holding in virtue of logical...