Hello!

Inspiré(e) de prendre part à la discussion ? Ou de poser une question ou demander de l’aide ?

Alors bienvenues dans les grands sujets des forums de La Bulle : m’inscrire.

Cette partie du forum n’est pas compatible avec les bloqueurs publicitaires

Félicitations à vous, de préférer les accès payants plutôt que la gratuité par la publicité, c’est honnorable et cohérent de votre part. Malheureusement, l’accès payant par micropaiement (qui serait d’environ 1 cent pour 20 pages consultées) n’est pour l’instant pas encore mis en place, et l’accès gratuit sans publicité, est réservé aux membres actif(ve)s du forum. En attendant, si vous souhaitez poursuivre votre visite chez nous, vous pouvez ajouter le site à votre liste blanche, ou encore mieux, désactiver le bloqueur partout. Pour ajouter le site à votre liste blanche, pour Firefox (similaire pour les autres navigateurs), rendez‑vous en bas à gauche de la fenêtre de votre navigateur, et cliquez sur le menu comme dans l’exemple de l’image ci‑dessous, puis rechargez la page, en appuyant sur F5.

Les logiques : notes en vrac
Auteur Message
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 18835
Ven 8 Mai 2020 22:44
Message Re: Les logiques : notes en vrac
Le document dans lequel en 1956, Noam Chomsky a commencé à définir les catégories de grammaires qui sont encore utilisées de nos jours en logiques, linguistique, psychologie et « acquisition » d’une langue : Three models for the description of languages (chomsky.info) [PDF], Noam Chomsky, Septembre 1956.

Le vocabulaire n’est pas encore exactement celui qui a été finalisé plus tard, il ne parle pas encore de grammaires génératives, mais déjà de grammaires transformationnelles. Il n’y parle pas encore non‑plus de la hiérarchie regularcontext‑freecontext‑sensitiveunrestricted.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 18835
Ven 8 Mai 2020 23:42
Message Re: Les logiques : notes en vrac
Avant de se préoccuper des propriétés d’une grammaire ou d’une logique, il faut se préoccuper de son expressivité, tester ce qu’il est possible de représenter avec et avec quelles facilité et difficulté ; ensuite, si ça semble prometteur, on peut se poser la question de la démontrabilité des propriétés escomptées.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 18835
Ven 15 Mai 2020 19:05
Message Re: Les logiques : notes en vrac
Le vrai implique la validité, la validité est une prémisse implicite du
vrai.

Ça peut sembler sans intérêt de le souligner, pourtant ça signifie que du vrai ont peut dériver le validité, et pouvoir dériver quelque chose, ça peut permettre de démontrer quelque chose.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
cron