The logic taught in philosophy and computer-science classes today—first-order or predicate logic—is only a slight modification of Frege’s system. Frege is generally considered one of the ...