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.
Numero della rivista
Visualizza e scarica il file PDF
Vai agli indici
AUTORI&AUTRICI
Professore ordinario di Logica presso l'Università degli Studi di Padova. È anche Professore Invitato presso l'istituto di Filosofia dell’USI Lugano (CH) e Teaching Fellow presso l'Università Bocconi di Milano. Si occupa di logica, filosofia della logica e metafisica.
È assegnista presso l'Università del Piemonte Orientale. Si è laureato in Astrofisica e Cosmologia presso l'Università di Bologna, e successivamente in Filosofia presso l'Università di Padova, dove ha poi conseguito il dottorato in Filosofia. Si occupa prevalentemente di logica (logiche non-classiche, logiche temporali e semantiche game-theoretic), filosofia della logica (abduttivismo logico) e metafisica (mereologie non-classiche e metafisica del tempo).
