Sur la logique mathématique et la méthode déductive

Analyse

Présentation

O logice matematycznej i metodzie dedukcyjnej (en français Sur la logique mathématique et la méthode déductive, en anglais On Mathematical Logic and the Deductive Method) est un manuel d'introduction à la logique mathématique d'Alfred Tarski, publié à Lvov et à Varsovie chez l'éditeur Książnica-Atlas en 1936. Tarski a alors 34 ans et enseigne depuis plusieurs années à l'Université de Varsovie comme adjunkt (chargé de cours) après avoir soutenu sa thèse de doctorat en 1924 sous la direction de Stanisław Leśniewski. L'ouvrage est destiné aux étudiants polonais des facultés des humanités, et il fait partie d'une collection pédagogique de l'éditeur Książnica-Atlas qui visait à diffuser les savoirs scientifiques modernes auprès d'un public cultivé non spécialiste.

L'ouvrage est de format moyen (environ 170 pages dans l'édition originale polonaise). Il est divisé en deux parties principales correspondant aux deux objectifs annoncés par le titre : la logique mathématique elle-même (première partie) et la méthode déductive (seconde partie), avec applications à diverses sciences déductives (arithmétique, géométrie). Chaque chapitre se conclut par des exercices destinés à fixer la compréhension.

Le livre connaît une carrière internationale considérable grâce à sa traduction anglaise révisée et augmentée, Introduction to Logic and to the Methodology of Deductive Sciences, publiée chez Oxford University Press en 1941, traduite par Olaf Helmer (1910-2011) avec la collaboration et la révision de Tarski lui-même. Cette version anglaise est plus longue et substantiellement révisée par rapport à la version polonaise originale. Elle est devenue l'un des manuels classiques de logique mathématique en anglais au milieu du XXᵉ siècle, et elle a connu plusieurs rééditions chez Oxford University Press jusqu'à la quatrième édition révisée en 1994 (édition posthume préparée par Jan Tarski, fils du philosophe).

L'œuvre articule plusieurs objectifs pédagogiques et philosophiques qui structurent l'ensemble du manuel :

1. Introduire un public non spécialiste (étudiants des humanités) à la logique mathématique moderne post-frégéenne (Frege, Russell, Whitehead, Hilbert, Łukasiewicz, Leśniewski). Cette vulgarisation rigoureuse de la logique mathématique pour un public cultivé était l'un des objectifs majeurs de l'école logique polonaise dans laquelle Tarski s'inscrit.

1. Présenter systématiquement la méthode déductive, c'est-à-dire la méthode axiomatique par laquelle on construit une théorie scientifique à partir d'un nombre limité de termes primitifs et d'axiomes, puis on en déduit rigoureusement l'ensemble des théorèmes par les règles d'inférence logique.

1. Illustrer la méthode déductive par des applications à diverses sciences déductives, particulièrement l'arithmétique (théorie des nombres) et la géométrie. Ces applications concrètes permettent au lecteur de comprendre la méthode dans son fonctionnement effectif.

1. Établir les bases conceptuelles nécessaires pour comprendre les développements ultérieurs de la logique et de la méthodologie des sciences déductives : théorie des modèles, théorie de la démonstration, métamathématique, théorie sémantique de la vérité (que Tarski avait commencé à développer dans Le Concept de vérité dans les langages formalisés, publié en polonais en 1933 et en allemand en 1935 sous le titre Der Wahrheitsbegriff in den formalisierten Sprachen).

1. Diffuser dans le monde anglo-saxon (à partir de la traduction de 1941) les acquis de l'école logique polonaise des années 1920-1930, qui était l'un des centres mondiaux les plus avancés de la logique mathématique avant la Seconde Guerre mondiale.

