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.
[1]
Willard Van Orman Quine,et al.
Word and Object
,
1960
.
[2]
Karel Lambert,et al.
Universally free logic and standard quantification theory
,
1968,
Journal of Symbolic Logic.
[3]
Karel Lambert,et al.
Predication and extensionality
,
1974,
J. Philos. Log..
[4]
Karel Lambert,et al.
Definitions in nonstrict positive free logic
,
1997
.
[5]
David Kaplan,et al.
What is Russell’s Theory of Descriptions?
,
1970
.
[6]
M. Beeson.
Foundations of Constructive Mathematics
,
1985
.
[7]
William M. Farmer,et al.
Reasoning about partial functions with the aid of a computer
,
1995
.
[8]
Gian Aldo Antonelli,et al.
Proto-Semantics for Positive Free Logic
,
2000,
J. Philos. Log..