couverture

Logique symbolique

Verley, Xavier

  • Éditeur : Ellipses
  • Collection : Philo
  • ISBN 9782729869571
  • Paru le 1 février 2000
  • 24,50 $ *
  • Philosophie

* Les prix de nos produits sont sujets à changements sans préavis.

Résumé

Cet ouvrage essaie de montrer comment la construction des langues symboliques L0 et L1 permet d'appliquer le calcul des propositions de la langue. La calcul n'est pas une simple technique permettant d'utiliser des symboles comme le ferait une machine mais il provient d'une pensée symbolique ou aveugle qui vise à définir et à déduire quand il ne peut y avoir d'intuition ou de vision.