Spiritus asper versus lambda. On the nature of functional abstraction

0573620 - FLÚ 2024 RIV US eng J - Journal Article
Klev, Ansten
Spiritus asper versus lambda. On the nature of functional abstraction.
Notre Dame Journal of Formal Logic. Roč. 64, č. 2 (2023), s. 205-223. ISSN 0029-4527. E-ISSN 1939-0726
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : functional abstraction * type theory * Gottlob Frege
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1215/00294527-10670089

The spiritus asper as used by Frege in a letter to Russell from 1904 bears resemblance to Church’s lambda. It is natural to ask how they relate to each other. An alternative approach to functional abstraction developed by Per Martin-Löf some thirty years ago allows us to describe the relationship precisely. Frege’s spiritus asper provides a way of restructuring a unary function name in Frege’s sense such that the argument place indicator occurs all the way to the right. Martin-Löf’s alternative approach shows that this is only half of what lambda does. The other half is the deletion of the argument place indicator, resulting in what Frege would have called an isolated function name.
Permanent Link: https://hdl.handle.net/11104/0344218