SOLDES

Jusqu'à -70% sur une sélection d'articles*

Foundations Without Foundationalism. A Case For Second-Order Logic

Par : Stewart Shapiro
Formats :
42,99 €
Nous vous prions de nous excuser mais rencontrons momentanément des soucis d'approvisionnement. C’est le moment de vous laisser tenter par nos livres numériques et notre offre occasion.
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 12 novembre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages277
  • PrésentationBroché
  • Poids0.44 kg
  • Dimensions15,7 cm × 23,4 cm × 1,9 cm
  • ISBN0-19-825029-0
  • EAN9780198250296
  • Date de parution21/06/2000
  • Collectionoxford logic guides
  • ÉditeurOxford University Press

Résumé

Stewart Shapiro presents a distinctive and persuasive view of the foundations of mathematics, arguing controversially that second-order logic has a central role to play in laying these foundations. To support this contention, he first gives a detailed development of second-order and higher-order logic, in a way that will be accessible to graduate students. He then demonstrates that second-order notions are prevalent in mathematics as practised, and that higher-order logic is needed to codify many contemporary mathematical concepts. Throughout, he emphasizes philosophical and historical issues that the subject raises. Foundations without Foundationalism is a key contribution both to philosophy of mathematics and to mathematical logic.