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

ver descrição completa

Detalhes bibliográficos

Autor principal:	Ginisti, Jean-Pierre
Formato:	Artigo
Idioma:	Francês
Publicado em:	Centre d’analyse et de mathématique sociales de l’EHESS 2003
Assuntos:	ontologie logique combinatoire curryfication formalisation ontology combinatory logic formalization
Acesso em linha:	https://doi.org/10.4000/msh.2874 https://hdl.handle.net/20.500.13089/igi0 https://journals.openedition.org/msh/2874
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!