[FOM] Frege and logic

[Jay Halcomb]

Did Frege strongly influence the development of modern logic, particularly
through Russell? Well, duh (chuckle).

By coincidence, I just happened to be re-reading the _Principia_Mathematica_
and the _Principles_of_Mathematics.

Urquhart has pointed to Appendix B of the _Principles_of_Mathematics_, the
Doctrine of Types. Appendix A is the Logical and Arithmetical Doctrines of
Frege.

Urquhart has also mentioned the remark of Russell and Whitehead in the
Intro. to the _Principia_: "In all questions of logical analysis, our chief
debt is to Frege." The passage continues: "Where we differ from him, it is
largely because the contradictions showed that he, in common with all other
logicians ancient and modern, had allowed some error to creep into his
premises; but apart from the contradictions, it would have been almost
impossible to detect this error."

Jay Halcomb
Interests: logic and computability (and f.o.m.)