Sócrates most likely does not ground the singleton of Sócrates

-

  1. First of all, because the singleton of Socrates does not exist.

    1. Singletons of concrete objects are not bona fide mathematical objects. Set theory is a well established and perhaps fundamental mathematical theory and so its objects are as well established part of our ontology as any other mathematical objects, but this mathematical theory contains no singleton of Socrates, it only contains pure sets and so it so its only singletons are singletons of other sets.
    2. Carlos Romero reminds me that ZFC-U is a bona fide mathematical theory [Thanks Carlos!!], which is completely true; however I am not sure that Socrates is an ur-element of the sort that are the proper objects of ZFU. I suspect there is a distinction here between being an ur-element and playing the role of being an ur-element – to borrow a useful distinction from Stewart Shapiro.
    3. We cannot get  singleton of Socrates via some sort of indispensability argument from the application of set theory with concrete ur-elements. Yes, it is common to find singletons of this sort in formal semantics (where they are usually used to model the denotation of single terms), but – besides the issues raised in the previous point – the consensus there is that they are neither indispensable nor the denotation of any expression in natural language.
      [For a brief, but detailed discussion of this issue see section 3 of Winter and Sche's entry "Plurals" on the Handbook of Contemporary Semantic Theor (1995), where they quote Link (1998) statement that “for practical reasons (for instance, because people are ‘used to it’) we could stick to the [use of singletons to model the reference of singular terms] as long as we don’t forget it is only a model” (p. 64) as an example of the current consensus regarding impure sets. The situation in other areas of applied mathematics are not different. Sets are too complex and well-behaved to be indispensable in our theories of non-mathematical reality.
Of course, logics with well-defined interpretations will always be caricatures of our actual thought and our actual language ... Science makes models, and models are caricatures. And that is fine. We do not have to believe in them. They are just food for further thought. (Scha 2013)] 


 

  1. Second, even if sets like the singleton of Socrates existed, there is little reason to think that they would be grounded in their unique element.
    1. In general, philosophers of mathematics do not take membership to be some sort of grounding relation. Stewart Shapiro has even gone as far as explicitly argue that it is not a grounding relation.
    2. Yes, it is possible to offer an account of membership as grounding, but then it becomes a very sui-generis sort of grounding (i.e. it is not necessarily well grounded, since AFA is a fairly well accepted mathematical theory)
    3. Your best bet is to endorse some metaphysical form of the iterative conception of set developed by Scottus, Wang, Potter, etc. where – to quote Boolos – "elements of a set are "prior to" it." (Boolos 1971: 2016) Foster, Potter and other have endorsed this way of arguing that sets are at least partially grounded in their members. However, there is still ample debate as to whether, even within the iterative conception of sets, membership is some form of grounding. I am open to accept it is, but I am genuinely skeptical.


Comentarios

Publicar un comentario

Entradas más populares de este blog

Condiciones de Verdad

-
Imagen
El objetivo central de las teorías de las condiciones de verdad es explicar la relación entre dos conceptos filosóficos fundamentales de la filosofía del lenguaje: significado y verdad. No hay nada controversial en decir que algunos enunciados son verdaderos y otros falsas y que la diferencia depende no sólo de cómo son las cosas según lo dice el enunciado, pero también de qué es lo que dice el enunciado, es decir, de su significado.Es claro que, por ejemplo, el enunciado “Marichuy Martínez nació en Tuxpan” es verdadero pero podría haber sido falso, o bien porque los hechos relevantes pudieron haber sido distintos o porque el enunciado mismo pudo haber significado algo distinto;   Marichuy Martínez pudo haber nacido en otro lado, así como el nombre “Marichuy Martínez” pudo haber referido a otra persona, y el nombre “Tuxpán” a otro lugar. Si yo me hubiera llamado “Marichuy Martínez” y la capital de Uruguay se llamará “Tuxpan” entonces el enunciado “Marichuy Martínez nació en Tu...
Leer más

Lógica Paraconsistente

-
Imagen
El reto filosófico de construir una lógica paraconsistente es mostrar que es genuinamente lógica y es genuinamente paraconsistente, es decir que en ella  realmente no es cierto que de todo conjunto de premisas inconsistentes se sigue / tiene como consecuencia lógica cualquier cosa. En otras palabras, para que una lógica sea paraconsistente, deben cumplirse dos condiciones: debe existir por lo menos un conjunto G de premisas y una proposición  p  tales que  G  sea inconsistente y  p  no se siga de  G .    El reto, en mas detalle, es que los casos de premisas inconsistentes de las que no se sigue cualquier cosa sean casos de premisas genuinamente inconsistentes – no inconsistentes en un sentido técnico ad-hoc – y el que no se siga todo también sea un ‘no se sigue’ genuinamente lógico – y no un ‘no se sigue’ técnico ad-hoc. Es decir, el conjunto  G  debe ser genuinamente inconsistente y la proposición  p  ...
Leer más

¿Qué es una Categoría Ontológica?

-
Imagen
En ontología, cuando nos preguntamos qué entidades existen realmente, no nos interesa la realidad de esta o aquella entidad particular – con notorias excepciones, como la de Dios (Rovira 1991) – sino la de categorías enteras de entidades. No nos interesa si existe esta silla o aquel taburete, sino si existen los objetos materiales ordinarios (Cumpa & Brewster 2018). Nos interesa la pregunta sobre si es un hecho ya el que habrá una batalla naval mañana, no porque dicho hecho particular tenga algo en especial (como lo tendría, por ejemplo, para el general que debe planear su estrategia de defensa), sino por lo que nos dice sobre el estatus ontológico de los hechos futuros (Mijangos 2003). Cuando Boolos se pregunta si existe el cardinal Kappa, no le interesa tanto este cardinal en particular, sino si es suficiente tener una prueba de existencia dentro de ZFC para aceptar la existencia de cualquier conjunto (Hart 2007). Esto significa que las preguntas ontologicas sobre lo que es real ...
Leer más