Primer Seminario de Lógica en la Facultad de Ciencias Políticas y Sociales

Este seminario sabatino se llevará a cabo tomando como texto el libro:


INTRODUCCIÓN A LA LÓGICA
http://sisbib.unmsm.edu.pe/bibvirtual/libros/Filosofia/intro_logica/ficha.htm
García Zárate, Óscar Augusto


(Informes al correo: miru@prodigy.net.mx )


El temario propuesto es el del contenido del texto (pudiendo aquí bajar la totalidad del mismo). A saber:


Presentación
Oscar A. García Zárate
http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/Filosofia/intro_logica/presentacion.pdf



Conceptos preliminares
http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/Filosofia/intro_logica/conceptos.pdf



PRIMERA PARTE : LÓGICA DE PROPOSICIONES
http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/Filosofia/intro_logica/1_parte.pdf

El lenguaje formalizado de la lógica proposicional
Funciones veritativas y tablas de verdad
Análisis de inferencias
El método de la deducción natural
Formas normales
Reductibilidad de fórmulas
La lógica proposicional y los circuitos eléctricos
Una presentación axiomática de la lógica proposicional



SEGUNDA PARTE : LÓGICA DE PREDICADOS
http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/Filosofia/intro_logica/2_parte.pdf

Ideal de lógica de predicados
Reglas de formación de fórmulas bien formadas
Formalización de proposiciones singulares
Alcances de los cuantificadores
Leyes de oposición aristotélica
El método de la deducción natural con fórmulas cuantificadas


Bibliografía
http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/Filosofia/intro_logica/bibliografia.pdf

-----------------------------


ENLACES A OTROS SITIOS:



Seguridad Antivirus de Primer Mundo
http://antivirussecuritynumber1.blogspot.com