About: Dynamique des démonstrations et théorie de l'interaction

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Dynamique des démonstrations et théorie de l'interaction Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Thesis advisor	Université de Provence. Faculté des lettres et sciences humaines (1969-2011) Livet, Pierre (1945-....)
Author	Tronçon, Samuel (1973-....)
alternative label	Proof dynamics and theory of interaction
dc:subject	Thèses et écrits académiques Logique -- Philosophie Signification (philosophie) Holisme
preferred label	Dynamique des démonstrations et théorie de l'interaction
Language	http://lexvo.org/id/iso639-3/fra
Subject	http://www.idref.fr/027584240/id http://www.idref.fr/027253139/id http://www.idref.fr/05015656X/id http://www.idref.fr/027440370/id
dc:title	Dynamique des démonstrations et théorie de l'interaction
Degree granting institution	Université de Provence (1970-2011)
note	Le modèle analytique voit dans la logique une langue transcendant les usages, et fonde ainsi l'intersubjectivité de la signification. Le paradigme procédural la conçoit plutôt comme formalisation des processus de construction de la connaissance. C'est donc un renversement qui fait du langage un simple moyen de description et de la processualité une nouvelle normativité. Fruit de l'énorme bond en avant produit par la découverte de la dynamique des preuves et de l'isomorphisme preuves-programmes, ce renversement ne s'imposera qu'avec le tournant géométrique. Car, en fondant la logique sur elle-même, une bifurcation apparaît entre le concept et sa représentation, et c'est la réintégration du cognitif par le biais de la notion d'interaction qui permettra de reconstruire le lien à une certaine forme de naturalité. Cette nouvelle fondation nous amène ainsi à réviser l'ancrage même de la logique, c'est-à-dire notre conception de la matière dans laquelle elle opère, et à la définir comme l'étude des processus interactifs dans des espaces contraints.
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	2006
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/24751859X
is rdam:P30135 of	http://www.sudoc.fr/118389815/id http://www.sudoc.fr/246989807/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software