On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics.

Abstraction turns equivalence into identity, but there are two ways to do it. Given the equivalence relation of parallelness on lines, the #1 way to turn equivalence into identity by abstraction is to consider equivalence classes of parallel lines. The #2 way is to consider the abstract notion of th...

Descripción completa

Detalles Bibliográficos
Publicado en:Journal of Philosophical Logic Vol. 50; no. 4; pp. 813 - 836
Autor principal: Ellerman, David
Formato: Artículo
Publicado: Springer Nature Aug2021
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:Abstraction turns equivalence into identity, but there are two ways to do it. Given the equivalence relation of parallelness on lines, the #1 way to turn equivalence into identity by abstraction is to consider equivalence classes of parallel lines. The #2 way is to consider the abstract notion of the direction of parallel lines. This paper developments simple mathematical models of both types of abstraction and shows, for instance, how finite probability theory can be interpreted using #2 abstracts as "superposition events" in addition to the ordinary events. The goal is to use the second notion of abstraction to shed some light on the notion of an indefinite superposition in quantum mechanics.