[FOM] Free Logic
Dana Scott
dana.scott at cs.cmu.edu
Wed Oct 28 17:45:03 EDT 2015
Ten years apart, I wrote two papers:
Dana Scott. "Existence and description in formal logic." In: Bertrand Russell:
Philosopher of the Century, edited by R. Schoenman. George Allen & Unwin, London,
1967, pp. 181-200. Reprinted with additions in: Philosophical Application of
Free Logic, edited by K. Lambert. Oxford Universitry Press, 1991, pp. 28 - 48.
Dana Scott. "Identity and existence in intuitionistic logic." In: Applications of
Sheaves, edited by M. Fourman & D. Scott. Durham Proceedings (1977), Springer-Verlag,
LNM vol. 753, 1979, pp. 660-696.
Not everyone liked my formalization. My rule-of-thumb was that
free variables allowed substitution by any term existing or not.
The bound variable though ranged over existing things. I allowed
any number of non-existents and equality did not imply existence.
And an empty domain was OK.
I can send a PDF of either paper upon request.
More information about the FOM
mailing list