Você está na página 1de 96

Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Dialecismo
Una defensa histrica, lgica y losca

Miguel lvarez Lisboa

Universidad de Valparaso
Troncal de Lgica y Filosofa de las Ciencias

Otoo de 2017
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Plan de la presentacin

1 Preliminares

2 Una aproximacin histrica

3 Dos propuestas

4 El dialecismo como losofa


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Propsito de la presentacin

Nunca hemos tenido buenas razones para creer en la validez


del PNC

No es tan descabellado rechazar la validez del PNC


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Propsito de la presentacin

Nunca hemos tenido buenas razones para creer en la validez


del PNC

No es tan descabellado rechazar la validez del PNC


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Propsito de la presentacin

Nunca hemos tenido buenas razones para creer en la validez


del PNC

No es tan descabellado rechazar la validez del PNC


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Programa Aristotlico

Todas las personas por naturaleza


desean saber
Saber algo de una cosa es conocer
sus causas y principios
Las causas y principios no pueden
remontarse unas a otras
indenidamente
Por lo tanto,
Debe haber una primera causa
(Dios)
Debe haber un primer principio
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Programa Aristotlico

Todas las personas por naturaleza


desean saber
Saber algo de una cosa es conocer
sus causas y principios
Las causas y principios no pueden
remontarse unas a otras
indenidamente
Por lo tanto,
Debe haber una primera causa
(Dios)
Debe haber un primer principio
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Programa Aristotlico

Todas las personas por naturaleza


desean saber
Saber algo de una cosa es conocer
sus causas y principios
Las causas y principios no pueden
remontarse unas a otras
indenidamente
Por lo tanto,
Debe haber una primera causa
(Dios)
Debe haber un primer principio
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Programa Aristotlico

Todas las personas por naturaleza


desean saber
Saber algo de una cosa es conocer
sus causas y principios
Las causas y principios no pueden
remontarse unas a otras
indenidamente
Por lo tanto,
Debe haber una primera causa
(Dios)
Debe haber un primer principio
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Programa Aristotlico

El principio ms firme de todos es, a su


vez, aquel acerca del cual es imposible
el error. Y tal principio es,
necesariamente, el ms conocido (todos
se equivocan, en efecto, sobre las cosas
que desconocen), y no es hipottico
(...)
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Programa Aristotlico

Digamos a continuacin cul es este


principio: es imposible que lo mismo
se d y no se d en lo mismo a la vez
y en el mismo sentido (y cuantas
precisiones habramos de aadir, dense
por aadidas frente a las dificultades
[lingsticas]). ste es el ms firme de
todos los principios, ya que posee la
caracterstica sealada.

Metafsica IV, 1005b


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Reduccin al Absurdo

Reductio ad Absurdum

La geometra griega reconoce dos tipos de absurdo:

1 Las regresiones innitas

2 Las contradicciones

Regresiones innitas Contradicciones: las paradojas del innito


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Reduccin al Absurdo

Reductio ad Absurdum

La geometra griega reconoce dos tipos de absurdo:

1 Las regresiones innitas

2 Las contradicciones

Regresiones innitas Contradicciones: las paradojas del innito


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Reduccin al Absurdo

Reductio ad Absurdum

La geometra griega reconoce dos tipos de absurdo:

1 Las regresiones innitas

2 Las contradicciones

Regresiones innitas Contradicciones: las paradojas del innito


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Reduccin al Absurdo

Reductio ad Absurdum

La geometra griega reconoce dos tipos de absurdo:

1 Las regresiones innitas

2 Las contradicciones

Regresiones innitas Contradicciones: las paradojas del innito


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Reduccin al Absurdo

Todas las personas por naturaleza


desean saber
Saber algo de una cosa es conocer
sus causas y principios
Las causas y principios no pueden
remontarse unas a otras
indenidamente
Por lo tanto,
Debe haber una primera causa
(Dios)
Debe haber un primer principio
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Reduccin al Absurdo

