Back to Search
Start Over
Models for Various Type-Free Calculi
Models for Various Type-Free Calculi
- Publication Year :
- 1973
- Publisher :
- Elsevier, 1973.
-
Abstract
- Publisher Summary This chapter discusses models of various type free calculi. The range of arguments or range of values of a function should consist wholly or partly of functions. The derivative, as this notion appears in the elementary differential calculus, is a familiar mathematical example of a function for which both ranges consist of functions. Formal logic provides other examples; thus the existential quantifier, according to the present account, is a function for which the range of arguments consists of propositional functions, and the range of values consists of truth values. A function could be a “scheme” for a type of process, which would become definite when presented with an argument. The value would be extracted as an end result of the process. Two functions that are extensionally the same might compute, however, by quite different processes.
Details
- Database :
- OpenAIRE
- Accession number :
- edsair.doi...........7627e2e204b57c4c9f74099ec3c98bcf
- Full Text :
- https://doi.org/10.1016/s0049-237x(09)70356-8