Introducción a las lógicas no clásicas

Lógica y razonamiento

Holas,

hoy estuvimos viendo algunos tests de razonamiento deductivo donde casi todo el mundo falla, y algunas teorías psicológicas que explican por qué caemos en esos ¿errores?

Les dejo acá el apunte que preparé para la clase.

Saludos,

Diego


Pluralismo lógico

Holas,

visto que varios piensan hacer la monografía sobre pluralismo lógico, les dejo algunos artículos que escribí en castellano sobre el tema:

Una defensa del Pluralismo Lógico

Contra el pluralismo lógico modal

Desacuerdo lógico

Mi tesis de Licenciatura (2011) fue sobre Pluralismo Lógico, pueden bajarla acá

Abrazo,

Diego

 


Lógica difusa

Holas,

les dejo el apunte que preparé sobre Lógica difusa y que utilicé en la clase de hoy.

Abrazo,

Diego


Esquema de Inclausura

Holas,

ayer estuve hablando sobre el esquema de inclausura de Priest. Les dejo el apunte que preparé para la clase.

Saludos,

Diego


Monografías

Hola de nuevo,

respecto al tema de las monografías, les recomiendo fuertemente que vayan eligiendo un tema. Hice un listado de posibles temas, aunque obviamente hay muchos otros más:

  • Rivalidad en lógica
  • Pluralismo lógico
  • Compromisos de la lógica modal
  • Soluciones no-clásicas a las paradojas: Kripke, Priest, ST, etc.
  • Lógicas modales aplicadas: epistémica, temporal o deóntica
  • Indeterminismo del futuro y lógicas paracompletas
  • Realismo, anti-realismo y lógica intuicionista
  • Paradoja de Fitch
  • Dialeteísmo y ley de no-contradicción
  • Contradicciones legales o deónticas
  • Vaguedad y paradoja de sorites
  • Lógicas no-clásicas y razonamiento
  • Distintas lógicas paracompletas (K3, L3, etc.)
  • Distintas lógicas paraconsistentes (LP, FDE, RM3)
  • (Tema futuro) Esquema de inclausura de Priest
  • (Tema futuro) Lógica difusa

Recuerden que pueden escribirnos a Edu, Fede o a mí si les interesa algún tema en particular. Nosotros podemos recomendar bibliografía o ayudarlos a desarrollar sus ideas.

Saludos,

Diego


Clase sobre dialeteísmo

Holas,

Hoy di el práctico sobre dialeteísmo. Les recuerdo que el libro principal de Priest es "In Contradiction" (2006). Respecto a la teoría de la verdad, también está el libro de Beall "Spandrels of truth" (2012). Ambos deberían estar en libgen.

Si prefieren algo más corto o en castellano, les paso algunas cosas que escribí. Este es un artículo general (en tono crítico) sobre los motivos a favor del dialeteísmo. Este otro es un capítulo de nuestro libro "La lógica de la verdad" sobre las teorías de verdad dialeteístas.

La semana próxima hablaremos sobre el Inclusure schema, un esquema matemático general que según Priest se aplica a todas las paradojas más famosas.

Saludos,

Diego


Práctico 15 de mayo: pasado y futuro

Hola,

hoy en práctico hablamos sobre las razones de Lukasiewicz para adoptar L3, relacionadas con la indeterminación del pasado y del futuro. Acá pueden ver el artículo de Lukasiewicz que mencioné. También hablamos sobre Prior y la lógica epistémica.

Acá pueden bajar el apunte que preparé para la clase.

Respecto al tema de Paradojas, los libros que mencioné fueron "The Tarskian Turn" de Horsten y nuestro libro "La lógica de la verdad" (ed. Eudeba). En clase me la olvidé, pero la paradoja tipo-mentiroso en L3 es un mentiroso doble:

A = ¬T(A)

B = T(B) --> A

Pueden ver que B no puede tener ningún valor (asumiendo que B y T(B) valen lo mismo):

Si B vale 0, entonces por las cláusulas del condicional T(B) vale 1. Imposible.

Si B vale 1, entonces se deduce A por Modus ponens. Pero A es paradójico.

Si B vale 1/2, entonces T(B) vale 1/2. Pero A vale 1/2. Entonces T(B) --> A vale 1 en L3. Osea que B vale 1. Lo cual contradice el supuesto de que B valía 1/2.

Salu2

Diego

 


Soluciones Lógica Epistémica

Holas,

