Logic as Language and Logic as Calculus
Van Heijenoort's contrast between Frege's universalism and the model-theoretic view, and what each makes of metalogic
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will defineuniversalism about logiclogic as languagelogic as calculus
Assumesmetalogicmodelmetalanguage
Related
- Logic About Logicplanned