Proving the false : Method and logic of Giovanni Battista Riccioli