Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel

Ralf Krömer

Philosophia Scientiae (2005)

  • Volume: 9, Issue: 2, page 79-96
  • ISSN: 1281-2463

Abstract

top
Category theory is important by its mathematical applications and by the philosophical debates it causes. It is used to express in algebraic topology, to deduce in homological algebra and, as an alternative to the theory of sets, to construct objects in Grothendieck’s conception of algebraic geometry. Category theory is a fundamental discipline in Christian Thiel’s sense, because it is a theory of some typical operations of structural mathematics. This thesis is defended through a particular interpretation of peircean pragmatism; in this perspective, justification of mathematical knowledge is not provided for by the reduction to basic objects but rather by a technical common sense intervening on each level (the theories on the higher level having as their objects the theories of the original objects).

How to cite

top

Krömer, Ralf. "Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel." Philosophia Scientiae 9.2 (2005): 79-96. <http://eudml.org/doc/103762>.

@article{Krömer2005,
abstract = {La théorie des catégories vaut tant par ses applications mathématiques que par les débats philosophiques qu’elle suscite. Elle sert à exprimer en topologie algébrique, à déduire en algèbre homologique et, en tant qu’alternative à la théorie des ensembles, à construire des objets en géométrie algébrique dans la conception de Grothendieck. La théorie des catégories est une discipline fondamentale en le sens de Christian Thiel, car elle traite d’opérations typiques de la mathématique de structures. Cette thèse est défendue à l’aide d’une interprétation particulière du pragmatisme peircéen d’après laquelle la justification de la connaissance mathématique ne se fait pas par la réduction à des objets de base mais plutôt, à chaque niveau, par rapport au sens commun technique (les théories de niveau ultérieur ont pour objets les théories des objets originaux).},
author = {Krömer, Ralf},
journal = {Philosophia Scientiae},
language = {fre},
number = {2},
pages = {79-96},
publisher = {Éditions Kimé},
title = {Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel},
url = {http://eudml.org/doc/103762},
volume = {9},
year = {2005},
}

TY - JOUR
AU - Krömer, Ralf
TI - Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel
JO - Philosophia Scientiae
PY - 2005
PB - Éditions Kimé
VL - 9
IS - 2
SP - 79
EP - 96
AB - La théorie des catégories vaut tant par ses applications mathématiques que par les débats philosophiques qu’elle suscite. Elle sert à exprimer en topologie algébrique, à déduire en algèbre homologique et, en tant qu’alternative à la théorie des ensembles, à construire des objets en géométrie algébrique dans la conception de Grothendieck. La théorie des catégories est une discipline fondamentale en le sens de Christian Thiel, car elle traite d’opérations typiques de la mathématique de structures. Cette thèse est défendue à l’aide d’une interprétation particulière du pragmatisme peircéen d’après laquelle la justification de la connaissance mathématique ne se fait pas par la réduction à des objets de base mais plutôt, à chaque niveau, par rapport au sens commun technique (les théories de niveau ultérieur ont pour objets les théories des objets originaux).
LA - fre
UR - http://eudml.org/doc/103762
ER -

References

top
  1. [1] Barot, Emmanuel2002.— Dialectique de la nature pensante : la construction de la cognition mathématique, Philosophia Scientiæ 6 (1), 33–72, 2002. 
  2. [2] Bénabou, Jean1985.— Fibered categories and the foundations of naive category theory, J. Symb. Logic 50 [1], 10–37, 1985. Zbl0564.18001MR780520
  3. [3] Cartan, Henri & Samuel Eilenberg 1956.— Homological Algebra, Princeton : Princeton University Press 1956. Zbl0075.24305MR77480
  4. [4] Cartier, Pierre2000.— Grothendieck et les motifs. Notes sur l’histoire et la philosophie des mathématiques IV, IHES 2002. 
  5. [5] Cavaillès, Jean1976.— Sur la logique et la théorie des sciences, Paris : Vrin. Première édition posthume 1946, troisième édition 1976. 
  6. [6] Corry, Leo1996.— Modern algebra and the rise of mathematical structures, Historical Studies 17, Basel : Birkhäuser 1996. Zbl0858.01022MR1391720
  7. [7] Eilenberg, Samuel & Saunders Mac Lane1942.— Group extensions and homology, Annals of Mathematics (2) 43, 757–831, 1942. Zbl0061.40602MR7108
  8. [8] Eilenberg, Samuel & Saunders Mac Lane1945.— General theory of natural equivalences, Transactions Amer. Math. Soc. 58, 231–294, 1945. Zbl0061.09204MR13131
  9. [9] Eilenberg, Samuel & Norman E. Steenrod1952.— Foundations of algebraic topology, Princeton University Press 1952. Zbl0047.41402MR50886
  10. [10] Feferman, Solomon1977.— Categorical Foundations and Foundations of Category theory, Butts, Robert E. ; Hintikka, Jaakko (eds.) : Logic, Foundations of Mathematics and Computability theory, 149–169, Dordrecht : Reidel 1977. Zbl0401.18001MR485370
  11. [11] Grothendieck, Alexander1957.— Sur quelques points d’algèbre homologique, Tôhoku Math. J. 9, 119–221, 1957. Zbl0118.26104MR102537
  12. [12] Kan, Daniel1958.— Adjoint Functors, Transactions Amer. Math. Soc. 87, 294–329. Zbl0090.38906MR131451
  13. [13] Krömer, Ralf2004.— Die Kategorientheorie : ihre mathematischen Leistungen, ihre erkenntnistheoretischen Implikationen. Eine historische und philosophische Würdigung. Thèse de doctorat, Université de la Sarre (Allemagne) et Université Nancy 2. Résumé détaillé en français. Voir http ://www.univ-nancy2.fr/poincare/perso/kroemer/. 
  14. [14] Krömer, Ralf2005.— La « machine de Grothendieck », se fonde-t-elle seulement sur des vocables métamathématiques ? La discussion de Bourbaki sur la théorie des catégories ; à paraître dans la Revue d’Histoire des Mathématiques. Zbl1177.01034
  15. [15] Peirce, Charles Sanders1931-1935.— Collected Papers (ed. Ch.Hartshorne/P.Weiss), 6 volumes. Cambridge MA : Belknap Press, 2nd ed. 1960. MR110632
  16. [16] Peirce, Charles Sanders1984.— Textes anticartésiens, présentation et traduction de Joseph Chenu, Paris : Aubier Montaigne 1984. 
  17. [17] Piaget, Jean 1967.— (éd.) Logique et connaissance scientifique, Paris  : Gallimard 1967. MR211843
  18. [18] Piaget, Jean1968.— Le Structuralisme, vol. 1311 de Que sais-je ?, puf 1968. 
  19. [19] Poincaré, Henri1908.— Science et méthode, Paris : Flammarion 1908. Zbl39.0095.03
  20. [20] Serre, Jean-Pierre1955.— Faisceaux algébriques cohérents, Annals of Math. 61, 197–278, 1955. Zbl0067.16201MR68874
  21. [21] Thiel, Christian1995.— Philosophie und Mathematik, Darmstadt : Wissenschaftliche Buchgesellschaft 1995. MR1337277

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.