Abstract
A free logic is one in which a singular term can fail to refer to an existent object, for example, `Vulcan' or `5/0'. This essay demonstrates the fruitfulness of a version of this non-classical logic of terms (negative free logic) by showing (1) how it can be used not only to repair a looming inconsistency in Quine's theory of predication, the most influential semantical theory in contemporary philosophical logic, but also (2) how Beeson, Farmer and Feferman, among others, use it to provide a natural foundation for partial functions in programming languages. Vis à vis (2), the question is raised whether the Beeson-Farmer-Feferman approach is adequate to the treatment of partial functions in all programming languages. Gumb and the author say “No”, and suggest a way of handling the refractory cases by means of positive free logic. Finally, Antonelli's solution of a problem associated with the Gumb-Lambert proposal is mentioned.
Similar content being viewed by others
References
Antonelli, A. (2000), ‘Protosemantics for positive free logic’ Journal of Philosophy 29 (August Issue).
Beeson, M. (1985), Foundations of Constructive Mathematics, Berlin: Springer.
Farmer, W. (1991), ‘Reasoning about partial functions with the aid of a computer’, Erkenntnis 43, pp. 279–294.
Feferman. S. (1991), ‘Definedness’, Erkenntnis 43, pp. 295–320.
Gumb, R. and Lambert, K. (1997), ‘Definitions in nonstrict positive free logic’, Modern Logic 7, pp. 25–55. For a fully corrected version see http://www.cs.uml.edu/~gumb.
Kaplan, D. (1967), ‘What is Russell's theory of definite descriptions’ in W. Yourgrau and A. Breck, eds., New York: Plenum Press, pp. 227–295.
Lambert, K. and van Fraassen, B. (1972), Derivation and Counterexample, Encino, CA: Dickenson.
Lambert, K. (1974), ‘Predication and extensionality’, Journal of Philosophical Logic 3, pp. 255–264.
Lambert, K. (1991) in K. Lambert, ed., Philosophical Applications of Free Logic, New York and London: Oxford, pp. 273–274.
Meyer, R. and Lambert, K. (1968). ‘Universally free logic and standard quantification theory’, Journal of Symbolic Logic 33, pp. 8–26.
Scales, R. (1969), Attribution and Existence, University of Michigan Microfilms.
Quine, W.V. (1960), Word and Object, New York: Wiley & Sons.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lambert, K. From Predication to Programming. Minds and Machines 11, 257–265 (2001). https://doi.org/10.1023/A:1011215918556
Issue Date:
DOI: https://doi.org/10.1023/A:1011215918556