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
|
| Предметы: | |
| Online-ссылка: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |