Spiritus asper versus lambda. On the nature of functional abstraction

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F23%3A00573620" target="_blank" >RIV/67985955:_____/23:00573620 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1215/00294527-10670089" target="_blank" >https://doi.org/10.1215/00294527-10670089</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1215/00294527-10670089" target="_blank" >10.1215/00294527-10670089</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Spiritus asper versus lambda. On the nature of functional abstraction

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Spiritus asper versus lambda. On the nature of functional abstraction

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Notre Dame Journal of Formal Logic

ISSN

0029-4527

e-ISSN

1939-0726

Svazek periodika

64

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

19

Strana od-do

205-223

Kód UT WoS článku

001023403500005

EID výsledku v databázi Scopus

2-s2.0-85165201825