Spiritus asper versus lambda. On the nature of functional abstraction

0573620 - FLÚ 2024 RIV US eng J - Článek v odborném periodiku
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 ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: functional abstraction * type theory * Gottlob Frege
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
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.
Trvalý link: https://hdl.handle.net/11104/0344218