变白
发表于 2025-3-26 23:34:52
0166-6991 at 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. Th978-3-031-66454-0978-3-031-66452-6Series ISSN 0166-6991 Series E-ISSN 2542-8292
胶状
发表于 2025-3-27 05:08:39
n of atom, according to which any individual can play the role of atom, one can reconstruct Cantor’s theorem and prove that, given any infinite, mereology with plural quantification (MPQ) guarantees the existence of large and large infinities. This result seems in conflict with the alleged ontological innocence of MPQ.
Anticonvulsants
发表于 2025-3-27 08:56:57
s of choice, . lacks the logical requirement of universal applicability. However, such limitation is superseded by the structuralist conception of mathematics, according to which arbitrary entities, independently of their very nature, can play the role of mathematical objects.
SHOCK
发表于 2025-3-27 13:20:51
http://reply.papertrans.cn/17/1676/167541/167541_34.png
Rinne-Test
发表于 2025-3-27 15:57:00
http://reply.papertrans.cn/17/1676/167541/167541_35.png
Evacuate
发表于 2025-3-27 21:41:41
ividual, plural arbitrary reference is achieved through simultaneous acts of choice by each agent. This idealized notion of reference provides a basis for understanding plural quantification without second-order entities, maintaining the ontological innocence of second-order logic by distinguishing between acts and entities.
Diluge
发表于 2025-3-27 22:36:30
http://reply.papertrans.cn/17/1676/167541/167541_37.png
总
发表于 2025-3-28 04:18:41
http://reply.papertrans.cn/17/1676/167541/167541_38.png
议程
发表于 2025-3-28 07:07:22
Book 2024 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 quant
expound
发表于 2025-3-28 14:03:11
9楼