Abstract
After a discussion of the different treatments in the literature of vacuous descriptions, the notion of descriptor is slightly generalized to function descriptor , so as to form partial functions which satisfy \(\forall \overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\rightharpoonup}$}} {x} z\left( {z = \varphi \overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\rightharpoonup}$}} {x} \leftrightarrow \forall y\left( {A\left( {\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\rightharpoonup}$}} {x} ,y} \right) \leftrightarrow y = z} \right)} \right)\). We use (intuitionistic, classical or intermediate) logic with existence predicate, as introduced by D. S. Scott, to handle partial functions, and prove that adding function descriptors to a theory based on such a logic is conservative. For theories with quantification over functions, the situation is different: there the addition of yields new theorems in the -free fragment, but an axiomatisation is easily given. The proofs are syntactical.
Similar content being viewed by others
References
P. Bernays andA. A. Fraenkel,Axiomatic Set Theory, Amsterdam (North-Holland) 1958.
G. Frege,Grundgesetze der Arithmetik (I. Band), Jena (H. Pohle) 1893. Reprint: Hildesheim (G. Olms) 1962.
D. Hilbert andP. Bernays,Grundlagen der Mathematik I, Berlin (Springer) 1934; second edition 1968.
S. C. Kleene,Introduction to Metamathematics, Amsterdam (North-Holland), Groningen (P. Noortdhoff), New York, Toronto (D. van Nostrand) 1952.
S. C. Kleene,Formalized recursive functionals and formalized realizability,Memoirs of the American Mathematical Society (89), 1969.
G. Peano,Arithmetices principia, novo methodo exposita. Turin (Bocca) 1889. English translation in: J. van Heijenoort (ed.),From Frege to Gödel, Cambridge, Mass. (Harvard University Press) 1967, pp. {p85-97}.
W. V. O. Quine,Set Theory and its Logic, Cambridge, Mass. (Belknap) 1963, 1967.
D. S. Scott,Existence and description in formal logic, in: R. Schoenman (ed.),Bertrand Russell, Philosopher of the Century, London (Allen & Unwin) 1967, pp. 181–200.
D. S. Scott,Identity and Existence in intuitionistic logic, in: M. P. Fourman, C. J. Mulvey, D. S. Scott (eds.),Applications of Sheaves (Lecture Notes in Mathematics 753), Berlin etc. (Springer) 1979, pp. 660–696.
C. Smoryński,Nonstandard models and constructivity, in: A. S. Troelstra & D. van Dalen (eds.),The L. E. J. Brouwer Centenary Symposium, Amsterdam etc. (North-Holland) 1982, pp. 459–464.
S. Stenlund,The Logic of Description and Existence (Filosofiska Studier 18), Uppsala (Dept. of Philosophy) 1973.
S. Stenlund,Descriptions in intuitionistic logic, in: S. Kanger (ed.),Proceedings of the Third Scandinavian Logic Symposium. Amsterdam etc. (North-Holland) 1975, pp. 197–212.
A. N. Whitehead andB. Russell,Principia Mathematica (Vol. 1), Cambridge (University Press) 1910.
Author information
Authors and Affiliations
Additional information
While preparing this paper, the author was supported by the Netherlands, Organisation for the Advancement of Pure Research (Z.W.O.).
Rights and permissions
About this article
Cite this article
Renardel, G.R., de Lavalette Descriptions in mathematical logic. Stud Logica 43, 281–294 (1984). https://doi.org/10.1007/BF02429843
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02429843