Where does it say it was ever named the Ben Franklin Library?
I don't understand how you even associated Ben with this discussion.
"Franklin is probably best known in the library community for founding the Library Company of Philadelphia in 1731. It was America's first lending library and can lay claim to being the predecessor of the free public library."
The whole idea of making books available to anyone was his.