Studia Logica 43 (3):281-294 (1984)
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)|
References found in this work BETA
Existence and Description in Formal Logic.Dana Scott - 1967 - In Ralph Schoenman (ed.), Journal of Symbolic Logic. pp. 181--200.
Citations of this work BETA
No citations found.
Similar books and articles
Relational and Partial Variable Sets and Basic Predicate Logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (3):843-872.
Reference and Definite Descriptions.Keith S. Donnellan - 1966 - Philosophical Review 75 (3):281-304.
A Partial Functions Version of Church's Simple Theory of Types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
Absolute Probability Functions for Intuitionistic Propositional Logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
A Set Theory with Support for Partial Functions.William M. Farmer & Joshua D. Guttman - 2000 - Studia Logica 66 (1):59-78.
The Addition of Bounded Quantification and Partial Functions to a Computational Logic and its Theorem Prover.Robert Boyer - manuscript
The Lazy Logic of Partial Terms.Raymond D. Gumb - 2002 - Journal of Symbolic Logic 67 (3):1065-1077.
Added to index2009-01-28
Total downloads14 ( #333,062 of 2,169,644 )
Recent downloads (6 months)4 ( #82,217 of 2,169,644 )
How can I increase my downloads?