Todas las personas por naturaleza


desean saber
Saber algo de una cosa es conocer
sus causas y principios
Las causas y principios no pueden
remontarse unas a otras
indenidamente
Por lo tanto,
Debe haber una primera causa
(Dios)
Debe haber un primer principio
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Argumento de Pseudo-Scoto

Esquema de Introduccin de la Disyuncin

Ejemplo

Hoy es jueves. Por lo tanto, hoy es jueves o viernes.

Ejemplo

Las elecciones son en noviembre. Por lo tanto, las elecciones son a


n de ao.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Argumento de Pseudo-Scoto

Esquema de Introduccin de la Disyuncin

Ejemplo

Hoy es jueves. Por lo tanto, hoy es jueves o viernes.

Ejemplo

Las elecciones son en noviembre. Por lo tanto, las elecciones son a


n de ao.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Argumento de Pseudo-Scoto

Esquema de Eliminacin de la Conjuncin

Ejemplo

Hoy es jueves y est lloviendo. Por lo tanto, hoy es jueves.

Ejemplo

Este restaurant tiene un men vegano y otro con carne. Por lo


tanto, este restaurant tiene un men vegano.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Argumento de Pseudo-Scoto

Esquema de Eliminacin de la Conjuncin

Ejemplo

Hoy es jueves y est lloviendo. Por lo tanto, hoy es jueves.

Ejemplo

Este restaurant tiene un men vegano y otro con carne. Por lo


tanto, este restaurant tiene un men vegano.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Argumento de Pseudo-Scoto

Silogismo Disyuntivo

Ejemplo

Hoy es jueves o viernes. Pero hoy no es jueves. Por lo tanto, hoy


es viernes.

Ejemplo

Un requisito de postulacin era saber ingls o francs. Pero la


persona seleccionada no sabe francs. Por lo tanto, la persona
seleccionada sabe ingls.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Argumento de Pseudo-Scoto

Silogismo Disyuntivo

Ejemplo

Hoy es jueves o viernes. Pero hoy no es jueves. Por lo tanto, hoy


es viernes.

Ejemplo

Un requisito de postulacin era saber ingls o francs. Pero la


persona seleccionada no sabe francs. Por lo tanto, la persona
seleccionada sabe ingls.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Argumento de Pseudo-Scoto

Ex Contradictione Sequitur Quodlibet

p p
p p p
pq p
q

Ejemplo

Hoy est lloviendo y no est lloviendo. Entonces, est lloviendo o


yo soy el Archipreste de Hita. Pero hoy no est lloviendo. Por lo
tanto, yo soy el Archipreste de Hita.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

La lgica funciona bien en el mbito


de los fenmenos, pero en el mbito de
la cosa en s ella se topa con
contradicciones insalvables.

Alma (libertad) humana


Universo
Dios
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

La lgica funciona bien en el mbito


de los fenmenos, pero en el mbito de
la cosa en s ella se topa con
contradicciones insalvables.

Alma (libertad) humana


Universo
Dios
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

La lgica funciona bien en el mbito


de los fenmenos, pero en el mbito de
la cosa en s ella se topa con
contradicciones insalvables.

Alma (libertad) humana


Universo
Dios
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

La lgica funciona bien en el mbito


de los fenmenos, pero en el mbito de
la cosa en s ella se topa con
contradicciones insalvables.

Alma (libertad) humana


Universo
Dios
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

Todos los conceptos puros son


contradictorios.
La dialctica es el movimiento natural
del Espritu buscando resolver las
contradicciones.

Cambio

Movimiento

Amor

Progreso histrico

etc...
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

Todos los conceptos puros son


contradictorios.
La dialctica es el movimiento natural
del Espritu buscando resolver las
contradicciones.

Cambio

Movimiento

Amor

Progreso histrico

etc...
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

Todos los conceptos puros son


contradictorios.
La dialctica es el movimiento natural
del Espritu buscando resolver las
contradicciones.

Cambio

Movimiento

Amor

Progreso histrico

etc...
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

Todos los conceptos puros son


contradictorios.
La dialctica es el movimiento natural
del Espritu buscando resolver las
contradicciones.

Cambio

Movimiento

Amor

Progreso histrico

etc...
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

Todos los conceptos puros son


contradictorios.
La dialctica es el movimiento natural
del Espritu buscando resolver las
contradicciones.

Cambio

Movimiento

Amor

Progreso histrico

etc...
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

Todos los conceptos puros son


contradictorios.
La dialctica es el movimiento natural
del Espritu buscando resolver las
contradicciones.

Cambio

Movimiento

Amor

Progreso histrico

etc...
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Idealismo Trascendental

Todos los conceptos puros son


contradictorios.
La dialctica es el movimiento natural
del Espritu buscando resolver las
contradicciones.

Cambio

Movimiento

Amor

Progreso histrico

etc...
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Lgica Matemtica

Ampla conservativamente la lgica


tradicional.

Consagra el Ex Contradictione
Sequitur Quodlibet como
justicacin para aceptar el PNC.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Lgica Matemtica

Ampla conservativamente la lgica


tradicional.

Consagra el Ex Contradictione
Sequitur Quodlibet como
justicacin para aceptar el PNC.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Lgica Matemtica

Ampla conservativamente la lgica


tradicional.

Consagra el Ex Contradictione
Sequitur Quodlibet como
justicacin para aceptar el PNC.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Lgica Matemtica
Entre los grupos posibles de condiciones
veritativas hay dos casos extremos. En uno de
ellos la proposicin es verdadera para todas las
posibilidades veritativas de las proposiciones
elementales. Decimos que las condiciones
veritativas son tautolgicas.
En el segundo, la proposicin es falsa para
todas las posibilidades veritativas: las
condiciones veritativas son contradictorias.
En el primer caso llamamos a la proposicin
una tautologa, en el segundo, una
contradiccin.

L. Wittgenstein,
Tractatus Logico-Philosophicus.
4.46
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Lgica Matemtica

J. ukasiewicz (lase: Wucsivich):

Demuestra que la Silogstica antigua puede


reducirse al Clculo de Predicados (lgica de
primer orden)

Inventa el primer sistema de tres valores de


verdad

Revisa crticamente la defensa del PNC en


Metafsica IV y descubre severos errores en el
argumento de Aristteles
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Lgica Matemtica

J. ukasiewicz (lase: Wucsivich):

Demuestra que la Silogstica antigua puede


reducirse al Clculo de Predicados (lgica de
primer orden)

Inventa el primer sistema de tres valores de


verdad

Revisa crticamente la defensa del PNC en


Metafsica IV y descubre severos errores en el
argumento de Aristteles
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Lgica Matemtica

J. ukasiewicz (lase: Wucsivich):

Demuestra que la Silogstica antigua puede


reducirse al Clculo de Predicados (lgica de
primer orden)

Inventa el primer sistema de tres valores de


verdad

Revisa crticamente la defensa del PNC en


Metafsica IV y descubre severos errores en el
argumento de Aristteles
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Lgica Matemtica

J. ukasiewicz (lase: Wucsivich):

Demuestra que la Silogstica antigua puede


reducirse al Clculo de Predicados (lgica de
primer orden)

Inventa el primer sistema de tres valores de


verdad

Revisa crticamente la defensa del PNC en


Metafsica IV y descubre severos errores en el
argumento de Aristteles
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica intuicionista

p es verdadero = es posible dar una construccin de p


p es falso = una construccin de p implicara una contradiccin

Negacin Intuicionista

Reductio constructiva Reductio no constructiva


x x
x x
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica intuicionista

p es verdadero = es posible dar una construccin de p


p es falso = una construccin de p implicara una contradiccin

Negacin Intuicionista

Reductio constructiva Reductio no constructiva


x x
x x
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica intuicionista

p es verdadero = es posible dar una construccin de p


p es falso = una construccin de p implicara una contradiccin

Negacin Intuicionista

Reductio constructiva Reductio no constructiva


x x
x x
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica intuicionista

p es verdadero = es posible dar una construccin de p


p es falso = una construccin de p implicara una contradiccin

Negacin Intuicionista

Reductio constructiva Reductio no constructiva


x x
x x
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica relevante

La frmula es consecuencia lgica (relevante) de la conjuncin


(1 n ) si y solamente si:
1 Toda valuacin que hace verdadera a (1 n ) hace
tambin verdadera a .
2 Todas las variables que aparecen en son variables que
aparecen tambin en (1 n ).

ECSL

p p
q
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica relevante

La frmula es consecuencia lgica (relevante) de la conjuncin


(1 n ) si y solamente si:
1 Toda valuacin que hace verdadera a (1 n ) hace
tambin verdadera a .
2 Todas las variables que aparecen en son variables que
aparecen tambin en (1 n ).

ECSL

p p
q
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica relevante

La frmula es consecuencia lgica (relevante) de la conjuncin


(1 n ) si y solamente si:
1 Toda valuacin que hace verdadera a (1 n ) hace
tambin verdadera a .
2 Todas las variables que aparecen en son variables que
aparecen tambin en (1 n ).

ECSL

p p
q
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica relevante

La frmula es consecuencia lgica (relevante) de la conjuncin


(1 n ) si y solamente si:
1 Toda valuacin que hace verdadera a (1 n ) hace
tambin verdadera a .
2 Todas las variables que aparecen en son variables que
aparecen tambin en (1 n ).

ECSL

p p
q
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica paraconsistente

Newton A. C. Da Costa (1963)


distingue entre proposiciones:

que se portan bien (bem


comportadas )
que se portan mal (mal
comportadas )

Operador de buen comportamiento

0 = ( )
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica paraconsistente

Newton A. C. Da Costa (1963)


distingue entre proposiciones:

que se portan bien (bem


comportadas )
que se portan mal (mal
comportadas )

Operador de buen comportamiento

0 = ( )
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica paraconsistente

Newton A. C. Da Costa (1963)


distingue entre proposiciones:

que se portan bien (bem


comportadas )
que se portan mal (mal
comportadas )

Operador de buen comportamiento

0 = ( )
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica paraconsistente

Newton A. C. Da Costa (1963)


distingue entre proposiciones:

que se portan bien (bem


comportadas )
que se portan mal (mal
comportadas )

Operador de buen comportamiento

0 = ( )
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica paraconsistente

Silogismo Disyuntivo del sistema C1

Ex Contradictione (Non) Sequitur


Quodlibet

p p
p p p p p
pq p p 0
q
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La lgica paraconsistente

Silogismo Disyuntivo del sistema C1

Ex Contradictione (Non) Sequitur


Quodlibet

p p
p p p p p
pq p p 0
q
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El nombre del juego

Dialetheia
la doble verdad
dialhjeia
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El nombre del juego

Dialetheism (Priest)
Dialethism (Routley/Sylvan)

Dialetesmo
Dialecismo
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El nombre del juego

Dialetheism (Priest)
Dialethism (Routley/Sylvan)

Dialetesmo
Dialecismo Esta es la que me gusta
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Dialecismo de G. Priest

La semntica de LP (Logic of the


Paradox )
El lema del colapso
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Dialecismo de G. Priest

La semntica de LP (Logic of the


Paradox )
El lema del colapso
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Dialecismo de G. Priest

La semntica de LP (Logic of the


Paradox )
El lema del colapso
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

Una proposicin puede ser verdadera o


falsa

Una frmula es consecuencia lgica de


otras si no pueden ser todas las premisas
verdaderas y la conclusin falsa
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

Una proposicin puede ser verdadera o


