home.social

#propositions — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #propositions, aggregated by home.social.

  1. Des élus de l’opposition font douze propositions pour lutter contre le narcotrafic à Nantes

    Nous avons besoin de vos cookies pour vous offrir la meilleure expérience de lecture possible et vous proposer…
    #Nantes #FR #France #Actu #News #Europe #EU #actu #Actualités #élus #europe #font #lutter #narcotrafic #opposition #paysdelaloire #propositions #Républiquefrançaise #Roche #yon
    europesays.com/fr/1028248/

  2. Des élus de l’opposition font douze propositions pour lutter contre le narcotrafic à Nantes

    Nous avons besoin de vos cookies pour vous offrir la meilleure expérience de lecture possible et vous proposer…
    #Nantes #FR #France #Actu #News #Europe #EU #actu #Actualités #élus #europe #font #lutter #narcotrafic #opposition #paysdelaloire #propositions #Républiquefrançaise #Roche #yon
    europesays.com/fr/1028133/

  3. Notre stage syndical du jour posait la #question : "Peut-on augmenter le #salaire des #fonctionnaires ?"

    Merci à nos deux intervenant-e-s qui ont montré que :
    - c'est #possible ;
    - c'est #urgent ;
    - #Macron a aggravé le décrochage salarial dans l'EN ;
    - le @SNESFSU a des #propositions concrètes et sérieuses !

  4. #CfP 🔊 Le #colloqueinternational «Protéger les civil·es de la guerre aérienne» (univ. Caen-Normandie)
    Soumettez vos #propositions avant le 31/07/2026 ! ⬇️

    📍10.05.-11.05.27 | Mémorial de Caen et la MRSH de l'université Caen-Normandie

    calenda.org/1383614

  5. #CfP 🔊 Le #colloqueinternational «Protéger les civil·es de la guerre aérienne» (univ. Caen-Normandie)
    Soumettez vos #propositions avant le 31/07/2026 ! ⬇️

    📍10.05.-11.05.27 | Mémorial de Caen et la MRSH de l'université Caen-Normandie

    calenda.org/1383614

  6. First volume of the #Propositions series, "How to Get Rid of Yourself" was published in 2020 with #PressesUniversitairesdeFrance. Glad that it was then translated into Italian and Slovenian.

  7. Forum alternance, une centaine de propositions de contrats, jeudi 19 mars, à Nantes

    Contenu réservé aux abonnés Vendredi 13 mars 2026 06:38 … 1 Un forum se tiendra, jeudi 19 mars, pour…
    #Nantes #FR #France #Actu #News #Europe #EU #19 #actu #Actualités #Alternance #centaine #contrats #europe #forum #jeudi #Mars #paysdelaloire #propositions #Républiquefrançaise
    europesays.com/fr/795615/

  8. Municipales à Nantes. « Renforcer les pratiques démocratiques locales » : les propositions du

    Lancé en 2019 par la CFDT et une vingtaine d’organisations issues du monde associatif, syndical ou mutualiste pour…
    #Nantes #FR #France #Actu #News #Europe #EU #actu #Actualités #démocratiques #europe #locales #municipales #pacte #paysdelaloire #pouvoir #pratiques #propositions #renforcer #Républiquefrançaise #vivre
    europesays.com/fr/768550/

  9. Municipales à Nantes. « Renforcer les pratiques démocratiques locales » : les propositions du

    Lancé en 2019 par la CFDT et une vingtaine d’organisations issues du monde associatif, syndical ou mutualiste pour…
    #Nantes #FR #France #Actu #News #Europe #EU #actu #Actualités #démocratiques #europe #locales #municipales #pacte #paysdelaloire #pouvoir #pratiques #propositions #renforcer #Républiquefrançaise #vivre
    europesays.com/fr/768313/

  10. In my propositions list for 2026 there's a specific voice for leaving more reviews (well, more than 0) in Questlog.

    I could probably re-use the message I usually write on Mastodon when I finish a game.

    I'm a self centered gamer, I play and I don't give back anything to the community.

    #Questlog #Propositions #2026

  11. In my propositions list for 2026 there's a specific voice for leaving more reviews (well, more than 0) in Questlog.

    I could probably re-use the message I usually write on Mastodon when I finish a game.

    I'm a self centered gamer, I play and I don't give back anything to the community.

    #Questlog #Propositions #2026

  12. California November 2025 - Proposition 50 #politics #california #propositions #election #capol #resist California November 2025 - Proposition 50

    ithoughthecamewithyou.com/post

  13. San Francisco November 2024 Ballot Measures #politics #sanfrancisco #propositions #election #ai #gpts #chatgpt #openai #sfpol #video ITHCWY voter guide to the 15 propositions in the San Francisco November 2024 election. Custom GPT included.

    fed.brid.gy/r/https://ithought

  14. California November 2024 Propositions #politics #california #propositions #election #ai #gpts #chatgpt #openai #capol #video ITHCWY voter guide to the 10 propositions in the California November 2024 election. Custom GPT included.

    fed.brid.gy/r/https://ithought

  15. Hora Est! Now waiting for the committee to finish their deliberations.

    Was pleased with how many questions were related to the propositions! The candidate was questioned on propositions 6, 7, 8 and 10.

    #PhDLife #AcademicMastodon #AcademicChatter #AcademicLife #AGI #AI #LLM #Defense #Defence #Dissertation #Thesis #Propositions #PhDDefence #PhDDefense #TUDelft

  16. Hora Est! Now waiting for the committee to finish their deliberations.

    Was pleased with how many questions were related to the propositions! The candidate was questioned on propositions 6, 7, 8 and 10.

    #PhDLife #AcademicMastodon #AcademicChatter #AcademicLife #AGI #AI #LLM #Defense #Defence #Dissertation #Thesis #Propositions #PhDDefence #PhDDefense #TUDelft

  17. I just spent 3 hours (while babysitting my grandson) going over all the #ballot #propositions for #Arizona and I must say that the legislature of this state is trying to take away a lot of power from the ppl, and by extent muddying the waters with so many propositions.
    I encourage everyone to read what you’re voting on before you vote, so that you can be as knowledgeable as possible.
    Don’t give away your rights.
    storageccec.blob.core.usgovclo

    Please share so people can read the ballot before they vote

  18. A passive philosopher discusses the works of another critically. An active philosopher produces #original thinking (a) in the form of isolated sets of propositions on a given problem or, now rare, (b) as a #system, a consistent set of sets of #propositions. #Philosophy #culture #academia

  19. La CGT propose aux salarié·es de s’organiser dans tous les lieux de travail :

    #Propositions :

    • Indexations des salaires sur les prix ;
    • Rétablissement des CHSCT ;
    • Retour à la retraite à 60 ans ;
    • Moyens pour l’hôpital public et les réseaux de soins ;
    • Renforcement de tous les services publics :
    • Lancement de grands travaux environnementaux (énergie, transports, logement, de l’eau…) ;
    • Mesures de justice fiscale (taxe sur les grandes fortunes, les profits, les rachats d’actions, progressivité de l’impôt…).

    cgt.fr/contre-extreme-droite

    #frontPopulaire #élections #programme

  20. La CGT propose aux salarié·es de s’organiser dans tous les lieux de travail :

    #Propositions :

    • Indexations des salaires sur les prix ;
    • Rétablissement des CHSCT ;
    • Retour à la retraite à 60 ans ;
    • Moyens pour l’hôpital public et les réseaux de soins ;
    • Renforcement de tous les services publics :
    • Lancement de grands travaux environnementaux (énergie, transports, logement, de l’eau…) ;
    • Mesures de justice fiscale (taxe sur les grandes fortunes, les profits, les rachats d’actions, progressivité de l’impôt…).

    cgt.fr/contre-extreme-droite

    #frontPopulaire #élections #programme

  21. Functional Logic • Inquiry and Analogy • 5

    Inquiry and AnalogyAristotle’s “Paradigm” • Reasoning by Analogy

    Aristotle examines the subject of analogical inference or “reasoning by example” under the heading of the Greek word παραδειγμα, from which comes the English word paradigm.  In its original sense the word suggests a kind of “side‑show”, or a parallel comparison of cases.

    We have an Example (παραδειγμα, or analogy) when the major extreme is shown to be applicable to the middle term by means of a term similar to the third.  It must be known both that the middle applies to the third term and that the first applies to the term similar to the third.

    E.g., let A be “bad”, B “to make war on neighbors”, C “Athens against Thebes”, and D “Thebes against Phocis”.  Then if we require to prove that war against Thebes is bad, we must be satisfied that war against neighbors is bad.  Evidence of this can be drawn from similar examples, e.g., that war by Thebes against Phocis is bad.  Then since war against neighbors is bad, and war against Thebes is against neighbors, it is evident that war against Thebes is bad.

    Aristotle, “Prior Analytics” 2.24, Hugh Tredennick (trans.)

    Figure 6 shows the logical relationships involved in Aristotle’s example of analogy.


    Resources

    cc: FB | Peirce MattersLaws of FormMathstodonOntologAcademia.edu
    cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

    #Abduction #Analogy #Argument #Aristotle #CSPeirce #Constraint #Deduction #Determination #DiagrammaticReasoning #Diagrams #DifferentialLogic #FunctionalLogic #Hypothesis #Indication #Induction #Inference #Information #Inquiry #Logic #LogicOfScience #Mathematics #PragmaticSemioticInformation #ProbableReasoning #PropositionalCalculus #Propositions #Reasoning #Retroduction #Semiotics #SignRelations #Syllogism #TriadicRelations #Visualization

  22. #Propositions As #Types • 1
    inquiryintoinquiry.com/2013/01

    One of my favorite mathematical tricks — it almost seems too tricky to be true — is the #PropositionsAsTypesAnalogy. And I see hints the 2-part analogy can be extended to a 3-part analogy, as follows.

    \(\text{proof hint : proof : proposition :: untyped term : typed term : type}\)

    See my notes on #PropositionsAsTypes for more.
    oeis.org/wiki/Propositions_As_

    #Logic #Combinators #ProofTheory #TypeTheory
    #CurryHowardIsomorphism #LambdaCalculus

  23. #Propositions As #Types • 1
    inquiryintoinquiry.com/2013/01

    One of my favorite mathematical tricks — it almost seems too tricky to be true — is the #PropositionsAsTypesAnalogy. And I see hints the 2-part analogy can be extended to a 3-part analogy, as follows.

    \(\text{proof hint : proof : proposition :: untyped term : typed term : type}\)

    See my notes on #PropositionsAsTypes for more.
    oeis.org/wiki/Propositions_As_

    #Logic #Combinators #ProofTheory #TypeTheory
    #CurryHowardIsomorphism #LambdaCalculus

  24. Cher réseau,

    J'ai le plaisir de vous annoncer l'organisation d'un #seminaire doctoral au LCF, en partenariat avec le #laboratoire OIES de qui se tiendra le 15 février 2023. Il s’intitule : les formes d’écriture en #sciences #humaines et #sociales ( #SHS ).

    Les #propositions sont attendues avant le 1er fevrier. Vous trouverez et toutes les informations utiles en pièce jointe.

    En espérant pouvoir compter sur votre présence et/ou participation (format hybride).

  25. 1️⃣ #Hypotheses
    Hypotheses are #empirically testable #propositions in #theories. Empirically testable means that we can decide whether the proposition is true or false based on #observations. Thus, a hypothesis is an #assumption or conjecture about a relationship.

    2️⃣ Types
    #Difference hypotheses:
    - Children eat more ice cream scoops than adults.
    #Correlation hypotheses:
    - The warmer it is, the more ice cream is sold.
    - When it is warmer outside, more people eat ice cream.