OFFRE LISEUSES

Une liseuse achetée = une housse offerte* jusqu'au 21 juin

Foundations Without Foundationalism. A Case For Second-Order Logic

Par : Stewart Shapiro
Formats :
42,99 €
Expédié sous 127 jours
Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
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 21 octobre
      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.