Vous êtes sur la page 1sur 6

2

NECESIDAD, ESENCIA
Y REPRESENTACIN:
Metafsica y Epistemologa
de las Esencias y la Modalidad

Carlos Romero
3

CONTENIDOS

Resumen de la tesis 5
Convenciones 7
Agradecimientos 8
Introduccin: motivacin de la investigacin 9

I. Metafsica: Modalidad, Esencias y Fundamentalidad

1. La concepcin estndar de la modalidad y la esencialidad 12


1.1. Aspectos bsicos de la semntica estndar para la lgica modal cuantificada 12
1.2. La semntica estndar: teoremas de correspondencia, definibilidad y 14
caracterizacin
1.3. Interpretando filosficamente a la semntica modal: mundismo y ersatzismo 22
1.4. Esencia y modalidad 27

2. Esencialismo, modalidad y reduccin 31


2.1. Reduccin y fundamentacin 32
2.2. Teoras no-no de la modalidad 36
2.3. Problemas con las teoras no-no de la modalidad 39
2.3.1 Problemas con el ersatzismo lingstico 39
2.3.2. Generalizando, y el caso de la teora de las potencias de Jacobs 41
2.4. Contra una teora reductiva: el esencialismo de Fine 44
2.4.1. Presentando la propuesta 45
2.4.2. Evaluando la propuesta 47
2.4.3. Un argumento general contra toda reduccin esencialista 52
2.5. Conclusin 53

3. Una teora de la modalidad: estructuralismo absolutista 54


3.1. Formulando afirmaciones sobre la estructura fundamental 54
3.2. Un marco formal para el estructuralismo absolutista 57
3.3. Algunas consecuencias de la postura y una breve comparacin 62
3.4. Conclusin: estructuralismo absolutista y las esencias 64

II. Epistemologa: Conocimiento, Fiabilidad, y Representacin

4. Contra el escepticismo del conocimiento modal y de esencias 66


4.1. Motivaciones para el anti-escepticismo modal 68
4.2. Contra van Inwagen 74
4.3. Contra Nozick 86
4.4. Conclusin, y una nota sobre el problema de Benacerraf 93

5. Fiabilismo externista 94
5.1. Preeliminares: ontologa/atribucin, y la funcin de las intuiciones 96
5.2. Motivando un externismo mnimo 99
5.3. El fiabilismo 107
5.4. El problema de la generalidad 115
4

5.5. Contra el problema de la generalidad 117


5.6. Conclusin: a favor del fiabilismo externista 127

6. Una epistemologa de la modalidad y la esencialidad: representacionalismo fiabi- 128


lista
6.1. La metfora de las etiquetas que se pegan al mundo 129
6.2. Tipos de representacin 137
6.3. Semntica general: condiciones de adecuacin representacional 143
6.4. Representaciones fiables 146
6.4.1. De la rigidez 146
6.4.2. ...Pasando por un excursus sobre el bidimensionalismo... 148
6.4.3. A la representacin fiable 150
6.5. El conocimiento modal y de esencias mediante la doble fiabilidad 154
6.5.1. El fiabilismo de proceso revisitado y generalizado 154
6.5.2. Fiabilismo de representacin 155
6.5.3. Conociendo esencias y necesidades: la teora central 157
6.5.4. Creando representaciones fiables 159
6.6. Despus de la destruccin del Tringulo Dorado: Quine (otra vez), y la metaf- 163
sica a oscuras

Conclusiones 167

Referencias 168
5

Resumen de la tesis

