|
|
|
|
LEADER |
03355nmm a2200433 u 4500 |
001 |
EB002013365 |
003 |
EBX01000000000000001176264 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
220411 ||| eng |
020 |
|
|
|a 9783030847067
|
100 |
1 |
|
|a Oliveri, Gianluigi
|e [editor]
|
245 |
0 |
0 |
|a Objects, Structures, and Logics
|h Elektronische Ressource
|b FilMat Studies in the Philosophy of Mathematics
|c edited by Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo
|
250 |
|
|
|a 1st ed. 2022
|
260 |
|
|
|a Cham
|b Springer International Publishing
|c 2022, 2022
|
300 |
|
|
|a X, 363 p. 1 illus
|b online resource
|
505 |
0 |
|
|a 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.)
|
653 |
|
|
|a Humanities and Social Sciences
|
653 |
|
|
|a Physical Sciences
|
653 |
|
|
|a Humanities
|
653 |
|
|
|a Science
|
653 |
|
|
|a Life sciences
|
653 |
|
|
|a Mathematical logic
|
653 |
|
|
|a Social sciences
|
653 |
|
|
|a Life Sciences
|
653 |
|
|
|a Science / Philosophy
|
653 |
|
|
|a Mathematical Logic and Foundations
|
653 |
|
|
|a Mathematics
|
653 |
|
|
|a Mathematics and Computing
|
653 |
|
|
|a Philosophy of Science
|
700 |
1 |
|
|a Ternullo, Claudio
|e [editor]
|
700 |
1 |
|
|a Boscolo, Stefano
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Boston Studies in the Philosophy and History of Science
|
028 |
5 |
0 |
|a 10.1007/978-3-030-84706-7
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-84706-7?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 501
|
520 |
|
|
|a This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice. A distinguishing feature of the book is the multicultural nature of the community that has produced it. Philosophers, logicians, and mathematicians have all contributed high-quality articles which will prove valuable to researchers and students alike
|