Another person who seems to have had the same general ambition as Liebniz and Frege is the Free Software Foundation's lawyer, the man who with Richard Stallman created the General Public License. Eben Moglen. Here's Moglen in 2000:

I was committed to the idea that what we were doing with computers was making languages that were better than natural languages for procedural thought. The idea was to do for whole ranges of human thinking what mathematics has been doing for thousands of years in the quantitative arrangement of knowledge, and to help people think in more precise and clear ways.