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)...
Gardado en:
| Publicado en: | URI:https://journals.openedition.org/msh, |
|---|---|
| Autor Principal: | |
| Formato: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicado: |
Mathématiques et sciences humaines
2006
|
| Sujets: | |
| Acceso en liña: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |