Temario para el semestre 2018-2

De -




Saludos, chicos


el semestre 2018-2 se avecina y nuestro temario será el siguiente:


1) Lógica proposicional

Lectura de Grice, "Lógica y conversasción".

Repaso de lógica proposicional

Operadores compuestos: Bicondicional y exclusión

Prueba de validez

Prueba de invalidez

2) Lógica clásica:

Frege, introducción a Conceptografía.

Árboles de Frege.

3) Lógica de predicados:

José Alfredo Amor, "De la lógica proposicional a la lógica de predicados"

Traducción y demostración de argumentos de lenguaje natural a lógica de predicados.

4) Temas selectos:

Beth, Las paradojas de la lógica.

Smullyan, What is the name of this book?

Russell, "On denoting"


Comentarios

Publicar un comentario

Entradas populares de este blog

Acertijos 28 de Febrero (Alicia en el bosque del olvido)

De -
Imagen
Cuando Alicia entró en el bosque del olvido, no se olvidó de todo, sólo de ciertas cosas. Con frecuencia olvidaba su nombre, y una cosa que con grandes probabilidades olvidaría era el día de la semana. Ahora, el León y el Unicornio eran visitantes frecuentes del bosque. Estas dos son peculiares criaturas. El León miente los lunes, martes y miércoles, y dice la verdad el resto de los días de la semana. El Unicornio por otra parte, miente jueves, viernes y sábados, pero dice la verdad el resto de la semana. 1. Un día Alicia se encontró con el León y el Unicornio descansando bajo un árbol.  Ellos hicieron los siguientes enunciados: León: Ayer fue uno de mis días de mentir. Unicornio: Ayer fue uno de mis días de mentir también. ¿Qué día de la semana era? 2. Alicia se encontró al León solo en otra ocasión, éste le dijo los siguientes dos enunciados: (1) Mentí ayer. (2) Mentiré de nuevo dios días después de mañana. 3. ¿En qué días de la semana es posible que el León haga los do
Leer más

Olimpiada en Lógica 2015 (o "lo que sea por un punto extra y/o diez final en el curso")

De -
Imagen
Como algunos de ustedes saben, cada año se celebra una olimpiada de lógica, promovida por la Academia Mexicana de Lógica ; el momento ha llegado, para ser campeones primero deberán superar la eliminatoria estatal -a celebrarse el 21 de Marzo en FFyL-, para luego enfrentarse a los competidores del resto del mundo -el 23 de Mayo- en la Universidad de Guanajuato. Para inscribirse, deben llenar el Formulario de Registro para la XII Olimpiada Internacional de Lógica 2015 utilizando la siguiente información (cuento con que saben cuál es su nombre, correo electrónico y edad): - Institución de procedencia: UNAM FFyL - Categoría en que concursa: Escoger "Categoría licenciatura" - Carrera que cursa: Filosofía (o de la que sean) - Nombre completo del asesor académico o entrenador: David Felipe Duarte Serna - Correo electrónico del asesor: acidminded95@gmail.com - Representante Académico Regional: Gabriel Ramos García Se ha filtrado el cartel de la eliminatoria estatal y luce
Leer más

Para que dejen de sufrir, calificaciones finales.

De -
Hola mis niños bellos. Ya están listos los promedios finales, a continuación les publico la lista únicamente con la calificación final, si quieren ver el desglose de las calificaciones tendrán que hacer clic  aquí . Tal cual como aparece la calificación en la siguiente lista aparecerá en su historial, quien desee renunciar a su 6 y desee NP, o quien quiera que pongamos en lugar del 5 igual un NP tiene que informarnos antes de que sean subidas las calificaciones a actas (o sea en Enero). Los promedios finales fueron hechos a partir del promedio de 8 exámenes y se añadió la calificación del examen extra de quienes lo presentaron, además de criterios que tanto Gabriel como yo creímos pertinentes. Que tengan felices vacaciones y felices fiestas. Los quiero. Alvarado Mata Carlos. 8 Bustos Cruz Rubén. 10 Cabrera Acuña Zotlaney Loveley. 9 Calzada Ortiz Ebert. 10 Cerezo Arteaga Linda Constanza. 8
Leer más