Towards an Arithmetical Logic: The Arithmetical Foundations of Logic

By Yvon Gauthier

Foreword.- 1.Introduction.- 2.Arithmetization of Analysis and Algebra.- 3.Arithmetization of Logic.- 4.Kronecker's Foundational Programme in Contemporary Mathematics.- 5.Arithmetical Foundations for Physical Theories.- 6.The Internal Logic of Constructive Mathematics.- 7.The Internal Consistency of Arithmetic with Infinite Descent. A Syntactical Proof.- 8 Conclusion. Arithmetism versus Logicism or Kronecker contra Frege.- References.

• Format: Paperback
• Language: English
• ISBN: 3319220861
• ISBN13: 9783319220864
• Release Date: September 2015
• Publisher: Birkhauser
• Length: 184 Pages
• Weight: 0.71 lbs.
• Dimensions: 0.4" x 6.7" x 9.6"