eduroam-prg-og-1-30-190.net.univ-paris-diderot.fr 2026-1-12:15:4:15

M1 LOGOS . philosophie des mathématiques.md

@@ -66,4 +66,12 @@ Jusqu'à Frege et Russel (fondation de la logique moderne), la logique était co
 Depuis Frege et Russel, la logique est apparue au contraire comme une "science pleine", comme une théorie maximalement générale.
  - def Universalisme logique
      - author:: [[Gottlob Frege]], [[Bertrand Russel]]
+     - la logique comme **science universelle**
+     - les variables de la logique sont absolument non restreintes (et c'est ce qui caractérise la logique)
+
+2 présupposés :
+- la généralité va de soi (on peut y référer sans problème)
+- la généralité est uniforme (on lui donne des *domaines* différents, mais elle est toujours la même) (le domaine de "toutes les choses en général" n'est qu'une mise à la limite de domaines particuliers comme "tous les Hommes", "tous les arbres")
+
+![[généralité absolue]]