Some philosophers aim to show how we can be justified in accepting certain basic logical truths by giving "rule circular" proofs of the soundness of these basic logical truths. They admit that most people will never have considered the proofs in question, and they admit that these people still count as justified in using logic. But, they say that they showing that such proofs can in principle be given makes sense of how we can be justified in believing the basic logical claims established by the proofs right now.
That idea seems prima face implausible. In general the fact that someone 100 years later will prove P from premises that I accept (like the ZF axioms) doesn't suffice to show that I am justified in believing that P now. So why should the case be any different for the proofs of logical principles?
[I would rather say that we are prima facie justified in believing these logical principles in a way that has nothing to do with the possibility of giving further argument; coming up with more or less circular ways of proving the soundness of our logical principles is (at best) a way of improving our justification]