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)...
Spremljeno u:
| Izdano u: | URI:https://journals.openedition.org/msh, |
|---|---|
| Glavni autor: | |
| Format: | Article ou chapitre numérique |
| Jezik: | Français |
| Izdano: |
Mathématiques et sciences humaines
2006
|
| Teme: | |
| Online pristup: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |