Captulo 1.

Tabla de horarios

Tabla de horarios
Lgica y Fundamentos pg. 3
Hora
9:00-9:50 10:00-10:20 10:20-10:40 10:40-11:00 11:00-11:30 11:40-12:00 12:00-12:50 12:50-13:00 13:00-13:30 13:30-13:50 14:00-16:30 16:40-17:00 17:00-17:20 17:20-17:40 17:40-18:10 18:10-18:30 18:30-18:50 18:50-19:00 19:00-19:50 19:50-20:50 20:50-21:00 21:00-21:50 13.4 13.5 13.3 13.12 13.2 Inauguracin

Captulo 1

Lunes

Martes 13.6
13.7 13.8

Mircoles
13.15 13.16 13.17 13.18

Jueves
13.21 13.22 13.23 13.24

Viernes

PLENARIA 1
Traslado

13.9

Caf
13.10 13.11 13.19 13.20

13.1

Traslado PLENARIA 2 COMIDA PLENARIA 3 PLENARIA 4 COMIDA PLENARIA 5

Caf
13.13 13.14

Tarde Libre PLENARIA 8

Caf PLENARIA 9 Traslado Asamblea General Traslado Clausura

Traslado PLENARIA 6 HOMENAJE ERNESTO LACOMBA PLENARIA 7 HOMENAJE FRANCISCO RAGGI

HOMENAJE JORGE IZE

Saln D7
13.1 El zafarrancho ocasionado por Zermelo. 1904 1908
Rafael Rojas Barbachano (Invitado) (CPI, 1Lic)

13.5 Estructuras homogneas desde la Teora de Modelos

Erick Garca Ramrez (RT, 2Lic)

13.2 Algunos fundamentos de la demostracin automtica de teoremas

Juan Pablo Muoz Toriz (CDV, 2Lic)

13.6 Una mirada clsica a las lgicas no clsicas

Ivn Martnez Ruz (Invitado) (CDV, 1Lic)

13.3 Semnticas Multivaluadas

Vernica Borja Macas (CDV, 2Lic)

13.7 Un sistema de escaleras en L

Jos Antonio Corona Garca (CDV, 2Lic)

13.4 El axioma del eleccin y la teora de la medida de 13.8 Categoras Accesibles y el Principio de Vopnka
conjuntos
Arturo Nieva Gochicoa (RI, Pos) Ramn Abud Alcal (RT, 2Lic)

Captulo 1. Tabla de horarios

13.9 Lgicas Intermedias Posibilistas (PIL)
Oscar Hernn Estrada Estrada (RT, Pos)

13.17 Encajes y nociones de Forcing

Alonso Lenin Celis Martnez (RT, 2Lic)

13.10 Modelos y ultrapotencias sobre los naturales

Carlos Alberto Mendoza Magaa (RT, 2Lic)

13.18 Coloraciones Borel

Jos de Jess Pelayo Gmez (RT, 2Lic)

13.11 Las nociones de elementaridad, completud y categoricidad en Teora de Modelos

Gabriela Campero Arena (CDV, 2Lic)

13.19 Reporte de tesis: Conjuntos no medibles

Ivn Ongay Valverde (RT, 2Lic)

13.12 Un panorama de las lgicas de orden superior

Favio Ezequiel Miranda Perea (CDV, 2Lic)

13.20 Algunos invariantes cardinales asociados a espacios (fuertemente) porosos

Arturo Antonio Martnez Celis Rodrguez (RT, Pos)

13.13 George Boole: Es el descubridor de las matemticas puras?

Abelardo Vela Ponce de Len (CDV, Pos)

13.21 Lneas y rboles

Naim Nez Morales (CDV, 2Lic)

13.14 Conjuntos magros, conjuntos nulos y el Diagrama 13.22 Sobre ideales de conjuntos compactos
de Cichon
Sonia Navarro Flores (CDV, 1Lic) Juan Salvador Lucas Martnez (CDV, 2Lic)

13.15 Aplicaciones de la lgica a la topologa

Yolanda Magda Torres Falcn (CDV, 2Lic)

13.23 Juegos de Ehrenfeucht-Frass y sus aplicaciones

Luis Fernando Martnez Ortiz (CDV, 2Lic)

13.16 Que fue primero, Lgica o Teora de Conjuntos

Vladimir Arturo Rueda Ontiveros (RT, 2Lic)

13.24 Modelo Conjuntos dentro de la Teora de Tipos

Mauricio Salinas Rodrguez (RT, Pos)

Captulo 2. Resmenes

Resmenes
13.
13.1.

Captulo 2

Lgica y Fundamentos

El zafarrancho ocasionado por Zermelo. 1904-1908

(CPI, 1Lic)

Rafael Rojas Barbachano,

rafael.rojas.b@ciencias.unam.mx (Departamento de Matemticas, Facultad de Ciencias,

Universidad Nacional Autnoma de Mxico (UNAM))

Zermelo en 1904 comunica en una carta a Hilbert la prueba de que a todo conjunto se le puede dar un orden de tal suerte que ste sea un buen orden, El Teorema del Buen Orden. Dicha prueba se basa en un principio, dado explcitamente, ahora llamado El Axioma de Eleccin. Los enemigos de la teora cantoriana de conjuntos y otros ms se vuelcan contra el resultado, su prueba y este principio, en una franca oposicin a ella. Este debate durar cuatro aos, principalmente encabezado por la Escuela Intuicionista Francesa, hasta que el mismo Zermelo proporciona, en 1908, una segunda prueba y responde a sus opositores. En este espacio platicar sobre todo esto.

13.2.

Algunos fundamentos de la demostracin automtica de teoremas

(CDV, 2Lic)

Juan Pablo Muoz Toriz, jp_190999@hotmail.com (Benemrita Universidad Autnoma de Puebla (BUAP)) Coautor: Jos Ramn Arrazola Ramrez

Los fundamentos matemticos nos permiten disear algoritmos para resolver cierto tipo de problemas. Desafortunadamente en muchas ocasiones dichos algoritmos generan procesos muy largos como para realizarlos manualmente, es aqu donde entran en juego las computadoras. En este trabajo se presentan algunos fundamentos lgicos que permiten disear algoritmos programables para la demostracin automtica de teoremas en algunas lgicas importantes tales como: Clculo Proposicional Clsico, Clculo Proposicional Intuicionista, G3, Four y N5.

13.3.

Semnticas Multivaluadas

(CDV, 2Lic)

Vernica Borja Macas,

(UTM))

vero0304@gmail.com (Instituto de Fsica y Matemticas Universidad Tecnolgica de la Mixteca

Coautor: Jess Alejandro Hernndez Tello

De acuerdo a la tesis de Suzko cualquier semntica multivaluada se puede reemplazar por una bivaluada. La tesis de Suszko ha sido ampliamente estudiada, especialmente desde un punto de vista losco, el objetivo de esta pltica es responder a la pregunta, Qu ganamos al usar una semntica multivaluada en lugar de una bivaluada? Las semnticas bivaluadas para familias de lgicas se pueden desarrollar de manera modular. Por otra parte las semnticas bivaluadas generalmente no son analticas, lo cual se puede garantizar para las semnticas inducidas por matrices multivaluadas. Mostraremos que ambas propiedades se pueden satisfacer si se parte de matrices multivaluadas no deterministas. Finalmente se mostrar que para hacer este trabajo constructivamente lo mejor es considerar a los valores de verdad como portadores de informacin.

13.4.

El axioma del eleccin y la teora de la medida de conjuntos

(RI, Pos)

Arturo Nieva Gochicoa,

cdm@matematicas.unam.mx (Departamento de Matemticas de la Facultad de Ciencias. Univer-

sidad Nacional Autnoma de Mxico (UNAM))

En esta ponencia se mencionarn algunas recurrencias al axioma de eleccin en la construccin de la teora de la medida de conjuntos (tanto en la construccin de Lebesgue como en la abstracta) que no son mencionados en los textos a cerca de esta estructura ni en los libros dedicados a tal axioma. La ponencia es una experiencia didctica que considero debo compartir con objeto de, al menos, ir mostrando la necesidad de una teora de conjuntos, en lugar de un concepcin intuitiva de stos, ya que la teora de la medida es una de las estructuras idneas para tal objeto, y todo debido al uso reiterado en sta del concepto del inf o el sup de innidades de conjuntos de nmeros.

Captulo 2. Resmenes
13.5.

Estructuras homogneas desde la Teora de Modelos

(RT, 2Lic)

Erick Garca Ramrez,

(UNAM))

erick_phy@ciencias.unam.mx (Facultad de Ciencias, Universidad Nacional Autnoma de Mxico

Las estructuras homogneas surgieron a partir de algunas observaciones sobre el orden usual de los nmeros racionales hechas por R. Fraiss: Una estructura es homognea en caso de que cualquier isomorsmo entre dos subestructuras nitas se extiende a un automorsmo. El trabajo de Fraiss inaugur una campo de investigacin no slo en Teora de Modelos, sino en Combinatoria, Teora de Grupos y ms recientemente en Topologa y otras. Esta vez abordaremos las estructuras homogneas desde el enfoque de la Teora de Modelos, mostrando la conexin de este tipo de estructuras con una considerable variedad de conceptos, algunos bsicos y otros no tanto, de la Teora de Modelos.
13.6.

Una mirada clsica a las lgicas no clsicas

(CDV, 1Lic)

Ivn Martnez Ruz,

Cuando se ha descartado lo imposible, lo que queda, por improbable que sea, debe ser la verdad Esta mxima del afamado investigador ingls Sherlock Holmes resulta elemental, partiendo del hecho de que en Lgica Clsica las proposiciones de la forma son siempre tautologas. En tal sentido, de haberse desarrollado esta historia en la Londres de 1930, el Dr. John H. Watson, su inseparable y el amigo, bien pudo haberle hecho notar que, de analizarse su armacin en otras lgicas no clsicas, ella bien puede resultar incorrecta. En un intento por extender el alcance de los mtodos formales de la Lgica a dominios de mayor complejidad y donde el anlisis formal no haba tenido acceso, o incluso pretendiendo dotar de una estructura formal a corrientes los
ficas del pensamiento matem
tico, ha sido posible desarrollar teoras formales muy diversas, denominadas lgicas no clsicas. Para ello, el principio de dualidad, presente en la nocin de verdad de las proposiciones clsicas, se modica hasta convertirse en un valor multivaluado o involucrando incluso mundos posibles y grados de validez. El objetivo de esta pl
tica panormica ser presentar, de forma muy general, algunas de las principales lgicas no clsicas. Se pretende realizar un estudio sintctivo de ellas, pero presentando tambin un estudio semntico de las mismas. Esto ltimo permitir mostrar la relacin que puede existir entre la lgica y ramas diversas de las Matem
ticas como las estructuras algebraicas y la Topologa.

imartinez@fcfm.buap.mx

(Benemrita Universidad Autnoma de Puebla (BUAP))

13.7.

Un sistema de escaleras en L

(CDV, 2Lic)

Jos Antonio Corona Garca,

jcorona091089@gmail.com

(Facultad de Ciencias Fsico-Matemticas Universidad Mi-

choacana de San Nicols de Hidalgo)

Un sistema de escaleras E : < 1 es una sucesin de subconjuntos de 1 tal que E y para cada lmite sup E = . En la charla se denir en el universo construible un sistema de escaleras E : < 1 tal que dada una familia {Sn : n } de conjuntos estacionarios en 1 , hay < 1 tal que E Sn es conal en , para cada n .
13.8.

Categoras Accesibles y el Principio de Vopnka

(RT, 2Lic)

Ramn Abud Alcal,

(IMATE-UNAM))

abud@ciencias.unam.mx

(Instituto de Matemticas, Universidad Nacional Autnoma de Mxico

Mi ponencia ser una probadita de cmo la teora de Categoras y la Teora de Conjuntos se combinan y dan resultados de lgebra, Teora de Modelos y Teora de Categoras en lenguaje Categrico. La nalidad ser dar una caracterizacin de las categoras accesibles y las categoras axiomatizables suponiendo el principio de Vopnka, el cual es un axioma de la teora de conjuntos que implica la existencia de cardinales muy pero muy grandes. Estas caracterizaciones tienen como consecuencia la razn por la cual yo las encontr, que es una generalizacin para otras clases de mdulos (distintas de la clase de mdulos planos) del hecho de que todo mdulo tiene una cubierta plana.
13.9.

Lgicas Intermedias Posibilistas (PIL)

(RT, Pos)

Oscar Hernn Estrada Estrada,

oestrada2005@gmail.com

(Departamento de Fsica y Matemticas de la Universidad

Autnoma de Ciudad Jurez (UACJ))

Denimos la Lgica Posibilista Intermedia (PIL), una fusin entre la Lgica Posibilista y la clase de las Lgicas Intermedias. Se demuestran en el contexto de PIL las versiones de algunos teoremas bien conocidos, a saber, una versin del Teorema de la Deduccin, de la Regla de Corte, del Teorema de la Substitucin, del Teorema de Glivenko y una versin dbil del Teorema de la Refutacin.

13. Lgica y Fundamentos

Captulo 2. Resmenes
13.10.

Modelos y ultrapotencias sobre los naturales

(RT, 2Lic)

Carlos Alberto Mendoza Magaa,

cmendoza2000@gmail.com (Facultad de Cs. Fsico-Matemticas Universidad Michoa-

cana de San Nicols de Hidalgo (UMSNH))

Desarrollaremos algunos de los aspectos de la teora de modelos como los encajes elementales, subestructuras, subestructuras elementales, uniones de cadenas todo ello sobre ultrapotencias de naturales sacando a la luz las condiciones para que en estas estructuras cumplan con lo que deben.
13.11.

Las nociones de elementaridad, completud y categoricidad en Teora de Modelos

(CDV, 2Lic)

Gabriela Campero Arena,

gabriela@matematicas.unam.mx

(Departamento de Matemticas, Facultad de Ciencias,

Universidad Nacional Autnoma de Mxico (FC-UNAM))

Pretendo introducir las tres nociones bsicas que marcaron el surgimiento del rea de la Teora de Modelos: elementaridad, que abarca equivalencia elemental, subestructura elemental e inmersin elemental; teoras completas, y teoras categricas y -categricas para algn cardinal . Concluir presentando algunos de los teoremas importantes sobre estas nociones para dar una visita guiada a los comienzos de esta importante rama de la Lgica Matemtica.
13.12.

Un panorama de las lgicas de orden superior

(CDV, 2Lic)

Favio Ezequiel Miranda Perea,

favioemp@gmail.com (Departamento de Matemticas Facultad de Ciencias Universidad

Nacional Autnoma de Mxico (UNAM))

Coautores: Araceli Liliana Reyes Cabello, Lourdes del Carmen Gonzlez Huesca

Las lgicas de orden superior dieren de la lgica de predicados de primer orden al permitir la cuanticacin no slo sobre los individuos, sino tambin sobre otras clases como predicados, proposiciones o funciones. Esta caracterstica incrementa de forma substancial su poder expresivo al precio de convertirlas en entes exticos y salvajes en comparacin con la dcil y ejemplar lgica clsica. Sin embargo, estas lgicas surgidas como herramienta para los fundamentos de las matemticas, son ampliamente reconocidas hoy por sus aplicaciones en ciencia de la computacin terica. En esta pltica discutimos la sintaxis y teora de la prueba de ciertas lgicas de orden superior, as como su utilidad como lenguaje de especicacin formal.
13.13.

George Boole: Es el descubridor de las matemticas puras?

(CDV, Pos)

Abelardo Vela Ponce de Len,

abelvela@ciencias.unam.mx (Dpto. de Matemticas, Facultad de Ciencias Universidad

Nacional Autnoma de Mxico (UNAM))

A principios del siglo XX Bertrand Russell arm en un artculo, posterior a la concepcin de los Principios de las Matemticas, que George Boole era el descubridor de las matemticas puras. Este dicho de ha convertido en un mito dentro de vulgo matemtico, lo que le ha dado a George Boole una categora que no se sustenta ni al rigor de la historia y la losofa, ni al rigor de la lgica y las matemticas puras. Veremos en esta ponencia, como el trabajo de Boole no se ajusta a la armacin de Russell, hecha casi cincuenta aos despus de la muerte de George Boole.
13.14.

Conjuntos magros, conjuntos nulos y el Diagrama de Cichon

(CDV, 1Lic)

Sonia Navarro Flores, sonianavarroflores91@gmail.com (Benemrita Universidad Autnoma de Puebla (BUAP)) Coautores: Ivn Martnez Ruiz, Manuel Ibarra Contreras

Dado un conjunto no vaco X, un ideal sobre X es un conjunto IP(X) que cumple: 1. I y X / I. 2. Si A, B I entonces A BI. 3. Si A B y BI entonces A I. Dado un ideal I es posible denir los siguientes coecientes cardinales: 1. add(J)=mn{|A| : A J y A / J} 2. cov(J)=mn{|A| : A J y A = X}

13. Lgica y Fundamentos

Captulo 2. Resmenes
3. non(J)=mn{|Y | : Y X y Y / J} 4. cof(J)=mn{|A| : A J y B JA A : B A} En particular existen dos ideales sobre R muy importantes, denidos a partir de propiedades de medida y topolgicas respectivamente: 1. M(X) = {A X: A es magro}, 2. N(X) = {A X : (A) = 0} donde es la medida de Lebesgue. El objetivo de esta pltica es estudiar algunas propiedades de estos ideales, sus coecientes cardinales y la relacin que existe entre s. Lo anterior est resumido en un diagrama de orden conocido como el Diagrama de Cichon.
13.15.

Aplicaciones de la lgica a la topologa

(CDV, 2Lic)

Yolanda Magda Torres Falcn, yolatorresfalcon@gmail.com (Universidad Autnoma Metropolitana - Iztapalapa (UAMI) Departamento de Filosofa)

La teora de modelos y la teora de conjuntos tienen muchas aplicaciones a la topologa, tanto por sus resultados como por sus mtodos. En esta pltica se explicarn algunos teoremas importantes de estas dos teoras y se ver cmo se aplican en la solucin e incluso en el planteamiento de ciertos problemas topolgicos.
13.16.

Que fue primero, Lgica o Teora de Conjuntos

(RT, 2Lic)

Vladimir Arturo Rueda Ontiveros,

El propsito de la tesis es desarrollar un libro de texto para el curso de Conjuntos y Lgica, el cual fue pensado para estudiantes de licenciatura de los primeros semestres de Matemticas. La pregunta obligada es: Con que empezar? Lgica o Teora de Conjuntos? Mediante un anlisis profundo de los fundamentos, se plantea la siguiente disyuntiva: O bien se comienza presentando el lenguaje formal de Lgica de Enunciados y su respectiva denicin de verdad suponiendo una Teora Intuitiva de Conjuntos, o bien se comienza introduciendo la Teora de Conjuntos suponiendo una Nocin Intuitiva de Verdad. Difcil dar una respuesta, pero se presenta una propuesta.

v.l.a.d.o@hotmail.com

(Facultad de Ciencias (UNAM))

13.17.

Encajes y nociones de Forcing

(RT, 2Lic)

Alonso Lenin Celis Martnez,

Ciencias)

aunalonso@gmail.com (Universidad Nacional Autnoma de Mxico (UNAM). Facultad de

Consideremos V , un modelo transitivo numerable de ZFC. Supongamos que P y Q son rdenes parciales en V e i V es una funcin de P en Q. Decimos que i es un encaje completo si preserva orden, incompatibilidad y anticadenas maximales, i es denso si es completo y adems su imagen es un conjunto denso en Q. Presentaremos algunas consecuencias de la existencia de estos encajes entre rdenes parciales en trminos de extensiones de forcing. Hablaremos tambin del cociente separativo, de la obtencin de extensiones genricas a partir de la composicin de nociones de forcing y qu nos dicen estos encajes respecto a tales extensiones.
13.18.

Coloraciones Borel

(RT, 2Lic)

Jos de Jess Pelayo Gmez,

Una coloracin Borel es una funcin del conjunto de vrtices de una grca en un conjunto k (aqu k es nito o 0 ) tal que es Borel y si x y y son adyacentes, entonces sus imgenes son distintas. El nmero cromtico de Borel es el mnimos nmero de colores con el que existe una coloracin Borel. Se probar el Teorema de Erds-Bruijn usando el teorema de Tychono y luego se dar una relacin de esto con el nmero cromtico de Borel.

pelayuss@gmail.com

(Universidad Michoacana de San Nicols de Hidalgo (UMSNH))

13.19.

Reporte de tesis: Conjuntos no medibles

(RT, 2Lic)

Ivn Ongay Valverde,

(UNAM))

ongay@ciencias.unam.mx

(Facultad de Ciencias, Universidad Nacional Autnoma de Mxico

En esta tesis se trabaj en: -Algunos ejemplos de conjuntos no medibles respecto a la medida de Lebesgue. -Teorema de Ulam. -Axioma de Determinacin. -Cmo es el anlisis matemtico sin conjuntos no medibles? La pltica se enfocar en

13. Lgica y Fundamentos

Captulo 2. Resmenes
mostrar los resultados a los que se puede llegar en anlisis matemtico real evitando tener conjuntos no medibles. De igual forma, se presentarn las conclusiones nales del trabajo.
13.20.

Algunos invariantes cardinales asociados a espacios (fuertemente) porosos

(RT, Pos)

Arturo Antonio Martnez Celis Rodrguez,

UNAM-UMSNH)

arturo@matmor.unam.mx

(Posgrado Conjunto en Ciencias Matemticas

De la misma manera que los conceptos de espacio magro y espacio nulo, la nocin de conjunto (fuertemente) poroso es un concepto que indica que un conjunto es pequeo. El propsito de la exposicin ser mostrar resultados sobre algunos invariantes cardinales asociados al ideal generado por los conjuntos porosos de los reales.
13.21.

Lneas y rboles

(CDV, 2Lic)

Naim Nez Morales,

UNAM))

