Gottlob Frege: Une Introduction PDF, EPUB

Son argument principal contre cette vue, cependant, était simplement son propre travail dans lequel il a montré que les vérités sur la nature de la succession et de la séquence peuvent être prouvées purement à partir des axiomes de la logique.


ISBN: 1904987516.

Nom des pages: 195.

Télécharger Gottlob Frege: Une Introduction gratuitement. Livres disponibles dans ces formats pdf, epub, ebook, mobi.

Dire que F est instancié une fois, c’est dire qu’il y a un objet x qui instancie F, et que pour tous les objets y, ou y n’instancie pas F ou y est x. Sujet et prédicat (compris dans le sens logique) sont en effet des éléments de la pensée; ils sont au même niveau pour la connaissance. Les livres de logique contiennent des avertissements contre les erreurs logiques découlant de l’ambiguïté des expressions.

Il a donné des conférences dans toutes les branches des mathématiques (bien que ses publications mathématiques en dehors du domaine de la logique sont extrêmement rares) et aussi sur son propre système logique. Même sans utiliser d’ordinateur, une fois qu’un niveau raisonnable de compréhension est atteint, il devient plus facile de vérifier une conjecture propositionnelle par le globe oculaire et l’esprit que de vérifier une preuve supposée de la conjecture. Il n’est pas difficile de voir pourquoi sa notation n’a pas survécu, mais nous ne devrions pas laisser cela en aucune façon diminuer l’ampleur de son accomplissement. Ici nous avons le cas que la clause subordonnée par elle-même a une pensée complète comme sens (si nous la complétons par l’indication du lieu et du temps).