skip to content
Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics. Preview this item
ClosePreview this item
Checking...

Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics.

Author: Francesca Boccuni; Ana Sereni
Publisher: [Place of publication not identified] : Springer Science and Business Media : Springer, 2016.
Series: Boston studies in the philosophy and history of science, v. 318.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Online version:
Boccuni, Francesca.
Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics.
[Place of publication not identified] : Springer Science and Business Media : Springer, 2016
(OCoLC)957612103
(OCoLC)942378861
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Francesca Boccuni; Ana Sereni
ISBN: 9783319316444 3319316443
OCLC Number: 957612103
Description: 1 online resource.
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.
Series Title: Boston studies in the philosophy and history of science, v. 318.

Abstract:

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection - prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) - show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics - FilMat.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/957612103> # Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics.
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "957612103" ;
   rdfs:label "Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics." ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3775461301#Topic/logic> ; # Logic
   schema:about <http://experiment.worldcat.org/entity/work/data/3775461301#Topic/philosophy_essays> ; # PHILOSOPHY / Essays
   schema:about <http://experiment.worldcat.org/entity/work/data/3775461301#Topic/philosophy_and_science> ; # Philosophy and science
   schema:about <http://experiment.worldcat.org/entity/work/data/3775461301#Topic/philosophy_reference> ; # PHILOSOPHY / Reference
   schema:about <http://dewey.info/class/100/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3775461301#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.loc.gov/authorities/classification/B1-5802> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3775461301#Topic/knowledge_theory_of> ; # Knowledge, Theory of
   schema:about <http://experiment.worldcat.org/entity/work/data/3775461301#Topic/philosophy> ; # Philosophy
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3775461301#Person/sereni_ana> ; # Ana Sereni
   schema:creator <http://experiment.worldcat.org/entity/work/data/3775461301#Person/boccuni_francesca> ; # Francesca Boccuni
   schema:datePublished "2016" ;
   schema:description "Online version:" ;
   schema:description "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."@en ;
   schema:description "This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection - prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) - show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics - FilMat."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3775461301> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0068-0346> ; # Boston studies in the philosophy and history of science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/957612103> ; # Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics.
   schema:isSimilarTo <http://www.worldcat.org/oclc/942378861> ;
   schema:name "Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics."@en ;
   schema:productID "957612103" ;
   schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-31644-4> ;
   schema:url <http://proxy.library.brocku.ca/login?url=http://link.springer.com/10.1007/978-3-319-31644-4> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1228827> ;
   schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=4584989> ;
   schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-31644-4> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783319316444> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-31642-0> ;
   schema:url <http://link.springer.com/10.1007/978-3-319-31644-4> ;
   schema:url <http://dx.doi.org/10.1007/978-3-319-31644-4> ;
   schema:url <http://proxy.ohiolink.edu:9099/login?url=http://link.springer.com/10.1007/978-3-319-31644-4> ;
   schema:url <http://lib.myilibrary.com?id=938363> ;
   schema:url <https://link.springer.com/10.1007/978-3-319-31644-4> ;
   schema:workExample <http://worldcat.org/isbn/9783319316444> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/957612103> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3775461301#Person/boccuni_francesca> # Francesca Boccuni
    a schema:Person ;
   schema:familyName "Boccuni" ;
   schema:givenName "Francesca" ;
   schema:name "Francesca Boccuni" ;
    .

<http://experiment.worldcat.org/entity/work/data/3775461301#Topic/knowledge_theory_of> # Knowledge, Theory of
    a schema:Intangible ;
   schema:name "Knowledge, Theory of"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3775461301#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3775461301#Topic/philosophy_and_science> # Philosophy and science
    a schema:Intangible ;
   schema:name "Philosophy and science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3775461301#Topic/philosophy_essays> # PHILOSOPHY / Essays
    a schema:Intangible ;
   schema:name "PHILOSOPHY / Essays"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3775461301#Topic/philosophy_reference> # PHILOSOPHY / Reference
    a schema:Intangible ;
   schema:name "PHILOSOPHY / Reference"@en ;
    .

<http://lib.myilibrary.com?id=938363>
   rdfs:comment "Connect to MyiLibrary resource." ;
    .

<http://rave.ohiolink.edu/ebooks/ebc/9783319316444>
   rdfs:comment "Connect to resource" ;
    .

<http://worldcat.org/isbn/9783319316444>
    a schema:ProductModel ;
   schema:isbn "3319316443" ;
   schema:isbn "9783319316444" ;
    .

<http://worldcat.org/issn/0068-0346> # Boston studies in the philosophy and history of science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/957612103> ; # Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics.
   schema:issn "0068-0346" ;
   schema:name "Boston studies in the philosophy and history of science ;" ;
   schema:name "Boston studies in the philosophy and history of science," ;
    .

<http://www.worldcat.org/oclc/942378861>
    a schema:CreativeWork ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/957612103> ; # Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics.
    .

<http://www.worldcat.org/title/-/oclc/957612103>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/957612103> ; # Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics.
   schema:dateModified "2018-11-08" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.