<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Arbitrary Reference in Logic and Mathematics</title>
  </titleInfo>
  <name type="personal">
    <namePart>Carrara, Massimiliano.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
    <role>
      <roleTerm type="text">author.</roleTerm>
    </role>
    <role>
      <roleTerm authority="marcrelator" type="code">aut</roleTerm>
    </role>
    <role>
      <roleTerm authority="marcrelator" type="code">http://id.loc.gov/vocabulary/relators/aut</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Martino, Enrico.</namePart>
    <role>
      <roleTerm type="text">author.</roleTerm>
    </role>
    <role>
      <roleTerm authority="marcrelator" type="code">aut</roleTerm>
    </role>
    <role>
      <roleTerm authority="marcrelator" type="code">http://id.loc.gov/vocabulary/relators/aut</roleTerm>
    </role>
  </name>
  <name type="corporate">
    <namePart>SpringerLink (Online service)</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">sz</placeTerm>
    </place>
    <dateIssued encoding="marc">2024</dateIssued>
    <edition>1st ed. 2024.</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">electronic</form>
    <form authority="gmd">electronic resource</form>
    <reformattingQuality>access</reformattingQuality>
    <extent>XI, 95 p. online resource.</extent>
  </physicalDescription>
  <abstract>This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology. The authors have advanced the notion of plural arbitrary reference in terms of idealized plural acts of choice, performed by a suitable team of agents. In the first part of the book, readers will discover a revision of Boolosʼ interpretation of second order logic in terms of plural quantification and a sketched structuralist reconstruction of second-order arithmetic based on the axiom of infinite, a la Dedekind, as the unique non-logical axiom. The work goes on to analyse the pros and cons of the new interpretation, also with respect to Linneboʼs objections to the thesis that second order logic is genuine logic. A theory of concepts that can be labelled as a theory of logical concepts is expounded. In the second part of the book, the authors consider grounding megethology on plural arbitrary reference and argue that the arguments for the ontological innocence of mereology are not conclusive and that – for a certain use of mereology – a thesis of innocence, similar to that of plural arbitrary reference, is defensible. The work proposes a virtual theory of mereology in which the role of individuals is played by plural choices of atoms. This considered work will appeal to scholars from branches of analytic philosophy, logic and the philosophy of mathematics in particular.</abstract>
  <tableOfContents>Preface -- 1. On Arbitrary Reference -- 2. On Plural Arbitrary Reference -- 3. On Arbitrary Fictional Models -- 4. Second-Order Logic and Plural Arbitrary Reference -- 5. Logical Concepts and Plural Arbitrary Reference -- 6. Plural Arbitrary Reference and mereology -- 7. Grounding Megethology on Plural Arbitrary Reference -- 8. The Mereological foundation of Megethology -- 9. Final ruminations -- Index.</tableOfContents>
  <note type="statement of responsibility">by Massimiliano Carrara, Enrico Martino.</note>
  <subject authority="lcsh">
    <topic>Analysis (Philosophy)</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Mathematical logic</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Linguistics</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Mathematics</topic>
    <topic>Philosophy</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Logic</topic>
  </subject>
  <subject>
    <topic>Analytic Philosophy</topic>
  </subject>
  <subject>
    <topic>Mathematical Logic and Foundations</topic>
  </subject>
  <subject>
    <topic>Linguistics</topic>
  </subject>
  <subject>
    <topic>Philosophy of Mathematics</topic>
  </subject>
  <subject>
    <topic>Logic</topic>
  </subject>
  <classification authority="lcc">B808.5.A-Z</classification>
  <relatedItem type="host">
    <titleInfo>
      <title>Springer Nature eBook</title>
    </titleInfo>
  </relatedItem>
  <relatedItem type="otherFormat" displayLabel="Printed edition:"/>
  <relatedItem type="otherFormat" displayLabel="Printed edition:"/>
  <relatedItem type="otherFormat" displayLabel="Printed edition:"/>
  <relatedItem type="series">
    <titleInfo>
      <title>Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 490</title>
    </titleInfo>
  </relatedItem>
  <identifier type="isbn">9783031664526</identifier>
  <identifier type="uri">https://doi.org/10.1007/978-3-031-66452-6</identifier>
  <location>
    <url>https://doi.org/10.1007/978-3-031-66452-6</url>
  </location>
  <recordInfo>
    <recordCreationDate encoding="marc">240816</recordCreationDate>
    <recordChangeDate encoding="iso8601">20251030112855.0</recordChangeDate>
    <recordIdentifier source="DE-He213">978-3-031-66452-6</recordIdentifier>
  </recordInfo>
</mods>