Le livre a joué un rôle historique important dans la diffusion internationale de la logique mathématique moderne, particulièrement dans le monde anglo-saxon où la traduction de 1941 est devenue l'un des manuels de référence après l'arrivée de Tarski aux États-Unis en 1939 (juste avant l'invasion allemande de la Pologne).

L'œuvre n'a pas été traduite directement du polonais en français. La traduction française existante est due à Jacques Tremblay et part de la version anglaise révisée : Introduction à la logique, Gauthier-Villars (Paris) et Nauwelaerts (Louvain), 1960. Cette traduction a connu plusieurs rééditions, notamment chez Gauthier-Villars en 1969 et en 1971. C'est par cette traduction française de la version anglaise que les lecteurs francophones ont accès à l'œuvre tarskienne.

Contexte historique et conditions de rédaction

Alfred Tarski (1901-1983) compose ce manuel dans la maturité de sa première période de production scientifique, celle de l'école logique polonaise de Varsovie.

Repères biographiques essentiels. Né Alfred Teitelbaum le 14 janvier 1901 à Varsovie (alors partie de l'Empire russe), dans une famille juive polonaise. Études secondaires au gymnasium de Varsovie. Études universitaires à l'Université de Varsovie à partir de 1918 (l'année même de la restauration de l'indépendance polonaise). Il y étudie sous la direction des grands logiciens polonais de l'époque : Stanisław Leśniewski (1886-1939), Jan Łukasiewicz (1878-1956), Wacław Sierpiński (1882-1969), Stefan Mazurkiewicz (1888-1945), Kazimierz Kuratowski (1896-1980), Tadeusz Kotarbiński (1886-1981). Cette constellation de professeurs et le bouillonnement intellectuel de l'Université de Varsovie dans les années 1920 constituent ce que les historiens appellent l'École logique polonaise (ou École de Varsovie en logique), l'un des centres mondiaux les plus avancés de la logique mathématique entre les deux guerres.

Conversion au catholicisme (formelle) et changement de nom. En 1923, Alfred Teitelbaum se convertit formellement au catholicisme et change son nom de famille en Tarski (nom à consonance polonaise). Ces décisions, comme celles de plusieurs intellectuels juifs polonais de l'époque, étaient en partie motivées par les discriminations antisémites dans l'enseignement supérieur polonais, qui empêchaient l'accès des juifs aux postes académiques permanents. La conversion ne reflétait pas nécessairement une conviction religieuse profonde mais une stratégie sociale et professionnelle.

Thèse de doctorat soutenue en 1924 à l'Université de Varsovie sous la direction de Stanisław Leśniewski. Le sujet portait sur la logique du langage formel et constituait l'une des premières contributions significatives de Tarski à la logique mathématique. Il est ensuite adjunkt (chargé de cours) à l'Université de Varsovie à partir de 1925, et enseigne parallèlement au gymnasium Stefan Żeromski de Varsovie où il enseigne les mathématiques au niveau secondaire (ce qui complète son revenu insuffisant d'universitaire). Il occupera cette double fonction d'enseignement universitaire et secondaire jusqu'à son départ pour les États-Unis en 1939.

Œuvres antérieures. Tarski publie plusieurs articles majeurs dans les années 1920-1930, principalement en polonais et en allemand (les deux langues scientifiques de l'école polonaise) :

• Sur l'expression formelle de la déduction (1930, en polonais).
• Recherches sur la métamathématique (Untersuchungen über den Aussagenkalkül), avec Łukasiewicz, 1930.
• Le Concept de vérité dans les langages formalisés (Pojęcie prawdy w językach nauk dedukcyjnych), publié en polonais en 1933, puis en allemand en 1935 dans la revue Studia Philosophica sous le titre Der Wahrheitsbegriff in den formalisierten Sprachen. C'est l'œuvre fondatrice de la théorie sémantique de la vérité, où Tarski développe sa célèbre définition de la vérité comme correspondance : « La phrase 'la neige est blanche' est vraie si et seulement si la neige est blanche. » Cette définition, formalisée dans le cadre de la distinction entre langage-objet et métalangage, est l'une des contributions les plus durables de Tarski à la logique et à la philosophie.

**Rédaction d'O logice matematycznej (1935-1936). Tarski rédige ce manuel à partir de ses cours universitaires et secondaires, en cherchant une forme pédagogique accessible à un public non spécialiste. Le livre paraît à Lvov et à Varsovie chez l'éditeur Książnica-Atlas en 1936**.

Émigration aux États-Unis (1939). Tarski quitte la Pologne en août 1939 pour participer à un congrès philosophique à Harvard (le Fifth International Congress for the Unity of Science, sur invitation de Willard Van Orman Quine). L'invasion allemande de la Pologne le 1ᵉʳ septembre 1939 le bloque aux États-Unis. Sa femme Maria et leurs deux enfants restent en Pologne pendant toute la guerre ; ils ne pourront rejoindre Tarski qu'en 1946. La famille élargie de Tarski (parents, frères et sœurs) est en grande partie exterminée par les nazis pendant la Shoah.

Carrière américaine. Tarski occupe plusieurs postes précaires aux États-Unis dans les premières années (1939-1942) : Harvard University (recherche), College of the City of New York (1940), Institute for Advanced Study de Princeton (1942). En 1942, il obtient un poste à l'Université de Californie à Berkeley où il enseignera jusqu'à sa retraite en 1968 comme professeur de mathématiques. Il y fonde le Group in Logic and the Methodology of Science qui deviendra l'un des centres mondiaux de la logique mathématique américaine. Plusieurs grands logiciens du XXᵉ siècle ont été formés à Berkeley par Tarski : Robert Vaught, Solomon Feferman, Richard Montague, Dana Scott, Jerome Keisler, William Hanf, et beaucoup d'autres.

Le contexte intellectuel polonais des années 1920-1930 est marqué par :

• L'hégémonie mondiale de l'école logique polonaise (École de Varsovie en logique) dans la logique mathématique. Cette école se distingue par sa rigueur formelle, ses contributions à la théorie des fonctions (Sierpiński, Mazurkiewicz), à la théorie des ensembles (Kuratowski, plus tard Tarski), à la logique propositionnelle (Łukasiewicz, qui développe la logique trivalente), à la sémantique formelle (Tarski).
• Le dialogue étroit avec le Cercle de Vienne (Carnap, Schlick, Neurath, Hahn, Waismann, Feigl) qui développait parallèlement le positivisme logique. Tarski participait régulièrement aux congrès internationaux de l'unité de la science organisés par le Cercle de Vienne.
• Les menaces politiques croissantes : montée du nationalisme polonais, discriminations antisémites dans l'université polonaise, ombre du nazisme allemand.

Structure de l'œuvre

L'ouvrage se compose d'onze chapitres dans la version polonaise de 1936, augmentés et révisés dans la version anglaise de 1941. Voici la structure générale (basée sur la version anglaise révisée qui est la version la plus diffusée internationalement).

Première partie : Éléments de logique. Méthode déductive.

• Chapitre I : Sur l'usage des variables. Présentation de la notion de variable mathématique, distinction entre variables libres et variables liées, notion de quantificateur (universel et existentiel).

• Chapitre II : Sur le calcul propositionnel. Présentation systématique de la logique propositionnelle : connecteurs (négation, conjonction, disjonction, implication, équivalence), tables de vérité, tautologies, inférences logiques propositionnelles.

• Chapitre III : Sur la théorie de l'identité. Introduction à la relation d'identité comme relation logique fondamentale, axiomes de l'identité, applications.

• Chapitre IV : Sur la théorie des classes. Introduction à la théorie élémentaire des ensembles (que Tarski préfère appeler théorie des classes) : appartenance, inclusion, union, intersection, complément, opérations sur les classes.

• Chapitre V : Sur la théorie des relations. Introduction à la théorie des relations binaires : propriétés des relations (réflexive, symétrique, transitive, etc.), relations d'équivalence, relations d'ordre.

Seconde partie : Applications de la logique et de la méthodologie dans la construction de théories mathématiques.

• Chapitre VI : Sur la méthode déductive. Exposition systématique de la méthode axiomatique comme méthode générale des sciences déductives : choix des termes primitifs et des axiomes, règles d'inférence, démonstration, indépendance et cohérence des axiomes.

• Chapitre VII : Sur les théories mathématiques importantes. Présentation rapide de plusieurs théories axiomatisées : arithmétique (axiomes de Peano), géométrie (axiomes d'Euclide et axiomatisation moderne de Hilbert), algèbre abstraite.

• Chapitre VIII : Sur la construction d'une théorie mathématique : un exemple détaillé de l'arithmétique. Reconstruction axiomatique détaillée de l'arithmétique élémentaire à partir d'un petit nombre de notions primitives et d'axiomes.

• Chapitre IX : Sur l'extension de la théorie déductive. Présentation des techniques par lesquelles on étend une théorie déductive : ajout de nouveaux termes par définition, ajout de nouveaux axiomes, extensions conservatrices, etc.

• Chapitre X : Sur la signification philosophique de la logique mathématique. Brève réflexion sur les enjeux philosophiques de la logique mathématique moderne : place dans l'histoire de la philosophie, rapports avec la science, contributions épistémologiques.

Annexes et appendices. La version anglaise inclut plusieurs annexes sur des sujets particuliers (théorème de Bolzano-Weierstrass, paradoxes ensemblistes, etc.) qui n'étaient pas dans la version polonaise originale.

Thèses centrales

La logique mathématique comme propédeutique scientifique. Thèse pédagogique fondamentale. La logique mathématique moderne (post-frégéenne) n'est pas un luxe spéculatif réservé aux spécialistes : elle est la propédeutique scientifique nécessaire à toute pensée rigoureuse, dans les sciences exactes comme dans les sciences humaines. Tarski défend cette thèse en s'adressant explicitement aux étudiants des humanités dans la préface polonaise originale.

La méthode axiomatique comme méthode générale des sciences déductives. Thèse méthodologique. Toute science déductive procède par le même type de méthode : choix d'un petit nombre de termes primitifs et d'axiomes, puis déduction rigoureuse de l'ensemble des théorèmes par les règles d'inférence logique. Cette méthode axiomatique, qui remonte aux Éléments d'Euclide (vers 300 av. J.-C.), a été modernisée par David Hilbert (Grundlagen der Geometrie, 1899) et étendue par l'école logique polonaise à toutes les théories formelles.

L'importance de la distinction entre langage-objet et métalangage. Thèse philosophique majeure. Pour étudier rigoureusement une théorie scientifique, il faut distinguer entre le langage-objet (la langue dans laquelle la théorie est formulée : par exemple, le langage de l'arithmétique) et le métalangage (la langue dans laquelle on parle de la théorie elle-même : par exemple, le français ou le polonais dans lesquels on commente l'arithmétique). Cette distinction, développée systématiquement par Tarski dans Le Concept de vérité (1933), structure toute la sémantique formelle moderne et résout plusieurs paradoxes classiques (paradoxe du menteur notamment).

La conception formelle de la démonstration. Thèse logique. Une démonstration rigoureuse n'est pas une suite de persuasions intuitives mais une suite de propositions où chaque proposition est soit un axiome, soit obtenue par application d'une règle d'inférence à des propositions antérieures. Cette formalisation de la démonstration, héritée de Frege et de Hilbert, permet la vérification mécanique de la validité d'un raisonnement, indépendamment de l'intuition subjective.

La logique mathématique comme outil philosophique. Thèse philosophique. La logique mathématique moderne n'est pas seulement un outil des mathématiques techniques : c'est aussi un instrument philosophique pour clarifier les concepts, analyser les arguments, dissoudre les paradoxes. Cette vision philosophique de la logique mathématique est commune à toute l'école logique polonaise et au Cercle de Vienne, et elle structurera la philosophie analytique du XXᵉ siècle.

La théorie sémantique de la vérité (en arrière-plan). Bien que cette théorie ne soit pas développée systématiquement dans le manuel (elle est réservée à des publications plus techniques de Tarski), elle constitue l'arrière-plan philosophique du livre. Tarski défend que la vérité d'une phrase peut être définie formellement par une correspondance entre la phrase (dans le langage-objet) et la situation à laquelle elle se réfère (décrite dans le métalangage). La célèbre condition T (« 'P' est vrai si et seulement si P ») est l'expression schématique de cette définition.

La rigueur formelle au service de l'intelligibilité. Thèse pédagogique. La rigueur formelle de la logique mathématique moderne n'est pas un obstacle à la compréhension mais au contraire son moyen privilégié. Bien comprendre un argument, c'est pouvoir l'analyser dans ses composantes logiques élémentaires. Bien connaître une théorie, c'est pouvoir la reconstruire axiomatiquement. Cette conception rigoriste de la connaissance est l'un des héritages durables de l'école logique polonaise.

L'unité méthodologique des sciences déductives. Thèse épistémologique. Au-delà de la diversité des contenus scientifiques (arithmétique, géométrie, algèbre, plus largement mathématiques), il y a une unité méthodologique profonde : toutes ces sciences procèdent par la même méthode axiomatique déductive. Cette unité méthodologique justifie une étude générale de la logique et de la méthodologie scientifique en amont des contenus spécifiques.

La place du raisonnement mathématique dans la culture générale. Thèse culturelle. La logique mathématique moderne doit faire partie de la culture générale d'un homme cultivé du XXᵉ siècle, au même titre que la connaissance des langues classiques, de l'histoire, des sciences naturelles. Cette ambition de Tarski est l'une des raisons pour lesquelles il a écrit un manuel destiné aux étudiants des humanités et non aux seuls spécialistes des mathématiques.

Postérité et influence

Influence sur la diffusion internationale de la logique mathématique. La traduction anglaise révisée de 1941, Introduction to Logic and to the Methodology of Deductive Sciences, est devenue l'un des manuels classiques de logique mathématique en anglais. Pendant plusieurs décennies, elle a servi d'introduction standard à la logique mathématique dans les universités américaines et britanniques. Ses éditions successives (1946, 1965, 1994) ont actualisé le contenu sans en modifier la structure fondamentale.

Influence sur la formation des logiciens américains. À Berkeley, à partir de 1942, Tarski a formé plusieurs générations de logiciens qui sont devenus les principaux artisans de la logique mathématique américaine de la seconde moitié du XXᵉ siècle. Robert Vaught, Solomon Feferman, Richard Montague, Dana Scott, Jerome Keisler, William Hanf et beaucoup d'autres ont été des élèves directs de Tarski. Cette lignée tarskienne est l'une des plus fécondes de la logique mathématique du XXᵉ siècle.

Influence sur la philosophie analytique anglo-saxonne. La théorie sémantique de la vérité de Tarski (en arrière-plan du manuel) est devenue l'une des références centrales de la philosophie analytique anglo-saxonne. W.V.O. Quine (Word and Object, 1960), Donald Davidson (Truth and Meaning, 1967), Saul Kripke (Outline of a Theory of Truth, 1975), Hilary Putnam ont tous dialogué directement avec la conception tarskienne de la vérité. Le débat sur la théorie de la vérité en philosophie analytique reste largement structuré par les positions tarskiennes.

Influence sur la théorie des modèles. Au-delà du manuel, l'œuvre tarskienne plus large a fondé la théorie des modèles comme branche autonome de la logique mathématique. Le livre A Decision Method for Elementary Algebra and Geometry (1948), le travail Undecidable Theories (avec Mostowski et Robinson, 1953), et de nombreux articles ont fait de Tarski l'un des pères de la théorie des modèles moderne avec Abraham Robinson.

Influence sur l'algèbre logique. L'œuvre tarskienne a également fondé l'algèbre des relations et plusieurs autres branches de l'algèbre appliquée à la logique. A Formalization of Set Theory without Variables (avec Steven Givant, 1987) est l'une des synthèses majeures dans ce domaine.

Influence sur la philosophie des sciences. La méthode axiomatique systématisée par Tarski dans le manuel a été largement diffusée dans la philosophie des sciences du XXᵉ siècle. Le Cercle de Vienne (Carnap notamment) avait défendu une conception similaire de la science comme système hypothético-déductif. Karl Popper (La Logique de la découverte scientifique, 1934) prolonge dans une direction propre cette conception axiomatique. Plus largement, la philosophie analytique des sciences du XXᵉ siècle hérite directement de la méthode tarskienne.

Réception française. La réception française de Tarski s'est faite principalement par la traduction française de Jacques Tremblay (Gauthier-Villars / Nauwelaerts, 1960) à partir de la version anglaise. Plusieurs philosophes et logiciens français ont prolongé l'œuvre tarskienne : Jean-Yves Girard, Daniel Andler, Jacques Bouveresse (qui a beaucoup écrit sur la philosophie analytique d'inspiration tarskienne), Pierre Wagner, Jacques Dubucs. La diffusion française reste cependant plus limitée que dans le monde anglo-saxon.

Réception mondiale. O logice matematycznej et sa traduction anglaise Introduction to Logic ont été traduits dans de nombreuses langues : espagnol, italien, portugais, japonais, chinois, hébreu, russe, allemand (en partie déjà disponible par le passage par les œuvres allemandes de Tarski), et plusieurs autres. Le manuel a contribué à la mondialisation de la logique mathématique moderne.

Critiques principales.

• Critique de l'orientation positiviste : la conception tarskienne de la science déductive comme système axiomatique formel a été critiquée par les philosophes post-positivistes (Kuhn, Feyerabend, Lakatos) qui ont montré que la science réelle ne procède pas seulement par déduction axiomatique mais aussi par révolutions paradigmatiques, programmes de recherche, considérations pragmatiques. Cette critique ne vise pas Tarski stricto sensu mais l'idéal positiviste-logique qu'il représente partiellement.

• Critique de la conception sémantique de la vérité : la conception tarskienne de la vérité comme correspondance formellement définie a été critiquée par les défenseurs de la vérité comme cohérence (Brand Blanshard, plus tard certains courants néo-hégéliens), par les défenseurs du pragmatisme (William James, Dewey, plus tard Richard Rorty), et par les défenseurs de la vérité comme dévoilement ou désocculation (Heidegger). Le débat reste vif en philosophie contemporaine.

• Critique de l'éloignement de la pratique scientifique réelle : la méthode axiomatique tarskienne est-elle vraiment représentative de la pratique scientifique réelle des mathématiciens et des physiciens ? Plusieurs philosophes des mathématiques (Imre Lakatos dans Preuves et réfutations, 1976) ont défendu que la pratique mathématique est beaucoup plus dialectique, conjecturale, provisoire que la reconstruction axiomatique ne le laisse penser.

• Critique pédagogique : le manuel reste relativement technique malgré son ambition pédagogique. Plusieurs lecteurs (étudiants ou enseignants) le trouvent difficile pour un public non spécialiste, particulièrement dans les chapitres sur la théorie des classes et des relations.

Lectures contemporaines. O logice matematycznej et sa traduction Introduction to Logic restent utilisées comme manuel d'introduction à la logique mathématique :

• Dans les cours de logique des départements de philosophie des universités anglo-saxonnes et de plus en plus européennes.
• Dans les cours de fondements des mathématiques des départements de mathématiques.
• Dans les cours d'histoire de la logique moderne.
• Comme référence classique dans les ouvrages spécialisés de logique mathématique.

Controverses et débats

Tarski mathématicien ou philosophe ? Question récurrente. Position majoritaire : Tarski est avant tout un mathématicien-logicien au sens strict, qui a produit l'essentiel de ses contributions techniques dans la logique mathématique. Mais plusieurs de ses œuvres ont une portée philosophique majeure (Le Concept de vérité, certains chapitres d'Introduction to Logic), et il a été l'un des principaux dialogueurs de la philosophie analytique du XXᵉ siècle. La position de Tarski à la frontière entre mathématiques et philosophie est l'une des caractéristiques de son œuvre.

La théorie tarskienne de la vérité : philosophique ou seulement formelle ? Question majeure. Position tarskienne explicite : la définition formelle de la vérité dans les langages formalisés est neutre philosophiquement et ne prétend pas résoudre la question philosophique générale de la vérité. Position de plusieurs lecteurs philosophiques : la théorie tarskienne prend néanmoins position philosophiquement, en défendant implicitement une conception correspondantiste de la vérité. Position contemporaine majoritaire : Tarski a tort de prétendre à la neutralité philosophique, mais sa théorie reste l'une des contributions philosophiques les plus importantes du XXᵉ siècle.

Tarski et le positivisme logique. Position de Tarski : il a été proche du Cercle de Vienne et y a participé régulièrement, mais il a toujours refusé de s'identifier complètement au positivisme logique strict. Tarski était plus mathématicien-logicien que philosophe positiviste, et il restait sceptique sur plusieurs thèses positivistes (notamment sur la vérifiabilité comme critère de signification).

L'École logique polonaise et l'École de Vienne : convergence ou différence ? Question d'histoire de la philosophie. Position majoritaire : les deux écoles partageaient une même ambition de rigueur logique appliquée à la philosophie, mais elles différaient sur plusieurs points. L'École polonaise était plus technique et plus mathématique ; l'École de Vienne était plus philosophique et plus épistémologique. Les dialogues entre les deux écoles, particulièrement à travers Tarski et Carnap, ont été l'un des moments les plus féconds de la philosophie du XXᵉ siècle.

Citations clés

« La logique mathématique moderne n'est pas un luxe spéculatif réservé aux spécialistes : elle est la propédeutique scientifique nécessaire à toute pensée rigoureuse. »

-- O logice matematycznej, paraphrase de la thèse pédagogique fondamentale

« Toute science déductive procède par le même type de méthode : choix d'un petit nombre de termes primitifs et d'axiomes, puis déduction rigoureuse de l'ensemble des théorèmes par les règles d'inférence logique. »

-- O logice matematycznej, paraphrase de la conception de la méthode axiomatique

« Pour étudier rigoureusement une théorie scientifique, il faut distinguer entre le langage-objet (la langue dans laquelle la théorie est formulée) et le métalangage (la langue dans laquelle on parle de la théorie elle-même). »

-- O logice matematycznej, paraphrase de la distinction langage-objet / métalangage

« Une démonstration rigoureuse n'est pas une suite de persuasions intuitives mais une suite de propositions où chaque proposition est soit un axiome, soit obtenue par application d'une règle d'inférence à des propositions antérieures. »

-- O logice matematycznej, paraphrase de la conception formelle de la démonstration

« Bien comprendre un argument, c'est pouvoir l'analyser dans ses composantes logiques élémentaires. Bien connaître une théorie, c'est pouvoir la reconstruire axiomatiquement. »

-- O logice matematycznej, paraphrase de la conception rigoriste de la connaissance

Pour aller plus loin

• Alfred Tarski, Introduction à la logique, traduction de Jacques Tremblay, Gauthier-Villars (Paris) et Nauwelaerts (Louvain), 1960 ; rééditions 1969, 1971. Traduction française de la version anglaise révisée.
• Alfred Tarski, Introduction to Logic and to the Methodology of Deductive Sciences, traduction d'Olaf Helmer, Oxford University Press, 1941 ; quatrième édition révisée par Jan Tarski, 1994. Version anglaise révisée et augmentée, qui est l'édition la plus diffusée internationalement.
• Alfred Tarski, O logice matematycznej i metodzie dedukcyjnej, Książnica-Atlas, Lvov et Varsovie, 1936. Édition polonaise originale.
• Alfred Tarski, Le Concept de vérité dans les langages formalisés, dans Logique, sémantique, métamathématique : 1923-1944, traduction française, Armand Colin, 1972 ; rééditions. Œuvre majeure complémentaire qui fonde la théorie sémantique de la vérité.
• Alfred Tarski, Logic, Semantics, Metamathematics : Papers from 1923 to 1938, traduction de J.H. Woodger, Oxford University Press, 1956 ; seconde édition révisée par John Corcoran, Hackett, 1983. Recueil anglais des œuvres logico-sémantiques majeures de Tarski.
• Alfred Tarski, Collected Papers, édité par Steven R. Givant et Ralph N. McKenzie, Birkhäuser, 4 volumes, 1986. Œuvres complètes scientifiques.
• Anita Burdman Feferman et Solomon Feferman, Alfred Tarski : Life and Logic, Cambridge University Press, 2004. Biographie intellectuelle de référence en anglais.
• Solomon Feferman, In the Light of Logic, Oxford University Press, 1998. Étude anglo-saxonne contemporaine.
• Jacques Bouveresse, La Parole malheureuse. De l'alchimie linguistique à la grammaire philosophique, Minuit, 1971. Pour la réception française de la philosophie analytique.
• Pierre Wagner (éd.), Carnap's Logical Syntax of Language, Palgrave Macmillan, 2009. Pour le dialogue Tarski-Carnap.
• Jan Woleński, Logic and Philosophy in the Lvov-Warsaw School, Kluwer, 1989. Étude de référence sur l'École logique polonaise.

Sources

• « Alfred Tarski », Wikipédia (versions française, anglaise et polonaise), consulté le 06/06/2026.
• « Introduction to Logic and to the Methodology of Deductive Sciences », Wikipédia (version anglaise), consulté le 06/06/2026.
• Notice « Alfred Tarski » dans la Stanford Encyclopedia of Philosophy par Mario Gómez-Torrente, plato.stanford.edu, consulté le 06/06/2026.
• Notice « Tarski's Truth Definitions » dans la Stanford Encyclopedia of Philosophy par Wilfrid Hodges, plato.stanford.edu, consulté le 06/06/2026.
• Anita Burdman Feferman et Solomon Feferman, Alfred Tarski : Life and Logic, Cambridge University Press, 2004.

---

```yaml oeuvre: slug: o-logice-matematycznej titreoriginal: "O logice matematycznej i metodzie dedukcyjnej" titrefrancais: "Sur la logique mathématique et la méthode déductive" langueoriginale: polonais typeoeuvre: traite datepublication: 1936 datepublicationaffichage: "1936 (édition polonaise originale à Lvov et Varsovie chez Książnica-Atlas ; traduction anglaise révisée et augmentée Introduction to Logic and to the Methodology of Deductive Sciences chez Oxford University Press en 1941, par Olaf Helmer avec collaboration de Tarski ; traduction française par Jacques Tremblay à partir de la version anglaise chez Gauthier-Villars et Nauwelaerts en 1960)" dateredaction: "1935-1936" posthume: false nombrechapitres: 11 niveaudifficulte: 4 auteurslug: alfred-tarski descriptioncourte: | Manuel d'introduction à la logique mathématique moderne d'Alfred Tarski publié en polonais en 1936 chez Książnica-Atlas à Lvov et Varsovie. Tarski a alors 34 ans et enseigne à l'Université de Varsovie depuis 1925, dans le contexte de l'école logique polonaise (Lesniewski, Lukasiewicz). L'ouvrage est destiné aux étudiants polonais des humanités et vise une vulgarisation rigoureuse de la logique mathématique post-frégéenne. Sa traduction anglaise révisée et augmentée Introduction to Logic and to the Methodology of Deductive Sciences (Oxford University Press, 1941, par Olaf Helmer) devient l'un des manuels classiques de logique mathématique en anglais après l'arrivée de Tarski aux États-Unis en 1939 (juste avant l'invasion allemande de la Pologne). Articule la présentation systématique de la logique propositionnelle et des prédicats, la méthode axiomatique comme méthode générale des sciences déductives, l'application à l'arithmétique et à la géométrie, et la distinction fondamentale entre langage-objet et métalangage qui structure la théorie sémantique de la vérité développée parallèlement par Tarski (Le Concept de vérité dans les langages formalisés, 1933). metatitle: "O logice matematycznej (Tarski, 1936) - Philotopie" metadescription: | O logice matematycznej i metodzie dedukcyjnej d'Alfred Tarski (1936) : manuel d'introduction à la logique mathématique moderne, méthode axiomatique, langage-objet et métalangage. statut: publie philosophes_associes:

• slug: alfred-tarski

role: auteur description: | Tarski rédige ce manuel en 1935-1936 à Varsovie, où il enseigne depuis 1925 à l'Université de Varsovie comme adjunkt (chargé de cours) après sa thèse de doctorat de 1924 sous la direction de Stanisław Leśniewski. Il a 34 ans à la publication. L'œuvre est issue de ses cours universitaires et secondaires (Tarski enseigne parallèlement au gymnasium Stefan Zeromski de Varsovie). Elle est destinée à un public non spécialiste cultivé, dans le cadre de la collection pédagogique des éditions Książnica-Atlas. Trois ans après la publication, en août 1939, Tarski quitte la Pologne pour un congrès aux États-Unis et est bloqué par l'invasion allemande du 1er septembre. Il s'installera définitivement à Berkeley à partir de 1942.

• slug: frege

role: interlocuteur description: | Gottlob Frege est le fondateur de la logique mathématique moderne post-traditionnelle. Sa Begriffsschrift (1879) et ses Grundgesetze der Arithmetik (1893-1903) sont les sources historiques majeures de la logique formelle que Tarski systématise dans son manuel. Bien que Tarski ne traite pas Frege explicitement dans l'ouvrage, l'arrière-plan logique frégéen structure toute la présentation de la logique propositionnelle, de la logique des prédicats et de la théorie de la quantification.

• slug: bertrand-russell

role: interlocuteur description: | Bertrand Russell, en collaboration avec Alfred North Whitehead, a publié les Principia Mathematica (1910-1913) qui constituent la grande systématisation logiciste de l'arithmétique et de la mathématique élémentaire à partir de la logique pure. Russell est l'autre grand inspirateur historique du manuel tarskien après Frege. La présentation tarskienne de la méthode axiomatique et de la théorie des classes hérite directement de la tradition logiciste Russell-Whitehead.

• slug: rudolf-carnap

role: interlocuteur description: | Rudolf Carnap, principal philosophe du Cercle de Vienne et théoricien du positivisme logique, a dialogué étroitement avec Tarski tout au long des années 1930. Carnap a découvert et adopté la théorie sémantique tarskienne de la vérité après 1935, ce qui a transformé sa propre philosophie (passage de la syntaxe logique pure dans Logische Syntax der Sprache de 1934 à la sémantique formelle dans Introduction to Semantics de 1942). La filiation Tarski-Carnap est l'une des plus structurantes de la philosophie analytique du XXᵉ siècle.

• slug: john-searle

role: heritier description: | John Searle, dans Speech Acts (1969) et plusieurs œuvres ultérieures, prolonge la sémantique formelle dans une direction pragmatique qui dialogue partiellement avec l'héritage tarskien. Bien que Searle s'oppose à plusieurs aspects de la sémantique formelle (notamment dans son débat avec Derrida sur la performativité), il hérite indirectement de la rigueur tarskienne dans son approche analytique des actes de langage et de la signification. ```