Indiferencia epistmica binaria

Jos David Garca Cruz

PFC-UNAM

1. Introduccin
La indiferencia como categora epistmica es usualmente estudiada a partir de herra-
mientas de teora de la probabilidad, adaptadas a la epistemoga. En este texto no hay algo
en contra de esta posicin, incluso si goza de popularidad a causa de su rebuscado uso de
matemtica bsica. Lo que este texto s propone es una alternativa que simplifique algo del
trabajo en lgica epistmica clsica, orientando el concepto de indiferencia a un anlisis
prximo a la nocin de (des)conocimiento. En especfico la tesis que se defiende en este
ensayo es la siguiente: cierta informacin es indiferente para un determinado agente, si
se satisface que es falso que el agente conoce la informacin y simultneamente es falso
que la informacin es incompatible con sus creencias, en otras palabras, la informacin
es indiferente para el agente si puede pertenecer a sus creencias, pero le es desconocida.
Para clarificar y presentar la tesis se usar, en primer lugar, una notacin que simplifique
expresiones tan extensas del lenguaje natural; en segundo lugar, una forma de expresar las
relaciones entre trminos como indiferente, desconocido, conocido, etc. Lo primero
se realizar usando notacin de lgica epistmica y lo segundo por medio de terminologa
estndar de teora de la oposicin y geometra lgica1 . La relevancia de nuestra tesis
radica en resaltar el aspecto modal de la nocin de indiferencia, ms que ligarla a proce-
dimientos probabilsticos. Esto permite generar un anlisis semntico y prueba-teortico
ms slido, con ciertas implicaciones en la filosofa de la lgica y en la epistemologa
(esbozadas al final del trabajo).
El trabajo se compone de tres partes. La primera parte presenta las nociones bsicas
de lgica epistmica y teora de la oposicin (incluyendo la geometra lgica), en esta par-
te definiremos un lenguaje modal con operadores epistmicos, que interpretaremos como
es usual con estructuras de Kripke. Con respecto a la teora de oposicin se definir una
funcin que asigne a cada expresin del lenguaje una cadena de signos que representen
1
Ver [5, p.1]

1
sus denotaciones, a las que llamaremos siguiendo a Smessaert, bitstrings. La principal
motivacin para seguir esta estrategia es relativa a la efectividad del uso de bistrings en
el anlisis de las operaciones aristotlicas de oposicin, como veremos nuestra propues-
ta resulta de la aplicacin de est teora. La segunda parte contiene la aplicacin de las
nociones bsicas en el anlisis de nociones epistmicas como conocimiento y compati-
bilidad epistmica, por medio de las cuales se define la nocin de indiferencia desde una
perspectiva binaria, asociando su correspondiente bitstring al operador de indiferencia. En
esta parte profundizaremos la tesis presentada arriba y veremos algunas consecuencias de
la misma a travez de herramientas grficas tomadas de la geometra lgica. Finalmente la
tercera parte muestra en primer lugar una interpretacin filosfica de la tesis, una compa-
racin con otras perspectivas, y para concluir se especula sobre algunas posibles vas de
expansin del trabajo aqu presentado.

2. Nociones bsicas de lgica y teora de la oposicin

2.1. Lgica epistmica clsica
En esta parte presentaremos una caracterizacin simple de una lgica proposicional
epistmica clsica, que denotaremos como E. El alfabeto del lenguaje lo compone una
coleccin de conectivas C = {, , , , , [Ki ], hKi i}, una coleccin de variables pro-
posicionales P, y parntesis. La gramtica es inducida por la siguiente regla de produccin:
A, B P
::= A|A B|A B|[Ki ]A|hKi iA
El condicional y bicondicional se definen como es usual (A B) =df (A B) y
(A B) =df ((A B)(A B)). Las expresiones resultantes forman el lenguaje L0 de
esta lgica. La semntica se obtiene con la siguiente estructura: M = hI, A, R, L0 , V, D+ , vi,
donde I es una coleccin de ndices (los clsicos mundos posibles), A es un conjunto de
agentes epistmicos, R es una familia de relaciones en I asociadas a un agente de A, esto
es R = {Ra : Ra I 2 }, L0 es el lenguaje de orden cero, V es el conjunto de dos valores
verdadero (>) y falso (), D+ el conjunto de valores designados con > D+ , v es un
mepeo v : I L0 V que asigna a pares hi, i L0 I un valor de verdad de V
satisfaciendo las siguientes condiciones:

