Fins et moyens. La théorie constructive des types considérée comme guide pour former des modèles en théorie de l'esprit et de l'action

Fins et moyens. La théorie constructive des types considérée comme guide pour former des modèles en théorie de l'esprit et de l'action

The following discussion aims at clarifying the formal relation between end and means in terms of constructive type theory. Philosophical tradition offers two opposed conceptions: a Machiavellian, on the one hand, dealing with end and means as to some extent independent items, and a Kantian, on the...

Description complète

Enregistré dans:
Détails bibliographiques
Dans:URI:https://journals.openedition.org/msh,
Auteur principal: Lohrer, Guido
Format: Article ou chapitre numérique
Langue:Anglais
Publié: Mathématiques et sciences humaines 2006
Sujets:
action considérée comme un type
analyticité
moyen canonique
théorie constructive des types
relation fin/moyen
savoir pratique (savoir faire)
actions as types
analyticity
canonical means
constructive type theory
end/means-relation
practical knowledge (knowing how)
Accès en ligne:Accès Université d'Orléans et IFPM
Accès Université d'Orléans et IFPM

En ligne

https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.4000/msh.2947
https://ezproxy.univ-orleans.fr/login?url=https://journals.openedition.org/msh/2947

Documents similaires