From 893b8a566a32f0aec9f43a5664636bc09b838a20 Mon Sep 17 00:00:00 2001 From: oskar Date: Tue, 7 Oct 2025 15:13:14 +0200 Subject: [PATCH] eduroam-prg-og-1-28-119.net.univ-paris-diderot.fr 2025-10-7:15:13:14 --- .obsidian/plugins/breadcrumbs/data.json | 2 +- ... du temps.md => M1 LOGOS . emploi du temps.md | 0 ....md => M1 LOGOS . machine learning for NLP.md | 0 M1 LOGOS . philosophie des sciences.md | 10 +++++----- agnosticisme.md | 2 +- daily/2025-09-29.md | 2 +- ...ntrat social . chapitre IV, de l'esclavage.md | 14 ++++++++------ ...ontrat social . chapitre VII, du souverain.md | 14 ++++++++------ empirisme logique.md | 2 +- le souverain est toujours ce qu'il doit être.md | 2 +- ...la seule base pour toute autorité légitime.md | 2 +- modus ponens.md | 16 ++++++++++++++++ notes de cours.md | 2 +- règle de généralisation.md | 13 +++++++++++++ règles de démonstration . tautologies.md | 11 +++++++++++ règles de démonstration.md | 15 +++++++++++++++ sources/Critique de la raison pure.md | 6 +++--- théorie de la démonstration d'Aristote.md | 4 ++-- une théorie scientifique peut-elle être vraie.md | 4 ++-- ...iréalisme.md => épistémologie . antiréalisme.md | 2 +- ....expérience.md => épistémologie . expérience.md | 0 ...md => épistémologie . problème de l'induction.md | 0 ...ogie.réalisme.md => épistémologie . réalisme.md | 2 +- ...sme.md => épistémologie . vérificationnisme.md | 2 +- 24 files changed, 93 insertions(+), 34 deletions(-) rename M1 LOGOS.emploi du temps.md => M1 LOGOS . emploi du temps.md (100%) rename M1 LOGOS .machine learning for NLP.md => M1 LOGOS . machine learning for NLP.md (100%) rename du contrat social. chapitre IV, de l'esclavage.md => du contrat social . chapitre IV, de l'esclavage.md (52%) rename du contrat social. chapitre VII, du souverain.md => du contrat social . chapitre VII, du souverain.md (54%) create mode 100644 modus ponens.md create mode 100644 règle de généralisation.md create mode 100644 règles de démonstration . tautologies.md create mode 100644 règles de démonstration.md rename épistémologie.antiréalisme.md => épistémologie . antiréalisme.md (82%) rename épistémologie.expérience.md => épistémologie . expérience.md (100%) rename épistémologie.problème de l'induction.md => épistémologie . problème de l'induction.md (100%) rename épistémologie.réalisme.md => épistémologie . réalisme.md (95%) rename vérificationnisme.md => épistémologie . vérificationnisme.md (94%) diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json index 5edceb67..13b9126f 100644 --- a/.obsidian/plugins/breadcrumbs/data.json +++ b/.obsidian/plugins/breadcrumbs/data.json @@ -522,7 +522,7 @@ "dendron_note": { "enabled": true, "default_field": "up", - "delimiter": ".", + "delimiter": " . ", "display_trimmed": true }, "johnny_decimal_note": { diff --git a/M1 LOGOS.emploi du temps.md b/M1 LOGOS . emploi du temps.md similarity index 100% rename from M1 LOGOS.emploi du temps.md rename to M1 LOGOS . emploi du temps.md diff --git a/M1 LOGOS .machine learning for NLP.md b/M1 LOGOS . machine learning for NLP.md similarity index 100% rename from M1 LOGOS .machine learning for NLP.md rename to M1 LOGOS . machine learning for NLP.md diff --git a/M1 LOGOS . philosophie des sciences.md b/M1 LOGOS . philosophie des sciences.md index 77941621..0186af5d 100644 --- a/M1 LOGOS . philosophie des sciences.md +++ b/M1 LOGOS . philosophie des sciences.md @@ -20,13 +20,13 @@ théories scientifiques = paradigmes d'un discours vrai > [!info] Deux conceptions des théories scientifiques > On essaie de se placer à mi-chemin de deux visions de ce qu'est une théorie scientifique : -> Une théorie n'est ni **la rencontre de son objet** ([[épistémologie.réalisme]]) ni **la création de son propre objet** ([[épistémologie.antiréalisme]]) -> - [[épistémologie.réalisme|réalisme]] -> - [[épistémologie.antiréalisme|antiréalisme]] +> Une théorie n'est ni **la rencontre de son objet** ([[épistémologie . réalisme]]) ni **la création de son propre objet** ([[épistémologie . antiréalisme]]) +> - [[épistémologie . réalisme|réalisme]] +> - [[épistémologie . antiréalisme|antiréalisme]] > -> Cette opposition n'est pas une opposition stable (la contemplation du [[épistémologie.réalisme|réalisme]] nécessite un travail d'appropriation de la nature, de conceptualisation, qui fait rejoindre un [[épistémologie.antiréalisme|antiréalisme]] premier) +> Cette opposition n'est pas une opposition stable (la contemplation du [[épistémologie . réalisme|réalisme]] nécessite un travail d'appropriation de la nature, de conceptualisation, qui fait rejoindre un [[épistémologie . antiréalisme|antiréalisme]] premier) -- [[épistémologie.réalisme|réalisme]] +- [[épistémologie . réalisme|réalisme]] - [[Critique de la raison pure]] - [[espace (philosophie)|espace]] diff --git a/agnosticisme.md b/agnosticisme.md index 612d6dfc..7b7006d6 100644 --- a/agnosticisme.md +++ b/agnosticisme.md @@ -18,4 +18,4 @@ Dans la [[méthode scientifique]], il est nécessaire que toute affirmation soit ## Dieu n'est pas mesurable -La [[vérificationnisme]] postule qu'un énoncé n'a de sens (ne peut être vrai ou faux) que s'il est vérifiable (par l'expérience). \ No newline at end of file +La [[épistémologie . vérificationnisme]] postule qu'un énoncé n'a de sens (ne peut être vrai ou faux) que s'il est vérifiable (par l'expérience). \ No newline at end of file diff --git a/daily/2025-09-29.md b/daily/2025-09-29.md index 25514c4c..e7f15acb 100644 --- a/daily/2025-09-29.md +++ b/daily/2025-09-29.md @@ -13,7 +13,7 @@ not done [[syllogisme]] [[théorie de la démonstration d'Aristote]] [[empirisme logique]] -[[vérificationnisme]] +[[épistémologie . vérificationnisme]] > [!smallquery]- Modified files > ```dataview diff --git a/du contrat social. chapitre IV, de l'esclavage.md b/du contrat social . chapitre IV, de l'esclavage.md similarity index 52% rename from du contrat social. chapitre IV, de l'esclavage.md rename to du contrat social . chapitre IV, de l'esclavage.md index 8c23d9de..d0ea9515 100644 --- a/du contrat social. chapitre IV, de l'esclavage.md +++ b/du contrat social . chapitre IV, de l'esclavage.md @@ -9,10 +9,12 @@ up:: [[du contrat social]] date::2024-06-14 #t/source -> [!smallquery]+ Sous-notes de `$= dv.el("span", "[[" + dv.current().file.name + "]]")` -> ```breadcrumbs -> title: false -> type: tree -> dir: down -> ``` +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: false +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` diff --git a/du contrat social. chapitre VII, du souverain.md b/du contrat social . chapitre VII, du souverain.md similarity index 54% rename from du contrat social. chapitre VII, du souverain.md rename to du contrat social . chapitre VII, du souverain.md index abd8d7a8..d42a235d 100644 --- a/du contrat social. chapitre VII, du souverain.md +++ b/du contrat social . chapitre VII, du souverain.md @@ -9,12 +9,14 @@ link:: date-seen::2024-06-18 #t/citation -> [!query]+ Sous-notes de `$= dv.el("span", "[[" + dv.current().file.name + "]]")` -> ```breadcrumbs -> title: false -> type: tree -> dir: down -> ``` +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: false +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` ## Interprétation diff --git a/empirisme logique.md b/empirisme logique.md index 81517f9f..d41e7817 100644 --- a/empirisme logique.md +++ b/empirisme logique.md @@ -8,7 +8,7 @@ aliases: > [!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 : [[vérificationnisme]] +> - il n'y à pas de sens à les vérifier : [[épistémologie . 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 diff --git a/le souverain est toujours ce qu'il doit être.md b/le souverain est toujours ce qu'il doit être.md index 3cbed26e..2db40c4c 100644 --- a/le souverain est toujours ce qu'il doit être.md +++ b/le souverain est toujours ce qu'il doit être.md @@ -1,5 +1,5 @@ author:: [[jacques rousseau]] -source:: [[du contrat social. chapitre VII, du souverain]] +source:: [[du contrat social . chapitre VII, du souverain]] link:: date-seen::2024-06-18 #t/citation diff --git a/les conventions sont la seule base pour toute autorité légitime.md b/les conventions sont la seule base pour toute autorité légitime.md index ce520796..de8350d8 100644 --- a/les conventions sont la seule base pour toute autorité légitime.md +++ b/les conventions sont la seule base pour toute autorité légitime.md @@ -1,5 +1,5 @@ author:: [[jacques rousseau]] -source:: [[du contrat social. chapitre IV, de l'esclavage]] +source:: [[du contrat social . chapitre IV, de l'esclavage]] date-seen::2024-06-14 #t/citation diff --git a/modus ponens.md b/modus ponens.md new file mode 100644 index 00000000..e1249817 --- /dev/null +++ b/modus ponens.md @@ -0,0 +1,16 @@ +--- +up: + - "[[règles de démonstration]]" +tags: + - s/maths/logique +aliases: +--- + +> [!definition] Définition +> Soit $T$ un ensemble de [[formule logique|formules]], soient $f$ et $g$ deux formules +> Si $T \vdash f$ +> et $T \vdash f \to g$ +> alors $T \vdash g$ +^definition + + diff --git a/notes de cours.md b/notes de cours.md index 6f1a0916..ddad4ea1 100644 --- a/notes de cours.md +++ b/notes de cours.md @@ -27,6 +27,6 @@ share_updated: 2025-09-29T21:36:03+02:00 - 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é. + - [[épistémologie . vérificationnisme]] : le sens d'un énoncé, c'est sa vérification. sens = conditions de vérité. diff --git a/règle de généralisation.md b/règle de généralisation.md new file mode 100644 index 00000000..b585d6d0 --- /dev/null +++ b/règle de généralisation.md @@ -0,0 +1,13 @@ +--- +up: + - "[[règles de démonstration]]" +tags: + - s/maths/logique +aliases: +--- + +> [!definition] Définition +> Si $T \vdash f$ +> alors $T \vdash \forall x f$ +> où $x$ est un symbole de variable +^definition diff --git a/règles de démonstration . tautologies.md b/règles de démonstration . tautologies.md new file mode 100644 index 00000000..b5e2d71f --- /dev/null +++ b/règles de démonstration . tautologies.md @@ -0,0 +1,11 @@ +--- +up: + - "[[règles de démonstration]]" +tags: + - s/maths/logique +aliases: +--- + +> [!definition] Définition +> Si $T \vdash f_1, \dots, T \vdash f_{n}$ +^definition \ No newline at end of file diff --git a/règles de démonstration.md b/règles de démonstration.md new file mode 100644 index 00000000..1c40d5cc --- /dev/null +++ b/règles de démonstration.md @@ -0,0 +1,15 @@ +--- +up: +tags: + - s/maths/logique +aliases: +--- + +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: false +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` \ No newline at end of file diff --git a/sources/Critique de la raison pure.md b/sources/Critique de la raison pure.md index e038e507..d19d388a 100644 --- a/sources/Critique de la raison pure.md +++ b/sources/Critique de la raison pure.md @@ -30,9 +30,9 @@ Cette théorie permet de poser une connaissance *a priori* (précisément, des [ Kant réfute l'axiomatisation du [[principe de raison]] et cherche à le fonder, à le démontrer, dans des précisions plus grandes (séparant l'espace, la causalité...). -Une théorie ne rencontre pas son objet ([[épistémologie.réalisme|réalisme]]) mais elle ne le créée pas non plus ([[épistémologie.antiréalisme|antiréalisme]]) - - contre le [[épistémologie.réalisme|réalisme]] : comment penser cette rencontre sans l'élaboration de modèles ? La nature ne parle pas d'elle-même. - - contre l'[[épistémologie.antiréalisme|antiréalisme]] : les [[jugement analytique|connaissances a priori]] portent bien sur la nature elle-même +Une théorie ne rencontre pas son objet ([[épistémologie . réalisme|réalisme]]) mais elle ne le créée pas non plus ([[épistémologie . antiréalisme|antiréalisme]]) + - contre le [[épistémologie . réalisme|réalisme]] : comment penser cette rencontre sans l'élaboration de modèles ? La nature ne parle pas d'elle-même. + - contre l'[[épistémologie . antiréalisme|antiréalisme]] : les [[jugement analytique|connaissances a priori]] portent bien sur la nature elle-même > [!info] Kant n'est pas un relativiste > On pourrait se dire que, puisque les manières de penser et percevoir sont différentes selon les individus (enfant, adulte, aveugle, voyant...), les caractéristiques de l'espace et des autres formes dépendent de ces cognitions. diff --git a/théorie de la démonstration d'Aristote.md b/théorie de la démonstration d'Aristote.md index 2f476ef7..0933412c 100644 --- a/théorie de la démonstration d'Aristote.md +++ b/théorie de la démonstration d'Aristote.md @@ -27,9 +27,9 @@ author: - il ne suffit pas que l'objet connu soit [[nécessaire]], il faut également qu'il soit **connu comme nécessaire**, c'est-à-dire qu'il faut que sa cause soit connue - def **sciences démonstratives** - " ce que nous appelons ici savoir, c'est connaitre par le moyen de la démonstration. Par démonstration, j'entends le syllogisme scientifique. Et j'entends par syllogisme ... - - ce sont les **causes naturelles** que vise à connaître la science démonstrative. La science à fondamentalement pour objet de dégager les propriétés, les traits pertinents, qui permettent d'expliquer les choses de la nature. Le scientifique découvre un découpage, une classification des choses de la nature qui **n'est pas arbitraire**, mais qui colle à une articulation réelle de la nature. C'est un [[épistémologie.réalisme|réalisme]] (Aristote peut être considéré comme le père du réalisme) ! + - ce sont les **causes naturelles** que vise à connaître la science démonstrative. La science à fondamentalement pour objet de dégager les propriétés, les traits pertinents, qui permettent d'expliquer les choses de la nature. Le scientifique découvre un découpage, une classification des choses de la nature qui **n'est pas arbitraire**, mais qui colle à une articulation réelle de la nature. C'est un [[épistémologie . réalisme|réalisme]] (Aristote peut être considéré comme le père du réalisme) ! - ? Le monde, c'est d'abord ce qui se donne à la perception. Quel est alors le rapport entre la perception et la démonstration ? - - le langage, les concepts etc. parlent directement du monde : [[épistémologie.réalisme|réalisme]] + - le langage, les concepts etc. parlent directement du monde : [[épistémologie . réalisme|réalisme]] - ce sont les Syllogismes qui visent à établir une continuité de la perception à la démonstration suivant l'idée de cause - = **syllogisme de l'éclipse** : La terre s'interpose devant la Lune, toute interposition de la Terre produit une éclipse, donc la Lune subit une éclipse. - i analyse une **qualité** (la perte de lumière : *subir une éclipse*) par une **relation** (l'interposition) diff --git a/une théorie scientifique peut-elle être vraie.md b/une théorie scientifique peut-elle être vraie.md index fcb3fd5f..8d0f6434 100644 --- a/une théorie scientifique peut-elle être vraie.md +++ b/une théorie scientifique peut-elle être vraie.md @@ -49,7 +49,7 @@ On concoit une multitude d'explications, mais la science, l'expérience, n'admet - cet espace très large du pensable est modifié par les découvertes scientifiques, qui modifient nos concepts, notre pensée - so cela explique l'aspect magique d'une démonstration scientifique - on ressent une forme de magie, voire de violence à la démonstration scientifique, lorsqu'elle nous oblige à supprimer des imaginaires - - so forme de [[épistémologie.réalisme|réalisme]] : la pensée doit se mettre en accord aux principes de la nature (par l'expérience) + - so forme de [[épistémologie . réalisme|réalisme]] : la pensée doit se mettre en accord aux principes de la nature (par l'expérience) - I on décrit souvent la science moderne comme ayant rompu avec la preception direct - = on a jamais vu un électron - mais en réalité @@ -79,7 +79,7 @@ On concoit une multitude d'explications, mais la science, l'expérience, n'admet - 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) - - def [[vérificationnisme]] : le sens d'un énoncé, c'est sa vérification. sens = conditions de vérité. + - def [[épistémologie . vérificationnisme]] : le sens d'un énoncé, c'est sa vérification. sens = conditions de vérité. - ce qui intéresse Popper, c'est de savoir comment les théories scientifiques passent de l'une à l'autre - Popper s'oppose à l'[[empirisme logique]] - point de vue **synchronique** et **diachronique** diff --git a/épistémologie.antiréalisme.md b/épistémologie . antiréalisme.md similarity index 82% rename from épistémologie.antiréalisme.md rename to épistémologie . antiréalisme.md index 43ba04d0..c3f6ff22 100644 --- a/épistémologie.antiréalisme.md +++ b/épistémologie . antiréalisme.md @@ -7,7 +7,7 @@ tags: aliases: - antiréalisme sibling: - - "[[épistémologie.réalisme]]" + - "[[épistémologie . réalisme]]" --- Idée qu'une théorie scientifique est la création de son propre objet diff --git a/épistémologie.expérience.md b/épistémologie . expérience.md similarity index 100% rename from épistémologie.expérience.md rename to épistémologie . expérience.md diff --git a/épistémologie.problème de l'induction.md b/épistémologie . problème de l'induction.md similarity index 100% rename from épistémologie.problème de l'induction.md rename to épistémologie . problème de l'induction.md diff --git a/épistémologie.réalisme.md b/épistémologie . réalisme.md similarity index 95% rename from épistémologie.réalisme.md rename to épistémologie . réalisme.md index 62881418..0d61f1c0 100644 --- a/épistémologie.réalisme.md +++ b/épistémologie . réalisme.md @@ -27,7 +27,7 @@ Il faut *approprier la nature aux concepts qui permettent de la penser*. ### la contemplation n'en est pas vraiment une ! "faire de la nature un spectacle" est déjà un acte complexe (d'appropriation de la nature à ses concepts, de soumission de la nature aux formes qui permettent de la représenter) -Cet acte est une forme d'[[épistémologie.antiréalisme|antiréalisme]] premier. +Cet acte est une forme d'[[épistémologie . antiréalisme|antiréalisme]] premier. Le réalisme veut faire d'une *représentation* de la nature sa *présentation même* : La nature ne se laisse pas contempler, elle ne se donne pas elle-même. diff --git a/vérificationnisme.md b/épistémologie . vérificationnisme.md similarity index 94% rename from vérificationnisme.md rename to épistémologie . vérificationnisme.md index b922ac31..08adad68 100644 --- a/vérificationnisme.md +++ b/épistémologie . vérificationnisme.md @@ -7,7 +7,7 @@ tags: "#s/philosphie" > [!definition] théorie vérificationniste de la signification > Conception [[épistémologique]]. -> Idée qu'un énoncé n'a de signification cognitive (ne peut être vrai ou faux) que s'il est *vérifiable* par l'[[épistémologie.expérience|expérience]]. +> Idée qu'un énoncé n'a de signification cognitive (ne peut être vrai ou faux) que s'il est *vérifiable* par l'[[épistémologie . expérience|expérience]]. > Les autres énoncés (non vérifiables) sont donc : > - soit purement [[jugement analytique|analytiques]], et donc n'apportant pas de connaissance réelle > - soit vides de sens parce ne se rapportant pas à des choses réelles (ex: l'affirmation "les licornes peuvent voler")