vi (A) V

vi (A) D+ si y slo s vi (A)

/ D+

vi (A B) = Inf (vi (A), vi (B))

2
 vi (A B) = Sup(vi (A), vi (B))

vi ([Ka ]A) = Inf {vj (A) : iRa j & a A}

vi (hKa iA) = Sup{vj (A) : iRa j & a A}

Diremos que una expresin es designada en un ndice i si vi (A) D+ , designada en

un modelo M (M A) si i I tenemos que vi (A) D+ . Sea C una clase de modelos
una frmula A es vlida en C (C A) cuando i I, M C tenemos vi (A) D+ .

2.2. Nociones de teora de oposicin

Esta seccin contiene un esbozo de los conceptos elementales de la teora de oposicin
en la reformulacin y extensin generada principalmente por Hans Smessaert y Lorenz
Demey, en especfico se presentan los conceptos de bitstring, constelacin, particin, y
las definiciones abstractas de las relaciones aristotlicas de oposicin. En primer lugar de-
finiremos las cuatro relaciones aristotlicas de oposicin. Beziau [1] mantiene que slo
tres de ellas son relaciones de oposicin, mientras que desde una perspectiva ms general
podemos considerar, siguiendo a Smessaert y Demey [5], [6], [7], que operamos con cua-
tro relaciones una de las cuales genera asimetra. En especfico definiremos las relaciones
como sigue:

E Contradiccin (A B) (A B)
E Contrariedad (A B)
E Subcontrariedad (A B)
E Subalternacin (A B)

Esta formulacin vara de las presentadas por Smessaert y Demey, a causa de que la
ltima definicin preserva la simetra en la conectiva usada. El significado intuitivo de las
definiciones es el siguiente. E Contradiccin satisface que dos frmulas no pueden ser
verdaderas simultneamente ni falsas simultneamente; E Contrariedad satisface que
dos frmulas no pueden ser verdaderas simultneamente, E Subcontrariedad satisface
que dos frmulas no pueden ser falsas simultneamente, y E Subalternacin que una
frmula y la negacin de otra no pueden ser verdaderas simultneamente2 . Con respecto a
la nocin de bitstring Smessaert y Demey comentan:

Los bistrings son secuencias de bits (0,1) los cuales sirven como representa-
ciones combinatorias compactas de ambas, las denotaciones de frmulas en
2
En otras palabras, que si una frmula es verdadera, la otra debe serlo.

3
 sistemas lgicos (tales como la lgica clsica proposicional, la lgica de pri-
mer orden, la lgica modal y la lgica de anuncios pblicos), y de conceptos
de campos lxicos (tales como cuantificacin comparativa, cuantificacin sub-
jetiva, trminos de color relacin de de inclusin conjuntistas)3 .

La manera de obtener el bitstring de una frmula dada es a partir de una particin,

como mencionan los autores unas lneas abajo, los bitstrings no hay limitacin para la
construccin de bitstrings ya que estos pueden tener una longitud muy grande o muy pe-
quea, esto depender de cmo se construya la particin. Presentaremos un ejemplo con
cuantificadores comparativos con una versin simplificada del enfoque de Smessaert en
[4] y [5]. La particin ser construida como una tabla con dos ejes (x, y), en el eje x escri-
biremos la referencia de los cuantificadores primitivos ms de dos (> ), exactamente
dos (=2 ), menos de dos (< )4 , los cuales representan posiciones en la particin tomadas
por los bits para formar diferentes combinaciones de los mismos. En el eje y escribiremos
los cuantificadores, los bitstrings correspondientes aparecen frente a ellos escribiendo 1
cuando se satisface las condicin descrita por el cuantificador y 0 cuando no. Por ejemplo
el cuantificador > obtiene el bitstring 100 porque slo cumple la condicin de la primera
posicin en la particin. Con estos tres cuantificadores podemos formar una constelacin,
esto es, un arreglo de objetos ordenado por relaciones entre los mismos. Las constelacio-
nes slo son formas grficas de presentar las relaciones aristotlicas o similares, y al igual
que con los bitstrings, no hay limitacin en el nmero o en el tipo de objeto geomtrico ge-
nerado5 . En este caso obtenemos un tringulo que satisface la definicin de contrariedad
si la extendemos a una lgica que cuente con estos cuantificadores. Estos son los elemen-
tos necesarios para presentar nuestra propuesta, a continuacin en la siguiente parte se
presentan las definiciones principales y se analiza la tesis.

