Objectivity, realism, and proof : FilMat studies in the philosophy of mathematics /: FilMat studies in the philosophy of mathematics. (2016)

• Record Type: Book
• Further Information: Note: Editors, Francesca Boccuni and Andrea Sereni.
• Other Names: Boccuni, Francesca; Sereni, Andrea, 1977-
• Contents: SECTION I: MATHEMATICAL OBJECTS AND AXIOMATIZATION -- PART I: THE VARIETIES OF MATHEMATICAL OBJECTS -- Chapter 1: Semantic Nominalism: How I learned to Stop Worrying and Love Universals; Aldo Antonelli -- Chapter 2: Modality, Abstract Structures and Second-Order Logic; Robert Black -- Chapter 3: Category Theory and Set Theory: Algebraic Set Theory as an Example of their Interaction; Brice Halimi -- PART II: AXIOMS AND SET THEORY -- Chapter 4: Absolute Infinity; Leon Horsten -- Chapter 5: Forcing, multiverse and realism; Giorgio Venturi -- Chapter 6: True V or not True V, that is the Question; Gianluigi Oliveri -- SECTION II: REFERENCE AND EPISTEMOLOGY -- PART III: THE PROBLEM OF REFERENCE -- Chapter 7: Numbering Planets and Equating Facts; Robert Knowles -- Chapter 8: Multiversism and the Problem of Reference: How much Relativism is Acceptable? Neil Barton -- PART IV: MATHEMATICAL EPISTEMOLOGY AND COGNITION -- Chapter 9: The modal status of arithmetical truths in a contextual a priori framework; Markus Pantsar -- Chapter 10: Epistemology, Ontology and Application in Pincock's Account: A Weak Link? Marina Imocrante -- Chapter 11: Bootstrapping Rebooted; Mario Santos-Sousa -- SECTION III: FORMAL THEORIES AND THEIR PHILOSOPHY -- PART V: TRUTH AND FORMAL THEORIES -- Chapter 12: Incompleteness and the Flow of Truth; Mario Piazza -- Chapter 13: Notes on Axiomatic Truth and Predicative Comprehension; Carlo Nicolai -- PART VI: INFORMAL NOTIONS AND FORMAL ANALYSIS -- Chapter 14: Logic of Grounding: An Alternative Approach; Francesca Poggiolesi -- Chapter 15: Computability, Finiteness and the Standard Model of Arithmetic; Massimiliano Carrara and Enrico Martino and Matteo Plebani -- Chapter 16: The Significance of Categoricity for Formal Theories and Informal Beliefs; Samantha Pollock.
• Publisher Details: Place of publication not identified : Springer Science and Business Media Springer
• Publication Date: 2016
• Extent: 1 online resource
• Subjects: 100; Philosophy; PHILOSOPHY / Essays; PHILOSOPHY / Reference; Knowledge, Theory of; Logic; Philosophy and science; Logic, Symbolic and mathematical; Knowledge, Theory of; Logic; Logic, Symbolic and mathematical; Philosophy; Philosophy and science; Philosophy -- Logic; Philosophy -- Epistemology; Mathematics -- Logic; Philosophy: logic; Philosophy: epistemology & theory of knowledge; Mathematical foundations; Science_xPhilosophy; Genetic epistemology; Science -- Philosophy & Social Aspects; Philosophy of science; Electronic books
• Languages: English
• ISBNs: 9783319316444; 3319316443
• Related ISBNs: 9783319316420; 3319316427
• Notes: Note: Includes bibliographical references.; Note: Vendor-supplied metadata.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.