Extensions Inkscape, brodeuse et palettes

• # Il vous reste xx avis

  Posté par Benoît Sibaud (site web personnel) le 02 février 2019 à 23:36. Évalué à 10.

  

  Sinon, je ne sais toujours pas ce que signifie "Il vous reste xx avis".

  Le nombre de fois que l'on peut noter pertinent/inutile des contenus ou commentaires, sur une journée, calculé suivant le karma. Cf https://linuxfr.org/aide#aide-karma

  • [^] # Re: Il vous reste xx avis

    Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 03 février 2019 à 15:43. Évalué à 9. Dernière modification le 03 février 2019 à 15:43.

    

    Ah merci, j'ai bien dû lire cette page plus d'une fois sans trouver l'explication.
    Sinon j'aurais tendance à suggérer de multiplier le nombre de base par la constante d'Avogadro, de diviser ça par Pi et d'ajouter 2,54. Ça ne serait pas beaucoup plus compliqué, mais ça ferait plus classe.

    « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

    • [^] # Re: Il vous reste xx avis

      Posté par Nodeus le 26 février 2019 à 12:05. Évalué à 0.

      

      Avec un pouce d'humour c'est toujours meilleur :D

• # Définir les mots

  Posté par Pierre Jarillon (site web personnel) le 03 février 2019 à 01:31. Évalué à 8.

  

  Le mot « instructable » revient souvent. Ce qui me chagrine, c'est que ce mot n'ait pas de définition dans les dictionnaires.
  Fabriquer des néologismes est cependant nécessaire pour suivre l'évolution des technologies, mais il faut les définir avant de s'en servir dans le texte qui les emploie.

  Un exemple plutôt ardu est celui des écrits de Teillard de Chardin. Il arrive à donner un sens à des mots et à des phrases qui prises isolément n'auraient que peu d'intérêt.
  Pour rester simple, je vous recommande de voir Les quatre sens des mots. C'est beaucoup plus facile et vite lu…

  Je voudrais remercier chaleureusement Ysabeau pour ses articles très originaux qui piquent notre curiosité.

  • [^] # Commentaire supprimé

    Posté par Anonyme le 03 février 2019 à 04:41. Évalué à 2.

    

    Ce commentaire a été supprimé par l’équipe de modération.

  • [^] # Re: Définir les mots

    Posté par lejocelyn (site web personnel) le 03 février 2019 à 13:22. Évalué à 3.

    

    Il suffit de suivre le lien pour du site éponyme pour comprendre le terme. Et si on considère la phrase initiale :
    Au départ de cette série de trois tutoriels, un « instructable » du site du même nom : Inkscape to Embroidery Machine, dont l’objet porte sur l’utilisation de l’extension Inkstitch de mon logiciel de dessin vectoriel préféré.

    De nombreux indices sont données pour comprendre le sens sans passer par une définition. L'utilisation de guillemets nous suggère qu'il s'agit d'un nom particulier, qu'il est normal de ne pas le connaitre. Le fait que le nom corresponde à un nom de site web laisse supposer que ce sont les auteurs du site qui sont à l'origine de ce nom. Leur site doit donc permettre de comprendre à quelle pratique se réfère ce nouveau mot. Et effectivement, la consultation du site permet rapidement de comprendre que les instructables sont un type particulier de tutoriels pour fabriquer des choses.

    Les dictionnaires ne sont censés refléter que l'usage. Si on commence à limiter l'usage aux dictionnaires, nous arrivons à une bouche qui empêchent tout néologisme. Perso, je suis contre.

    Sinon, la définition n'est qu'une façon, qui généralement ne marche pas très bien mais, lorsqu'on a un contexte, nous aide à comprendre l'objet donc il est question, de partager la signification d'un mot. Renvoyer à l'objet en question me semble aussi intéressant, surtout avec de nombreux autres indices sémantiques. C'est d'ailleurs souvent à partir de ces indices qu'on, les lexicographes, élaborent des définitions… En tous cas, il n'y a pas qu'une manière de faire, ni quatre comme le suggère le texte "Les quatre sens des mots", qui est rempli de préjugés faciles d'ailleurs, dont voici quelques morceaux tristes choisis :

    "La troisième approche est celle des littéraires. Ils se contentent de décrire tous les sens que l'on peut donner aux mots." => on sent un mépris des "littéraires" couplés à une méconnaissance totale de travaux litéraires,

    "Chacun sait aujourd'hui que l'approche scientifique est la seule qui conduise à un progrès." => arg… chais pas trop ce qu'est le progrès déjà, il va falloir commencer par définir ce terme.

    La conclusion ne reflète pas les idées développées au cours du texte :
    "Je voudrais seulement dire que toutes les façons d'aborder le sens des mots sont bonnes.", ni le commentaire que je critique…

    • [^] # Re: Définir les mots

      Posté par lejocelyn (site web personnel) le 03 février 2019 à 16:23. Évalué à 2.

      

      Désolé, j'ai écrit sans mes lunettes, que je ne retrouve plus. Même la syntaxe n'est pas très claire à cause des reformulations :/

  • [^] # Re: Définir les mots

    Posté par ZeroHeure (site web personnel) le 03 février 2019 à 14:51. Évalué à 9.

    

    Franchement Pierre, tes exemples pour la philo et la littérature montrent que tu connais mal ces sujets.

    Les grands philosophes ont voulu se doter d'un vocabulaire particulier comme dans toutes les sciences. C'est ainsi que le transcendental chez Emmanuel Kant (pour reprendre ton exemple) a un sens défini. Que ce vocabulaire n'ait pas été adopté par les autres philosophes prouve seulement que cette discipline est toujours en recherche d'elle-même. Pour continuer sur Kant, ses écrits sur le droit et sa philosophie critique (Critique de la Raison Pure, Critique de la raison pratique, Critique de la faculté de juger) cherchent les bases solides qui permetront de fonder "scientifiquement" (le mot est un anachronisme), des domaines séparés : le juridique, la morale, la connaissance du monde (elle-même subdivisée), le fonctionnement de l'esprit, etc.
    Tandis que tu colportes un lieu commun très ancien, l'histoire des sciences montre que la plupart des domaines scientifiques ont fait partie de la philosophie. C'est en se séparant de la philosophie qu'ils fixent définitivement leurs vocabulaires et pratiques. Dernier en date, je crois, la sociologie, fondée par des philosophes qui ont su circonscrire ses mots et son domaine.

    La structure des devoirs de philo de Terminale en France permet à l'élève de raisonner tout en recrachant du cours. Tout comme les problèmes de Math, de Bio, de Physique-Chimie, … Le jeu sur les mots est intentionel, pour que l'élève commence par définir. Mais ce n'est qu'un support.

    Quant à la littérature, c'est comme parler d'informatique : la stylistique, la grammaire, la philologie, l'histoire littéraire, etc. sont autant de pratiques différentes qui ne se recoupent pas. L'étude des mots ou du langage est un petit champ de la littérature.

    "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

    • [^] # Re: Définir les mots

      Posté par kantien le 03 février 2019 à 23:49. Évalué à 5.

      

      Pour continuer sur Kant, ses écrits sur le droit et sa philosophie critique (Critique de la Raison Pure, Critique de la raison pratique, Critique de la faculté de juger) cherchent les bases solides qui permetront de fonder "scientifiquement" (le mot est un anachronisme), des domaines séparés : le juridique, la morale, la connaissance du monde (elle-même subdivisée), le fonctionnement de l'esprit, etc.

      Pourquoi le qualificatif « scientifiquement » serait anachronique ? C'était bel et bien son intention et, de mon point de vue, il a atteint son objectif. :-)

      Ces prolégomènes ne sont pas à l’usage des élèves ; ils s’adressent aux maîtres futurs, auxquels même ils doivent servir, non pas pour l’exposition méthodique d’une science toute faite, mais uniquement pour l’invention de cette science.

      Il y a des savants pour lesquels l’histoire de la philosophie (tant ancienne que moderne) est la philosophie même. Ces prolégomènes ne sont pas à leur adresse ; ceux-là doivent attendre que ceux qui s’efforcent de puiser aux sources de la raison même aient fait leur œuvre ; alors leur tour sera venu de dire au monde ce qui s’est fait. Rien au contraire, suivant eux, ne peut être dit qui ne soit une répétition ; c’est même là de leur part une prédiction immanquable pour tout ce qui peut désormais s’écrire en philosophie. L’entendement humain ayant extravagué de toute façon sur une infinité de sujets depuis tant de siècles, il doit arriver difficilement que le nouveau ne ressemble pas en quelque point à l’ancien.

      Je me propose de persuader à tous ceux qui s’occupent sérieusement de métaphysique, qu’il est absolument nécessaire de suspendre leur travail, de considérer tout ce qui s’est fait jusqu’ici comme non avenu, et de se poser avant tout la question de savoir « si quelque chose de pareil à ce qu’on appelle la métaphysique est seulement possible absolument. »

      Si c’est une science, d’où vient qu’elle ne peut, comme les autres sciences, obtenir un assentiment universel et durable ? Si ce n’en est pas une, comment se fait-il qu’elle en affecte toujours l’apparence, et qu’elle nourrit l’esprit humain d’un espoir incessant et jamais satisfait ? Qu’on démontre que la métaphysique est ou n’est pas une science, il est en tout cas nécessaire d’établir quelque chose de certain sur cette prétendue science ; il est impossible de rester plus longtemps dans une pareille situation à cet égard. Il est presque ridicule en effet, quand toute autre science marche d’un pas incessant, de tourner toujours à la même place dans la métaphysique qui veut néanmoins être la sagesse même, que chacun consulte comme un oracle, et de ne pas faire le moindre progrès. Déjà le nombre de ses partisans diminue, et l’on ne voit pas que ceux qui se sentent assez forts pour briller dans les autres sciences soient tentés de compromettre leur réputation dans celle-ci, où chacun, fût-il ignorant dans tout le reste, prétend juger d’une manière décisive, parce qu’en réalité il n’y a dans ces régions ni poids ni mesures propres à faire distinguer la fondamentalité d’un stérile verbiage.

      Kant, Prolégomènes à toute métaphysique (qui pourra se présenter comme science)

      Je n'ai pas le temps de développer les résultats de la philosophie critique, ce serait bien trop long, mais il est certain qu'on ne peut lui reprocher de ne point avoir été scrupuleux et rigoureux dans la délimitation de la sémantique de sa terminologie; à tel point que Mme de Staël lui reprochait de prendre les mots pour des nombres. Pour reprendre l'exemple discuté, est qualifié de transcendantal tout ce qui a trait à la possibilité de la connaissance pure et a priori comme, par exemple, l'esthétique transcendantale qui, avec les formes pures et a priori de la sensibilité que sont l'espace et le temps¹, rend possible la mathématique pure. Ça c'est pour les sens.

      Maintenant, si on regarde du côté de la pensée et des concepts, les lois de la logique générale deviennent les principes d'une logique transcendantale lorsqu'il s'agit de déterminer les pures lois formelles de la connaissance des objets. Ce dernier point est fondamentalement analogue à l'usage de la logique formelle dans la théorie des types pour les langages de programmation. Par exemple, le raisonnement dit du double modus ponens (si A alors B et si B alors C donc si A alors C) est le type de la composition de fonction dans les langages fonctionnels (comme Haskell ou OCaml). Son pendant, dans les langages impératifs, est la règle de composition dans la logique de Hoare :

        {P} S {Q} , {Q} T {R}
        ---------------------
           {P} S ; T {R}
      

      La règle a deux prémisses : la première dit que l'instruction S fait passer de l'état P à l'état Q et la deuxième que l'instruction T fait passer de l'état Q à l'état R, puis la règle conclue que dans ces conditions la séquence des instructions S ; T fait passer de l'état P à l'état R.

      Ici on parle des états d'une machine réelle et physique, or qui dit changement d'état dit cause agissante (principe de base de la physique). Que le principe de causalité est, pour fondement, la forme logique des jugements dits hypothétiques (si A alors B) et pour loi un analogue du modus ponens (si A alors B, or A, donc B), c'est justement ce que Kant affirmait dans la logique transcendantale de la Critique de la raison Pure (voir la table des catégories, on voit bien dans les deux tables la démarche identique à celle de la correspondance de Curry-Howard). C'est d'ailleurs parce qu'il voulait réfuter la conception de la causalité de David Hume qu'il a fait cette découverte.

      Après, là où ça devient marrant, c'est que ces principes mènent à des problèmes dialectiques en apparence insolubles où thèse et antithèse s'affrontent sans fin : la métaphysique étant le champ de ces querelles qui n'ont jamais de fin. Dans le cas de la causalité, se pose la question d'une cause inconditionnée qui ne présuppose plus une autre cause qui la précéderait et dont elle serait l'effet; autrement dit, peut-on admettre une causalité par liberté dans l'ordre de la nature ? Soit : l'homme est-il libre ? Cette antinomie dialectique est plus connue sous sa forme populaire : qui de l'œuf et de la poule est venu en premier ? Et la réponse kantienne est : ni l'un ni l'autre, mais l'homme est libre! :-P

      ---

      1. on notera que ces deux notions, espace et temps, sont centrales dans la théorie de la complexité algorithmique. ;-) ↩

      Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

      • [^] # Re: Définir les mots

        Posté par ZeroHeure (site web personnel) le 04 février 2019 à 00:00. Évalué à 3. Dernière modification le 04 février 2019 à 00:07.

        

        Pourquoi le qualificatif « scientifiquement » serait anachronique ? C'était bel et bien son intention et, de mon point de vue, il a atteint son objectif. :-)

        Oui mais pas avec la totalité du sens contemporain. Tout à fait d'accord sinon.

        Je souscrit à tout ton commentaire, c'est bien vu et très très très pertinent (je ne suis qu'un petit kantien ;-).

        Au fait, tu tombes bien je voulais justement te proposer une petite relecture : j'ai fait le travail d'édition du Projet de paix perpétuelle sur Wikisource. J'ai très très soigneusement et longuement relu, mais il manque une lecture par un tiers pour validation. Ça te dirait ?

        "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

        • [^] # Re: Définir les mots

          Posté par kantien le 04 février 2019 à 16:47. Évalué à 2.

          

          Oui mais pas avec la totalité du sens contemporain.

          Toujours pas convaincu. En quoi la signification du mot science aurait évolué et ne serait pas adéquat pour qualifier la philosophie critique ? Ce n'est certes pas une science expérimentale, mais une science pure au même titre que la mathématique pure et la logique formelle. Toutes les sciences ne sont pas fondées sur l'expérience et l'observation et, d'ailleurs, celles-ci ne seraient même pas possibles sans les autres (non empiriques ou pures) pour leur servir de fondement stable. Un principe et une loi issue de l'expérience ne signifie rien d'autre que ceci : « pour autant que nous l'ayons perçu jusqu'ici, il ne se trouve pas d'exception à telle ou telle règle; mais rien ne garantie qu'une expérience future vienne la remettre en cause ». Que vaudrait le savoir humain s'il n'était assuré que par de tels principes ? Réponse : rien! Vouloir fonder la totalité du savoir humain sur la seule expérience est une entreprise ridicule, voire inepte. La mathématique pure et la logique formelle ne sont pas suffisantes comme fondement a priori. Reste donc la nécessité d'une autre science formelle et a priori pour fonder le savoir humain selon les principes du rationalisme : en quoi la solution kantienne n'est pas satisfaisante ? Pourquoi donc ce que Xavier Leroy a enseigné cette année au Collège de France serait de la science (en l'occurence de l'informatique théorique), mais pas ce que Kant a professé il y a plus de 200 ans ?

          Je souscrit à tout ton commentaire, c'est bien vu et très très très pertinent (je ne suis qu'un petit kantien ;-).

          Merci, j'ai essayé de présenter certaines caractéristiques de la démarche kantienne en philosophie sous un jour qui serait le plus accessible possible pour un lectorat majoritairement constitué de personnes avec de fortes connaissances en programmation.

          Ça te dirait ?

          Pourquoi pas, d'autant que c'est un magnifique texte de philosophie politique. Je verrais dans la soirée pour commencer la relecture. N'ayant jamais contribué à wikisource : y a-t-il un médium de communication interne pour échanger entre nous sur le site pour les questions d'ordre technico-pratique que je ne manquerais pas d'avoir ?

          Au passage, une parfaite illustration de la rigueur, issue de ce texte, dans la détermination d'un concept :

          On ne peut définir la liberté juridique (par conséquent extérieure), comme on le fait ordinairement, « la faculté de faire tout ce que l’on veut, pourvu qu’on ne fasse de tort à personne. » Car que signifie ici le mot faculté ? la possibilité d’une action, en tant qu’on ne fait par là de tort à personne. La définition de cette faculté reviendrait donc à ceci · «la liberté est la possibilité des actions par lesquelles on ne fait de tort à personne. On ne fait de tort à personne (quoi que l’on fasse d’ailleurs), quand on ne fait de tort à personne ; » ce qui est une véritable tautologie — Il faut bien plutôt définir la liberté extérieure (juridique), la faculté de n'obéir à d’autres lois extérieures qu’à celles auxquelles j'ai pu donner mon assentiment. — De même l’égalité extérieure (juridique] dans un État est ce rapport des citoyens d’après lequel nul ne peut juridiquement obliger un autre à quelque chose, sans se soumettre en même temps à la loi, de pouvoir être obligé à son tour par celui-ci de la même manière. (Le principe de la soumission juridique étant déjà compris dans l’idée d’une constitution politique en général, n’a pas besoin de définition).

          note 5

          Plutôt que les philosophes (ou du moins certains d'entre eux), j'aurais tendance à penser que c'est le commun des mortels qui ne sait pas définir convenablement les concepts qu'il utilise.

          Et l'on retrouve, plus loin, un nouvel usage de correspondance avec la logique formelle pour justifier la séparation des pouvoirs :

          Toute forme de gouvernement, qui n'est pas représentative, n'en est pas proprement une, car le législateur ne peut être en une seule et même personne l’exécuteur de sa volonté (de même que dans un syllogisme l’universel de la majeure ne peut être en même temps dans la mineure la subsomption du particulier sous l’universel)

          Il fait ici référence à la forme logique du syllogisme que l'on retrouve dans ce raisonnement usuel :

          • tous les hommes sont mortels (majeur - question de droit - pouvoir législatif)
          • Socrate est un homme (mineur - question de fait - pouvoir exécutif)
          • donc Socrate est mortel (conclusion - sentence - pouvoir judiciaire)

          On retrouve cette analogie dans sa Doctrine du droit lorsqu'il justifie la forme nécessairement tripartite de l'État :

          Tout État renferme en soi trois pouvoirs, c'est-à-dire que l'unité de la volonté générale s'y décompose en trois personnes (trias politica) : le souverain pou­voir (la souveraineté), qui réside dans la personne du législateur; le pouvoir exécutif, dans la personne qui gouverne (conformément à la loi); et le pouvoir judi­ciaire (qui attribue à chacun le sien suivant la loi), dans la personne du juge (potestas legislatoria, rectoria et judiciaria). Ce sont comme les trois propositions d'un syl­logisme pratique : la majeure, qui contient la loi d'une volonté ; la mineure, l'ordre de se conduire d'après la loi, c'est-à-dire le principe de la subsomption des ac­tions sous cette loi; enfin la conclusion (la sentence), qui décide ce qui est de droit dans le cas dont il s'agit.

          Cette structure tripartite se retrouve également dans son œuvre avec les trois critiques qui déterminent les domaines de compétences de chacune de nos facultés : l'entendement et la connaissance de ce qui est (Critique de la Raison Pure); la raison et la connaissance de ce qui doit ếtre (Critique de la Raison Pratique), puis la faculté de juger (réfléchissante) et les jugements sur le beau, le sublime et la finalité dans la nature (Critique de la faculté de juger qui opère le pont et confère l'unité entre raison théorique et raison pratique). Au fond, dans cette structure tripartite de l'État, nous ne faisons que projeter extérieurement la propre structure formelle de notre esprit.

          Questions subsidiaires aux empiristes (qu'il moque quelque peu dans son avant propos) : si tous nos principes provenaient de l'expérience, comment se fait il que l'on ne peut concevoir autrement un État que de manière tripartite ? D'où vient la nécessité dans cette division en trois pouvoirs, nécessité que l'expérience ne peut jamais enseigner ? Là où la méthode rationaliste n'a aucune difficulté à résoudre la question, comme je viens de l'illustrer… ;-)

          Le vocabulaire kantien est, d'ailleurs, grandement emprunté au vocabulaire juridique. De même que la liberté est la soumission à la loi que l'on se donne soi même (autonomie, au sens propre du terme), la Critique de la Raison Pure est le tribunal institué par la raison où elle comparait face aux lois qu'elle se donne elle même : le fondement de la constitution de la république scientifique. ;-)

          Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

          • [^] # Re: Définir les mots

            Posté par ZeroHeure (site web personnel) le 04 février 2019 à 18:24. Évalué à 4.

            

            Science oui, scientifique non. Je me base sur mes souvenirs d'épistémo et mon environnement familial : fils, petit-fils, neveu et arrière arrière arrière petit-fils de chercheurs et mathématiciens, sans parler des amis, j'ai grandi dans un environnement de chercheurs pour qui « scientifique » est une démarche plus une confrontation avec ses pairs, sens qui est tout de même assez récent : 19e siècle, je crois que c'est dans Kuhn. Cela dit je n'en fais pas un argument d'autorité, c'est ancien, j'accepte de me tromper !

            c'est un magnifique texte de philosophie politique

            Je l'aime beaucoup aussi ! particulièrement la conclusion, magnifique de synthèse et de prédiction (Que les rois deviennent philosophes…)!

            Pour correspondre, il suffira de cliquer sur mon pseudo (le même) dans l'historique, qui t'emmènera sur ma page et de là tu cliques sur discussion.
            Pour relire dans Wikisource, une fois dans le Projet de paix perpétuelle il faut choisir l'onglet source, puis dans l'arc-en-ciel des pages clique sur la page 289, de là tu verras le texte corrigé avec un scan — c'est ce qu'il faut contrôler page à page (il y a des flèches « précédent-suivant » en haut à gauche). Quand une page est bonne tu cliques sur l'onglet Modifier puis sur le bouton Valider et enfin sur Publier les modifications.

            "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

            • [^] # Re: Définir les mots

              Posté par kantien le 05 février 2019 à 00:22. Évalué à 2.

              

              « scientifique » est une démarche plus une confrontation avec ses pairs, sens qui est tout de même assez récent : 19e siècle, je crois que c'est dans Kuhn.

              Je vois ce que tu veux dire, mais publier un traité pour fonder une science nouvelle (telle était sa prétention), n'est-ce pas se confronter à ses pairs ? Pour quelle raison penses-tu qu'une personne publie un traité, si ce n'est pour rendre public sa pensée et la confronter à ses pairs ? Et les prolégomènes, publiés trois ans après la CRP, c'est pour quelle raison ? À son époque, la métaphysique était bien enseignée comme une science à l'université. Il occupait même la chaire de Logique et métaphysique à l'université de Königsberg. Ce qu'il a fait, avec la CRP, c'est globalement dire à ses pairs : « tout ce qu'on le prenait jusqu'ici pour de la science n'est que du vent, l'édifice de notre soit disant science n'est qu'un tas de ruine, voici le plan qu'il faudrait mettre en pratique pour le reconstruire et faire enfin de la métaphysique une science. Qu'en pensez-vous ? ». Et tu n'appelles pas cela se confronter à ses pairs ? Raison pour laquelle il a, en autre, qualifié sa démarche de « révolution copernicienne » tout comme Copernic a remis en cause le modèle géocentrique admis à son époque.

              De plus, c'est bien une volonté de réfutation du kantisme (comment peut-on vouloir réfuter quelqu'un qui ne se confronte pas) de la part de Frege qui a aboutit à l'avènement de l'informatique.

              Au XXème siècle, la notion de calcul s'est développée en relation avec celle du raisonnement. Avant d'aborder l'histoire du calcul, faisons une courte digression pour nous intéresser à celle du raisonnement. Nous avons laissé cette histoire aux logiques d'Aristote et des stoïciens, qui n'était suffisantes, ni l'une ni l'autre, pour exprimer les raisonnements mathématiques, car la grammaire des propositions dans ces deux logiques étaient trop fruste. Ce problème de trouver une grammaire pour les propositions mathématiques n'a pas avancé jusqu'à la fin du XIXème siècle, malgré quelques tentatives courageuses, comme celle de Leibniz. Le principal artisan de ce renouveau est Gottlob Frege, dont les motivations étaient surtout philosophiques : il s'agissait pour lui d'éclairer, et de contredire, un point de la philosophie d'Emmanuel Kant.

              Gilles Dowek, Les métamorphoses du calcul.

              Ce que voulait contredire Frege était l'affirmation kantienne selon laquelle tout les jugements mathématiques étaient synthétiques a priori. C'est ce qui engendra la formalisation de la théorie des ensembles de Cantor-Frege, les paradoxes de Burali-Forti et Russell, la crise des fondements de mathématiques, le programme de Hilbert puis, in fine, les théorèmes d'incomplétude de Gödel et l'impossibilité de résoudre le problème de l'arrêt par Turing. Voilà, en gros résumé, un fragment de l'histoire des mathématiques qui part de cette simple volonté de réfuter Kant. Et que retient-on aujourd'hui ? Et bien que Kant avait raison. Du moins c'est ce que laisse comprendre Gilles Dowek (chercheur INRIA) ainsi que Jean-Yves Girard (mathématicien et logicien, ancien chercheur CNRS, auteur entre autre du système F, système de types à la base de langage comme Haskell ou OCaml, et de la logique linéaire) dans son dernier livre.

              Le principal bénéficiaire de cette visite non guidée aura été l'auteur, tout surpris d'y trouver matière à de futurs développements techniques. Et de découvrir la surprenante adéquation du kantisme — au sens large — à la logique contemporaine. Ce qui n'est pas très étonnant après tout : que veut dire "raison pure", sinon logique ?

              Jean-Yves Girard, Le fantôme de la transparence.

              Ces derniers travaux portent même le nom de Syntaxe transcendantale :

              La syntaxe transcendantale est la justification technique des thèses du fantôme de la transparence. Le programme est exposé dans l'article La syntaxe transcendantale, manifeste (Février 2011)

              Même s'ils ne partagent pas toutes mes opinions sur le kantisme (il faudrait, si je les comprends bien, une sorte de kantisme renouvelé à la lumière des progrès de la logique, tout comme Einstein a réformé Newton), on est plus proche d'un accord sur l'importance de la révolution kantienne en philosophie. Et ce genre de confrontation avec la pensée d'un auteur, même mort il y a deux cent ans, j'ai du mal à ne pas la voir comme de la confrontation avec ses pairs.

              Pour en revenir sur ce que n'acceptait pas Frege (ce qui a engendré des travaux de recherche aboutissant à l'ordinateur), c'est cela :

              Les jugements mathématiques sont tous synthétiques. Cette proposition semble avoir échappé jusqu'ici aux observations des analystes de la raison humaine, et même être exactement opposée à toutes leurs conjectures, bien qu'elle soit incontestablement certaine et très importante dans ses conséquences. En effet, comme on trouvait que le raisonnement de mathématiciens procédaient tous d'après le principe de contradiction (ce qu'exige la nature de toute certitude apodictique) on se persuada que les principes aussi étaient connus à partir du principe du contradiction : en quoi ces analystes se trompaient; car une proposition synthétique peut bien être saisie d'après le principe de contradiction, mais de telle sorte qu'une autre proposition synthétique soit présupposée, d'où elle puisse être déduite, mais jamais en elle-mếme.

              Kant, Critique de la Raison Pratique.

              On peut noter aussi, qu'à l'époque ou naquit la polémique, Poincaré écrivit des articles sur la logique et les mathématiques pour défendre Kant face à, entre autre, Russell et Hilbert.

              Tout cela pour montrer, que ce soit Kant lui même de son vivant, ainsi que d'autres penseurs après sa mort n'ont eu de cesse de se confronter entre pairs sur les principes fondamentaux de sa philosophie.

              Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

              • [^] # Re: Définir les mots

                Posté par ZeroHeure (site web personnel) le 05 février 2019 à 23:43. Évalué à 2. Dernière modification le 05 février 2019 à 23:47.

                

                Tu m'entraîne un peu loin. Je ne connais pas si bien Kant et je pratique peu la philo depuis mes années de fac. Comme je te l'ai dit, tu as peut-être bien totalement raison, j'ai un doute mal défini, un doute qui date, et je dirai des bêtises en poursuivant la discussion — par exemple il me semble dans ce doute que la démarche scientifique est faite de petits pas, de confrontations incessante et que ce n'est pas comme ça que les philosophes « à système » pratiquaient ; Kant est l'initiateur d'un gros changement mais me semble tout de même, dans mon doute mal défini, être encore dans la pratique de ses prédécesseurs — et j'ai en tête des énormités pires encore !
                D'où peut-être mon lent travail de relecture pour Wikisource :-)

                Par contre c'est très intéressant, tu veux pas nous faire une dépêche là-dessus ? ce pourrait être ce texte un peu plus éclairci, avec une présentasion des travaux que tu indiques et une interview de leurs auteurs…

                "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

          • [^] # Re: Définir les mots

            Posté par ZeroHeure (site web personnel) le 04 février 2019 à 18:28. Évalué à 2.

            

            Excellente démonstration de la rigueur et de la profondeur de pensée ! J'avais un prof qui s'exclamait « ah là là c'est beau ! » en lisant la CRP.

            "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

          • [^] # Commentaire supprimé

            Posté par Anonyme le 05 février 2019 à 12:15. Évalué à -6.

            

            Ce commentaire a été supprimé par l’équipe de modération.

            • [^] # Commentaire supprimé

              Posté par Anonyme le 05 février 2019 à 12:28. Évalué à -6. Dernière modification le 05 février 2019 à 12:29.

              

              Ce commentaire a été supprimé par l’équipe de modération.

            • [^] # Re: Définir les mots

              Posté par kantien le 07 février 2019 à 02:26. Évalué à 5.

              

              T'as de la chance que je sois de bonne constitution et que je ne te traite pas d'idiot. Tu te rends compte que tu viens de traiter Kant d'être un auteur de paralogisme ? Ça te viendrait à l'idée en lisant un texte d'Einstein, où tu ne comprends pas bien un passage, d'en conclure qu'il a commis une grossière faute dans l'application des principes de la physique ? Non, parce que là c'est ce que tu viens de faire, sauf que la science en question, c'est la logique. ;-)

              Avant de clarifier ton incompréhension (oui, la définition est bien tautologique), il me semble nécessaire de préciser un léger point. Kant était un philosophe allemand vivant en prusse orientale, dans la ville de Königsberg aujourd'hui en Pologne, il écrivait donc en allemand. Les lourdeurs de styles et les problèmes de syntaxes sont la faute du traducteur ! Bon, allez, je te donne la version que j'ai dans ma bibliothèque :

              La liberté de droit (par suite extérieure) ne peut pas être définie, comme on a coutume de le faire, par l'autorisation de faire tout ce qu'on veut pourvu qu'on ne fasse pas de tort à autrui. Car que signifie autorisation ? La possibilité d'agir dans la mesure où l'on ne fait de tort à personne. Ainsi l'explication serait celle-ci : la liberté est la possibilité de l'action qui ne fait pas de tort à autrui. On ne fait de tort à personne (quoi qu'on fasse d'ailleurs) à condition de ne faire de tort à personne. Par suite, c'est une tautologie vide. — Il faut au contraire définir ma liberté extérieure (de droit) ainsi : elle est l'autorisation de n'obéir à aucune autre loi extérieure que celles auxquelles j'ai pu donner mon assentiment. — De même l'égalité extérieure (de droit) dans un État est le rapport des citoyens selon lequel personne ne peut obliger l'autre, de droit, sans que, en même temps, il ne se soumette à la loi qui peut l'obliger réciproquement et de la meilleure manière. (Le principe de la dépendance de droit qui se trouve déjà dans le concept d'une constitution d'État en général n'a pas besoin d'explications.)

              Traduction par Jean-François Poirier et Françoise Proust.

              La syntaxe de l'ensemble te sied-elle mieux ?

              Maintenant, venons-en à l'analyse de la tautologie. Tu dois avoir un problème dans ton interpréteur du français. Commençons par un exemple simple, issu de l'interprétation de code dans un langage de programmation :

              let double = (fun x -> x + x)
              
              (* Comment procéder à l'interprétation du terme suivant : *)
              double 2
              
              (* on commence par substituer à `double` sa définition : *)
              (fun x -> x + x) 2
              
              (* puis on remplace le paramètre formel par la valeur de l'argument *)
              2 + 2
              
              (* et on calcul *)
              4

              Jusqu'ici tu suis ? Et bien, dans le texte de Kant, c'est la même chose : on substitue un terme par sa définition, comme dans le cas de double ci-dessus.

              On commence par la définition courante de la liberté :

              • l'autorisation de faire tout ce qu'on veut pourvu qu'on ne fasse pas de tort à autrui

              Puis comme pour double, on se demande : mais au fait c'est quoi la définition de autorisation ? Et l'on a :

              • la possibilité d'agir dans la mesure où l'on ne fait de tort à personne

              Ensuite, on substitue. Là je le fait textuellement (ne viens pas te plaindre de la syntaxe qui n'est pas correcte en français) :

              • [la possibilité d'agir dans la mesure où l'on ne fait de tort à personne] de faire tout ce qu'on veut pourvu qu'on ne fasse pas de tort à autrui

              ce qui, une fois qu'on redonne une forme syntaxiquement correcte en français, mais sans changer le sens (la sémantique), devient :

              • la liberté est la possibilité de l'action qui ne fait pas de tort à autrui. On ne fait de tort à personne (quoi qu'on fasse d'ailleurs) à condition de ne faire de tort à personne

              C'est la mise en forme avec une syntaxe correcte et préservation de la sémantique qui te pose problème ? Dans la première phrase on retrouve la définition de autorisation, mais le défini (et donc sa définition) était soumis à la condition de ne faire de tort à personne (pourvu qu'on ne fasse pas de tort à autrui) et cela quoi que l'on fasse (faire tout ce qu'on veut) : d'où la deuxième phrase. Est-ce plus clair maintenant ?

              ---

              Après ce préambule, quelque peu fastidieux pour une telle trivialité, jetons un œil à tes autres questions.

              Non, si le savoir humain n'était assuré que par de tels principes, il n'en vaudrait pas rien pour autant. Imagine 1000 ans d'observations de tel phénomène menant à l'élaboration de telle loi jamais contredite par une quelconque observation, même sans le fondement de principes issus de sciences pures, ça conserve un intérêt (certes limité) pour se projeter dans l'avenir.

              Bah ce que tu décris est notre situation bien réelle. Ce que je dis c'est que ces observations, qui forment un savoir objectif, n'est possible que par l'intervention de principes qui, eux, ne sont pas d'origine expérimentale. ;-) Sans ces principes purs nous n'aurions que des jugements de perceptions (à valeur subjective) et non des jugements d'expériences (à valeur objective). Mais, assurément, les jugement d'expériences ont également besoin d'une autre source que la seule pensée pure : à savoir les jugements de perceptions.

              Des jugements empiriques, s’ils ont une valeur objective, sont des jugements d’expérience ; mais ceux qui n’ont qu’une valeur subjective sont de simples jugements de perception. Ceux-ci n’ont besoin d’aucune notion intellectuelle pure, mais seulement de la liaison logique de la perception en un sujet pensant. Ceux-là, au contraire, demandent toujours, indépendamment des représentations de l’intuition sensible, des notions particulières produites originairement dans l’entendement, qui donnent au jugement d’expérience sa valeur objective. […]

              C’est ce que nous allons expliquer. Qu’une chambre soit chaude, que le sucre soit doux, l’absinthe amère, ce sont là des jugements d’une valeur purement subjective. Je ne demande pas de sentir toujours ainsi, ou que chacun sente comme je dois sentir. Ces jugements n’expriment qu’un rapport de deux sensations à un même sujet, moi-même, et moi seulement dans mon état actuel de perception, et ne valent par conséquent pas relativement à l’objet ; je les appelle donc des jugements perceptifs. Il en est tout autrement du jugement expérimental. Ce que l’expérience m’apprend dans certaines circonstances, elle doit me l’apprendre toujours et à chacun, et sa valeur ne se borne pas au sujet ou à son état du moment. J’énonce donc tous ces jugements comme objectivement valables, lors, par exemple, que je dis : L’air est élastique, ce jugement n’est immédiatement qu’un jugement de perception ; je rapporte deux sensations l’une à l’autre dans mes sens. Pour que je puisse l’appeler un jugement d’expérience, il faut que cette liaison soit soumise à une condition qui la rende universellement valable. Il faut donc que je sois toujours et que chacun soit comme moi dans la nécessité de faire cette liaison dans les mêmes circonstances. […]

              Pour qu’il y ait expérience par perception il faut encore un jugement tout différent de celui-là. L’intuition donnée doit être subsumée à une notion qui détermine la forme du jugement en général par rapport à l’intuition, qui relie la conscience empirique de l’intuition en une seule conscience en général, et donne ainsi aux jugements empiriques une valeur universelle : cette notion est une notion intellectuelle pure a priori, propre seulement à déterminer la manière dont une intuition peut servir aux jugements. Soit donc la notion de cause ; elle détermine l’intuition qui lui est subsumée, par exemple celle d’air, par rapport à ce jugement en général, que la notion d’air, en ce qui regarde la dilatation, dans le rapport d’antécédent à conséquent, a son usage dans le jugement hypothétique. La notion de cause est donc une notion intellectuelle, entièrement différente de toute perception possible, et qui ne sert qu’à déterminer la représentation à elle soumise, par rapport au jugement en général, par conséquent à rendre possible un jugement d’une valeur universelle.

              Il faut donc pour qu’il puisse y avoir jugement de l’expérience par un jugement de perception, que la perception soit subsumée à une notion intellectuelle, par exemple, l’air est soumis à la notion de cause, notion qui détermine comme hypothétique le jugement sur l’air par rapport à l’expansion. Et alors cette expansion n’est pas représentée comme appartenant simplement à ma perception de l’air dans mon état, ou dans plusieurs de mes états, ou dans l’état de la perception des autres, mais comme y appartenant nécessairement ; et ce jugement : L’air est élastique, devient d’une valeur universelle, et un jugement expérimental par le fait que certains jugements précèdent, qui subsument l’intuition de l’air à la notion de cause et d’effet, et déterminent ainsi les perceptions, non pas purement entre elles dans mon sujet, mais par rapport à la forme du jugement en général (ici la forme hypothétique), et donnent ainsi au jugement empirique une valeur universelle.

              Kant, Prolégomènes à toute météphysique future qui voudra se présenter comme science.

              Si tu trouves des choses à redire dans la syntaxe, cette fois incrimine le traducteur et non Kant. ;-) Ici, il fait jouer la catégorie de la causalité (pur concept d'entendement) pour transformer un jugement de perception (à valeur subjective) en jugement d'expériences (à valeur objective). C'est celle dont je parlais dans mon premier message en rapport avec la logique de Hoare. Et ce processus mental nous le faisons tous, naturellement, même si on n'en a pas conscience : M. Jourdain faisait bien de la prose sans le savoir. ;-)

              En quoi la mathématique pure et la logique formelle ne sont-elles pas suffisantes comme fondement a priori ?

              Bien trop long à expliquer, et, à dire vrai, il vaut mieux être spécialiste dans ces deux disciplines (ce qui est mon cas) pour le comprendre. Mais déjà, pour envisager la possibilité d'une telle insuffisance, pose toi cette question : les notions de liberté et de droit dont on parlait précédemment, sont elles d'origine empirique ou rationnelle ? Dans le seconde cas, appartiennent elles au domaine de la mathématique ou de la logique ? Ou sinon, pour invoquer deux autorités reconnues en physique et logique : Einstein, dans un article qu'il consacra à Russell, reconnaissait être heureux de savoir que celui-ci disait que l'on ne pouvait se passer de métaphysique. L'un et l'autre n'étaient certes pas satisfaits par la solution kantienne sur la constitution de la métaphysique, mais il n'avait rien de mieux à proposer en échange, et, pour ma part, je ne trouve pas leurs objections recevables.

              Que rajoute la solution kantienne

              Et bien, à mon goût, elle a mis, pour la première fois dans l'histoire de l'humanité, la métaphysique (ce savoir dont on ne peut se passer) sur la route sûre de la science.

              ou l'informatique théorique enseignée par Xavier Leroy cette année au Collège de France

              les schémas de pensée qui y sont enseignés sont analogues à ceux qu'utilisa Kant pour mettre la métaphysique sur le chemin sûr de la science. Mais dans le cas de l'informatique théorique, c'est plus simple à comprendre. Pour reprendre l'exemple de Pierre Jarillon, il est plus simple de comprendre cette égalité 2^3 + 34 = 42 que celle-ci . Pour être honnête, lorsque j'étais encore un jeune étudiant en logique mathématique et informatique fondamentale, que l'on m'enseigna les principes du lambda-calcul typé (programmation fonctionnelle avec typage statique, le cœur du cours de Xavier Leroy), j'étais déjà kantien depuis plusieurs années et maîtrisais parfaitement sa logique transcendantale. Résultat la chose me paru évidente quand on me l'enseigna, c'était du « déjà connu », et j'obtins 20 comme note pour ce module.

              Qu'est-ce qui te retient d'ajouter du sucre syntaxique pour former des énoncés clairs ? En effet, énoncer que tous les hommes sont mortels, est-ce une question de droit, est-ce le fait d'un pouvoir législatif ? Non, alors que veux-tu exprimer ? S'il te plait, exprimes-le clairement.

              Si tu te donnes la peine de relire le texte de Kant que je cite juste en dessous, tu sauras ce que j'ai voulu exprimer.

              En espérant avoir éclairé ta lanterne.

              Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

              • [^] # Commentaire supprimé

                Posté par Anonyme le 07 février 2019 à 18:28. Évalué à -8.

                

                Ce commentaire a été supprimé par l’équipe de modération.

              • [^] # Commentaire supprimé

                Posté par Anonyme le 08 février 2019 à 04:42. Évalué à -10. Dernière modification le 12 février 2019 à 21:28.

                

                Ce commentaire a été supprimé par l’équipe de modération.

                • [^] # Commentaire supprimé

                  Posté par Anonyme le 08 février 2019 à 04:51. Évalué à -10. Dernière modification le 12 février 2019 à 21:30.

                  

                  Ce commentaire a été supprimé par l’équipe de modération.

                • [^] # Re: Définir les mots

                  Posté par ZeroHeure (site web personnel) le 08 février 2019 à 11:33. Évalué à 8.

                  

                  comme une quenelle posthume

                  Merci d'éviter ce genre de propos.

                  "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

                  • [^] # Commentaire supprimé

                    Posté par Anonyme le 08 février 2019 à 12:26. Évalué à -10. Dernière modification le 12 février 2019 à 21:31.

                    

                    Ce commentaire a été supprimé par l’équipe de modération.

                • [^] # Commentaire supprimé

                  Posté par Anonyme le 09 février 2019 à 09:53. Évalué à -10. Dernière modification le 09 février 2019 à 09:54.

                  

                  Ce commentaire a été supprimé par l’équipe de modération.

                • [^] # Re: Définir les mots

                  Posté par bubar🦥 (site web personnel) le 12 février 2019 à 21:12. Évalué à 10. Dernière modification le 12 février 2019 à 21:50.

                  

                  Bonjour Samwang<

                  Ces derniers propos ont pris du temps en entrainant une discussion entre modos, et nous avons convenu d'une part d'effacer ces propos plus que limites, et d'autre part de supprimer cet enième compte. L'humour n'est pas un vecteur permettant l'insulte, par exemple ce n'est pas parce que quelqu'un rigole en disant "sale pédé", ou ici des allusions très déplacées, ou autre, que ce rire rends cette parole protégée par la dérision, l'humour ou toute forme de libre expression, non. La personne rigole de cela par lâcheté, elle n'a pas le courage de le dire sérieusement et elle prends ce biais pour le dire et le faire accepter. Ceci n'est PAS de l'humour.

                  Tant de fois et tant de personnes différentes te l'ont fait remarquer : tu postes des éléments intéressants parfois, mais parfois aussi tes propos dérapent. Trop souvent.

                  Ces commentaires seront supprimés et ce compte désactivé.

              • [^] # Commentaire supprimé

                Posté par Anonyme le 08 février 2019 à 08:52. Évalué à -10. Dernière modification le 08 février 2019 à 08:56.

                

                Ce commentaire a été supprimé par l’équipe de modération.

                • [^] # Commentaire supprimé

                  Posté par Anonyme le 08 février 2019 à 14:49. Évalué à -10. Dernière modification le 08 février 2019 à 14:52.

                  

                  Ce commentaire a été supprimé par l’équipe de modération.

                  • [^] # Re: Définir les mots

                    Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 08 février 2019 à 15:30. Évalué à 10.

                    

                    Je sais bien que c'est important de montrer qu'on est intelligent et tout ça, mais, si je puis me permettre, avant de poster ce genre de pavé, faudrait se relire pour éviter de rajouter des tas de corrections et d'une, et de deux, ce n'est pas tout à fait le sujet de cette dépêche et cet étalage de culture à longueur de commentaires commence à me gonfler velu.

                    « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

                    • [^] # Commentaire supprimé

                      Posté par Anonyme le 08 février 2019 à 16:23. Évalué à -10. Dernière modification le 08 février 2019 à 16:25.

                      

                      Ce commentaire a été supprimé par l’équipe de modération.

      • [^] # Commentaire supprimé

        Posté par Anonyme le 04 février 2019 à 04:39. Évalué à -1. Dernière modification le 04 février 2019 à 04:41.

        

        Ce commentaire a été supprimé par l’équipe de modération.

  • [^] # Re: Définir les mots

    Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 03 février 2019 à 15:33. Évalué à 7.

    

    Désolée, ça me paraissait tellement évident, après tout, on y retrouve « instruire ». Donc c'est le nom des tutoriels du site instructables.com comme cela a été répondu. À noter, sur le site on parle aussi d'« ible » pour faire plus court.

    Et merci pour le compliment. Sincèrement, je pense que c'est l'une des façons de faire sortir GNU/Linux des idées encore dominantes que c'est une truc pour obsessionnels de l'informatique. C'est aussi, en réfléchissant aux freins qui empêchent de changer d'OS, qu'on peut trouver des arguments, des pistes ou des solutions et favoriser l'adoption de GNU/Linux.

    « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

  • [^] # Re: Définir les mots

    Posté par vpo le 04 février 2019 à 06:53. Évalué à 4.

    

    Ne suffirait-il pas de proposer un synonyme existant comme guide, mode d'emploi ou tutoriel (certes pour les puristes, il s'agit d'un anglicisme pour ce dernier, mais attesté depuis plusieurs décennies) ?