3. Computando la indiferencia
En esta seccin se presenta una interpretacin binaria de la nocin de indiferencia
epistmica, tomaremos como primitivas las nociones de conocimiento e incompatibi-
lidad epistmica haciendo referencia a los operadores modales de lgica epistmica, y
3
Bitstrings are sequences of bits (0/1) which serve as compact combinatorial representations, both of the
denotations of formulas in logical systems (such as classical propositional logic, first-order logic, modal logic
and public announcement logic), and of concepts from lexical fields (such as comparative quantification,
subjective quantification, color terms and set inclusion relations). [5, p.3] Todas las traducciones son del
autor de este ensayo a menos que se indique lo contrario.
4
Ejemplo tomado de [4, p. 306]
5
Ver [1], [2], [3] [4], [5], [6], [7]

4
 Figura 1: Cuantificadores comparativos

Figura 2: Tringulo contrario

consecuentemente definiremos el operador de indiferencia como un operador compuesto,

finalmente analizaremos con las herramientas presentadas esta definicin.
Las dos nociones centrales en este anlisis son conocimiento y compatibilidad epis-
tmica, las cuales denotamos con [Ka ] y hKa i. Las nociones opuestas a estas las deno-
taremos con ayuda de la negacin, obteniendo desconocimiento [Ka ] e incompatibi-
lidad hKa i. Iniciaremos con la presentacin de una particin que tome como elemen-
tos primitivos dos de estas nociones y la de indiferencia, pero para ello debemos pre-
viamente definir esta ltima. Diremos que una partcula de informacin es indiferente al
agente a si se cumple lo siguiente: la informacin es compatible con las creencias del
agente a y simultneamente el agente desconoce dicha informacin. En otras palabras
(Ia )A =def hKa iA [Ka ]A.
La particin toma los tres operadores como primitivos, como se muestra en la tabla, y
por medio de los tres se definen los bitstring para cada uno de los operadores derivados.
Esto es: [Ka ]A = 100, (Ia )A = 010, hKa iA = 001, [Ka ]A = 011, (Ia )A = 101,
hKa iA = 110.

5
Referencias
[1] Bziau, J.-Y. The Power of the Hexagon. To appear in: Jean-Yves Beziau & Gian-
franco Basti (eds.) The Square of Opposition: A Cornerstone of Thought, Springer,
Basel.

[2] Garca-Cruz, J. D. From the Square to Octhaedra. To appear in: Jean-Yves Beziau
& Gianfranco Basti (eds.) The Square of Opposition: A Cornerstone of Thought,
Springer, Basel.

[3] Moretti, A. The Geometry of Oppositions and the Opposition of Logic to It.

[4] Smessaert, H. On the 3D Visualisation of Logical Relations. In: Log. Univers.

(2009) 3: 303.

[5] Smessaert, H. & Demey, L. E. The Unreasonable Effectiveness of Bitstrings in Lo-

gical Geometry. To appear in: Jean-Yves Beziau & Gianfranco Basti (eds.) The
Square of Opposition: A Cornerstone of Thought, Springer, Basel. 19 pp.

[6] Smessaert, H. & Demey, L. E. The Aristotelian Hexagon versus the Duality Hexa-
gon.

[7] Smessaert, H. & Demey, L. E. Bziaus Contributions to the Logical Geometry of

Modalities and Quantifiers. T