Mediaeval and Renaissance Logic