Frege's theorem

Enregistré dans:
Détails bibliographiques
Auteur principal : Heck Richard G. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Frege's theorem / Richard G. Heck, Jr
Publié : Oxford, New York : Clarendon Press , 2011
Description matérielle : 1 vol. (xiv-307 p.)
Contenu : 1. Frege's theorem: an overview. 2. The development of arithmetic in Frege's Grundgesetze der arithmetik. 3. Die Grundlagen der arithmetik [sec.]82-83. 4. Frege's principle. 5. Julius Caesar and basic law V. 6. The Julius Caesar objection. 7. Cardinality, counting, and equinumerosity. 8. Syntactic reductionism. 9. The existence (and non-existence) of abstract objects. 10. On the consistency of second-order contextual definitions. 11. Finitude and Hume's principle. 12. A logic for Frege's theorem
Sujets :
Chargement en cours