Discussion Portail:Logique/Archive 1

Un article de Wikipédia, l'encyclopédie libre.

Sommaire

[modifier] Plan

Quel plan doit on choisir pour ce portail ? Je suis favorable à une présentation telle que celle de cette version du portail, Pseudomoi propose ceci. Qu'en pensez vous ? Markadet∇∆∇∆ 27 juin 2006 à 20:25 (CEST)

Ce qui me dérange dans le projet de Pseudomoi c´est surtout la case "les sciences de la logique". Qu´est-ce que "les sciences de la logique"? Sinon je pencherais plutôt pour la solution de Markadet si il faut que je me décide.

Apierrot 27 juin 2006 à 20:30 (CEST)


[modifier] Photo

J´aimerais améliorer la présentation de ce portail: je voudrais intégrer des images (portrait de logicien, formules logiques etc.) qui pourrait m´aider? Ma photo de Russell se sent un peu seule. Apierrot 27 juin 2006 à 20:30 (CEST)

il faudrait sélectionner plusieurs images en GFDL ou domaine public, et faire un petit montage photo (comme sur le Portail:Musique). On pourrait peut être mettre aussi Image:Gottlob Frege.jpg, par exemple ? Une fois qu'on se sera décidé pour les photos, on pourra demander au projet Wikipédia:Atelier graphique de nous faire le montage photo :-) Markadet∇∆∇∆ 27 juin 2006 à 20:37 (CEST)

Une photo de Frege à côté du cher Russell serait bien. Mais il faudrait qu´elles aient la même taille. Apierrot 27 juin 2006 à 20:43 (CEST)

Pour mettre plusieurs image les unes à côtés des autres le plus pratique est d'en faire un montage photo je crois, comme sur le portail philo :

Image:PortalPhilosophen.jpg

ou le portail musique :

Image:Bandeau portail musique.jpg

Mais pour cela il faut d'abord choisir les images qu'on y mettra... Tu voulais mettre des "formules logiques", est ce que tu aurais un exemple d'image de ce type à proposer ? Markadet∇∆∇∆ 27 juin 2006 à 21:04 (CEST)

Je pencherais pour une image comme celle du portail de musique. Quant aux formules, je vais en chercher. Apierrot 27 juin 2006 à 21:07 (CEST)
J'ai enlevé l'image qui était dans l'en-tête, car elle n'est pas sous licence libre et nous ne pouvons l'utiliser sur ce portail. En attendant mieux j'ai mis une image de Leibniz, mais il faudra trouver trouver mieux. Markadet∇∆∇∆ 27 juin 2006 à 21:12 (CEST)
Je propose quelques images qu´on pourrait intégrer au bandeau de présentation. J´espère ne pas trouver des photos encore protégées.
  1. Signature de Leibniz (on trouve ca chez Google)
  2. Portrait d´Aristote, de Frege, de Boole, de Gödel et de Tarski.
  3. les axiomes suivants http://fr.wikipedia.org/wiki/Calcul_des_propositions#La_syntaxe_comme_th.C3.A9orie_de_la_d.C3.A9monstration
  4. les lois logiques suivantes: ¬∃ x F(x) ⇔ ∀ x ¬ F(x) ainsi que ∃ x ¬F(x) ⇔ ¬∀ x F(x)
  5. Ceci:

─┬┬┬─ A
  │ └┬ B
  └─┬┬ A
    └─ B | A est équivalent à B

Je met les images que tu as choisi ci-dessous (aucune photo de Boole ni de Tarski disponible) :

Aristote

Friedrich Ludwig Gottlob Frege
Kurt Gödel.jpg

Kurt Gödel
Je vais aller demander au projet Wikipédia:Atelier graphique si quelqu'un peut en faire quelque chose, avec les formules que tu as indiqué. Markadet∇∆∇∆ 15 juillet 2006 à 19:00 (CEST)
J'ai fait la demande ici. Attendons de voir ce que ça donne... Markadet∇∆∇∆ 15 juillet 2006 à 19:14 (CEST)
J'ai répondu sur la page de l'atelier graphique. Vous préférez qu'on discute ici ou là-bas? jmtrivial 15 juillet 2006 à 19:41 (CEST)
Ca ne me dérange pas qu'on continue là-bas. Comme ça si d'autres Wikigraphistes veulent donner leur avis ils pourront voir notre conversation. Markadet∇∆∇∆ 15 juillet 2006 à 20:12 (CEST)

[modifier] Modèles

ne faudrait-il pas créer des modèles "Portail de logique" qu´on pourrait placer à la fin des articles? Apierrot 27 juin 2006 à 21:01 (CEST)

J'ai fait Modèle:Logique (on peut encore changer la couleur ou la photo) Il suffira de taper {{Logique}} à la fin des articles et ça affichera ça :
Mais avant qu'on le mette sur les articles concernés, il faut que le portail soit quasi terminé, qu'il n'y ait plus de rubriques vides. Markadet∇∆∇∆ 27 juin 2006 à 21:09 (CEST)

[modifier] Pages de discussion

Le portail de logique comporte un certain nombre de sous-pages (par exemple "Histoire de la logique"). Est-ce qu´il ne serait pas possible que les discussions de ces différentes sous-pages soient toutes menées ici (sur la page de discussion principale) et qu´au début de chaque page de discussion des sous-pages on écrive par exemple "Mener toutes les discussions sur la page de discussion du Portail".

  1. Ceci éviterait que les discussions sur le portail partent dans tous les sens et
  2. cela permettrait aussi un accès plus rapide aux questions débattues.

Apierrot 29 juin 2006 à 17:33 (CEST)

Oui, aucun problème ; je suis d'accord ça parait logique. Markadet∇∆∇∆ 15 juillet 2006 à 18:13 (CEST)

[modifier] Question

L'article sur le QI (http://fr.wikipedia.org/wiki/Quotient_intellectuel) pourrait-t-il être inseré dans logique et mathématique ou préférérez-vous créer une autre rubrique?

lord141 2 juillet à 15:15 (CEST)

  • Je ne souhaite pas qu'il figure dans la logique mathématique. Pierre de Lyon 3 juillet 2006 à 12:13 (CEST)
  • Je suis du même avis. Cet article a même rien à voir avec la logique formelle en général et donc avec le portail.

--Apierrot 3 juillet 2006 à 14:52 (CEST)

[modifier] Couleur du portail

Le bandeau en haut (très bien d'ailleurs) est en orange alors que le reste du portail est basé sur une composante bleue. Ne serait-il pas judicieux de tout mettre en orange/tons chauds, ce serait mieux visuellement parlant :) Dake@ 16 juillet 2006 à 21:23 (CEST)

Je suis pour :) Markadet∇∆∇∆ 16 juillet 2006 à 21:27 (CEST)
Fait Dake@ 16 juillet 2006 à 22:47 (CEST)