Discussion catégorie:Logique
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Distinction peu claire modifier
Quelle différence fait-on entre "logique" et "logique mathématique" ? Je suis en train de m'occuper de la partie "Informatique théorique", et notemment des "Langages Formels", et j'aimerais savoir ce qui doit être lié. ("Langages formels" est une sous-catégorie de "Informatique théorique" ... mais aussi de la logique, mais laquelle ??? La logique est aussi partie intégrante de l'informatique théorique, mais est-ce juste la "Logique mathématique" ? Quelle logique n'est pas mathématique ???)
--Aldoo 9 jul 2004 à 13:35 (CEST)
- Cette catégorie est très bizarre en effet, je suis d'accord pour : mettre tous les articles de logiques mathématiques ici et redirigé la catégorie logique mathématiques vers logique. Visiblement la logique, ici, est pris au sens philosophique du terme et dans logique mathématique au sens formel, mais je ne sais pas si l'on peut faire le distingo entre les deux Epommate 28 avr 2005 à 19:19 (CEST)
Image modifier
J'enlève l'image du penseur de rodin. La légende est bizarre et le lien direct avec la logique pas évident. Plus pragmatiquement je trouve qu'elle facilite pas la navigation dans la page. Si qqun veut vraiment la remettre pourquoi pas, mais je suis pas convaincu que ce soit essentiel... Cherry 2 avril 2006 à 15:55 (CEST)