Abstract
The lower functional calculus1 forms the next step “up” in the logical hierarchy. Most formulations include the propositional calculus as a part and, hence, include axioms of propositional logic as among their axioms. Systems of the lower functional calculus always include individual variables (for which names of individuals may be substituted), predicate variables (for which names of properties of individuals may be substituted), and at least one quantifier (usually the so-called “universal quantifier”). A standard (S) system of the lower functional calculus may be built up out of the propositional system PLT by adding axioms and definitions, or out of PLT’, by the same procedure. The system of functional logic developed in this Chapter and in Chapter 8 uses PLT’ as its propositional basis. It is called LFLT’.2 The present chapter builts that part of LFLT’ which possesses among its predicate signs, none but signs for simple or one-place predicates. The full system is outlined in Chapter 8.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1966 D. Reidel Publishing Company
About this chapter
Cite this chapter
Hackstaff, L.H. (1966). The Lower Functional Calculus. In: Systems of Formal Logic. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-3547-7_7
Download citation
DOI: https://doi.org/10.1007/978-94-010-3547-7_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3549-1
Online ISBN: 978-94-010-3547-7
eBook Packages: Springer Book Archive