En la introduccin motivo brevemente los dos problemas centrales de esta tesis: uno epistemo-
lgico y uno metafsico. El metafsico consiste en el problema de definir qu son la necesidad y
la posibilidad, por un lado, y la esencialidad, por otro. El epistemolgico consiste en tener una te-
ora acerca de cmo sabemos que algo es posible o necesario, o que tiene una determinada esen-
cia.
El resto de la tesis se divide en dos grandes partes: en la primera (captulos 1-3) expongo los
fundamentos lgico-metafsicos de la modalidad, la esencialidad, y su interrelacin; mientras
que en la segunda (captulos 4-7) expongo los fundamentos epistemolgicos de nuestro conoci-
miento de la modalidad y la esencialidad. Hay independencia entre las tesis epistemolgicas pro-
puestas en la segunda parte y las tesis metafsicas de la primera parte.
El captulo 1 es, sobre todo, expositivo: expongo los aspectos bsicos de la semntica estndar
(dada en trminos de los marcos de Kripke) para la lgica modal (proposicional y de primer or-
den), arguyendo sobre la base de resultados en la lgica que esta semntica slo describe estruc-
turas relacionales, que de hecho tambin pueden describirse con el lenguaje de la lgica clsica.
Dado ste hecho, surge la pregunta de si hay algo especficamente modal acerca de la lgica mo-
dal. sto me lleva a exponer una popular interpretacin filosfica (o conceptual) del formalismo,
que llamo mundismo. De acuerdo a sta idea, los mundos posibles satisfacen la estructura de
la semntica estndar y adems son el fundamento de las propiedades modales (incluyendo a los
modos de ser verdad, como la verdad posible). Noto varios tipos de mundismo, y examino una
popular variantelo que David Lewis llam ersatzismo. Finalmente, expongo una concepcin
de la esencialidad bastante popular y que se condice con el ersatzismo, que llamo concepcin
estndar de la esencialidad. De acuerdo a sta concepcin, bsicamente, la esencialidad se redu-
ce a la posesin necesaria de propiedades.
El captulo 2 es, sobre todo, crtico: critico a las teoras no-reductivas que no toman a la modali-
dad como absolutamente fundamental (a estas teoras las llamo teoras no-no). Para sto, as-
lo nociones de reduccin y de fundamentacin desde el inicio del captulo. Noto que el ersatzis-
mo regularmente se reconoce como no reductivo, pero que algunos tericos buscan explicar des-
de esa postura a la naturaleza metafsica de la modalidad. Critico sta idea. Tambin critico la
idea de que el ersatzismo puede usarse como una representacin perspicua de la modalidad. Des-
pus generalizo ambas crticas. Para dar ms evidencia a favor de que esta generalizacin es co-
rrecta para toda teora no-no, aplico la estructura de la crtica a la teora de las potencialidades de
Jonathan Jacobs. Tambin critico una teora reductiva: el esencialismo de Kit Fine. Arguyo que
esta teora falla en su pretendida reduccin de la modalidad a la esencialidad, pues la esencialidad
debe presuponer hechos modales previamente fijados. Finalmente, doy un argumento para la
idea de que es altamente implausible que alguna teora esencialista logre reducir la modalidad.
El captulo 3 es, sobre todo, propositivo: propongo una nueva teora sobre la modalidad. En el
captulo pasado motiv el realismo acerca de la modalidad notando que ciencias fundamentales
(como la fsica y la matemtica) lo asumen, y rechac a las teoras no-no y a una teora reducti-
va. Aqu argumento que todo esto nos da una motivacin para creer que la modalidad es absolu-
6

tamente fundamental, en el sentido en que existen hechos o caractersticas modales que no se


fundamentan en absolutamente ningn otro aspecto de la realidad. Expongo algunas breves
consideraciones sobre cmo insertar a la metafsica de la modalidad dentro de la metafsica
fundamental, en especial la desarrollada recientemente por Theodore Sider, de tal manera que
hagamos sentido de la idea de la modalidad como fundamental. Despus expongo una estructura
formal para cierta variante de la teora absolutista de la modalidad (que llamo estructuralismo
absolutista), tal estructura induce lo que la llamo marcos jerrquicos. Entonces muestro cmo
los modelos para la lgica modal estndar, la lgica de la esencialidad de Fine, y la lgica pura de
la fundamentacin de Fine, as como el acercamiento neo-platonista de ystein Linnebo a la fi-
losofa de las matemticas, resultan ser aplicaciones de los marcos jerrquicos, la estructura for-
mal que propongo. Finalmente, expongo tres consecuencias importantes del estructuralismo ab-
solutista para problemas tradicionales de la metafsica modal, adems de comparar mi teora con,
primero, otras teoras que tambin toman a la modalidad como absolutamente fundamental y,
segundo, teoras anti-realistas de la modalidad; finalmente muestro cmo mi teora se condice
con la teora esencialista de Fine, si a ste se le remueven sus aspiraciones reductivistas.
El captulo 4 inicia la segunda partela concerniente a la epistemologade esta tesis, y es so-
bre todo, una seccin crtica. Primero, motivoapelando a evidencia de la ciencia cognitiva, as
como filosficala postura segn la cual deberamos aceptar que tenemos al menos cierto cono-
cimiento modal, y que por ello el escepticismo acerca de todo nuestro conocimiento modal es al-
tamente implausible. Despus analizo crticamente dos escepticismos locales sobre nuestro co-
nocimiento modal: el de Peter van Inwagen, de acuerdo al cual no conocemos hechos sobre posi-
bilidades remotas, y el de Robert Nozick, de acuerdo al cual no conocemos ningn tipo de ne-
cesidades. Argumento que ambos tipos de escepticismos estn insuficientemente justificados; sin
embargo, extraigo de la discusin tres problemas que toda epistemologa modal debera resolver.
Finalmente, considero brevemente un escepticismo basado en el problema de Benacerraf en
epistemologa de las matemticas, y argumento que la metafsica de la modalidad que propuse
en el captulo 3 est libre de tal problema epistemolgico.
El captulo 5 es crtico-propositivo: expongo una teora sobre las propiedades epistmicas
como la justificacin o el conocimientoque es externista y fiabilista. Primero hago la impor-
tante diferencia entre teoras sobre la naturaleza de las propiedades epistmicas, y las teoras so-
bre su atribucin. En el camino, expongo dos acercamientos opuestos a la funcin filosfica de
las intuiciones, y favorezco uno segn el cual los juicios intuitivos, aunque pueden brindar evi-
dencia para tesis filosficas, pueden resultar falsos tras un proceso de investigacin, y por ello no
hay garanta a priori de que la teora correcta sea la ms intuitiva. Despus, expongo y argu-
mento a favor de una teora externista, de acuerdo a la cual nuestro conocimiento puede estar en
muchos casos determinado por factores a los que no tenemos acceso consciente. Noto cmo este
externismo es compatible con varios tipos de tesis internistas, por lo que lo llamo mnimo. Final-
mente, expongo el fiabilismo de Alvin Goldman. Este fiabilismo se enfrenta con el problema de
la generalidad, motivado ms fuertemente por Earl Conee y Richard Feldman. Argumento que
tal problema tiene presuposiciones que estn en fuerte tensiny que, suplementadas con
asunciones plausibles, llevan a incoherencias. sto me lleva a rechazar tal problema, de parte del
fiabilista.
El captulo 6 cierra la tesis, y es, sobre todo, propositivo. Construyo una epistemologa modal
7

