diff --git a/.obsidian/plugins/obsidian-meta-bind-plugin/data.json b/.obsidian/plugins/obsidian-meta-bind-plugin/data.json index f723c0b8..f3f9f49f 100644 --- a/.obsidian/plugins/obsidian-meta-bind-plugin/data.json +++ b/.obsidian/plugins/obsidian-meta-bind-plugin/data.json @@ -8,8 +8,6 @@ "shortName": "Mo" }, "syncInterval": 200, - "minSyncInterval": 50, - "maxSyncInterval": 1000, "enableJs": true, "viewFieldDisplayNullAsEmpty": false, "enableSyntaxHighlighting": true, @@ -65,9 +63,36 @@ "value": "null" } ] + }, + { + "label": "inKantation", + "icon": "", + "style": "primary", + "class": "", + "cssStyle": "", + "backgroundImage": "", + "tooltip": "Incrémenter le Kanteur", + "id": "inkantation", + "hidden": false, + "actions": [ + { + "type": "updateMetadata", + "bindTarget": "kanteur", + "evaluate": true, + "value": "parseInt(x) + 1" + }, + { + "type": "updateMetadata", + "bindTarget": "date_last_inkantation", + "evaluate": true, + "value": "moment(Date.now()).format('YYYY/MM/DD')" + } + ] } ], "excludedFolders": [ "templates" - ] + ], + "minSyncInterval": 50, + "maxSyncInterval": 1000 } \ No newline at end of file diff --git a/Bertrand Russel.md b/Bertrand Russel.md index bc16cc43..c895e22b 100644 --- a/Bertrand Russel.md +++ b/Bertrand Russel.md @@ -15,3 +15,4 @@ field-groups: [downs] depth: [0, 0] ``` + diff --git a/Brice Halimi.md b/Brice Halimi.md new file mode 100644 index 00000000..1db944c6 --- /dev/null +++ b/Brice Halimi.md @@ -0,0 +1,7 @@ +--- +up: +tags: +aliases: +Kanteur: "2" +--- + diff --git a/M1 LOGOS . philosophie des mathématiques.md b/M1 LOGOS . philosophie des mathématiques.md index a7b9eeab..b2f0e723 100644 --- a/M1 LOGOS . philosophie des mathématiques.md +++ b/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]] diff --git a/généralité absolue.md b/généralité absolue.md new file mode 100644 index 00000000..a5bf2a96 --- /dev/null +++ b/généralité absolue.md @@ -0,0 +1,23 @@ +--- +up: +tags: + - s/philosphie +aliases: +--- + +> [!definition] Généralité absolue (absolute generality) +> Propriété d'un discours qui prétend porter sur toutes choses en général. +^definition + + +# 3 obstacles à la possibilité de la généralité absolue +Certains auteurs la font revenir malgré ces problèmes + +## Obstacle logico-métaphysique +L'être n'est pas un genre ([[Aristote]]) + +## Obstacle logico-transcendental +Les catégories (concepts fondamentaux de l'entendement) Kant + +## Obstacle logico-mathématique +[[paradoxe de Russel]]