The standard interpretation of higher-order variables in modern logic and the concept of function in mathematics
A logic that utilizes higher-order quantification --quantifying over concepts (or relations), not just over the first-order level of individuals-- can be interpreted standardly or nonstandardly depending on whether one takes an intensional or extensional view of concepts. I argue that this decision...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2144/14239 |