que slo necesita de la asuncin de que podemos representarnos y que podemos simular (la evi-
dencia emprica acerca de la segunda se revisa al inicio del captulo 4). Utilizo herramientas mo-
delo-tericas y probabilsticas para dar una epistemologa de la modalidad y la esencialidad que
sigue el espritu fiabilista y externista que fue defendido en el captulo anterior. Comienzo ca-
racterizando metafricamente a las representaciones como etiquetas que se pegan al mun-
do, lo cual nos dar indicios para la epistemologa que sigue. Entonces caracterizo con ms exac-
titud a las representaciones, a partir de la filosofa del lenguaje, la mente, la ciencia y el arte. Esto
nos da las bases para investigar la teora general de la representacin. Luego paso a motivar la
asuncin de una semntica general: una teora al estilo de la teora de modelos, que caracterice
matemticamente la asignacin de contenidos semnticos a cualquier tipo de representacin
en cuanto que es representacin. Lo siguiente es aplicar la semntica general para generalizar las
ideas fiabilistas acerca de la creencia a toda representacin. La seccin 6.5.3 da la propuesta epis-
temolgica como tal, de acuerdo a la cual nuestro conocimiento modal y de esencias depende de
una estructura doblemente fiabilista: nuestro conocimiento modal y de esencias est fijado por
la fiabilidad de los procesos productores de representaciones, y por la fiabilidad de tales repre-
sentaciones. Cierro el captulo, y la tesis, dado algunos comentarios acerca de las implicaciones
del externismo para la investigacin metafsica, argumentando que el Tringulo Dorado de
Chalmers (la idea de que hay una conexin esencial entre significado, modalidad y aprioridad)
ha sido definitivamente roto.

Convenciones
(1) Cuando una cita est originalmente en ingls y no haya una traduccin al espaol dispo-
nible, pongo mi traduccin en el cuerpo principal del texto, llamando con un asterisco (o con
dos, y as recursivamente) a una nota al pie, donde pondr la cita en el ingls original.
(2) A lo largo del texto, cuando me refiero a la tercera persona del singular, salto de manera
poco uniforme entre los gneros femenino y el masculino.
(3) Pongo en VERSALES el nombre de definiciones y tesis a las que estar regresando en la dis-
cusin.
(4) Para nombrar proposiciones, uso < y >, de tal manera que <p> nombra a la pro-
posicin que p.
(5) Las referencias son en formato Autor, Ao de publicacin; aunque cuando el autor es
mencionado en el contexto, slo Ao.
(6) Los epgrafes son los rebeldes en esta tesis, por razones estilsticas. En primera, los dejo
en su idioma original, contra la convencin (1). En segunda, las referencias no van con el for-
mato de la convencin (5), sino directamente al texto citado. En tercera, en ellos hago nfasis
con itlicas, que son todos moslos uso para anticipar un punto que defender en la seccin
y no del autor citado.
(7) Una convencin particularmente importante para los captulos 1, 2 y 6: el concepto al
que en ingls se suele referir con el trmino intended (como en intended model), en espa-
ol se suele referir diciendo intencional (como en modelo intencional). Es un hecho desa-
fortunado, pienso; una mejor palabra sera pretendido. Sin embargo, sigo el uso ya corriente