falsa o ambas

Una frmula es consecuencia lgica de


otras si no pueden ser todas las premisas
(al menos) verdaderas y la conclusin
(slo) falsa
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

( )
1 1 1
1 0 1 0 1
0 1 0 1 1
0 0 0
Cuadro: Negacin
Cuadro: Disyuncin
( )
1 1 1 ( )
1 0 0 1 1 1
0 1 0 1 0 0
0 0 0 0 1 1
0 0 1
Cuadro: Conjuncin
Cuadro: Condicional
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP



1 0
1 0
0 1
0 1
1,0 1,0
Cuadro: Negacin
Cuadro: Negacin dialtica
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

( )
1 1 1
1 0 0
( )
1 1,0 1,0
1 1 1
0 1 0
1 0 0
0 0 0
0 1 0
0 1,0 0
0 0 0
1,0 1 1,0
Cuadro: Conjuncin 1,0 0 0
1,0 1,0 1,0

Cuadro: Conjuncin dialtica


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

( )
1 1 1
1 0 1
( )
1 1,0 1
1 1 1
0 1 1
1 0 1
0 0 0
0 1 1
0 1,0 1,0
0 0 0
1,0 1 1
Cuadro: Disyuncin 1,0 0 1,0
1,0 1,0 1,0

Cuadro: Disyuncin dialtica


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

( )
1 1 1
1 0 0
( )
1 1,0 1,0
1 1 1
0 1 1
1 0 0
0 0 1
0 1 1
0 1,0 1
0 0 1
1,0 1 1
Cuadro: Condicional 1,0 0 1,0
1,0 1,0 1,0

Cuadro: Condicional dialtico


Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

Ex Contradictione (Non) Sequitur Quodlibet

p p ; q

v (p) = 1, 0
v (q) = 0
v (p) = 1, 0
v (p p) = 1, 0
Las premisas son todas (al menos) verdaderas pero la conclusin
es (slo) falsa!
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

Ex Contradictione (Non) Sequitur Quodlibet

p p ; q

v (p) = 1, 0
v (q) = 0
v (p) = 1, 0
v (p p) = 1, 0
Las premisas son todas (al menos) verdaderas pero la conclusin
es (slo) falsa!
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

Ex Contradictione (Non) Sequitur Quodlibet

p p ; q

v (p) = 1, 0
v (q) = 0
v (p) = 1, 0
v (p p) = 1, 0
Las premisas son todas (al menos) verdaderas pero la conclusin
es (slo) falsa!
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

Ex Contradictione (Non) Sequitur Quodlibet

p p ; q

v (p) = 1, 0
v (q) = 0
v (p) = 1, 0
v (p p) = 1, 0
Las premisas son todas (al menos) verdaderas pero la conclusin
es (slo) falsa!
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

La Semntica de LP

Ex Contradictione (Non) Sequitur Quodlibet

p p ; q

v (p) = 1, 0
v (q) = 0
v (p) = 1, 0
v (p p) = 1, 0
Las premisas son todas (al menos) verdaderas pero la conclusin
es (slo) falsa!
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

El Lema del Colapso: Cuando se hace


colapsar el modelo de una teora (conjunto de
proposiciones) en otro que contiene
contradicciones, la teora nunca pierde valores
de verdad, slo los gana.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 1,0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1,0
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 1,0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1,0
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 1,0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1,0
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 1,0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1,0
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

El Lema del Colapso

I (b) = Bulbasaur
I (s) = Squartle
I (c) = Charmander
I (L2 ) = (...) est a la izquierda de (...)

VM ,g (b = b b 6= b) = 1,0
VM ,g (s 6= s) = 0
VM ,g (x(x 6= c xLc)) = 1,0
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Consideraciones nales

El Dialecismo no implica creer que todas


las contradicciones son verdaderas, sino
slo algunas.

El Dialecismo exige revisar una serie de


