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

Full description

Bibliographic Details

Main Author:	Ginisti, Jean-Pierre
Format:	Artigo
Language:	Francês
Published:	Centre d’analyse et de mathématique sociales de l’EHESS 2003
Subjects:	ontologie logique combinatoire curryfication formalisation ontology combinatory logic formalization
Online Access:	https://doi.org/10.4000/msh.2874 https://hdl.handle.net/20.500.13089/igi0 https://journals.openedition.org/msh/2874
Tags:	Add Tag No Tags, Be the first to tag this record!