Kennedy, Neil
(2006).
« Recherches logiques et philosophiques sur le concept de métalangage » Mémoire.
Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en philosophie.
Fichier(s) associé(s) à ce document :
Résumé
Ce mémoire a pour objectif principal l'analyse du concept de métalangage tel qu'il s'est développé en logique mathématique. L'introduction et la conclusion mises à part, chaque chapitre porte sur un auteur -logicien, mathématicien ou philosophe ayant contribué de manière significative à l'évolution de ce concept. Ces auteurs sont, en ordre de présentation, Gottlob Frege, Bertrand Russell, Ludwig Wittgenstein, David Hilbert, Kurt Godel et Alfed Tarski. Puisque la notion de métalangage s'est développée avec la formalisation progressive de la logique, une attention particulière est accordée à l'émergence des systèmes formels et à leur présentation. Trois périodes se dessinent dans la genèse de cette notion. Une première, que j'appelle
« pré-météthéorique », où l'intervention d'une théorie externe au langage formel est rejetée catégoriquement, mais où certaines notions métathéoriques sont implicitement tracées. Une seconde, dite « hilbertienne », qui marque l'entrée en jeu de la métamathématique et qui consacre le métalangage dans l'étude des mathématiques, quoiqu'avec des moyens limités. Et une troisième, dite « tarskienne », où la notion moderne de métalangage est exposée. Par ailleurs, j'effectue une analyse détaillée de la preuve que Godel donne de son second théorème d'incomplétude où je prétends qu'il commet une erreur conceptuelle entre langage et métalangage. Enfin, en conclusion, j'explore une conception fondationnelle de la logique compatible avec l'étude métathéorique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Métalangage, Logique, Philosophie, Métamathématique, Godel, Tarski.
Type: |
Mémoire accepté
|
Informations complémentaires: |
Le mémoire a été numérisé tel que transmis par l'auteur. |
Directeur de thèse: |
Marion, Mathieu |
Mots-clés ou Sujets: |
Frege Gottlob 1848-1925, Hilbert David 1862-1943, Russell Bertrand 1872-1970, Tarski Alfred, Wittgenstein Ludwig 1889-1951, Logique mathématique, Métalangage, Métamathématique, Philosophie |
Unité d'appartenance: |
Faculté des sciences humaines > Département de philosophie |
Déposé par: |
RB Service des bibliothèques
|
Date de dépôt: |
16 juill. 2010 16:12 |
Dernière modification: |
10 déc. 2018 10:42 |
Adresse URL : |
http://archipel.uqam.ca/id/eprint/3166 |