• # A côté

  Posté par Ibiscus le 03 février 2019 à 01:34. Évalué à 3.

  

  A propos d'Inkscape, je me demande souvent s'il existe une extension ou un module ou quelque chose de plus ou moins intégré pour vectoriser des images, notamment les tracés en noir et blanc.

  • [^] # Re: A côté

    Posté par Calinou (site web personnel) le 03 février 2019 à 01:37. Évalué à 4. Dernière modification le 03 février 2019 à 01:37.

    

    C'est possible avec potrace, qui peut s'intégrer à Inkscape s'il est installé (ce qui devrait être le cas normalement, à moins d'avoir compilé Inkscape depuis les sources).

  • [^] # Re: A côté

    Posté par PegaseYa le 03 février 2019 à 12:11. Évalué à 6.

    

    J'ai la version 0.92.3 installée, je fais
    chemin> vectoriser un objet matriciel, ou Maj+Alt+B.

    ça marche en couleur également.

    Une fois vectorisé, je simplifie les contours.

    • [^] # Re: A côté

      Posté par deuzene (site web personnel) le 03 février 2019 à 18:25. Évalué à 2.

      

      Et on peut exporter en DXF, ce qui permet de le travailler dans des applis de CAO.

      « Il vaut mieux mobiliser son intelligence sur des conneries que mobiliser sa connerie sur des choses intelligentes. »

  • [^] # Re: A côté

    Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 03 février 2019 à 15:38. Évalué à 5.

    

    La FAQ d'Inskcape sur la vectorisation d'images matricielle et bien fichue en plus.

    Mais pour le manchot Linuxfr par exemple et dans l'optique d'un motif de broderie avec des à plats de couleurs bien séparés, je crois, malgré tout, que redessiner les contours prends un peu moins de temps quand on est familier avec les courbes de Béziers que de passer par le module et d'ensuite retoucher. Donc ça dépend un peu de l'image d'origine et de ce qu'on veut en faire.

    « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

