Esta monografía presenta, por vez primera en el campo internacional, una mirada sintética sobre el amplísimo espectro de las matemáticas contemporáneas, junto con un análisis de los nuevos problemas filosóficos que allí se originan. La contaminación de todas las subdisciplinas matemáticas entre sí, la dinámica de los conglomerados de estructuras, la geometrización, fluxión y reflexión del pensamiento matemático contemporáneo —ejemplificadas en la figura señera de Grothendieck, protagonista principal de la monografía— se entrelazan en lo profundo con temáticas filosóficas usualmente desapercibidas: transitoriedad ontológica, hacificación epistemológica, fenomenología de la creatividad matemática. La primera parte del texto discute la especificidad de las matemáticas modernas (1830-1950) y contemporáneas (de 1950 a hoy) y realiza un extenso recorrido bibliográfico sobre la aparición (o ausencia) de las matemáticas avanzadas dentro de los tratados de filosofía matemática. La segunda parte, a través de trece detallados estudios de caso sobre creadores mayores en el área, elabora un mapa de algunos avances centrales logrados en la matemática del último medio siglo. La tercera parte propone esbozos genéricos de síntesis que se elevan sobre los ejemplos concretos revisados en la segunda parte. Este libro sirve de introducción conceptual a temas matemáticos rara vez mencionados por fuera de círculos de especialistas y de urdimbre crítica para que la matemática actual ayude a configurar nuevas perspectivas culturales. Si la filosofía analítica se fraguó a partir de la teoría de conjuntos y la lógica clásica a comienzos del siglo XX, es hora de que una complementaria filosofía sintética se construya sobre la teoría de categorías y la lógica de los haces a comienzos del siglo XXI.

A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest. A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest, this book gives the inquisitive non-specialist an insight into the conceptual transformations and intellectual orientations of modern and contemporary mathematics. The predominant analytic approach, with its focus on the formal, the elementary and the foundational, has effectively divorced philosophy from the real practice of mathematics and the profound conceptual shifts in the discipline over the last century. The first part discusses the specificity of modern (1830–1950) and contemporary (1950 to the present) mathematics, and reviews the failure of mainstream philosophy of mathematics to address this specificity. Building on the work of the few exceptional thinkers to have engaged with the “real mathematics” of their era (including Lautman, Deleuze, Badiou, de Lorenzo and Châtelet), Zalamea challenges philosophy's self-imposed ignorance of the “making of mathematics.” In the second part, thirteen detailed case studies examine the greatest creators in the field, mapping the central advances accomplished in mathematics over the last half-century, exploring in vivid detail the characteristic creative gestures of modern master Grothendieck and contemporary creators including Lawvere, Shelah, Connes, and Freyd. Drawing on these concrete examples, and oriented by a unique philosophical constellation (Peirce, Lautman, Merleau-Ponty), in the third part Zalamea sets out the program for a sophisticated new epistemology, one that will avail itself of the powerful conceptual instruments forged by the mathematical mind, but which have until now remained largely neglected by philosophers.

This book presents a deep spectrum of musical, mathematical, physical, and philosophical perspectives that have emerged in this field at the intersection of music and mathematics. In particular the contributed chapters introduce advanced techniques and concepts from modern mathematics and physics, deriving from successes in domains such as Topos theory and physical string theory. The authors include many of the leading researchers in this domain, and the book will be of value to researchers working in computational music, particularly in the areas of counterpoint, gesture, and Topos theory.

This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline, which can be succinctly called cognitive metamathematics, with the ultimate goal of achieving a global instance of concrete Artificial Mathematical Intelligence (AMI). In other words, AMI looks for the construction of an (ideal) global artificial agent being able to (co-)solve interactively formal problems with a conceptual mathematical description in a human-style way. It first gives formal guidelines from the philosophical, logical, meta-mathematical, cognitive, and computational points of view supporting the formal existence of such a global AMI framework, examining how much of current mathematics can be completely generated by an interactive computer program and how close we are to constructing a machine that would be able to simulate the way a modern working mathematician handles solvable mathematical conjectures from a conceptual point of view. The thesis that it is possible to meta-model the intellectual job of a working mathematician is heuristically supported by the computational theory of mind, which posits that the mind is in fact a computational system, and by the meta-fact that genuine mathematical proofs are, in principle, algorithmically verifiable, at least theoretically. The introduction to this volume provides then the grounding multifaceted principles of cognitive metamathematics, and, at the same time gives an overview of some of the most outstanding results in this direction, keeping in mind that the main focus is human-style proofs, and not simply formal verification. The first part of the book presents the new cognitive foundations of mathematics’ program dealing with the construction of formal refinements of seminal (meta-)mathematical notions and facts. The second develops positions and formalizations of a global taxonomy of classic and new cognitive abilities, and computational tools allowing for calculation of formal conceptual blends are described. In particular, a new cognitive characterization of the Church-Turing Thesis is presented. In the last part, classic and new results concerning the co-generation of a vast amount of old and new mathematical concepts and the key parts of several standard proofs in Hilbert-style deductive systems are shown as well, filling explicitly a well-known gap in the mechanization of mathematics concerning artificial conceptual generation.

Contents Bryan G. Norton: Leopold, Hadley, and Darwin: Darwinian Epistemology, Truth, and Right Wouter de Been and Sanne Taekema: What Piece of Work is Man? Frans de Waal and Pragmatist Naturalism Nicholas Rescher: The Pragmatics of Betterment Claudio Marcelo Viale: Royce and Bernstein on Evil Barry Allen: Postmodern Pragmatism and Skeptical Hermeneutics: Richard Rorty and Odo Marquard Seth Vannatta: The Logic of Relevance in Independent School Education: A Pragmatic Critique Andrew F. Smith: Talisse¿s Epistemic Justification of Democracy Reconsidered Giovanni Maddalena: A Synthetic Pattern: Figural and Narrative Identity Review essay Mary Magada-Ward Engaging with Philosophy¿s ¿Limit-Defying Provocateur¿: A Review of Shusterman¿s Pragmatism: Between Literature and Somaesthetics