Notes to Classical Logic

1. It is possible to develop a system which allows open formulas to appear in arguments. This would have a direct impact on our treatment of the quantifiers, as we would have to be much more careful about which variables we were using. Allowing formulas to appear in arguments simplifies some things and complicates others.

Copyright © 2022 by
Stewart Shapiro <>
Teresa Kouri Kissel <>

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