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)...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Κύριος συγγραφέας:	Ginisti, Jean-Pierre
Μορφή:	Artigo
Γλώσσα:	Francês
Έκδοση:	Centre d’analyse et de mathématique sociales de l’EHESS 2003
Θέματα:	ontologie logique combinatoire curryfication formalisation ontology combinatory logic formalization
Διαθέσιμο Online:	https://doi.org/10.4000/msh.2874 https://hdl.handle.net/20.500.13089/igi0 https://journals.openedition.org/msh/2874
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!