creencias relativas a:
1 La racionalidad
2 La metafsica tradicional
3 La matemtica
4 etc.

Los dialecistas siguen teniendo la carga


de la prueba en la losofa de la lgica.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Consideraciones nales

El Dialecismo no implica creer que todas


las contradicciones son verdaderas, sino
slo algunas.

El Dialecismo exige revisar una serie de


creencias relativas a:
1 La racionalidad
2 La metafsica tradicional
3 La matemtica
4 etc.

Los dialecistas siguen teniendo la carga


de la prueba en la losofa de la lgica.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Consideraciones nales

El Dialecismo no implica creer que todas


las contradicciones son verdaderas, sino
slo algunas.

El Dialecismo exige revisar una serie de


creencias relativas a:
1 La racionalidad
2 La metafsica tradicional
3 La matemtica
4 etc.

Los dialecistas siguen teniendo la carga


de la prueba en la losofa de la lgica.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Consideraciones nales

El Dialecismo no implica creer que todas


las contradicciones son verdaderas, sino
slo algunas.

El Dialecismo exige revisar una serie de


creencias relativas a:
1 La racionalidad
2 La metafsica tradicional
3 La matemtica
4 etc.

Los dialecistas siguen teniendo la carga


de la prueba en la losofa de la lgica.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Consideraciones nales

El Dialecismo no implica creer que todas


las contradicciones son verdaderas, sino
slo algunas.

El Dialecismo exige revisar una serie de


creencias relativas a:
1 La racionalidad
2 La metafsica tradicional
3 La matemtica
4 etc.

Los dialecistas siguen teniendo la carga


de la prueba en la losofa de la lgica.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Consideraciones nales

El Dialecismo no implica creer que todas


las contradicciones son verdaderas, sino
slo algunas.

El Dialecismo exige revisar una serie de


creencias relativas a:
1 La racionalidad
2 La metafsica tradicional
3 La matemtica
4 etc.

Los dialecistas siguen teniendo la carga


de la prueba en la losofa de la lgica.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Consideraciones nales

El Dialecismo no implica creer que todas


las contradicciones son verdaderas, sino
slo algunas.

El Dialecismo exige revisar una serie de


creencias relativas a:
1 La racionalidad
2 La metafsica tradicional
3 La matemtica
4 etc.

Los dialecistas siguen teniendo la carga


de la prueba en la losofa de la lgica.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Consideraciones nales

El Dialecismo no implica creer que todas


las contradicciones son verdaderas, sino
slo algunas.

El Dialecismo exige revisar una serie de


creencias relativas a:
1 La racionalidad
2 La metafsica tradicional
3 La matemtica
4 etc.

Los dialecistas siguen teniendo la carga


de la prueba en la losofa de la lgica.
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Outro

potamois tois atois mbanomn te ka ok mbanomen, eimn te

ka ok eimn

(Herclito, DK12)
Preliminares Una aproximacin histrica Dos propuestas El dialecismo como losofa

Referencias

Bobenrieth, Andrs. (1996) Inconsistencias, por qu no? Un estudio


losco sobre lgica paraconsistente. Bogot: Colcultura.
Priest, Graham. (1995) Beyond the Limits of Thought. Cambridge:
Cambridge University Press.

Priest, Graham. (2006) In Contradiction. A study of the


transconsistent. (Expanded edition). New York: Oxford University
Press.

Priest, Graham; Berto, Francesco. Dialetheism, The Stanford


Encyclopedia of Philosophy (Spring 2017 Edition), Edward N. Zalta
(ed.), URL =
<https://plato.stanford.edu/archives/spr2017/entries/dialetheism/>.

Priest, Graham; Tanaka, Koji; Weber, Zach. Paraconsistent Logic,


The Stanford Encyclopedia of Philosophy (Winter 2016 Edition),
Edward N. Zalta (ed.), URL =
<https://plato.stanford.edu/archives/win2016/entries/logic-
paraconsistent/>.