Graduate studies at Western
Studia Logica 43 (3):281-294 (1984)
|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 . 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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Silvio Ghilardi & Giancarlo Meloni (1996). Relational and Partial Variable Sets and Basic Predicate Logic. Journal of Symbolic Logic 61 (3):843-872.
Keith S. Donnellan (1966). Reference and Definite Descriptions. Philosophical Review 75 (3):281-304.
William M. Farmer (1990). A Partial Functions Version of Church's Simple Theory of Types. Journal of Symbolic Logic 55 (3):1269-1291.
Peter Roeper & Hugues Leblanc (1999). Absolute Probability Functions for Intuitionistic Propositional Logic. Journal of Philosophical Logic 28 (3):223-234.
Greg Restall (2005). Logic: An Introduction. Routledge.
William M. Farmer & Joshua D. Guttman (2000). A Set Theory with Support for Partial Functions. Studia Logica 66 (1):59-78.
Robert Boyer, The Addition of Bounded Quantification and Partial Functions to a Computational Logic and its Theorem Prover.
Raymond D. Gumb (2002). The Lazy Logic of Partial Terms. Journal of Symbolic Logic 67 (3):1065-1077.
Gerard R. Renardel De Lavalette (1984). Descriptions in Mathematical Logic. Studia Logica 43 (3):281 - 294.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?