Mathieu Marion
IdRefMots clés
FR |
EN
Théorie des types
Logique dialogique
Logique
Logique épistémique
Vérificationnisme
Théorie de la connaissance
Révision des croyances
Martin-Löf, Per (1942-....)
Paradoxe de connaissabilité
Paradoxe de Fitch
Anti-Réalisme
Épistémologie formelle
Vérité
Vérifiabilité (épistémologie)
Logique -- Philosophie
Intuitionnisme
Sujet créateur
Théorie Constructive des Types
Sémiotique
Sujet épistémique