• # Quand je disais que ça ôtait un frein pour passer à Linux, la preuve

  Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 04 février 2019 à 20:13. Évalué à 10.

  

  Je viens de recevoir un message via mon site dutailly.net, suite au tutoriel sur l'extension :

  Je jongle depuis des années avec un vieux window et
  des versions préhistorique de PEdesign. De la récup de JANOME au
  maintient coûte que coûte de la Brother je travaille depuis plus de 10
  ans dans la création textile. Vous avez unifié enfin tous les systèmes.
  Inkscape sera désormais mon logiciel de création. Adieu Microsoft
  définitivement…

  'videmment ce sont surtout les personnes qui développent Inkscape et ont développé cette extension qui méritent les compliments et les remerciements. S'il y en à qui passent par là, c'est pour vous.

  PS : Brother et Janome ont des formats de fichiers différents, ce qui signifie deux logiciels de création de broderie différents.

  « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

  • [^] # Re: Quand je disais que ça ôtait un frein pour passer à Linux, la preuve

    Posté par ZeroHeure (site web personnel) le 04 février 2019 à 21:24. Évalué à 2.

    

    Félicitations !

    "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

  • [^] # Re: Quand je disais que ça ôtait un frein pour passer à Linux, la preuve

    Posté par ZeroHeure (site web personnel) le 05 février 2019 à 16:36. Évalué à 2.

    

    Par rapport à notre discussion dans l'interview, la dernière revue de presse de l'April renvoie a un article tout à fait éclairant :

    [internet ACTU.net] Des effets des outils sur nos pratiques: pourquoi les médecins détestent-ils leurs ordinateurs?

    Par Claire Richard, le jeudi 31 janvier 2019. Extrait:

    Le chirurgien et journaliste Atul Gawande (@atul_gawande), célèbre pour son Checklist Manifesto («Le manifeste de la liste de contrôle», un bestseller qui a permis aux chirurgiens de réduire les erreurs en salle d’opération par la pratique de la liste de contrôle pré-opératoire, cf. «Concrètement, comment rendre les algorithmes responsables et équitables?») est un infatigable défenseur de l’amélioration de la santé publique.

    Lien vers l'article original: http://www.internetactu.net/2019/01/31/des-effets-des-outils-dans-nos-pratiques-pourquoi-les-medecins-detestent-ils-leurs-ordinateurs

    "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

    • [^] # Re: Quand je disais que ça ôtait un frein pour passer à Linux, la preuve

      Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 06 février 2019 à 10:30. Évalué à 2.

      

      J'ai lu l'article. Il illustre largement le fait qu'il faut arrêter de faire de l'informatique pour l'informatique et qu'il n'y a pas un utilisateur lambda interchangeable mais bien des utilisations et des utilisateurs différents. Il faudrait qu'on en revienne à l'idée de l'informatique comme outil ce qui permettrait d'en être moins esclave.

      « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

