Dewey Class |
501 |
Titel |
Objects, Structures, and Logics ( EBook) : FilMat Studies in the Philosophy of Mathematics / / edited by Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo. |
Added Personal Name |
Oliveri, Gianluigi |
Ternullo, Claudio |
Boscolo, Stefano |
Other name(s) |
SpringerLink (Online service) |
Edition statement |
1st ed. 2022. |
Veröffentl |
Cham : : Springer International Publishing : : Imprint: Springer, , 2022. |
Physical Details |
X, 363 p. 1 illus. : online resource. |
Reihe |
Boston Studies in the Philosophy and History of Science 2214-7942 ; ; 339 |
ISBN |
9783030847067 |
Summary Note |
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.: |
Contents note |
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 Categorical Reading of the Numerical Existence Property in Constructive Foundations (Maschio, S.). |
Mode of acces to digital resource |
Digital reproduction.- |
Cham : |
Springer International Publishing, |
2022. - |
Mode of access: World Wide Web. System requirements: Internet Explorer 6.0 (or higher) or Firefox 2.0 (or higher). Available as searchable text in PDF format. |
System details note |
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users). |
Internet Site |
https://doi.org/10.1007/978-3-030-84706-7 |
LINKS ZU 'VERWANDTEN WERKEN |
Schlagwörter: .
Humanities .
Humanities and Social Sciences .
Life Sciences .
Mathematical logic .
Mathematical Logic and Foundations .
Mathematics .
Mathematics and Computing .
Philosophy of Science .
Physical Sciences .
Science .
Science—Philosophy .
Social sciences .
Authors:
Corporate Authors:
Series:
Classification:
|