les dejo acá unas soluciones  para los ejercicios de lógica epistémica que había dejado como tarea la otra vez. Como verán, son pruebas semi-formales (no son secuentes o cosas así mecánicas), por lo cual hay distintas maneras de resolverlos. Mientras se entienda, está todo bien.

Saludos,

Diego


PARCIAL DOMICILIARIO

Aquí tienen los dos temas del parcial domiciliario. Los de apellido que empieza en A-K deben hacer tema 1, los de L-Z les toca el tema 2.

Tema 1

Tema 2

Las consignas técnicas (tableaux, secuentes y lógica epistémica) pueden entregarse a mano.

(Pequeña aclaración para el problema de lógica epistémica: obviamente pueden asumir que los agentes conocen el planteo de la situación. Es decir, en el tema 1, los agentes saben que hay tres cartas, que pueden ser verde, azul, rojo, que cada uno ve la carta del otro, etc. En el tema 2, los agentes tienen el conocimiento geográfico básico necesario sobre poblaciones y continentes, saben en qué países podría estar el espía, qué tipo de información le llega a cada agente, etc.)

 


Práctico 8 de mayo

Hola a todos,

Hoy en prácticos estuvimos hablando sobre dos temas: la Paradoja de Fitch y las lógicas epistémicas sin omnisciencia.

Les dejo acá mi artículo sobre la paradoja de Fitch apelando a "mundos imposibles", por si les interesa.

Les dejo acá mi apunte sobre lógicas epistémicas sin omnisciencia.

Saludos,

Diego


Práctico 17 de abril

(Este posteo es del 17 de abril. Por un error mío, no apareció en la página del curso)

Holas,

hoy (17 de abril) en prácticos estuvimos viendo Lógica Epistémica. Les dejo acá el apunte que preparé

Dejo acá los ejercicios que me gustaría que hicieran en sus casas. Aunque el primero lo hicimos en clase.

Saludos,

Diego


Práctico 10 de abril

Hola,

hoy estuvimos repasando cálculo de secuentes clásicos, y estuvimos viendo secuentes para sistemas modales (especialmente K, T, S4 y S5).

Todo lo que dije en clase está en este material que preparé. El material incluye tres ejercicios que revisaremos la semana próxima. Una introducción menos didáctica pero mucho más exhaustiva a los métodos de prueba para lógica modal pueden encontrarla en este texto de Sara Negri.

La semana próxima (17 de abril) nos vamos a introducir en el fascinante mundo de la lógica epistémica.

Saludos y felices Pascuas/Pesaj/feriados,

Diego


Práctico 3 de abril

Hola,

A pedido de algunos alumnos, el lunes en prácticos veremos una introducción al cálculo de secuentes. Se trata de un método de prueba muy utilizado en discusiones de filosofía de la lógica (de hecho lo habrán visto en varios papers de teóricos), que sin embargo no enseñamos en lógica 1 porque es más complejo que deducción natural. Seguimos con lógica clásica porque prefiero esperar a que introduzcan lógica modal en teóricos (es decir, en prácticos arrancamos con lógica modal el 10 de abril).

Recuerden que los ejercicios para la clase eran probar estos teoremitas en tableaux:

ejercicios

Para los que quedaron entusiasmados con tableaux, acá pueden encontrar una nota que preparé con la prueba de completitud en castellano.

Respecto al cálculo de secuentes, mañana estaremos utilizando este apunte que preparé, que incluye los ejercicios para la clase del 10 de abril.

Saludos y nos vemos el lunes,

Diego


Práctico 27 de marzo

Hola,

el 27 de marzo nos juntaremos en el aula indicada por la cartelera (todavía no sé cuál es) a las 15hs. Si se puede, iremos desde ahí al aula 452.

En la clase voy a hablar sobre los métodos de tableaux en lógica clásica. Al respecto, pueden leer la Introducción de la guía de Opfyl. Un acercamiento un poco más avanzado (incluyendo pruebas accesibles de completitud y corrección) puede encontrarse en el capítulo 1 del libro de Priest, Introduction to non-classical logics.

Saludos y nos vemos el lunes,

Diego


Clase 27 de marzo

El práctico comienza a las 15. Todos se encuetran en el aula asignada por la facultad.
El teórico comienza a las 17 en el aula 452.
Este fin de semana, queremos que reflexionen sobre las siguientes cuestiones:
- ¿Es posible revisar o cambiar un sistema lógico?
- ¿Es posible que exista más de una lógica correcta?
- ¿Cómo sería un desacuerdo genuino entre lógicas?