Abstract
Megethology is the second-order theory of the part-whole relation developed by David Lewis, and it is obtained by combining plural quantification with classical extensional mereology. It can express some hypotheses about the size of the domain such as that there are inaccessibly many atoms. This will prove enough to get the orthodox set theory. Then, megethology is a possible foundation for mathematics. This paper is an introduction to megethology.
La meghetologia è un framework logico costituito dalla mereologia classica estensionale e dalla quantificazione plurale. In essa è possibile formulare alcune ipotesi sulla dimensione del dominio con le quali ricostruire la teoria degli insiemi. Ciò fa della meghetologia una possibile fondazione per la matematica. In questo lavoro ripercorreremo tale ricostruzione, che risulterà essere mereologica e strutturalista: mereologica perché la teoria degli insiemi viene espressa per mezzo di nozioni mereologiche; strutturalista perché risulta dall’esplicita applicazione dell’approccio filosofico strutturalista alla matematica.
Citazione
Massimiliano Carrara e Filippo Mancini, “Meghetologia”, in “APhEx 21”, 2020, pp. 49.