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 :
LEADER 01721cam a2200421 4500
001 PPN165260025
003 http://www.sudoc.fr/165260025
005 20240320154100.0
010 |a 978-0-19-969564-5  |b rel. 
020 |a US  |b 2011276768 
035 |a (OCoLC)795441297 
073 0 |a 9780199695645 
100 |a 20121108d2011 k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a GB 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Frege's theorem  |f Richard G. Heck, Jr 
210 |a Oxford  |a New York  |c Clarendon Press  |d 2011 
215 |a 1 vol. (xiv-307 p.)  |d 24 cm 
320 |a Bibliogr. p. [297-305]. Index 
327 1 |a 1. Frege's theorem: an overview  |a 2. The development of arithmetic in Frege's Grundgesetze der arithmetik  |a 3. Die Grundlagen der arithmetik [sec.]82-83  |a 4. Frege's principle  |a 5. Julius Caesar and basic law V  |a 6. The Julius Caesar objection  |a 7. Cardinality, counting, and equinumerosity  |a 8. Syntactic reductionism  |a 9. The existence (and non-existence) of abstract objects  |a 10. On the consistency of second-order contextual definitions  |a 11. Finitude and Hume's principle  |a 12. A logic for Frege's theorem 
600 1 |3 PPN026874229  |a Frege  |b Gottlob  |f 1848-1925  |2 rameau 
606 |3 PPN027257878  |a Mathématiques  |x Philosophie  |2 rameau 
676 |a 513.01  |v 22 
680 |a B3245.F154  |b H43 2011 
700 1 |3 PPN086017535  |a Heck  |b Richard G.  |4 070 
801 3 |a FR  |b Abes  |c 20220709  |g AFNOR 
801 0 |b BTCTA  |g AACR2 
801 2 |b DLC  |g AACR2 
979 |a PHILO 
930 |5 441092107:504354639  |b 441092107  |j s 
998 |a 669811