Site archivé par Silou. Le site officiel ayant disparu, toutes les fonctionnalités de recherche et de compte également. Ce site est une copie en lecture seule

Toutes les publications

Vuld 2 224

Meta's back!

Hi'.
Nous sommes dimanche, il est deux heures de l'après-midi de mon côté de l'Atlantique et environ six heures du mat' dans le coin de l'Amérique qui nous intéresse aujourd'hui. Je viens de me rendre compte que c'est désormais une routine : ça commence vers 14-15h et ça dure plus de douze heures d'affilée, un véritable marathon chaque semaine et je me suis dit que punaise c'était l'occasion de jouer mon fanboy.
Donc FLEX pour Metasigma !
(J'ai dessiné un truc durant son live.)
Pour ceux qui se rappellent de mon râlage sur Fallout: Equestria, j'avais déjà parlé de ce speedrunner américain de l'extrême, notamment pour souligner qu'il était désormais l'âme de la traduction. Il streame ? Je traduis. Et d'ailleurs vu qu'il est en train de streamer je devrais être en train de... traduire... au lieu de faire un article...
...
Pour être honnête cet article a uniquement pour but de retomber dans mes quatorze ans et partager mon enthousiasme comme tout excité qui se respecte. Ouais c'est de la pub'.
Quand j'ai enfin réalisé que j'aurai douze heures de Meta' chaque dimanche... Eh bien je me suis rendu compte que mon objectif, à savoir achever la traduction de FO:E d'ici à Noël, était faisable. Eeeyup, il reste 202 pages, j'ai calculé ça fait 20 pages par semaine (18.3 périodique d'après Leeroy) et à raison de 4 pages par heure c'est faisable. Je crois.
Deux cents pages. Ah ah ah c'est rien.
Donc...
En bon fanboy, j'invite tout le monde à tenter le coup. Venez voir Metasigma en live, c'est en anglais mais on est un paquet de francophones là-bas et j'aimerais y voir plus d'entre vous.
Dans la foulée je vais faire quelque chose de parfaitement inutile, mais eh, je suis dans la dernière ligne droite (deux cents pages ah ah ah c'est rien) donc tout ce qui peut me pousser à traduire est bon à prendre. À l'époque j'avais déjà enregistré une heure de moi en train de traduire FO:E (chapitre 26, de mémoire) et je voulais le commenter, question de montrer comment je traduisais. C'est heureusement resté sur mon disque dur mais la volonté est toujours là.
Alors je suis bien placé pour savoir que regarder quelqu'un traduire est ennuyeux comme la pluie, mais si ça vous amuse pour ces derniers chapitres j'ai décidé de passer le lien du GoogleDoc en cours de traduction, avec les commentaires activés. Aucun spectacle, aucune véritable interaction, le seul intérêt pour moi est de me motiver. Donc si vous voulez voir comment je traduis, voir comment je flemme et profiter de mes râlages en live, rien ne vous empêche de passer.
En somme, pour ceux qui veulent de l'awesome et du spectacle, il y a Meta', et pour ceux qui veulent voir avancer la traduction, mais littéralement, eh bien il y a le GoogleDoc. Et oui, je ferai un article chaque dimanche tant qu'il y a du Meta' et tant que je trad', avec le lien du document et tout. Il veut son record du monde et moi je veux achever ma trad' !
 
tl;dr ?
Va là -> Metasigma (live stream en anglais)
Ou là -> FO:E - Chapitre 42 (en cours de traduction)
Et ça chaque dimanche dès 2-3h de l'après-midi au moins jusqu'à Noël ! Cette semaine, l'objectif c'est de finir le chapitre 42 et passé minuit, Meta' fera un run de plus de quatre heures en costume cravate sur Megaman Command Mission ! Alors je veux voir de l'excitation et du flex ! Ou à défaut si vraiment vous ne voulez pas, alors vous pouvez toujours retourner, fanficers,à vos plumes !
 
EDIT: Petit compte-rendu de la soirée. Côté Evermore, aucun run n'a survécu jusqu'au flex, donc deux lessive strat' plus tard, le temps d'un massage Meta' a enchaîné sur un run de Megaman: Command Mission, le tout en costard cravate parce que.Comme je savais que ce run allait durer près de cinq heures, j'avais réservé le gros de la traduction pour ce moment-là. J'avais donc traduit, quoi, cinq pages, avant de me mettre à dessiner (voir plus haut). Arrive le run, je traduis jusqu'à la vingtième page (woohoo) et j'aurais eu le temps d'en faire douze de plus si le jeu n'avait pas planté.Grmf.Il est quatre heures du matin, je suis fatigué et il n'y a plus de Meta' pour tenir le coup, la fin du chapitre 42 attendra la semaine prochaine. 'Nuit à tous.

EllyCoo 22 555

Idées de fanfic

1. Les parents de Rainbow Dash - DEJA PRIS2. Applejack et les Timberwolves - DEJA PRIS3. Twilight s'ennuie d'un livre - DEJA PRIS4. En mer - DEJA PRIS5. La robe parfaiteRarity a déjà fait plus de 12 robes en une semaine. Elle a déjà fait des robes de mariée, même pour une princesse. Mais ce n'était qu'une petite princesse d'un autre royaume... Là, c'est la Princesse du Soleil et la Princesse de la Lune qui veulent son aide. Leur robes sont un peu vieilles et elles comptent sur elle pour faire quelque chose d'extravagant. Avec son Spike, elle se met à chercher les gemmes parfaites, la matière parfaite, la couleur parfaite. Elle est sur le point d'abandonner, mais Spike la supporte et elle découvre ses sentiments. Grâce à lui, elle arrive enfin à terminer ces robes.6. J'ai mal au ventre - DEJA PRIS7. NON, pas lui!Fluttershy est dévastée. Un animal à elle vient de mourir. De jeune âge! Tous les vieux animaux meurent, elle le sait. Mais un jeune chaton vient de s'étrangler avec une plante. Elle s'en veut à mort et s'enferme chez elle. Elle se traite elle-même de meurtière, ne mange plus... Un jour, rongée par la culpabilité, elle n'en peut plus et veut se suicider: si elle ne peut pas s'occuper d'un petit chaton correctement, comment faire pour la suite? Mais un discours de ses amies change tout, comme d'habitude.

LittleParrot 5 338

Groupes « Relecture et entraide » et « Crossovers »

Salut tout le monde,
Étant donné le nombre de demandes ou de propositions de relecture (et autres services) via les articles, je me suis dit qu'un groupe rassemblant ces sujets serait plus pratique pour s'organiser et laisserait les articles à des thèmes qui touchent peut-être plus de monde, comme l'art de l'écriture.
Voici donc « Relecture et entraide », où tout le monde peut faire ses demandes et répondre à celles des autres. De plus, les personnes qui souhaitent relire régulièrement feront partie d'un registre et pourront être contactées directement par les auteurs, ce qui leur évitera de devoir visiter le groupe souvent pour lire toutes les demandes d'aide.
J'espère que ce groupe sera utile à tous !
 
Je profite de cet article pour vous poser une question à propos de mon premier groupe, « Crossovers ». Les plus populaires sont bien sûr ceux qui parlent de jeux vidéos, et la catégorie est de loin la plus remplie... tellement que je me demande si des sous-catégories ne seraient pas utiles. Qu'en pensez-vous ? Quelles catégories faudrait-il mettre en place pour séparer les jeux de manière efficace ?
Pour vous donner une idée, voici la liste (plus ou moins précise) des jeux du groupe :

Sins of a Solar Empire
Mario
Fallout
Final Fantasy VIII
Bravely Default
Skyrim
Portal
Payday 
Stalker
Silent Hill
SCP Containment Breach
Corpse Party
Pokémon
Call of Duty 
DayZ 
Duck Life 4

Merci d'avance à ceux qui donneront leur avis.

Darkzone 5 215

Fan art

Voici mon first dessin de mlp, 
la
Vos avis? ^^

Darkzone 1 171

Du pain et des jeux!

Je me lance dans l'écriture de cette fiction qui contiendras dans les perso principaux: 
Derpy, Vynil scratch, et tous les prisonniers de White Box (avec l'autorisation de son auteur)
 
Je vous tiendrait au courant de la progression de ce fan fic :)

Darkzone 1 149

SMILE

Salut touts le monde ^^ 
Je suis un jeune brony de 15 ans (jeunes dans le terme que ça ne fais que 2 mois que je suis fan de mlp) 
Je présenterais sur ce site mes dessins, Fan fics, ect...  
 
Enfin bref, j'arrive sur MLP Fiction!

EllyCoo 12 382

Meilleure en idée

Eh ouais j'ai beaucoup plus d'idées que de talent en écriture...
Alors j'me disais. Il faut que je trouve un bon écrivain pour écrire mes idées, parce que moi et l'écriture, ça fait 2 et demi. Enfin je sais pas écrire des trucs joliment et tout, et puisque vois êtes tous très gentil, je vais pitêt trouver quelqu'un gentil sans inspiration qui a besoin d'un thème!
xD Bref.

Pinkie007 8 228

Mes Fictiooooooooooooons! (Et idéeeeee)

Certaines personnes peut l'avoir remarqué malgré le fait que je cache très biens mon jeu, mais j'aime ce qui est sadique!!Et comme le titre le dit cet article va parler de mes fictions...
*Personne ne s'y attendait*
Enfin bref, commençons avec ma première:
Coeur manquant, pouvoir puissant

Cette fiction était quelque chose de totalement... normal. . . 
*Pour moi*
En fait l'idée m'était venu comme ça et je me sentais prête à le faire, mais je me rends contre que je fais avancer l'histoire beaucoup trop vite et que ça brise toute l'ambiance que j'ai essayer de créer...
*Me jetez pas de pierres!!!*
J'ai mis le chapitre 1 en ligne et le 2 est fini depuis la St-GlinGlin, mais j'hésite à le publier.Pourquoi? Parce que je n'ai pas plus d'inspiration qu'une patate au micro-ondes.
*Essayez, ça vaut le coup...*
Bref, je vais l'arrêter.

Ma deuxième:
*Traduction*
Twilight Sparkle sort avec une pêche

Rien à dire dessus à part que le type qui l'a écrit est trop GÉNIAL!!
*Comme une patate au micro-ondes*
*Non, j'arrête pas*
*O.K, je m'en vais*
Bon maintenant que l'autre est parti, je vais pouvoir vous parler!
Pas vraiment, mais bon!
*Dire que j'la connais*
Le gars écrit plein de fictions totalement...: ...
*Magnifique façon de commenter!*
T'a remarqué?
*C'est ironique...*
Bon, en clair, si vous connaissez un minimum votre anglais, allez lire ses fictions!
*Ou pas*
Je vais m'le faire, j'sens que ça va pas tarder...!

Ma dernière en date:
Apprend moi à voler

J'en suis tellement fière, vous pouvez pas savoir...
L'idée m'est venue d'une image, tout ce qui a de plus banale...
Mais je l'ai transformée en oeuvre d'art!
*Mégalooooooooo*
Bref, j'ai un peu changée toute l'histoire que Hasbro a construit autour des personnages durant l'épisode:''Cutie mark's chronicle''
Parce que oui, je suis bilingue...
J'ai détruit le père de Dash!
*Au poubelle le papa!*
Et j'en ai créer un pour Fluttershy!
*Vive le clonage!*
J'ai plein de OC dedans, dont une idiote qui s'appelle Magic Bloom!
C'est pendant l'hiver
*Happy Christmas*
Fluttershy est courageuse
Dash est....est...
*...*
*J'ai pas d'idée moi non plus*
Bon, on va arrêter là alors!

Mes projets
Y a ''La quête de la manette perdu'' mettant en scène Pinkie Pie qui part à la recherche...d'une manette de jeu vidéo...
Y a aussi ''L'accident'' où Sweetie Bell se fait rouler dessus par un chariot et où Rarity...
*Attention, éloignez les plus jeune lors de cette révélation*
ABÎME SON MAQUILLAGE!!!
*On vous avait prévenus*
Y a bien sûr '' Un popcorn pour l'horreur'' où Twilight, devenue détective, ces fait plein d'ennemis et se fait entraîner par une DERNIÈRE enquête dans un cinéma vieux de 10 ans...
*Ça fait moins peur que la prochaine fiction*
Y a ''Ahhhh, je n'ai plus de maquillage'' mettant en scène Rarity et je crois que le titre explique un peu tout...
Y a ''La nuit des étoiles'' une histoire dans lequel, il y a un monde avec presque juste des Alicornes et faisant aussi un peu références à l'Holocauste dont ''La nuit de cristal''
*Elle s'es donnée un défi...*
Y a aussi ''L'autre moi du miroir'' où la Pinkie humaine se retrouve seule avec son reflet pendant que ses amies l'ont abandonnée.
Y a ''Mon combat intérieur'' une fiction où Luna est incarnée
Y a ''Les Jeux'' un peu inspiré des ''Hungers Games''. mais sans plus.
Y a ''Et si?'' une fiction où je me demande: Que se serait-t'il passé si telle chose n'était pas arrivé?.
Y a '' Le palais de Granny Smith'' une fiction un peu... étrange
Enfin bref, voici ce que j'espère écrire pour vous un jour!
*Un jour...*
Bang!
*Argh*
Voilà, c'est fini!
-J'le met où le cadavre bon sang...-
 
 
 
 

cocolicoco 6 551

Petite annonce - Recherche d'un relecteur/correcteur

Salut à tous !
 
Suite à quelques remarques de la part de braves lecteurs (qui se reconnaitrons), puis suite à une relecture un peu attentive de ma part, je me suis rendu compte (vraiment tard) que je surestimais grandement ma capacité à fournir des textes exempts de fautes, d'orthographe comme de frappe.
Au fait, je m'excuse au passage auprès de mes quelques lecteurs. Vraiment, ça craint. é_è
 
Donc voila, comme le nom de cet article l'indique, je recherche une âme charitable qui serait disponible pour relire et corriger mes écrits, qu'ils soient traduits ou originaux.
 
Il s'agirait dans un premier temps de corriger des fics déjà terminées. Je pense notamment à ma trad de grosso modo 60.000 mots, plus quelques autres petits textes.
Ensuite, j'ai toujours quelques projets en route (même si ça se vois pas beaucoup), et d'autres textes à corriger pourraient venir s'ajouter à la liste.
 
Une bonne maîtrise des circonvolutions de la conjugaison et de la concordance des temps est demandée, puisque ce sont mes principaux points faibles... Ceci mis à part, il subsiste souvent quelques fautes de frappe et d'inattention à mes relectures, mais le reste est globalement clean (notez le "globalement").
Après, pas besoin d'être un monstre d'efficacité, je suis pas quelqu'un de pressé.
Concernant le mode opératoire, tous mes textes se trouvent sur un googledoc. Je fournirais un lien pour chaque texte/chapitre, avec la possibilité de le modifier.
 
Voila ! Celui ou celle qui voudra bien m'aider aura toute ma reconnaissance, son pseudo amoureusement mentionné sur tous mes textes, le droit de lire mes futurs écrits en avant première, et un gros bisou bien baveux.
 
J'espère que j'ai posté cette annonce au bon endroit, et j’attends vos réponses si vous êtes intéressé.
Merci de votre attention, à la prochaine, et souvenez-vous : pas de panique !
 
Cocolicoco
 

Vuld 20 492

La logique.

Hi'.
Un jour, j'ai parlé d'inférence. C'est-à-dire, face à un texte, rajouter ce qu'on sait nous, lecteurs, pour obtenir une interprétation. Mécanisme automatique et fondamental de la communication.
Ce mécanisme n'est pas juste essentiel au fonctionnement de vos textes ; il explique aussi pourquoi l'humanisme est impossible.
Si vous avez lu l'article sur l'inférence, vous savez qu'on trie l'information pour ne retenir que ce qui est pertinent. C'est assez compliqué à décrire mais on le résume en général par : "obtenir le maximum d'effet pour le minimum d'effort" (ou loi de l'optimalité). En d'autres termes, si traiter l'information demande trop d'efforts, on ne la traitera pas. Et maintenant vous savez quoi ? Une information qui va contre vos idées et valeurs est très, très, très coûteuse à traiter. Cela signifie que le filtre ne retient en général que les informations en accord avec ce que vous pensez déjà. Bref, je ne suis pas cognitiviste mais ouais, vous ne retenez que ce qui vous arrange.
C'est humain.
Bien sûr, le problème, c'est que l'humanisme vous demande de faire le contraire. Faire des efforts démesurés pour accepter les informations qui vous contredisent. Ça s'appelle l'esprit "critique".
Le rapport avec la logique ?
Aucun.
J'avais juste besoin d'en parler.
Ça et le fait que, si l'inférence est le premier pilier de ma théorie littéraire, la logique en est le second. Cela fait donc depuis mon article sur l'inférence que je rêvais de vous parler de logique, mais c'est tellement difficile que le résultat n'a jamais justifié l'effort. Ouais je suis pragmatique. C'est humain. Et puis, bien sûr, les... circonstances... m'ont poussé à reprendre le sujet.
****
On va commencer par parler du "raisonnement logique", ou "rigoureux", que je simplifierai ici par la capacité d'abstraction. Et on va pour cela voir deux niveaux d'abstraction.
Donc posons un problème :
1) "Une voiture bon marché est rare. Ce qui est rare est cher. Donc une voiture bon marché est chère."
Ceci est une contradiction, ce qui est bon marché n'est pas censé être cher. On vous demande de résoudre la contradiction. Ma réaction, et celle de pas mal d'autres, est de prouver par A + B que si, les voitures bon marché sont chères, et blablabla... c'est normal, on ne pense pas rigoureusement.
Rigoureusement parlant, il faut abstraire :
1a) "Un machin truc est bidule. Ce qui est bidule est non-truc. Donc un machin truc est non-truc."
Plus de voiture, plus de prix, on n'a plus que des machins et des trucs. On a vidé le "contenu", le contenu on s'en fiche. C'est comme lorsqu'on commente un texte : vous n'avez pas à juger du contenu. Comment je te carre de la littérature de nulle part... Mais bref. Ici l'abstraction nous montre qu'on a un objet "machin truc" qui est composé de deux objets, et ça c'est pas cool. Donc on va corriger ça :
2) "Un truc est bidule. Ce qui est bidule est non-truc. Donc un truc est non-truc."2a) ~([p][ ~( [q][ e{ p q } ] ) ]) ; [pqr][ >( e{ r q } e{r ~(p)} ) ] ; ~([p][ ~( e{ p ~(p) } ) ])
Okay d'accord, le langage qu'utilisent les logiciens pour "abstraire" le problème est un... brin... plus compliqué que des trucs et des bidules, mais pourtant je vous jure que (2a) dit la même chose. C'est juste qu'en logique on est des maniaques, on crée des langages "formels", artificiels, qui évitent toute inférence. Mais si, l'inférence, rappelez-vous, le truc qui provoque des interprétations différentes selon qui lit le texte. Avec un langage artificiel, pas d'inférence possible, il n'y a qu'une et une seule interprétation.
C'est pour ça qu'on abstrait.
Je dois insister : on a abstrait le problème pour ne plus s'intéresser au contenu, seulement à la structure autour. Cela signifie que la structure peut s'appliquer à n'importe quoi :
2b) "Un poney est mignon. Ce qui est mignon n'est pas poney. Donc ce qui est poney n'est pas poney."2c) "Un carré est troglodyte. Ce qui est troglodyte est rond. Donc ce qui est carré est rond."2d) etc...
L'abstraction a réduit le problème a des "variables". Ce sont les lettres "p", "q" et "r" dans le truc barbare de l'exemple (2a), et nos "trucs" et "bidules" en (2). Une variable peut être remplacée par n'importe quoi, sous conditions mais on n'a pas le temps pour ça donc je répète, une variable est un objet abstrait qu'on peut remplacer par n'importe quel objet concret.
C'est le premier degré d'abstraction.
On appelle cette logique la logique "des prédicats" ou, si vous préférez, des objets. Et chez les psychopathes comme moi, on appelle ça "l'ontologie". La bonne nouvelle c'est que ce n'est pas le degré d'abstraction dont je veux vous parler.
Nous, on va abstraire encore plus.
Yup.
Vous avez dû remarquer qu'on a à chaque fois trois "phrases". C'est normal, c'est un syllogisme (fais chauffer ta recherche Google). On pourrait obtenir la même chose en une phrase :
2e) "Un truc et bidule, et un bidule est non-truc, donc..."
Alors on va arrêter de parler de phrase et parler à la place de "proposition". Qu'est-ce qu'une "proposition" ? C'est l'unité minimale à partir de laquelle on peut dire si c'est vrai ou faux. Ou, pour dire la même chose avec d'autres mots : si tu peux dire si c'est vrai ou faux, c'est une proposition.
3a) "Un chat."3b) "C'était quoi ?" - "Un chat."3c) "Un chat est mignon."
L'exemple (3a) n'est pas une proposition. On nous a juste posé un objet, et l'objet lui-même bah... qu'est-ce que tu veux en dire ? Par contre, si tu mets du contexte comme en (3b), là on peut estimer si c'est vrai ou faux. C'est simple, si c'était bien un chat qui a, je sais pas, fait grincer la porte, alors "un chat" est vrai. Et bien sûr, (3c) est un cas typique de proposition. Soit le chat est mignon, soit il ne l'est pas, c'est... vrai ou faux.
Faites semblant d'être d'accord, s'il vous plait, sinon on y est encore dans deux semaines.
Il y a donc le niveau de l'objet (logique des prédicats) et le niveau de la proposition (logique des... propositions). Et nous on va travailler au niveau de la proposition. Donc au niveau des propositions, le problème qu'on se posait en (2) s'écrit ainsi :
2e) "P1 ; >( P1 P2 ) ; P2"
Ouf ! C'est toujours incompréhensible pour vous mais eh, avouez que c'est beaucoup plus lisible qu'avant ! Non je déconne je triche, j'ai simplifié le langage. En vérité c'est :
2f) [p1p2][ >( ^( p1 >( p1 p2) ) p2 ) ]
Mais eh, c'est toujours plus court que (2a) alors avouez qu'on y gagne. Ce n'est pas pour rien que je veux travailler au niveau des propositions : c'est beaucoup plus simple. Et pour ceux qui n'ont toujours pas compris ce qu'est une "proposition", dites-vous que c'est l'équivalent d'une phrase et continuez de hocher la tête bien gentiment. Pour les autres, on continue.
C'était le second niveau d'abstraction.
****
On va donc travailler avec un langage formel. Celui-ci est composé de :- variables- connecteursLes "variables" on a déjà vu ce que c'était. C'est un terme abstrait qu'on peut remplacer par n'importe quoi. Les "connecteurs" sont des manières d'agir sur nos variables. Un peu comme en maths' on a "+", "%" et autres exposants. En logique on a nos propres symboles pour agir sur les nombr- les variables.
Commençons par les variables.
4) p
En logique classique, l'exemple (4) nous donne une variable "p". Le problème de la logique classique est qu'elle introduit des variables libres ou liées en plus des constantes à côté et c'est un véritable sac de noeuds. C'est pour ça qu'on va adopter un autre langage logique qui, lui, exige de toujours déclarer une variable :
4a) [p][ p ]4b) "Pour tout p, p."
Je vous ai mis en (4b) comment (4a) se lit. Les crochets "[ ]" sont appelés des "quantificateurs". C'est le "pour tout". On note dans les crochets de gauche toutes nos variables et, dans les crochets de droite, on écrit la formule logique elle-même.
Pourquoi est-ce que je vais nous obliger à mettre des crochets partout ? Parce que je suis un sadique très méchant. Mais aussi parce que lesdits crochets transforment "p", qui comme dit n'est qu'un objet, donc sans valeur de vérité, en proposition. "P" n'est pas une proposition, mais "[p][ p ]" en est une. Un quantificateur dit que s'il y a la moindre chance, même infime, que la formule à l'intérieur soit fausse, alors la proposition est fausse.
En l'occurrence, [p][ p ] est faux.
On a dit qu'on pouvait remplacer une variable par n'importe quoi. Donc je pourrais remplacer "p" par une proposition fausse. Cela signifie que le contenu de [p][ p ] peut être faux, donc l'ensemble est toujours faux. On vient de définir le "faux". Yup.
Vous voulez qu'on définisse le vrai ?
5) [p][ ≡( p p ) ]5a) "Pour tout p, p équivaut à p."
Ceci est une vérité absolue. Vous pouvez remplacer "p" par ce que bon vous chante, ce sera toujours vrai. Et ça c'est possible parce qu'on a un connecteur, en l'occurrence "≡( - - )".
Donc continuons par les connecteurs.
Si on n'avait que des variables, on serait bloqué pour toujours à [p][ p ]. Heureusement, on peut agir sur nos variables. On va se donner une série d'outils pour ça :- ~(-)- ^( - - )- >( - - )Eeeeeet je pense que ça suffira pour le moment.
"~(-)" représente la "négation". Je fais un abus de langage en l'appelant un "connecteur" vu qu'il ne porte que sur une seule variable, mais on ne va pas commencer avec la manière dont on appelle les choses. La négation dit exactement ça : "il est faux que..." Donc si j'écris :
6) ~([p][ p ])
Cette proposition (6) sera toujours vraie. Facile. On a dit que [p][ p ] était toujours faux, si c'est faux que c'est faux alors c'est vrai... la négation inverse la valeur de la proposition qu'elle contient. À noter que :
7) [p][ ~(p) ]
Est toujours toujours faux. Bah oui, "p" pourrait être une proposition vraie. Du coup le quantificateur contiendrait toujours une proposition fausse, etc... Je sais que là vous lisez tout ça et c'est du chinois pour vous, et vous vous dites que je complique inutilement mais en fait cette histoire de quantificateurs simplifie tellement, mais tellement les choses... vous avez pas idée.
"^( - - )" représente la "conjonction", ou le "et" si vous préférez. Il n'est vrai que si les deux propositions à l'intérieur sont vraies. Je veux écrire "Paul est là et Pierre est parti" ? Facile :
8) [pq][ ^( p q ) ]8a) "Pour tout p q, p et q."
Vous remplacez "p" par "Paul est là" et "q" par "Paul est parti" et voilà ! Notez aussi que la proposition (8) est fausse, pour les mêmes raisons qu'en (4) ou (7).
Bien sûr, si on a un "et", on a un "ou". On en a deux en fait, "v( - - )" et "w( - - )". Le premier dit que l'une des deux propositions est vraie, et l'autre fausse. Le second dit qu'au moins une des deux propositions est vraie, mais les deux peuvent l'être en même temps. Personnellement je n'utilise jamais ces connecteurs et on ne les verra plus ici, mais ils existent. En fait, il y a des tonnes de connecteurs qui existent et dont on ne parlera pas, vous avez pas idée là non plus. Bref.
">( - - )" est le dieu sacré ô divinité toute-puissante de la création des connecteurs logiques.
Il s'agit de "l'implication", le "si... alors..." ou comme moi je préfère l'appeler, "l'hypothèse". Elle dit en gros que si la proposition à gauche est vraie, alors la proposition de droite l'est aussi. Dans ">( p q )" (merci de rajouter les quantificateurs), "p" implique "q", donc si "p" est vrai alors "q" l'est aussi. Ce connecteur nous permet de déduire, donc, de raisonner. Quand je vous disais que ce truc fait le café.
Il y a ENCORE plus puissant que l'implication, c'est "l'équivalence", ou "≡( - - )", mais là c'est juste trop puissant pour nous. Ce symbole, qui dit que chaque proposition implique l'autre, permet... de définir nos propres connecteurs.
Juste... juste.
Juste.
Non, juste, laissez parler le fanboy en moi, ce truc est génial ! Vous vous rappelez en (4), on disait que [p][ p ] équivalait au "faux" ? Buck that, on va le définir !
4c) ≡( F [p][ p ])
Je viens de créer le connecteur "F", qui ne porte sur aucune variable/proposition, donc oui c'est une constante. Et à qui équivaut ce connecteur ? Au faux ! La même chose pour le vrai ? Reprenez (5), créez la constante T, et paf. L'équivalence ça fait le café.
L'implication, à côté, c'est une petite joueuse. Elle vous permet juste de raisonner. Pfff...
****
Reprenons. Parce que je sais que vous êtes cooooomplètement perdus.
Un logicien abstrait le texte à l'aide d'un langage "formel" composé de variables et de propositions. Les variables sont des termes abstraits à l'intérieur de quantificateurs kifonpeur et les connecteurs sont des moyens d'agir sur les variables. Notamment on va utiliser la négation, la conjonction et l'implication.
Okay ?
Okay.
En logique classique, un raisonnement est une suite de propositions les unes après les autres, chacune découlant des précédentes. On commence par poser des "prémisses", c'est-à-dire nos propositions de départ, qu'on suppose vraies, et à partir de là on applique des règles pour obtenir les propositions qu'on veut.
1  | p             Prémisse2  | >( p q )    Prémisse3  |----------4  | q             1,2, >e
C'est là où on va voir si l'éditeur de texte d'MLP Fictions conserve la mise en page, sinon mes excuses par avance.
Ce que vous voyez est un raisonnement logique, en 4 lignes. Les lignes 1 et 2 vous donnent les prémisses. C'est pour ça qu'il y a écrit "prémisse" à droite. Et qu'à gauche il y a le numéro de la ligne. Ça aide à s'y retrouver. Vous aurez reconnu bien sûr nos propositions (sans quantificateur) au centre... et... et y a... cette bizarre de ligne, là... c'est quoi ce truc ?
En logique classique, le raisonnement prend place dans un "espace de raisonnement", représenté ici par cette bizarre de ligne verticale. La ligne 3 est esthétique, elle sépare les prémisses du raisonnement lui-même, genre la ligne 4 qui nous dit que : "des lignes 1 et 2, on peut appliquer la règle d'élimination de l'implication". Cette règle dit, justement que si on a "p" et ">( p q )", on peut écrire "q". C'est... exactement ce qu'on a fait.
Woohoo pour nous.
Mais revenons à l'espace de raisonnement. C'est quoi ce truc ? Eh bien... c'est une hypothèse. Pour preuve :
1 | | p                       HYP2 | |---3 | | | >( p q )            HYP4 | | |----------5 | | | p                     1, rep>6 | | | q                     3,5, >e7 | | >( >( p q ) q )     3-6, >i
En ligne 1 on a créé une hypothèse (c'est le gros "HYP" à droite), et pour ça on a rajouté une bizarre de ligne. Idem en ligne 3, ça en fait des bizarres de lignes. C'est normal, à chaque fois on a dit "à droite de cette ligne, telle proposition est considérée vraie". Ce sont des espaces de raisonnement dans lesquelles ladite proposition est considérée... vraie. L'hypothèse nous permet ainsi d'introduire nos propres propositions au sein d'un raisonnement (inférence, quelqu'un ?) sans causer de contradiction : si notre proposition est fausse, elle ne causera des problèmes qu'au sein de son espace de raisonnement.
Nous, on va se passer des bizarres de lignes. Tout simplement parce qu'elles sont équivalentes à l'implication :
1 [p][ >( p p ) ]...3 [pq][ >( p >( >( p q ) >( p q ) ) ) ]...5 [pq][ >( p >( >( p q ) p ) ) ]6 [pq][ >( p >( >( p q ) q ) ) ]7 [pq][ >( p >( >( p q ) q ) ) ]
Eeeeyup. Vous pouvez vérifier (non vous ne pouvez pas, sauf si vous êtes logicien) mais chaque ligne de ce raisonnement est vraie. Rappelez-vous (5) : [p][ ≡( p p ) ]. On a dit que ça, c'était la définition du vrai (c'est toujours vrai). Eh bien si l'un implique l'autre, alors (5) équivaut à deux [p][ >( p p ) ]. Ce qui signifie que notre ligne 1 est toujours vraie. Et à la ligne 3, qu'est-ce qu'on a fait ? Exactement la même chose, sauf qu'à la place de "p" on a mis ">( p q )".
Voilà comment on raisonne en "protothétique", ou logique des propositions.
Mais bref.
****
Question.
À quoi tout ça a servi ?
Je viens de vous résumer, en un article plutôt long, les bases de la "protothétique", ou logique des propositions. Je vous ai donné des variables, quelques connecteurs et... je ne vous ai même pas dit comment la moitié fonctionnaient. Je ne vous ai pas donné les règle et je ne vous ai pas dit comment calculer les valeurs de vérité (car si, il existe un moyen de le faire précisément). Je ne vous ai même pas dit comment passer d'un quantificateur universel à un quantificateur particulier... parce qu'on s'en fout.
Ça, là, ce langage barbare et toutes ces règles : c'est la logique. Formelle. Ce n'est qu'un seul système logique parmi tous ceux qui existent mais c'est ça, la logique.
La logique consiste à abstraire un problème, à le réduire à des termes abstraits pour en observer le raisonnement. Vous pouvez réduire un texte entier à ses propositions -- et si vous êtes un gros malade, à ses prédicats -- et vous obtiendrez alors la logique du texte, c'est-à-dire la manière dont le texte "raisonne".
9) "Twilight se rendit chez la princesse Luna. Elle frappa à la porte mais personne ne lui répondit. Un bruit vers la fenêtre attira son attention. La princesse de la nuit s'introduisit en silence et lui fit signe de ne pas faire de bruit."
On abstrait, ça doit donner quelque chose comme :
9a) [pqrstu][ >( p >( MAIS( q r ) > ( s >( ^( t u ) ) ) ) ]
J'ai inventé le connecteur ad hoc "MAIS", qui peut être défini (si si), et on a désormais ici la structure du texte. Vous voyez maintenant pourquoi je parlais de causalité ? Alors bien sûr, c'est une représentation plutôt simpliste et franchement imprécise du texte. La "vraie" représentation serait illisible mais tout ça pour dire que oui, le texte a une logique. Celle-là.
On va donc enfin pouvoir parler de cohérence.
Un texte incohérent n'est pas un texte qui défie notre conception du monde, genre :
10) "Twilight chuta de mille mètres. Elle frappa durement le sol puis se releva, un peu secouée."
ELLE VIENT DE TOMBER DE MILLE M- punaise... Okay ici le texte est invraisemblable mais il est cohérent. Il n'a dit nulle part qu'une chute de mille mètres était mortelle. Il a juste dit que Twilight a chuté de mille mètres. [p][ >( p >( q q ) ) ], si on a "p" on a "q", le texte vous dit que si le personnage tombe de mille mètres il est secoué. C'est la logique du texte, ta gueule.
Un texte incohérent est un texte qui contredit sa propre logique :
11) "Twilight se rendit chez la princesse Luna. La princesse n'était pas là. Luna l'accueillit et la fit entrer poliment."
Mais... mais on vient de dire que la princesse n'était pas là ! Elle tombe d'où ?! Tu peux faire comme tu veux, le texte ici se contredit, il est donc incohérent. Alors bien sûr ici c'est assez évident (et encore, il y en aura pour me trouver une explication... il y a toujours moyen de...) mais les incohérences peuvent être bien plus subtiles. Elles peuvent notamment porter sur les attentes du texte, sur le comportement des personnages, sur la manière de résoudre une difficulté... il y a un contrat de lecture entre le lecteur et l'auteur, une série de règles là aussi que le texte ne doit pas contredire.
Cela dit, ces cas plus "subtils" portent sur l'interprétation du texte. Les attentes, la perception des personnages, le contrat de lecture... tout ça dépend aussi du lecteur, des inférences qu'il fait. Pour être vraiment rigoureux, il faut s'en tenir au texte -- et, si vraiment, démontrer que le texte cherche à produire ces interprétations.
Parce que si on dit qu'un texte est incohérent à cause d'une inférence que nous, lecteurs, on a faites, malgré le texte, alors on n'est plus en train de parler de la logique du texte : on est en train de parler de notre logique à nous.
C'est la différence entre une critique "subjective" et une critique "objective". Dire comment on a perçu le texte, ou tenter de dire ce que le texte a voulu nous faire percevoir -- et s'il a réussi.
Donc quand vous commentez...
S'il vous plait...
Faites preuve d'esprit critique.

Nouveau message privé