La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
Is combinatory logic a logic of any objects whatever or a logic of operators?(1) The philosophical commitments of combinatory logic are explained from several principles, not always explicit in literature (pansemy, complete formalisation, ontological neutrality, reversibility, free application).(2)...
保存先:
| 出版年: | URI:https://journals.openedition.org/msh, |
|---|---|
| 第一著者: | |
| フォーマット: | Article ou chapitre numérique |
| 言語: | Français |
| 出版事項: |
Mathématiques et sciences humaines
2006
|
| 主題: | |
| オンライン･アクセス: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| 要約: | Is combinatory logic a logic of any objects whatever or a logic of operators?(1) The philosophical commitments of combinatory logic are explained from several principles, not always explicit in literature (pansemy, complete formalisation, ontological neutrality, reversibility, free application).(2) Examples known, then new) of the combinatory style are given in order to identify the program of this logic. The technical contributions of the author are (mainly) : the elimination of propositional functors by new combinators (distributors of semantical objects), then by classical combinators. The process called « currying » and the theory of functionality are revisited. Everywhere, the notion of « any object whatever » turns out to be capital. |
|---|