Objects, Structures, and Logics

Objects, Structures, and Logics

FilMat Studies in the Philosophy of Mathematics

Boscolo, Stefano; Ternullo, Claudio; Oliveri, Gianluigi

Springer Nature Switzerland AG

03/2022

363

Dura

Inglês

9783030847050

15 a 20 dias

729

Descrição não disponível.
1. Introduction.- Part 1. Mathematical Objects.- 2. Aristotle's Problem (Zanetti, L).- 3.Hofweber's Nominalist Naturalism (Snyder, E., Samuels, R., Shapiro, S).- 4. Exploring Mathematical Objects from Custom-Tailored Mathematical Universes (Blechschmidt, I.).- 5. Rescuing Implicit Definition from Abstractionism (Waxman, D.).- Part 2. Structures and Structuralisms.- 6. Structural Relativity and Informal Rigour (Barton, N.).- 7. Ontological Dependence and Grounding for a Weak Mathematical Structuralism (Bianchi, S.).- 8. The Structuralist Mathematical Style: Bourbaki as a Case Study (Marquis, J.-P.).- 9. Grothendieck Toposes as Unifying Bridges: a Mathematical Morphogenesis (Caramello, O.).- Part 3. Logics and Proofs.- 10. Game of Grounds (Catta, D., Piccolomini D'Aragona, A.).- 11. Predicativity and Constructive Mathematics (Crosilla, L.).- 12. Truth and the Philosophy of Mathematics (Cantini, A.).- 13. On Lakatos's Decomposition of the Notion of Proof (Moriconi, E.).- 14. A CategoricalReading of the Numerical Existence Property in Constructive Foundations (Maschio, S.).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Mathematical Structuralism;Mathematical Objects;Logic and Metaphysics in the Philosophy of Mathematics;Mathematical Proof;Truth in Mathematics;Set theory vs. Category Theory as Foundations of Mathematics