東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Arbitrary reference in logic and mathematics

Record Type:	Electronic resources : Monograph/item
Title/Author:	Arbitrary reference in logic and mathematics/ by Massimiliano Carrara, Enrico Martino.
Author:	Carrara, Massimiliano.
other author:	Martino, Enrico.
Published:	Cham :Springer International Publishing : : 2024.,
Description:	xi, 95 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Arbitrary constants. -
Online resource:	https://doi.org/10.1007/978-3-031-66452-6
ISBN:	9783031664526

Arbitrary reference in logic and mathematics
Carrara, Massimiliano.

Arbitrary reference in logic and mathematics[electronic resource] /by Massimiliano Carrara, Enrico Martino. - Cham :Springer International Publishing :2024. - xi, 95 p. :ill., digital ;24 cm. - Synthese library. Studies in epistemology, logic, methodology, and philosophy of science,v. 4902542-8292 ;. - Synthese library.Studies in epistemology, logic, methodology, and philosophy of science ;v. 490..

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.

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.

ISBN: 9783031664526

Standard No.: 10.1007/978-3-031-66452-6doiSubjects--Topical Terms:

1602242
Arbitrary constants.

LC Class. No.: QA41

Dewey Class. No.: 515.22

Arbitrary reference in logic and mathematics
LDR:02996nmm a22003495a 4500 001 2388642
003 DE-He213
005 20240816130236.0
006 m d
007 cr nn 008maaau
008 250916s2024 sz s 0 eng d
020 $a 9783031664526 $q (electronic bk.)
020 $a 9783031664519 $q (paper)
024 7 $a 10.1007/978-3-031-66452-6 $2 doi
035 $a 978-3-031-66452-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA41
072 7 $a HPCF5 $2 bicssc
072 7 $a PHI039000 $2 bisacsh
072 7 $a QDHR9 $2 thema
082 0 4 $a 515.22 $2 23
090 $a QA41 $b .C313 2024
100 1 $a Carrara, Massimiliano. $3 735358
245 1 0 $a Arbitrary reference in logic and mathematics $h [electronic resource] / $c by Massimiliano Carrara, Enrico Martino.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2024.
300 $a xi, 95 p. : $b ill., digital ; $c 24 cm.
347 $a text file $b PDF $2 rda
490 1 $a Synthese library. Studies in epistemology, logic, methodology, and philosophy of science, $x 2542-8292 ; $v v. 490
505 0 $a 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.
520 $a 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.
650 0 $a Arbitrary constants. $3 1602242
650 1 4 $a Analytic Philosophy. $3 2182031
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Linguistics. $3 524476
650 2 4 $a Philosophy of Mathematics. $3 2192005
650 2 4 $a Logic. $3 529544
700 1 $a Martino, Enrico. $3 3302501
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Synthese library. $p Studies in epistemology, logic, methodology, and philosophy of science ; $v v. 490. $3 3753826
856 4 0 $u https://doi.org/10.1007/978-3-031-66452-6
950 $a Religion and Philosophy (SpringerNature-41175)