Discussion utilisateur:Παίδεια

Mieux comprendre Wikipédia

Devenir rédacteur

Vos pages

Rejoindre la communauté

Bienvenue sur Wikipédia, Παίδεια !

Bonjour, je suis Julien1978, wikipédien bénévole.

Wikipédia est une formidable aventure collective, toujours en construction. La version francophone comporte aujourd'hui 2 619 197 articles, rédigés et maintenus par des bénévoles comme vous et moi. Vous allez y effectuer vos premiers pas : n’hésitez pas à me contacter si vous avez besoin de conseils ou d'aide pour cela, ou à laisser un message sur le forum des nouveaux.

Wikipédia repose sur des principes fondateurs respectés par tous :

encyclopédisme et vérifiabilité (s'appuyer sur des sources reconnues),
neutralité de point de vue (pas de promotion),
licence libre et respect des droits d'auteurs (pas de copie ou plagiat),
savoir-vivre (politesse et consensus),
n'hésitez pas à modifier (l'historique conserve tout).

Vous êtes invité à découvrir tout cela plus en détail en consultant les liens ci-contre →

Un livret d'aide à télécharger, reprenant l’essentiel à savoir, est également à votre disposition.

Je vous souhaite de prendre plaisir à lire ou à contribuer à Wikipédia.

À bientôt !

P.S. Vos nouveaux messages seront affichés en bas de cette page et signés par leur expéditeur. Pour lui répondre, cliquez sur sa signature (aide).
Julien1978 14 juin 2014 à 07:54 (CEST)[répondre]

Théorie des fonctions de vérités[modifier le code]

Tout d'abord, je constate que vous êtes un nouveau contributeur de Wikipédia, je m'en réjouis et je vous souhaite la bienvenue. N'hésitez pas à me poser des questions sur ma page de discussion si vous en avez. N'hésitez pas non plus à intervenir sur les pages de discussion des articles, si vous pensez faire une modification qui n'est pas anodine, comme modifier l'introduction d'un article. D'autre part, vous pouvez aussi vous présenter comme membre participant du projet logique. D'autre part il existe un portail logique qui n'est pas très actif, mais que vous pouvez le réactiver.

Enfin, j'ai une question sur l'article Calcul des propositions. D'où viennent les deux terminologies : calcul des énoncés et théorie des fonctions de vérité? J'ai surtout des doutes sur la deuxième terminologie, car la prmière semble correspondre à l'anglais sentential calculus. --Pierre de Lyon (discuter) 15 septembre 2015 à 13:57 (CEST) --Παίδεια (discuter) 16 septembre 2015 à 01:25 (CEST)[répondre]

Réponse à Théorie des fonctions de vérités --Παίδεια (discuter) 16 septembre 2015 à 01:25 (CEST)[répondre]

Bonjour et merci pour votre accueil : je dois être le stéréotype du nouveau qui entre un peu maladroitement sur la scène, j'espère n'avoir pas causé trop de problèmes..

A vrai dire je ne peux pas vous confirmer avec exactitude ces terminologies : la première m'a été suggérée par la lecture de l'introduction à la logique de F. Rivenc, mais il est difficile de trouver une référence solide pour la justifier (Rivenc lui-même ne fait pas explicitement le lien avec le calcul propositionnel). On trouve cette allusion [1] avec la référence à un séminaire de l'ENS de 2010 (JMV 22062010 ENS, L56) que je ne sais trop comment vérifier et dont la distinction avancée (concept/proposition) n'est pas claire : je pensais l'explorer un peu mieux avant de pouvoir la confirmer, mais il me semble maintenant que j'ai été un peu pressé de publier.

J'ai trouvée la seconde en lisant cet article [2]. Il est vrai que c'est une étymologie rare, peut-être désuète, mais on en trouve quelques occurrences sur le web qui semblent correspondre, et qui lui opposent la logique des prédicats comme "théorie de la quantification".

Je vous remercie de votre attention, et pour m'avoir signalé les pages de discussion dont j'ignorais l'existence.

--Παίδεια (discuter) 16 septembre 2015 à 01:25 (CEST)[répondre]

Ce qu'il y a de sympathique dans Wikipédia, c'est précisément ce sentiment d'entrer dans une communauté accueillante (je l'espère ). Vous noterez que j'ai conservé les références aux homonymies, mais plus loin dans l'article, car je ne pense pas qu'il faille commencer un article par des « subtilités » de terminologie. Les premières phrases doivent être courtes et claires. Quant à « théorie des fonctions de vérité », je propose un discussion sur la page de discussion de l'article.--Pierre de Lyon (discuter) 16 septembre 2015 à 10:01 (CEST)[répondre]