Notes to Logical Consequence

1. The foregoing section owes much to the work of John MacFarlane in his thesis MacFarlane 2000 (Other Internet Resources). MacFarlane distinguished the three kinds of formality at which we have merely waved at here, and he provides a detailed discussion of the notions, making many distinctions over which we have passed.

Copyright © 2019 by
Jc Beall
Greg Restall
Gil Sagi <>

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free