Las Raíces Dialógicas de la Teoría Constructiva de Tipos

Shahid Rahman (1) , Nicolas Clerbout (2, 1)

1 STL - Savoirs, Textes, Langage (STL) - UMR 8163
2 Universidad de Valparaiso [Chile]

Es un libro en preparacion. Los objectivos principales son:1) mostrar los lazoq que vinculan el marco dialogico con la teoria constructiva de tipos 2) mostrar como la distincion entre nivel de juego, y nivel estrategico explican proveen un teoria adecauada para el estudio de la nocion de "asumcion epistémica" de la CTT.

Mots clés: Filosofia; ciencias de la computacion; Logica; Fundamentos de las matematicas; Linguisitica

Domaines: Philosophie; Histoire, Philosophie et Sociologie des sciences; Linguistique

Shahid Rahman, Nicolas Clerbout. Las Raíces Dialógicas de la Teoría Constructiva de Tipos: Estrategias dialógicas, demostraciones constructivas y el axioma de elección . 2015. ⟨halshs-01238172⟩