• # Ça va même plus loin

  Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 08 février 2019 à 15:32. Évalué à 9.

  

  La personne qui m'a écrit qu'elle allait enfin pouvoir abandonner Windows, me propose d'apporter une contribution, et me demande s'il existe un endroit où elle pourrait partager ses fichiers.

  Je ne pensais que la rédaction de ces tutoriels irait aussi loin.

  « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

  • [^] # Re: Ça va même plus loin

    Posté par ZeroHeure (site web personnel) le 08 février 2019 à 15:35. Évalué à 4.

    

    Tu vois bien que tu es une Hacktiviste !

    "La liberté est à l'homme ce que les ailes sont à l'oiseau" Jean-Pierre Rosnay

    • [^] # Re: Ça va même plus loin

      Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 08 février 2019 à 17:13. Évalué à 4. Dernière modification le 08 février 2019 à 17:13.

      

      Hacktiviste peut-être pas. Mais ça illustre la nécessité de faire (d'écrire même dirais-je) des tutoriels accessibles à tout le monde et sur des sujets aussi éloignés de l'informatique pure, bref du concret.

      Et ça fait plaisir de recevoir ce genre de message.

      « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

• # Tutoriel sur la gestion des couleurs et les palettes de couleurs fait

  Posté par Ysabeau 🧶 🧦 (site web personnel, Mastodon) le 27 février 2019 à 10:15. Évalué à 6.

  

  En complément et comme promis, je viens de mettre en ligne un tutoriel sur les palettes de couleurs qui donne une méthode pour les gérer et indique comment créer directement une palette au format gpl pour Inkscape et Gimp avec un éditeur de texte.

  https://dutailly.net/palettes-de-couleurs

  Normalement, avec tout ça tout le monde devrait être capable d'avoir une gestion plus cohérente et rationnelle des couleurs pour ses documents.

  NB : je trouve beaucoup plus facile de procéder de cette façon que d'ajouter les couleurs une à une dans Gimp et ça prend beaucoup moins de temps.

  « Tak ne veut pas quʼon pense à lui, il veut quʼon pense », Terry Pratchett, Déraillé.

• # To edit

  Posté par Nucleos le 01 mars 2019 à 17:55. Évalué à 2. Dernière modification le 01 mars 2019 à 17:56.

  

  Pour ajouter au capharnaüm edit/éditer:
  - éditer un texte signifie «Assurer la reproduction, la publication et la diffusion d'une œuvre.», mais parfois aussi «Établir le texte d'une œuvre, éventuellement accompagné de notes critiques et de commentaires, en vue de sa publication.».
  - to edit a book signifie «to make changes to a text or film, deciding what will be removed and what will be kept in, in order to prepare it for being printed or shown» (traduction : modifier un texte ou un film et décider ce qui sera enlevé ou gardé afin d'en établir une version à diffuser).

  Bref, ce n'est pas tout à fait clair que ces deux mots ne se recoupent pas dans leur usage. Par contre, en termes d'usage fréquentiel, il me semble (mais je n'ai pas de source), qu'effectivement, le mot anglais «edit» est souvent utiliser pour simplement dire «modifier», et que le mot français «éditer» est souvent utilisé pour dire «publier». Mais on peut utiliser un peu les deux pour parler d'établissement d'un texte.

  D'ailleurs, je ne vois pas d'ailleurs bien pourquoi la fonction «Rechercher dans le texte» correspondrait à un menu intitulé «Modifier», c'est plutôt une forme de recherche dans le texte qui n'a rien à voir avec une modification… mais peut-être plus avec de l'édition.

  On n'est pas sortis de l'auberge…

  Source :
  - TLFi
  - Cambridge Dict
  - Linguee propose éditer, réviser, rédiger, corriger, monter
  - Le grand dictionnaire terminologique propose éditer, mais aussi apprêter

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.