From a1a5447b8b040b100bad89766066ae4ba8d6d920 Mon Sep 17 00:00:00 2001 From: Anhgelus Morhtuuzh Date: Thu, 13 Feb 2025 17:42:52 +0100 Subject: =?UTF-8?q?Ajout=20de=20la=20semaine=20des=20cours=20du=207=20au?= =?UTF-8?q?=2013=20f=C3=A9vrier?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- semestre 2/are/1- Organisation.md | 9 +- .../1- L'analytique du sensible.md | 66 +++++- .../td/0- Introduction.md | 18 +- .../td/1- Premi\303\250re section.md" | 25 +++ ...exemplier_sophiste_premi\303\250re section.pdf" | Bin 0 -> 92994 bytes .../td/sophiste_plan.pdf | Bin 0 -> 292035 bytes ...aux \303\240 plusieurs dimensions & strings.md" | 49 +++++ semestre 2/informatique/td/4- arrays.md | 10 + .../informatique/tme/semaine3/17_compter_random.c | 29 +++ .../tme/semaine3/18_tri_trois_valeurs.c | 38 ++++ .../informatique/tme/semaine3/19_moyenne_min_max.c | 51 +++++ .../tme/semaine3/20_calcul_racines_polynomes.c | 73 +++++++ .../3- applications lin\303\251aires/cours.out" | 3 + .../3- applications lin\303\251aires/cours.pdf" | Bin 0 -> 159809 bytes .../3- applications lin\303\251aires/cours.tex" | 234 +++++++++++++++++++++ semestre 2/maths/td/02-13.pdf | Bin 0 -> 149125 bytes semestre 2/maths/td/02-13.tex | 215 +++++++++++++++++++ ...empirique des th\303\251ories scientifiques.md" | 39 +++- .../td/2- Le probl\303\250me de l'induction.md" | 44 ++++ .../td/1- La v\303\251rit\303\251 chez Platon.md" | 3 + .../philosophie g\303\251n\303\251rale/td/2-.md" | 31 +++ 21 files changed, 931 insertions(+), 6 deletions(-) create mode 100644 "semestre 2/histoire de la philo antique/td/1- Premi\303\250re section.md" create mode 100644 "semestre 2/histoire de la philo antique/td/exemplier_sophiste_premi\303\250re section.pdf" create mode 100644 semestre 2/histoire de la philo antique/td/sophiste_plan.pdf create mode 100644 "semestre 2/informatique/5- Tableaux \303\240 plusieurs dimensions & strings.md" create mode 100644 semestre 2/informatique/td/4- arrays.md create mode 100644 semestre 2/informatique/tme/semaine3/17_compter_random.c create mode 100644 semestre 2/informatique/tme/semaine3/18_tri_trois_valeurs.c create mode 100644 semestre 2/informatique/tme/semaine3/19_moyenne_min_max.c create mode 100644 semestre 2/informatique/tme/semaine3/20_calcul_racines_polynomes.c create mode 100644 "semestre 2/maths/3- applications lin\303\251aires/cours.out" create mode 100644 "semestre 2/maths/3- applications lin\303\251aires/cours.pdf" create mode 100644 "semestre 2/maths/3- applications lin\303\251aires/cours.tex" create mode 100644 semestre 2/maths/td/02-13.pdf create mode 100644 semestre 2/maths/td/02-13.tex create mode 100644 "semestre 2/philosophie des sciences/td/2- Le probl\303\250me de l'induction.md" create mode 100644 "semestre 2/philosophie g\303\251n\303\251rale/td/2-.md" diff --git a/semestre 2/are/1- Organisation.md b/semestre 2/are/1- Organisation.md index 09c802a..3767ebb 100644 --- a/semestre 2/are/1- Organisation.md +++ b/semestre 2/are/1- Organisation.md @@ -32,4 +32,11 @@ Exemples de sujet : - les théories scientifiques décrivent-elles le monde ? - la médecine est-elle une science ? (_Le Nihilisme médical_, Stegenga) -Ne pas faire un sujet complètement éthique \ No newline at end of file +Ne pas faire un sujet complètement éthique + +Que peut nous apprendre les intelligences artificielles sur nos relations au vivant ? +|> déjà qu'est-ce qu'une intelligence artificielle ? -> le problème dans la définition du terme +|> qu'est-ce que la conscience ? -> une création peut-elle être consciente ? +|> doit-on être moral envers une IA ? -> si elle est consciente, elle doit pouvoir souffrir +|> toutes les créations doivent-elles être morales ? -> trolley dilemma +|> que devient la valeur du travail dans un monde où tout est automatisé ? -> faire travailler des IA, est-ce travailler ? \ No newline at end of file diff --git a/semestre 2/histoire de la philo antique/1- L'analytique du sensible.md b/semestre 2/histoire de la philo antique/1- L'analytique du sensible.md index 9c6b1ad..65e93a4 100644 --- a/semestre 2/histoire de la philo antique/1- L'analytique du sensible.md +++ b/semestre 2/histoire de la philo antique/1- L'analytique du sensible.md @@ -46,4 +46,68 @@ Comment vérifier le deuxième critère ? L'humain est la mesure des choses (comme le pouce, la coudé, etc) |> c'est donc comment l'humain ressent la chose qu'elle est -Cette doctrine aboutit à une thèse sur la réalité \ No newline at end of file +Cette doctrine aboutit à une thèse sur la réalité + +**Doctrine de Théétète** +Tout est en mouvement et tout est en devenir +|> il y a un devenir universel et un mouvement producteur de toute chose +-> ontologie mobiliste universel (rien n'échappe au mouvement) +|> tout se meut, rien n'est immuable +-> aucune chose ne possède d'essence et toute chose dépend de son apparition +|> langage entraîne de la fixité là où il y a du changement +|> il n'existe pas de pôle objectif +|> couleur d'un objet n'existe qu'au moment où le mouvement de l'objet affecte le mouvement du sujet -> sensation de cette rencontre est infaillible +-> épistémologie sensualiste relativiste +=> être est l'apparaître + +**Thèse de Protagoras** admet que tout le monde est également savant +|> pas que les humains, aussi les animaux + +Mais comment défendre cette thèse relativiste ? +|> savant est celui qui sait renverser les apparences mauvaises en une apparence bonne +|> n'est pas le charlatant/bonimenteur +|> sage peut produire une amélioration dans les perceptions du sujet + +Opinion n'est qu'une expression d'un sentiment +Est impossible d'avoir un jugement et une sensation qui ne porte sur rien +|> impossible d'avoir une opinion sur rien +|> donc on exprime forcément sur du vrai +|> ainsi, le faux n'existe pas +-> tout est vrai + +Une disposition est meilleure si, et seulement si, elle apparaît comme meilleure + +Pour être savant toujours selon Protagoras, on doit être : +- capable de produire des meilleures dispositions +- jugé comme un savant si le sujet juge que l'on propose des dispositions meilleures + +==> Thèse de Protagoras valide la vision de Théètète + +#### Réfutation de cette thèse +**1- Doctrine de Protagoras** + +1. défendre le relativisme c'est s'auto-réfuter +2. doctrine de l'homme mesure cesse de fonctionner sur les jugements concernant le futur + +Nul ne peut se tromper sur rien (relativisme et homme mesure) +|> tout le monde reconnait ou possède la croyance selon laquelle les hommes sont ignorants, qu'ils se trompent et qu'il y a des jugements faux +|> soit il y a des jugements faux, soit les gens se trompent et donc ils ont des jugements faux +-> contradiction logique impossible avec la doctrine +(Ou si tout le monde est contre lui, alors il s'auto-réfute) + +=> Il n'est pas vrai que ce qui apparaît à quelqu'un est ce qu'il est dans tous les cas +|> il existe au moins un domaine où l'objectivité n'est pas réduite à la perception des choses +-> la deuxième étape parle de ce domaine + +> [!NOTE] Auto-réfutation du relativisme +> Le relativisme a toujours besoin que « toutes les vérités sont relatives » est vraie +> |> se réfute automatiquement car la proposition initiale a besoin d'être vraie et donc d'être non relative + +Le relativisme ne tient pas sur ce qui est avantageux, bénéfique ou utile +|> ces jugements sont tournés vers l'avenir = on sous entend toujours qu'il aura son avantage à l'avenir +|> besoin d'anticiper les conséquences probables +|> les conditions de vérité des jugements sur l'avenir ont besoin d'être objectifs et non relatifs +|> admettons qu'aujourd'hui il semble que demain sera X, si on est relativiste, alors "demain sera X" est vrai pour moi aujourd'hui, si un sage contredit ma prédiction, alors il y a une contradiction +-> la vérité n'est donc pas relative à *une* perception concernant les jugements sur l'avenir + +Mais Protagoras fonctionne pour le présent ? \ No newline at end of file diff --git a/semestre 2/histoire de la philo antique/td/0- Introduction.md b/semestre 2/histoire de la philo antique/td/0- Introduction.md index ac833d9..95fda46 100644 --- a/semestre 2/histoire de la philo antique/td/0- Introduction.md +++ b/semestre 2/histoire de la philo antique/td/0- Introduction.md @@ -9,8 +9,10 @@ DS 10/03 et 05/05 Étude de _Le Sophiste_, Platon |> traduction de N. Cordero (GF) ou de L. Monge (Livre de Poche) +|> est une sorte de deuxième apologie de Platon Sophiste est un simulacre du philosophe, c'est une image +|> une image peut aussi être une copie *Pedimental structure* ```mermaid @@ -67,4 +69,18 @@ C'est parce que la foule ignore qu'il y a trois types de philosophe -> ils switc -> est troublant car pourtant la nature du philosophe est unique (Socrate) |> provient de l'ignorance |> opinion <=> jugement de valeurs -|> la foule ne connait que le nom (apparaît), pas la chose (est) \ No newline at end of file +|> la foule ne connait que le nom (apparaît), pas la chose (est) + +Quand Socrate parle, il parle à propos de la chose et non de l'image +|> c'est pour ça qu'il ne parle pas dans ce dialogue + +L'Étranger parle surtout de la chose +|> n'est donc pas un sophiste +|> explique que chez lui il y a ces trois formes mais qui sont très compliqués à définir +|> ne choisit pas de faire une macrologie (discours long), mais préfère une brachylogie (discours type Socrate) +|> on a besoin d'avoir un interlocuteur : c'est Théétète jeune +-> l'Étranger obéit à Socrate, ne choisit pas forcément comme ça se passe + +Platon, _République_, II, 380d +|> est une critique d'Homère +|> les dieux peuvent se transformer mais garde le même nom -> ne peut pas changer de valeur, il reste uni \ No newline at end of file diff --git "a/semestre 2/histoire de la philo antique/td/1- Premi\303\250re section.md" "b/semestre 2/histoire de la philo antique/td/1- Premi\303\250re section.md" new file mode 100644 index 0000000..3cebd33 --- /dev/null +++ "b/semestre 2/histoire de la philo antique/td/1- Premi\303\250re section.md" @@ -0,0 +1,25 @@ +--- +tags: + - sorbonne + - philosophie + - histoire-philosophie-antique + - td +semestre: 2 +--- +## Texte 1 - 218b6 à d5 +#### Introduction +On avance étape par étape +|> on donne la situation du passage (contexte historique et dans l'œuvre) +|> pour parler du problème (difficulté du texte, la tension) +|> pour ensuite évoquer la thèse (solution du problème) +|> finalement, on évoque le plan du texte +-> tout ça est au service de l'auteur + +Plan du texte : +1. « Mais c’est en commun » (l. 1) à « en le définissant » (l. 4) -> définition du sophiste sert de point de départ à la recherche commune +2. « Car pour l’heure » (l. 4) à « nom tout seul » (l. 9) -> passer d'une représentation privée à une recherche commune +3. « Quant au genre » (l. 9) à la fin -> besoin de s'exercer à sa méthode sur un paradigme plus simple + +Thèse = besoin de définir le sophiste en examinant en commun sa fonction et s'exercer pour mieux maîtriser la bonne méthode + +Problème = comment entreprendre l'entreprise de la définition ? \ No newline at end of file diff --git "a/semestre 2/histoire de la philo antique/td/exemplier_sophiste_premi\303\250re section.pdf" "b/semestre 2/histoire de la philo antique/td/exemplier_sophiste_premi\303\250re section.pdf" new file mode 100644 index 0000000..54cf21a Binary files /dev/null and "b/semestre 2/histoire de la philo antique/td/exemplier_sophiste_premi\303\250re section.pdf" differ diff --git a/semestre 2/histoire de la philo antique/td/sophiste_plan.pdf b/semestre 2/histoire de la philo antique/td/sophiste_plan.pdf new file mode 100644 index 0000000..d213983 Binary files /dev/null and b/semestre 2/histoire de la philo antique/td/sophiste_plan.pdf differ diff --git "a/semestre 2/informatique/5- Tableaux \303\240 plusieurs dimensions & strings.md" "b/semestre 2/informatique/5- Tableaux \303\240 plusieurs dimensions & strings.md" new file mode 100644 index 0000000..4d259b5 --- /dev/null +++ "b/semestre 2/informatique/5- Tableaux \303\240 plusieurs dimensions & strings.md" @@ -0,0 +1,49 @@ +--- +tags: + - sorbonne + - informatique +semestre: 2 +--- +## Tableaux à plusieurs dimensions +Pour déclarer un tableau à deux dimensions, on fait : +```c +T tab[n1][n2]; +``` +où `n1` et `n2` sont deux entiers naturels non nul et `T` est un type valide. + +On a que `tab[0][a] = *(tab+a)` et que `tab[b][a] = *(tab+a+n2*b)` (`n2` étant la taille de tableau à l'intérieur) +|> besoin de connaître la taille des deux lignes ! +|> d'une manière plus concrète, on a `tab[4][5]`, donc `tab[2][3] = *(tab+3+2*5)` +## Strings +Un caractère est de type `char` et peut se noter avec un entier ou un caractère ASCII avec `''` (i.e. `'a'`) +|> est enregistré sur un octet : 256 valeurs possibles +|> est affichable avec `%d` (car est un petit int) et `%c` +|> ne contient pas assez de place pour tout afficher : problème pour encoder les accents -> besoin d'utiliser une autre table d'encodage + +> [!NOTE] Interprétation des `char` +> En C, on peut remplacer n'importe quelle valeur entière `char` par leur équivalent en caractère + +Les chaînes de caractères sont entre `""` (i.e. `"hello world"`) : ce sont des `char[]` +|> se termine ***toujours*** par `\0` (est le 0 ou le null des chaînes de caractères) +|> on peut les déclarer classiquement avec `char s[8] = "bonjour";` +|> on les affiche avec `%s` + +> [!info] Le `\0` est sous-entendu avec les guillemets, mais pas quand on déclare manuellement (avec un tableau) + +> [!warning] Différence entre strings et tableau de caractère +> Si on n'utilise pas de `\0` dans un tableau, cela devient un array de caractère + +> [!error] Initialisation d'un string +> Quand on initialise et assigne un string, on doit bien faire attention à ce que le tableau soit assez grand + +> [!warning] On ne peut pas modifier une chaîne de caractère statique +> i.e. `char *p = "hello"` n'est pas modifiable +> +> Par contre, `char s[] = "hello";`, `char *p = s;` et `p[0] = 'H'` est valide + +La bibliothèque de gestion des strings est `string.h` +|> permet de compter la taille d'un string avec `strlen` +|> *voir poly pour les autres fonctions* + +> [!warning] Les chaines de caractère sont des arrays ! +> Donc, quand on doit renvoyer une nouvelle chaîne de caractères, on doit utiliser `malloc` pour éviter d'avoir un segmentation fault ! diff --git a/semestre 2/informatique/td/4- arrays.md b/semestre 2/informatique/td/4- arrays.md new file mode 100644 index 0000000..5c1067d --- /dev/null +++ b/semestre 2/informatique/td/4- arrays.md @@ -0,0 +1,10 @@ +--- +tags: + - sorbonne + - informatique + - td +semestre: 2 +--- +Pour utiliser du random en C, on a besoin de `stdlib.h` +- `srand` permet de set la seed (on peut utiliser `time(NULL))` qui est dans `time.h` pour utiliser le timestamp actuel) +- `rand` donne un aléatoire entre 0 et `RAND_MAX` (une constante prédéfinie) \ No newline at end of file diff --git a/semestre 2/informatique/tme/semaine3/17_compter_random.c b/semestre 2/informatique/tme/semaine3/17_compter_random.c new file mode 100644 index 0000000..10a1ff3 --- /dev/null +++ b/semestre 2/informatique/tme/semaine3/17_compter_random.c @@ -0,0 +1,29 @@ +#include +#include +#include + +#define NB_VALEURS 20 +#define VMIN -20 +#define VMAX 20 + +int valeur_aleatoire(int min, int max){ + return min + rand()%(max+1-min); +} + +void pos_neg_zero(int *neg, int *zero, int *pos, int v){ + if (v > 0) (*pos)++; + else if (v < 0) (*neg)++; + else (*zero)++; +} + +int main(){ + srand(time(NULL)); + int neg = 0, pos = 0, zero = 0; + for (int i = 0; i < NB_VALEURS; i++){ + int v = valeur_aleatoire(VMIN, VMAX); + pos_neg_zero(&neg, &zero, &pos, v); + } + printf("valeurs:\n\t- positives: %d\n\t- nulles: %d\n\t- négatives: %d\n", pos, zero, neg); + return 0; +} + diff --git a/semestre 2/informatique/tme/semaine3/18_tri_trois_valeurs.c b/semestre 2/informatique/tme/semaine3/18_tri_trois_valeurs.c new file mode 100644 index 0000000..cfea419 --- /dev/null +++ b/semestre 2/informatique/tme/semaine3/18_tri_trois_valeurs.c @@ -0,0 +1,38 @@ +#include + +void echange(int *a, int *b){ + int t = *a; + *a = *b; + *b = t; +} + +void tri(int *a, int *b){ + if (*a <= *b) return; + echange(a,b); +} + +void tri_3(int *a, int *b, int *c){ + tri(a, b); + tri(a, c); + tri(b, c); +} + +int main(){ + int a = 2, b = 5; + echange(&a, &b); + assert(a == 5); + assert(b == 2); + tri(&a, &b); + assert(a == 2); + assert(b == 5); + int c = 8; + a = 4; b = 2; + tri_3(&a, &b, &c); + assert(a == 2 && b == 4 && c == 8); + a = 2; b = 4; c = 8; + tri_3(&a, &b, &c); + assert(a == 2 && b == 4 && c == 8); + a = 8; b = 4; c = 2; + tri_3(&a, &b, &c); + assert(a == 2 && b == 4 && c == 8); +} diff --git a/semestre 2/informatique/tme/semaine3/19_moyenne_min_max.c b/semestre 2/informatique/tme/semaine3/19_moyenne_min_max.c new file mode 100644 index 0000000..11c66db --- /dev/null +++ b/semestre 2/informatique/tme/semaine3/19_moyenne_min_max.c @@ -0,0 +1,51 @@ +#include +#include +#define VAL1 12 +#define VAL2 7 +#define VAL3 5 +#define VAL4 9 + +void min_max(int *min, int *max, int v){ + if (v > *max) *max = v; + if (v < *min) *min = v; +} + +void stats(float*moy, int*max, int*min, int a, int b, int c, int d){ + if (a < 0) return; + int sum = a; + *min = a; + *max = a; + if (b < 0) { + *moy = a; + return; + } + sum += b; + min_max(min, max, b); + if (c < 0) { + *moy = sum/ (float) 2; + return; + } + sum += c; + min_max(min, max, c); + if (d < 0){ + *moy = sum/ (float) 3; + return; + } + sum += d; + min_max(min, max, d); + *moy = sum/ (float) 4; +} + +void afficher_resultat(float moyenne, int min, int max){ + printf("max = %d, min = %d, moy = %.2f\n",max,min,moyenne); +} + +int main(){ + float moy = -1; + int min, max = -1; + + stats(&moy, &max, &min, VAL1, VAL2, VAL3, VAL4); + + afficher_resultat(moy, min, max); + return 0; +} diff --git a/semestre 2/informatique/tme/semaine3/20_calcul_racines_polynomes.c b/semestre 2/informatique/tme/semaine3/20_calcul_racines_polynomes.c new file mode 100644 index 0000000..08a9cdc --- /dev/null +++ b/semestre 2/informatique/tme/semaine3/20_calcul_racines_polynomes.c @@ -0,0 +1,73 @@ +#include +#include + +int nb_racines(int a, int b, int c){ + float delta = b*b-4*a*c; + if (delta > 0) return 2; + else if (delta == 0) return 1; + return 0; +} + +int nb_racines_delta(int a, int b, int c, float*delta){ + *delta = b*b-4*a*c; + if (*delta > 0) return 2; + else if (*delta == 0) return 1; + return 0; +} + +int racines(int a, int b, int c, float*r1, float*r2){ + float delta; + int nb = nb_racines_delta(a, b, c, &delta); + *r1 = (-b-sqrt(delta))/(2*a); + *r2 = (-b+sqrt(delta))/(2*a); + return nb; +} + +void affiche_polynome(int a, int b, int c){ + printf("Polynome : "); + if (a == -1) printf("-"); + else if (a != 1) printf("%d", a); + printf("x*x"); + + if (b != 0) { + printf(" "); + if (b == -1) printf("-"); + else if (b != 1 && b > 0) printf("+%d", b); + else if (b != 1 && b < 0) printf("%d", b); + printf("x"); + } + + if (c != 0) { + printf(" "); + if (c > 0) printf("+%d", c); + else if (c < 0) printf("%d", c); + } + printf("\n"); +} + +void affiche_racine(int a, int b, int c){ + float r1 = 1.0, r2 = 1.0; + + int nb_r = racines(a, b, c, &r1, &r2); + if (nb_r == 2) printf("Le polynome a 2 racines : %.3f et %.3f\n", r1, r2); + else if (nb_r == 1) printf("Le polynome a une racine double : %.3f\n", r1); + else printf("Le polynome n'a pas de racine reelle.\n"); +} + +int main(){ + printf("\n\n=========================================================\n\n"); + int a = 4, b = 4, c = 1; + affiche_polynome(a, b, c); + affiche_racine(a, b, c); + printf("\n"); + + a = 4; b = 6; c = 1; + affiche_polynome(a, b, c); + affiche_racine(a, b, c); + printf("\n"); + + a = -7; b = -5; c = -1; + affiche_polynome(a, b, c); + affiche_racine(a, b, c); + return 0; +} diff --git "a/semestre 2/maths/3- applications lin\303\251aires/cours.out" "b/semestre 2/maths/3- applications lin\303\251aires/cours.out" new file mode 100644 index 0000000..3ea312e --- /dev/null +++ "b/semestre 2/maths/3- applications lin\303\251aires/cours.out" @@ -0,0 +1,3 @@ +\BOOKMARK [1][-]{section.1}{\376\377\000D\000\351\000f\000i\000n\000i\000t\000i\000o\000n}{}% 1 +\BOOKMARK [1][-]{section.2}{\376\377\000S\000o\000u\000s\000\040\000e\000s\000p\000a\000c\000e\000\040\000v\000e\000c\000t\000o\000r\000i\000e\000l}{}% 2 +\BOOKMARK [1][-]{section.3}{\376\377\000D\000\351\000t\000e\000r\000m\000i\000n\000e\000r\000\040\000u\000n\000e\000\040\000b\000a\000s\000e\000\040\000d\000u\000\040\000n\000o\000y\000a\000u}{}% 3 diff --git "a/semestre 2/maths/3- applications lin\303\251aires/cours.pdf" "b/semestre 2/maths/3- applications lin\303\251aires/cours.pdf" new file mode 100644 index 0000000..f76f996 Binary files /dev/null and "b/semestre 2/maths/3- applications lin\303\251aires/cours.pdf" differ diff --git "a/semestre 2/maths/3- applications lin\303\251aires/cours.tex" "b/semestre 2/maths/3- applications lin\303\251aires/cours.tex" new file mode 100644 index 0000000..e8c5963 --- /dev/null +++ "b/semestre 2/maths/3- applications lin\303\251aires/cours.tex" @@ -0,0 +1,234 @@ +%%===================================================================================== +%% +%% Filename: cours.tex +%% +%% Description: +%% +%% Version: 1.0 +%% Created: 03/06/2024 +%% Revision: none +%% +%% Author: YOUR NAME (), +%% Organization: +%% Copyright: Copyright (c) 2024, YOUR NAME +%% +%% Notes: +%% +%%===================================================================================== +\documentclass[a4paper, titlepage]{article} + +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage{textcomp} +\usepackage[french]{babel} +\usepackage{amsmath, amssymb} +\usepackage{amsthm} +\usepackage[svgnames]{xcolor} +\usepackage{thmtools} +\usepackage{lipsum} +\usepackage{framed} +\usepackage{parskip} +\usepackage{titlesec} +\usepackage{hyperref} + +\renewcommand{\familydefault}{\sfdefault} + +% figure support +\usepackage{import} +\usepackage{xifthen} +\pdfminorversion=7 +\usepackage{pdfpages} +\usepackage{transparent} +\newcommand{\incfig}[1]{% + \def\svgwidth{\columnwidth} + \import{./figures/}{#1.pdf_tex} +} + +\pdfsuppresswarningpagegroup=1 + +\colorlet{defn-color}{DarkBlue} +\colorlet{props-color}{Blue} +\colorlet{warn-color}{Red} +\colorlet{exemple-color}{Green} +\colorlet{corol-color}{Orange} +\newenvironment{defn-leftbar}{% + \def\FrameCommand{{\color{defn-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} +\newenvironment{warn-leftbar}{% + \def\FrameCommand{{\color{warn-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} +\newenvironment{exemple-leftbar}{% + \def\FrameCommand{{\color{exemple-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} +\newenvironment{props-leftbar}{% + \def\FrameCommand{{\color{props-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} +\newenvironment{corol-leftbar}{% + \def\FrameCommand{{\color{corol-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} + +\def \freespace {1em} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{defn-color}Définition~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{defn-leftbar},% + postfoothook=\end{defn-leftbar},% +]{better-defn} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{warn-color}Attention\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{warn-leftbar},% + postfoothook=\end{warn-leftbar},% +]{better-warn} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% +notebraces={}{},% +headpunct=,% + bodyfont=\sffamily,% + headformat=\color{exemple-color}Exemple~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{exemple-leftbar},% + postfoothook=\end{exemple-leftbar},% +]{better-exemple} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{props-color}Proposition~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{props-leftbar},% + postfoothook=\end{props-leftbar},% +]{better-props} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{props-color}Théorème~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{props-leftbar},% + postfoothook=\end{props-leftbar},% +]{better-thm} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{corol-color}Corollaire~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{corol-leftbar},% + postfoothook=\end{corol-leftbar},% +]{better-corol} + +\declaretheorem[style=better-defn]{defn} +\declaretheorem[style=better-warn]{warn} +\declaretheorem[style=better-exemple]{exemple} +\declaretheorem[style=better-corol]{corol} +\declaretheorem[style=better-props, numberwithin=defn]{props} +\declaretheorem[style=better-thm, sibling=props]{thm} +\newtheorem*{lemme}{Lemme}%[subsection] +%\newtheorem{props}{Propriétés}[defn] + +\newenvironment{system}% +{\left\lbrace\begin{align}}% +{\end{align}\right.} + +\newenvironment{AQT}{{\fontfamily{qbk}\selectfont AQT}} + +\usepackage{LobsterTwo} +\titleformat{\section}{\newpage\LobsterTwo \huge\bfseries}{\thesection.}{1em}{} +\titleformat{\subsection}{\vspace{2em}\LobsterTwo \Large\bfseries}{\thesubsection.}{1em}{} +\titleformat{\subsubsection}{\vspace{1em}\LobsterTwo \large\bfseries}{\thesubsubsection.}{1em}{} + +\newenvironment{lititle}% +{\vspace{7mm}\LobsterTwo \large}% +{\\} + +\renewenvironment{proof}{$\square$ \footnotesize\textit{Démonstration.}}{\begin{flushright}$\blacksquare$\end{flushright}} + +\title{Applications linéaires et sous espace vectoriel} +\author{William Hergès\thanks{Sorbonne Université - Faculté des Sciences, Faculté des Lettres}} + +\begin{document} + \maketitle + \tableofcontents + \newpage + \section{Définition} + \begin{defn} + Une application $f$ est dite linéaire de $E$ dans $F$ (deux sev) si et seulement si : + $$ \forall (a,b)\in E^2,\forall (x,y)\in E^2,\quad f(ax+by) = af(x)+bf(y) $$ + \end{defn} + \begin{thm} + Toute application linéaire est représentable par une matrice. + \end{thm} + \begin{exemple} + Représentation d'une application linéaire de $\mathbb{R}^3\to \mathbb{R}^2$ : + $$ \begin{pmatrix} x\\y\\z \end{pmatrix} \longmapsto \begin{pmatrix} a_{1,1}&a_{1,2}&a_{1,3}\\a_{2,1}&a_{2,2}&a_{2,3} \end{pmatrix} \begin{pmatrix} x\\y\\z \end{pmatrix} = \begin{pmatrix} a_{1,1}x+a_{1,2}y+a_{1,3}z\\a_{2,1}x+a_{2,2}y+a_{2,3}z \end{pmatrix} $$ + \end{exemple} + \begin{defn} + L'image de $A$ une matrice représentant l'application linéaire $f$ de $E$ dans $F$ est notée $\mathrm{Im}A$ et : + $$ \mathrm{Im}A =\{AX|X\in E\}$$ + \end{defn} + L'image est l'ensemble des éléments atteints par l'application linéaire représentée par $A$. + \begin{defn} + Le noyau de $A$ une matrice représentant l'application linéaire $f$ de $E$ dans $F$ est noté $\mathrm{Ker}A$ et : + $$ \mathrm{Ker}A=\{X| AX = 0, X\in E\} $$ + \end{defn} + Le noyau est l'ensemble des éléments donnant 0 par $f$. + \begin{defn} + La dimension d'un espace vectoriel est le nombre de vecteur d'une base (sauf si la base vaut $\{0\}$, dans ce cas là sa dimension vaut 0). On note la dimension de $E$ $\mathrm{dim}E$. + + D'une manière formelle, soit $f$ une base de $E$, on a : + $$ \mathrm{dim}(E)=\mathrm{card}(f) $$ + (où $\mathrm{card}$ est le cardinal de $f$)\\ + sauf si $f=\{0\}$, où dans ce cas $\mathrm{dim}(E)=0$. + \end{defn} + \begin{thm} + La dimension de l'image de l'application linéaire $f$ représentée par les matrices $AX$ est égal au rang de $A$, i.e. + $$ \mathrm{dim}~\mathrm{Im}A = \mathrm{rg}A $$ + \end{thm} + \begin{thm}[Théorème du rang] + Soit $f$ une application linéaire de $E$ dans $F$. + + On a que : + $$ \mathrm{dim}E = \mathrm{dim}~\mathrm{Im}A+\mathrm{dim}~\mathrm{Ker}A $$ + \end{thm} + \begin{thm} + Les vecteurs colonnes au dessus de la matrice $A$ se trouvant au dessus des pivots constituent une base de l'image. + \end{thm} + \begin{exemple} + On a : + $$ \begin{pmatrix} 1&1&0\\1&1&0 \end{pmatrix} $$ + Après le pivot de Gauss, on obtient : + $$ \begin{pmatrix} \fbox{1}&1&0\\0&0&0 \end{pmatrix} $$ + Donc, une base de l'image est $\begin{pmatrix} 1\\1 \end{pmatrix} $ + + Comme $\begin{pmatrix} 1&0&0\\0&1&0 \end{pmatrix}$ est déjà échelonné, on a que $\begin{pmatrix} 1&0\\0&1 \end{pmatrix}$ est une base de l'image. + \end{exemple} + \section{Sous espace vectoriel} + \begin{defn} + Un sous espace vectoriel $V$ est un espace vectoriel si et seulement si : + \begin{itemize} + \item $V\neq \varnothing$ + \item pour tout $v_1,v_2\in V$, on a $v_1+v_2$ est bien dans $V$ + \item pour tout $v$ dans $V$ et pour tout $\lambda$ dans $\mathbb{K}$, on a $\lambda v\in V$ + \end{itemize} + \end{defn} + \begin{props} + L'image et le noyau d'une application linéaire sont des sous-espaces vectoriels. + \end{props} + \section{Déterminer une base du noyau} + On a une base de l'image et on a $A$, la matrice représentant l'application linéaire à l'origine. + + On sait que la base du noyau possède $\mathrm{dim}(E)-\mathrm{dim}~\mathrm{Im}(A)$ (théorème du rang). + + Pour chaque colonne sans pivot, on détermine un vecteur de la base du noyau (voir \href{}{ce gif}) +\end{document} diff --git a/semestre 2/maths/td/02-13.pdf b/semestre 2/maths/td/02-13.pdf new file mode 100644 index 0000000..99c5439 Binary files /dev/null and b/semestre 2/maths/td/02-13.pdf differ diff --git a/semestre 2/maths/td/02-13.tex b/semestre 2/maths/td/02-13.tex new file mode 100644 index 0000000..f90b2da --- /dev/null +++ b/semestre 2/maths/td/02-13.tex @@ -0,0 +1,215 @@ +%%===================================================================================== +%% +%% Filename: cours.tex +%% +%% Description: +%% +%% Version: 1.0 +%% Created: 03/06/2024 +%% Revision: none +%% +%% Author: YOUR NAME (), +%% Organization: +%% Copyright: Copyright (c) 2024, YOUR NAME +%% +%% Notes: +%% +%%===================================================================================== +\documentclass[a4paper, titlepage]{article} + +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage{textcomp} +\usepackage[french]{babel} +\usepackage{amsmath, amssymb} +\usepackage{amsthm} +\usepackage[svgnames]{xcolor} +\usepackage{thmtools} +\usepackage{lipsum} +\usepackage{framed} +\usepackage{parskip} +\usepackage{titlesec} + +\renewcommand{\familydefault}{\sfdefault} + +% figure support +\usepackage{import} +\usepackage{xifthen} +\pdfminorversion=7 +\usepackage{pdfpages} +\usepackage{transparent} +\newcommand{\incfig}[1]{% + \def\svgwidth{\columnwidth} + \import{./figures/}{#1.pdf_tex} +} + +\pdfsuppresswarningpagegroup=1 + +\colorlet{defn-color}{DarkBlue} +\colorlet{props-color}{Blue} +\colorlet{warn-color}{Red} +\colorlet{exemple-color}{Green} +\colorlet{corol-color}{Orange} +\newenvironment{defn-leftbar}{% + \def\FrameCommand{{\color{defn-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} +\newenvironment{warn-leftbar}{% + \def\FrameCommand{{\color{warn-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} +\newenvironment{exemple-leftbar}{% + \def\FrameCommand{{\color{exemple-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} +\newenvironment{props-leftbar}{% + \def\FrameCommand{{\color{props-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} +\newenvironment{corol-leftbar}{% + \def\FrameCommand{{\color{corol-color}\vrule width 3pt} \hspace{10pt}}% + \MakeFramed {\advance\hsize-\width \FrameRestore}}% + {\endMakeFramed} + +\def \freespace {1em} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{defn-color}Définition~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{defn-leftbar},% + postfoothook=\end{defn-leftbar},% +]{better-defn} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{warn-color}Attention\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{warn-leftbar},% + postfoothook=\end{warn-leftbar},% +]{better-warn} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% +notebraces={}{},% +headpunct=,% + bodyfont=\sffamily,% + headformat=\color{exemple-color}Exemple~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{exemple-leftbar},% + postfoothook=\end{exemple-leftbar},% +]{better-exemple} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{props-color}Proposition~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{props-leftbar},% + postfoothook=\end{props-leftbar},% +]{better-props} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{props-color}Théorème~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{props-leftbar},% + postfoothook=\end{props-leftbar},% +]{better-thm} +\declaretheoremstyle[headfont=\sffamily\bfseries,% + notefont=\sffamily\bfseries,% + notebraces={}{},% + headpunct=,% + bodyfont=\sffamily,% + headformat=\color{corol-color}Corollaire~\NUMBER\hfill\NOTE\smallskip\linebreak,% + preheadhook=\vspace{\freespace}\begin{corol-leftbar},% + postfoothook=\end{corol-leftbar},% +]{better-corol} + +\declaretheorem[style=better-defn]{defn} +\declaretheorem[style=better-warn]{warn} +\declaretheorem[style=better-exemple]{exemple} +\declaretheorem[style=better-corol]{corol} +\declaretheorem[style=better-props, numberwithin=defn]{props} +\declaretheorem[style=better-thm, sibling=props]{thm} +\newtheorem*{lemme}{Lemme}%[subsection] +%\newtheorem{props}{Propriétés}[defn] + +\newenvironment{system}% +{\left\lbrace\begin{align}}% +{\end{align}\right.} + +\newenvironment{AQT}{{\fontfamily{qbk}\selectfont AQT}} + +\usepackage{LobsterTwo} +\titleformat{\section}{\newpage\LobsterTwo \huge\bfseries}{\thesection.}{1em}{} +\titleformat{\subsection}{\vspace{2em}\LobsterTwo \Large\bfseries}{\thesubsection.}{1em}{} +\titleformat{\subsubsection}{\vspace{1em}\LobsterTwo \large\bfseries}{\thesubsubsection.}{1em}{} + +\newenvironment{lititle}% +{\vspace{7mm}\LobsterTwo \large}% +{\\} + +\renewenvironment{proof}{$\square$ \footnotesize\textit{Démonstration.}}{\begin{flushright}$\blacksquare$\end{flushright}} + +\title{TD du 13 février} +\author{William Hergès\thanks{Sorbonne Université - Faculté des Sciences, Faculté des Lettres}} + +\begin{document} + \maketitle + \newpage + \section*{Exercice 1} + Trivial + \section*{Exercice 2} + Trivial + \section*{Exercice 3} + Trivial + \section*{Exercice 4} + On a : + \begin{align*} + 2 &= a-b+c \\ + 1 &= a+b-c \\ + 3 &= -a+b+c + \end{align*} + où $(a,b,c)$ sont les coordonnées du vecteur dans la base. + + D'où : + $$\begin{pmatrix} 1&-1&1&|&2\\1&1&-1&|&1\\-1&1&1&|&3 \end{pmatrix}\iff\begin{pmatrix} 1&-1&1&|&2\\0&2&-2&|&-1\\0&0&2&|&5\end{pmatrix}$$ + Ainsi, + \begin{align*} + c &= 5/2 \\ + b &= 2 \\ + a &= 3/2 + \end{align*} + \section*{Exercice 5} + Si $x=0$, alors $v = u + w$, donc ce n'est pas libre.\\ + Si $x\neq 0$, alors $(uvx)$ est échelonné, donc elle est libre. + + Il s'agit d'une base si et seulement si $x\neq 0$. + \section*{Exercice 6} + \begin{lititle} + Matrice de changement de base. + \end{lititle} + On a $v$ un vecteur dans la base canonique. $\lambda$ est dans la base $A$ et $\mu$ dans la base $B$. + + Ainsi, on a : + \begin{align*} + \mathrm{I}_n v &= A\lambda \\ + \mathrm{I}_n v &= B\mu + \end{align*} + d'où : + $$ A\lambda = B\mu \iff \mu = B^{-1}A\lambda $$ + Ainsi, $B^{-1}A$ est la matrice de passage de $A$ à $B$. + \section*{Exercice 7} + $\lambda v_1+v_2 = (\lambda x_1+x_2,\lambda y_1 + y_2)$\\ + $\lambda y_1+y_2=\lambda x_1+x_2+\lambda+1 \neq \lambda x_1+x_2+1$\\ + donc $A$ n'est pas un sev. + + $\lambda v_1+v_2 = (\lambda x_1 + x_2, \lambda x_1 + x_2)$\\ + donc $A_1$ est un sev. + + $\lambda v_1+v_2 = (\lambda x_1+x_2,\lambda y_1 + y_2)$\\ + $\lambda y_1 = \lambda^2 x^2 \neq x^2$\\ + donc $A_2$ n'est pas un sev. +\end{document} diff --git "a/semestre 2/philosophie des sciences/2- Les principales conceptions philosophiques de la validation empirique des th\303\251ories scientifiques.md" "b/semestre 2/philosophie des sciences/2- Les principales conceptions philosophiques de la validation empirique des th\303\251ories scientifiques.md" index 3eab28a..ac8da71 100644 --- "a/semestre 2/philosophie des sciences/2- Les principales conceptions philosophiques de la validation empirique des th\303\251ories scientifiques.md" +++ "b/semestre 2/philosophie des sciences/2- Les principales conceptions philosophiques de la validation empirique des th\303\251ories scientifiques.md" @@ -30,10 +30,10 @@ Existe aussi les inférences fondées sur la vérité d'une prédiction > Donc $H$ est vraie ## B. Le problème de Hume Hume, _Enquête sur l'entendement humain_, IV, 2 -|> deux objets de la raison : relations d'idées (vrai car contradiction est fausse) et choses de fait (vrai, mais contradiction peut être fausse) [^1] +|> deux objets de la raison : relations d'idées (vrai car contradiction est fausse) et choses de fait (vrai, mais contradiction peut être fausse) [^(1)] |> choses de fait proviennent des inductions (mot qui n'existe pas à l'époque de Hume) -[^1] est plus compliqué en réalité, voir la diapo (cours 2) +[^(1)] est plus compliqué en réalité, voir la diapo (cours 2) Le principe d'induction transforme les inductions en déduction |> sorte de « les objets en apparence semblables à ceux que j'ai observés s'accompagneront d'effets semblables » @@ -43,4 +43,37 @@ Pourtant, on utilise de l'induction pour démonter l'induction |> erreur logique ! -> pas de justification de l'induction -Est une thèse sceptique radicale qui est contre intuitive et qui a été beaucoup discutée \ No newline at end of file +Est une thèse sceptique radicale qui est contre intuitive et qui a été beaucoup discutée + +Home propose dans _Enquête de l'entendement humain_, V +|> l'observation de la régularité implique la création d'une disposition dans l'esprit humain +|> cette tendance est automatique +-> disposition naturelle, principe de la nature humaine + +Kant critique le problème de Hume dans _Critique de la raison pure_, deuxième analogie de l'expérience en particulier +|> toute chose qui arrive possède une cause et cette cause est nécessaire -> principe de causalité +|> on peut donc connaître des vérités nécessaires et universelles sur le monde empirique +-> est un principe d'induction + +> [!quote] Critique de Hume par Kant +> Hume concluait donc faussement de la contingence de ce que nous déterminons d'après la loi à la contingence de la loi elle-même + +Transcendental = argument raisonnant sur les conditions de l'expérience et de la connaissance + +Toute expérience d'un événement (expérience que quelque chose arrive par exemple) est l'expérience d'une succession qu'on conçoit comme objective, i.e. le phénomène qui arrive en suppose un autre autre qu'il suit nécessairement, suivant une règle +|> cet événement est indépendant de moi +-> est une solution non empiriste car elle ne dépend pas de moi : elle provient de notre essence + +Reichenbach explique qu'il n'est pas possible d'établir que le futur ressemblera au passé +|> montre que cette condition n'est pas nécessaire -> le sépare de Hume +|> on a peut être $A\implies B$, mais on est sûr que $A\impliedby B$ +-> affaiblit le principe d'induction +|> est pratique et est notre meilleur pari +|> le succès prédictif est seulement possible en supposant que le futur ressemblera au passé (seulement = unique méthode) + +Si la nature ne ressemble pas un minimum au passé, alors on ne peut rien connaître + +**Aucune de ces solutions ne sont acceptées comme une solution au problème de Hume** +|> généralement admis que les arguments inductifs posent un problème de justification +|> très compliqués pour les empiristes +|> n'y a pas de certitude concernant les théories scientifiques \ No newline at end of file diff --git "a/semestre 2/philosophie des sciences/td/2- Le probl\303\250me de l'induction.md" "b/semestre 2/philosophie des sciences/td/2- Le probl\303\250me de l'induction.md" new file mode 100644 index 0000000..a675c63 --- /dev/null +++ "b/semestre 2/philosophie des sciences/td/2- Le probl\303\250me de l'induction.md" @@ -0,0 +1,44 @@ +--- +tags: + - sorbonne + - philosophie +semestre: 2 +--- +Hume, _Enquête sur l'entendement humain_ +```mermaid +flowchart TB + A["Faits établis par l'observation"]-- induction -->B["Lois et théories"] + B-- déduction -->C["Prédictions et explications"] +``` +On passe du descriptif au normatif +|> Hume parle d'énoncés moraux car le *il doit* de la morale provient de la norme (normatif) ! + +Présentation de Hume +|> tradition philosophique britannique du XVIIIe siècle +|> s'inscrit dans la tradition empiriste +|> construit une véritable philosophie de la connaissance + +Chapitre IV questionne la création dans l'esprit de la croyance de la régularité de la nature +|> est appelé le problème de l'induction +|> contient une distinction appelée _la fourche de Hume_ +## David Hume, Enquête sur l’entendement humain, IV +§1 = saut logique entre induction et déduction +|> la déduction est toujours inféré de l'induction dans la méthode empiriste +|> cherche à expliquer la chaîne de raisonnement dans ce saut logique : «  La connexion entre ces propositions n’est pas intuitive » +|> « On réclame un moyen terme qui puisse rendre l’esprit capable de tirer une telle inférence si, en vérité, elle se tire par raisonnement et argumentation » +|> cherche le raisonnement derrière +-> comment arrive-t-on à faire ce saut ? +|> on va procéder par élimination : « énumération de toutes les branches de la connaissance humaine » + +§2-3 = il n'existe que deux types de raisonnement +|> démonstratif (relations d'idées) = purement logiques, sont des énoncés analytiques -> ne peut pas être contredit par l'expérience +|> moraux (questions de faits et d'existence) = ajout du contenu au sujet (n'est pas inclue dans le sujet), sont des énoncés synthétiques + +§4 = matérialisation du problème de l'induction +|> nos raisonnements moraux découlent du raisonnement causal +|> on justifie la régularité par la régularité (nature est régulière car on la suppose régulière) + +§5 = comment faire pour rester empiriste ? +|> ce n'est pas parce que nous ne l'avons pas fondé que nous ne pouvons pas les utiliser +|> ils sont peut être faux, mais c'est très utile +-> besoin d'accepter l'induction si on veut pouvoir parler du futur : tout notre raisonnement fonctionne comme ça (Russell) \ No newline at end of file diff --git "a/semestre 2/philosophie g\303\251n\303\251rale/td/1- La v\303\251rit\303\251 chez Platon.md" "b/semestre 2/philosophie g\303\251n\303\251rale/td/1- La v\303\251rit\303\251 chez Platon.md" index 52a9d2b..63c1ff4 100644 --- "a/semestre 2/philosophie g\303\251n\303\251rale/td/1- La v\303\251rit\303\251 chez Platon.md" +++ "b/semestre 2/philosophie g\303\251n\303\251rale/td/1- La v\303\251rit\303\251 chez Platon.md" @@ -51,8 +51,11 @@ Dans la partie 2, on quitte l'argumentation pour arriver vers un mythe > |> expose quand même une vérité, mais sous l'exemple > [!warning] Il n'existe pas d'âme ignorante pour Platon +> En cherchant la vérité, on ne développe que ce qu'il y a en nous > [!tip] Organisation d'un texte de Platon > Souvent, il existe plusieurs niveaux argumentatifs chez Platon > |> mieux vaut les suivre quand on fait un commentaire > |-> le niveau mythique très souvent est complexe + +81d à 86d est aussi très intéressant \ No newline at end of file diff --git "a/semestre 2/philosophie g\303\251n\303\251rale/td/2-.md" "b/semestre 2/philosophie g\303\251n\303\251rale/td/2-.md" new file mode 100644 index 0000000..fd6127e --- /dev/null +++ "b/semestre 2/philosophie g\303\251n\303\251rale/td/2-.md" @@ -0,0 +1,31 @@ +--- +tags: + - sorbonne + - philosophie + - td + - philosophie-générale +semestre: 2 +--- +## Saint Augustin, _Confessions_, X, 33 - 34 +Livres 1 à 9 = autobiographie +Livre 10 = questionnement autour de Dieu +Livres 11 à 14 = méditation autour du livre 10 + +Volonté de l'humain tend vers le bonheur et le bien +|> alternative entre "préférer trouver bonheur dans vérité ou dans mensonge" +|> tout le monde préfère la vérité, personne ne veut d'un bonheur jugé faux +|> donc véritable bonheur provient de la vérité + +Amour de la vérité est aussi naturelle que celle du bonheur +|> comme on aime naturellement le bonheur, on aime naturellement la vérité +-> vérité est une sorte de relation d'amour + +> [!info] Mémoire chez Augustin +> Fonctionne de la même manière que chez Platon +> |> est une mémoire pas du tout empiriste +> |> est une mémoire se rappelant des concepts +> |> voir [[1- La vérité chez Platon]] + +Explique pourquoi nous ne sommes pas tous heureux +|> cette vision de la vérité est très faible +|> ce qui est sensible est beaucoup plus importants chez nous car c'est beaucoup plus présent \ No newline at end of file -- cgit v1.2.3