Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier.
Tipo de material:
TextoSeries Studies in Universal LogicEditor: Cham : Springer International Publishing : Imprint: Birkhäuser, 2015Descripción: xi, 184 páginas : 9 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319220871
- QA8.9-10.3
Contenidos:
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.