eduroam-prg-og-1-30-122.net.univ-paris-diderot.fr 2026-1-21:11:24:52

.obsidian/plugins/text-snippets-obsidian/data.json

@@ -1,8 +1,8 @@
 {
-  "snippets_file": "def : > [!definition] \nddef : > [!definition] Définition $name$\\n> $end$\\n^definition\nddéf : > [!définition] Définition\\n> $end$\\n^definition\n\ndem : > [!démonstration]- Démonstration$end$\nprop : > [!proposition]+ \\n> $end$\ncor : > [!corollaire] $end$\n\nquery : > [!query]\nnote : > [!note]\nquestion : > [!question]\nimportant : > [!important]\nexemple : > [!example] Exemple$end$\\n> \ninfo : > [!info] \ntodo : > [!todo] \ndone : > [!done] \nwarning : > [!warning] \nattention : > [!attention] \ntldr : > [!tldr] \nexercice : > [!tldr] Exercice\nidea : > [!idea] \n\navantages : > [!check] Avantages\ninconvenients : > [!fail] Inconvénients\ninconvénients : > [!fail] Inconvéninents\n\npc : > [!check] Avantages\\n> $end$\\n^pros\\n\\n> [!fail] Inconvénients\\n> \\n^cons\nps : > [!error] Problèmes\\n> $ens$\\n^problems\\n\\n> [!idea] Solutions\\n> \\n^solutions\n\nfm : ---\\n$end$\\n---\nalias : ---\\nalias: [ \"$end$\" ]\\n---\n\nev : [[espace vectoriel]]\nevs : [[espace vectoriel|espaces vectoriels]]\nsev: [[sous espace vectoriel]]\nkev : $\\mathbf{K}$-[[espace vectoriel]]\nrev : $\\mathbb{R}$-[[espace vectoriel]]\nrevs : $\\mathbb{R}$-[[espace vectoriel|espaces vectoriels]]\n\nsg : [[sous-groupe]]\nem : [[espace métrique]]\nemes: [[espace mesurable]]\nemé: [[espace mesuré]]\n\nqdef : ::: {.callout-note icon=false}\\n## Définition\\n\\n$end$\\n:::\nqnote : ::: {.callout-note}\\n## $end$\\n\\n:::\nqtip : ::: {.callout-tip}\\n## $end$\\n\\n:::\n\n",
+  "snippets_file": "def : > [!definition] \nddef : > [!definition] Définition\\n> $end$\\n^definition\nddéf : > [!définition] Définition\\n> $end$\\n^definition\n\ndem : > [!démonstration]- Démonstration$end$\nprop : > [!proposition]+ \\n> $end$\ncor : > [!corollaire] $end$\n\nquery : > [!query]\nnote : > [!note]\nquestion : > [!question]\nimportant : > [!important]\nexemple : > [!example] Exemple$end$\\n> \ninfo : > [!info] \ntodo : > [!todo] \ndone : > [!done] \nwarning : > [!warning] \nattention : > [!attention] \ntldr : > [!tldr] \nexercice : > [!tldr] Exercice\nidea : > [!idea] \n\navantages : > [!check] Avantages\ninconvenients : > [!fail] Inconvénients\ninconvénients : > [!fail] Inconvéninents\n\npc : > [!check] Avantages\\n> $end$\\n^pros\\n\\n> [!fail] Inconvénients\\n> \\n^cons\nps : > [!error] Problèmes\\n> $ens$\\n^problems\\n\\n> [!idea] Solutions\\n> \\n^solutions\n\nfm : ---\\n$end$\\n---\nalias : ---\\nalias: [ \"$end$\" ]\\n---\n\nev : [[espace vectoriel]]\nevs : [[espace vectoriel|espaces vectoriels]]\nsev: [[sous espace vectoriel]]\nkev : $\\mathbf{K}$-[[espace vectoriel]]\nrev : $\\mathbb{R}$-[[espace vectoriel]]\nrevs : $\\mathbb{R}$-[[espace vectoriel|espaces vectoriels]]\n\nsg : [[sous-groupe]]\nem : [[espace métrique]]\nemes: [[espace mesurable]]\nemé: [[espace mesuré]]\n\nqdef : ::: {.callout-note icon=false}\\n## Définition\\n\\n$end$\\n:::\nqnote : ::: {.callout-note}\\n## $end$\\n\\n:::\nqtip : ::: {.callout-tip}\\n## $end$\\n\\n:::\n\n",
   "snippets": [
     "def : > [!definition] ",
-    "ddef : > [!definition] Définition $name$\\n> $end$\\n^definition",
+    "ddef : > [!definition] Définition\\n> $end$\\n^definition",
     "ddéf : > [!définition] Définition\\n> $end$\\n^definition",
     "dem : > [!démonstration]- Démonstration$end$",
     "prop : > [!proposition]+ \\n> $end$",

Alfred Tarski.md

@@ -0,0 +1,16 @@
+---
+up:
+tags:
+  - "#t/personne"
+aliases:
+link: ""
+---
+
+```breadcrumbs
+title: "Sous-notes"
+type: tree
+collapse: false
+show-attributes: [field]
+field-groups: [downs]
+depth: [0, 0]
+```

Richard Montague.md

@@ -0,0 +1,17 @@
+---
+up:
+tags:
+  - "#t/personne"
+aliases:
+link: ""
+---
+directeur-de-these:: [[Alfred Tarski]]
+
+```breadcrumbs
+title: "Sous-notes"
+type: tree
+collapse: false
+show-attributes: [field]
+field-groups: [downs]
+depth: [0, 0]
+```

syntax, semantics, discourse 2.md

@@ -6,4 +6,40 @@ tags:
 aliases:
 ---
 
- - [[compositionnality]]
+ - [[compositionnality]]
+language meaning need to satisfy a constraint much more concrete than [[compositionnality]], namely [[incrementality]] : NL input is processed word by word :
+ - A The train...
+ - B Ah-ha 
+ - A ...from Paris...
+ - B Go on
+
+ - reactions to an "abandonned utterance"
+     - encourage to continue :
+         - A John... Oh never mind
+         - B What about john ?
+         - A He's a lovely chap but a bit disconnected
+     - complete the sentence :
+         - A Bill is...
+         - B Yeah, don't say it, we know.
+     - abandoned utterance in mid-word :
+         - *context : A is in the kitchen searching for the always disappearing scissors*
+         - A Who took the sci-...
+
+
+ - scope ambiguity : when there are more than one QNP (quantified noun phrase)
+     - " every student has a supervisor
+     - " a supervisor manages every student
+ - intuitively, NPs refer to individuals or sets of individuals
+     - c yet there are problems
+     - " i saw no one
+     - " Who lost her notebook
+
+ - [[logique des predicats du premier ordre|first order logic]] to the rescue ?
+     - author:: [[Richard Montague]]
+     - translation into logic :
+         - $\text{An } N \mapsto \exists x (N'(x) \wedge \dots)$
+         - $\exists x P(x)$ iff there exists a witness $b$ such that $P(b)$ is true
+         - Every / each $\mapsto$ $\forall x$
+         - $\vdots$
+     - = A famous supervisor directs every student here.
+         - $\exists x (\operatorname{fam-\sup\limits}$