naim.mathem@gmail.com (Facultad de Ciencias, Universidad Nacional Autnoma de Mxico (FC-

En la presente pltica hablaremos de un tipo especial de rdenes parciales llamados rboles, que tienen como carcterstica la siguiente propiedad: Dado un elemento cualquiera del orden, la coleccin de predecesores de tal elemento conforman un buen orden (con el orden inducido). El objetivo principal es relacionarla existencia de ciertos rboles con la existencia de ciertos rdenes totales. Para ello, utilizamos un proceso de linealizacin de cualquier rbol, dado por Todor cevi, y un proceso para dividir cualquier orden total en segmentos para obtener un rbol. Dependiendo de las propiedades (acerca de las cadenas y las anticadenas) del rbol, se demuestran ciertas propiedades en un orden lineal obtenido por el proceso anteriormente descrito, y visceversa. Estudiaremos tres tipos de rboles: rboles de Aronszajn. Son rboles con niveles numerables, altura 1 y sin ramas conales. rboles de Suslin. Son rboles con cadenas y anticadenas numerables y altura 1 . rboles de Kurepa. Estos rboles son todo lo contrario a los Aronszajn. Veremos las propiedades que tienen las linealizaciones de cada uno de esos rboles y veremos que propiedades sobre una lnea nos permite obtener un rbol de cada uno de los anteriores. Para nalizar, abordaremos la cuestin de la existencia de tales rboles, mientras los Aronszajn existen, la existencia de los Suslin es independiente.
13.22.

Sobre ideales de conjuntos compactos

(CDV, 2Lic)

Juan Salvador Lucas Martnez,

En esta charla discutiremos algunas propiedades de los ideales de conjuntos compactos sobre espacios mtricos compactos. Presentaremos algunos resultados relacionados, de la autora de A. Kechris, A. Louveau y H. Woodin. En particular, discutiremos una prueba de un resultado enunciado por estos autores, el cual guarda una estrecha relacin con un trabajo de J. Saint Raymond.

dark.subliminal@gmail.com

(Universidad Nacional Autnoma de Mxico (UNAM))

13.23.

Juegos de Ehrenfeucht-Frass y sus aplicaciones

(CDV, 2Lic)

Luis Fernando Martnez Ortiz,

fermartinez36@gmail.com

(Facultad de Ciencias Fsico Matemticas Universidad Mi-

choacana de San Nicols de Hidalgo (UMICH))

En teora de modelos un problema de considerable importancia consiste en determinar cuando dos modelos de un mismo lenguaje formal son elementalmente equivalentes, es decir, cuando los dos modelos hacen verdaderas exactamente a las mismas frmulas de su lenguaje. Los juegos de Ehrenfeucht-Frass nos dan una caracterizacin simple de equivalencia elemental entre dos modelos dados, adems estos son prcticamente la nica herramienta en modelos nitos donde el teorema de Lwenheim-Skolem resulta intil. La pltica consistir en examinar dichos juegos y mostrar algunos ejemplos de sus aplicaciones.
13.24.

Modelo Conjuntos dentro de la Teora de Tipos

(RT, Pos)

Mauricio Salinas Rodrguez,

En un principio la Teora de Tipos fue creada por Russell para expulsar del lenguaje a paradojas lgicas clsicas como la del mentiroso y la del propio Russell. La magnitud del poder expresivo del lenguaje de la Teora de Tipos permite generalizar TODOS los lenguajes de orden superior, adems de construir un camino sinuoso para traducir cualquier frmula expresada en

maotlak@gmail.com

(Facultad de Ciencias (UNAM))

13. Lgica y Fundamentos

Captulo 2. Resmenes
orden superior a dos a una frmula de segundo orden. Los detalles tcnicos responden a la preservacin de la CONSISTENCIA en los modelos que satisfagan a un conjunto de frmulas es decir, conjuntos de frmulas que satisfacen condiciones que prohben contradicciones dentro de . Internarse en el trabajo que Hintikka desarroll en 1955 sobre la Teora de Tipos es mas una labor de historia de la Lgica que de investigacin, esto debido a la visin sintctica y semntica de lo que podemos llamar Lgica de la Teora de Tipos.

13. Lgica y Fundamentos

ndice de expositores

A B C E L

ndice de expositores
Nieva Gochicoa Arturo 13.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Nez Morales Naim 13.21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

Abud Alcal Ramn 13.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

Borja Macas Vernica 13.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

O P R S

Ongay Valverde Ivn 13.19 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

Campero Arena Gabriela 13.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Celis Martnez Alonso Lenin 13.17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Corona Garca Jos Antonio 13.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

Pelayo Gmez Jos de Jess 13.18 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

Rojas Barbachano Rafael 13.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Rueda Ontiveros Vladimir Arturo 13.16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

Estrada Estrada Oscar Hernn 13.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

Salinas Rodrguez Mauricio 13.24 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

Garca Ramrez Erick 13.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

Torres Falcn Yolanda Magda 13.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

Lucas Martnez Juan Salvador 13.22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

Vela Ponce de Len Abelardo 13.13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

Martnez Celis Rodrguez Arturo Antonio 13.20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Martnez Ortiz Luis Fernando 13.23 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Martnez Ruz Ivn 13.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Mendoza Magaa Carlos Alberto 13.10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Miranda Perea Favio Ezequiel 13.12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Muoz Toriz Juan Pablo 13.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

Navarro Flores Sonia 13.14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

ndice de expositores