eduroam-prg-hf-1-5-62.net.univ-paris-diderot.fr 2025-9-29:13:0:41

.obsidian/plugins/obsidian-pandoc-reference-list/data.json

@@ -5,12 +5,12 @@
     {
       "id": 2,
       "name": "memoire-L3",
-      "lastUpdate": 1758628255246
+      "lastUpdate": 1759142440090
     },
     {
       "id": 1,
       "name": "Ma bibliothèque",
-      "lastUpdate": 1758628255399
+      "lastUpdate": 1759142440242
     }
   ],
   "renderCitations": true,

empirisme logique.md

@@ -2,15 +2,21 @@
 up:
 tags:
 aliases:
+  - positivisme
 ---
 
 > [!definition] Définition
 > Séparation :
-> - d'un côté les axiomes des théories scientifiques sont donc posés comme indiscutables (il n'y à pas de sens à les vérifier : )
-> - d'un autre, ses conclusions vérrifiables
+> - d'un côté les axiomes des théories scientifiques sont donc posés comme indiscutables 
+>     - il n'y à pas de sens à les vérifier : [[vérificationnisme]]
+>     - ce sont des vérités [[jugement analytique|analytiques]]
+> - d'un autre, les conclusions vérrifiables des théories : les vérités empiriques
 ^definition
 
-cela place la science comme anhistorique
+ - cela place la science comme anhistorique
+
+Anti-Kantien : nie l'existence de [[jugement synthétique a priori]] (voir [[Critique de la raison pure]])
+
 # Auteurs importants
 Position notamment développée dans le cadre du [[Cercle de Vienne]]
  - author:: [[Moritz Schlick]]

une théorie scientifique peut-elle être vraie.md

@@ -66,8 +66,17 @@ On concoit une multitude d'explications, mais la science, l'expérience, n'admet
  - [[empirisme logique]] du [[Cercle de Vienne]]
      - source:: Logique de la découverte scientifique ([[Karl Popper|Popper]], 1934) (trad. francaise Payot, 1973)
          - ? "Problème de la démarcation" (entre science et non-science)
-         - identifie les sciences expérimentales à l'[[inférence inductive]], [[problème de l'induction]], qu'il laisse de côté
+         - identifie les sciences expérimentales à l'[[inférence inductive]] $\implies$ [[problème de l'induction]], qu'il laisse de côté
          - def méthode déductive de contrôle (p. 26)
              - une fois avancée, une théorie est **mise à l'épreuve** en confrontant à l'expérience les conclusions qui peuvent en être tirées de manière logique
+                 - so toute falsification d'une conséquence (par l'observation empirique) amène une falsification de la théorie
+             - " p. 29
+                 - "tant qu'une théorie résiste à des tests, et qu'elle n'est pas remplacée avantageusement par une autre"
+                 - le **falsificationnisme** n'atteint pas la vérité, mais maintient un idéal de vérité
+                     - pas de vérification possible des lois scientifique : seulement une falsification possible
+                     - critique du "*dogme positiviste de la signification*" (positivisme = empirisme logique)
+                         - idée que tout énoncé empirique doit pouvoir être établi comme vrai ou comme faux
+                         - " ("la signification de ", Friedrich Weismann)
+                                 - [[vérificationnisme]] : le sens d'un énoncé, c'est sa vérification. sens = conditions de vérité.
 
 

vérificationnisme.md

@@ -1,7 +1,6 @@
 ---
 aliases:
   - théorie vérificationniste de la signification
-  - empirisme logique
 up: "[[épistémologie]]"
 tags: "#s/philosphie"
 ---

éléments d'Euclide.md

@@ -7,3 +7,4 @@ aliases:
      - il semble que Euclide nous dit parfois que "c'est évident par les figures"
      - les figures ont une importance centrale dans la construction de l'édifice 
      - source:: Article de Kenneth MANDERS
+