Bienvenidos !!!

Este blog no tiene ninguna otra finalidad que compartir y ayudar a reflexionar sobre lógica y filosofía de la lógica, filosofía de las matemáticas, de la ciencia etc.
El blog es absolutamente gratuito.Es importante difundir nuestras reflexiones, discusiones, investigaciones y logros en el campo de las disciplinas que nos apasionan .

Gracias por seguir el blog !!!

Claudio Conforti

martes, 25 de octubre de 2011

Programas del SIILA y del XIV EIDL EXCELENTE PROPUESTA !!!!

Pro g r ama Primer Simposio Internacional de Investigación
de Lógica y Argumentación

LUNES 7 DE NOVIEMBRE DE 2011
Sede: Universidad Autónoma de la Ciudad de México
Plantel San Lorenzo Tezonco
Calle Prolongación San Isidro 151
Col. San Lorenzo Tezonco
Del. Iztapalapa, México, D.F.

08:00 – 08:30 h
Registro: Laboratorio Filosófico
Salón C-308
08:30 – 09:00 h
Inauguración
Ágora

09:00 – 10:30 h
Conferencia Magistral:
Strategic Manoeuvring in Argumentative Discourse
Frans van Eemeren, UvA
Ágora

10:30 – 11:00 h
Receso
11:00 – 13:30 h
Mesa 1: Paraconsistencia: ¿Para qué? ¿Para quién?
Eje temático: Lógicas paraconsistentes: historia y aplicaciones
Coordinadora: Atocha Aliseda
Salón B-101
Paraconsistencia: Reflexiones sobre los sistemas C de Da Costa
Federico Marulanda
IIF-UMSNH
On the history of paraconsistency and paraconsistent logic
Itala M. L. D´Ottaviano
CLE-UNICAMP
Paraconsistencia y cambio científico: ¿un tratamiento racional de las
contradicciones?
David Gaytán
Academia B de Filosofía e Historia de las Ideas-UACM
13:30 – 15:30 h
Receso
15:30 – 17:30 h
Mesa 2: Lógica y lenguaje matemático
Eje temático: Filosofía de las matemáticas
Coordinador: Cristian Alejandro Gutiérrez Ramírez
Salón A-201
La lógica de las matemáticas: ¿primero o segundo orden?
Max Fernández de Castro Tapia
UAM-I
Los números--¿clases naturales? Una respuesta semántica
Javier García Salcedo
FFyL-UNAM
Teoremas de categoricidad para la teoría de conjuntos
Cristian Alejandro Gutiérrez Ramírez
FFyL-IIF-UNAM
17:30 – 17:45 h
Receso
17:45 – 20:00 h
Taller: The pragma-dialectical method of analyzing and evaluating
argumentative discourse
Frans van Eemeren, UvA
Salón A-201
MARTES 8 DE NOVIEMBRE DE 2011
Sede: Universidad Autónoma de la Ciudad de México
Centro Vlady
Calle Goya 63
Col. Insurgentes Mixcoac
Delegación Benito Juárez, México D.F.
09:00 – 10:30 h
Conferencia Magistral: El miedo a pensar
Una reflexión desde Fromm
Alejandro Herrera Ibáñez
IIF-UNAM
10:30 – 13:00 h
Mesa 3: Aplicaciones formales a la realidad
Eje temático: Lógica,matemáticas y realidad
Coordinador: Jesús Jasso Méndez
La justificación de la deducción
Dr. Pedro Ramos Villegas:
Academia B de Filosofía e Historia de las Ideas-UACM
Matemáticas y realidad. Una teoría de la aplicación matemática
Mtro. Jesús Jasso Méndez
Academia B de Filosofía e Historia de las Ideas-UACM
Lógicas no deductivas en argumentación jurídica
Dra. María Inés Pazos
Academia B de Filosofía e Historia de las Ideas-UACM
Lógica y dialéctica
Mtra. Natalia Luna Luna
Academia B de Filosofía e Historia de las Ideas-UACM
13:00 – 14:30 h
Conferencia Magistral:
Relations between the classical differential calculus and Da Costa’s
Paraconsistent differential calculus
Itala M. L. D´Ottaviano
CLE-UNICAMP
14:30 h Brindis de clausura del SIILA
Pro g r ama
XIV Encuentro Internacional de Didáctica de la Lógica
MIÉRCOLES 9 DE NOVIEMBRE DE 2011
Sede: Universidad Autónoma de la Ciudad de México
Plantel San Lorenzo Tezonco
Calle Prolongación San Isidro 151
Col. San Lorenzo Tezonco
Del. Iztapalapa, México, D.F.
08:00 – 08:30 h
Registro
Laboratorio Filosófico
Salón C-308
08:30 – 09:00 h
Inauguración
09:00 – 10:00 h
Homenaje al Dr. José Alfredo Amor y Montaño
10:00 – 10:30 h
Receso
10:30 – 12:00 h
Conferencia Magistral: Seis modelos de argumentación
Raymundo Morado
IIF-UNAM
Salón A-201
12:00 – 12:30 h
Receso
12:30 – 14:30 h
Mesa 1:
Análisis de modelos de argumentación
Salón A-201
Pertinencia del modelo de Toulmin en la esquematización de la
estrategia argumentativa para ensayos de nivel superior
Eva Paola Meléndez Pérez
UPAEP
Sobre la necesidad de la enseñanza complementaria de las lógicas
formal e informal
Ana Hilda García Gutiérrez
UACM
Reflexiones en torno a Las claves de la Argumentación de Antonhy Weston
Teresita García González
FES-Acatlán-UNAM
ColBach
Teoría de la argumentación y las lógicas erotéticas
Israel Velasco Cruz
IIF-UNAM
14:30 – 16:30 h
Receso
16:30 – 18:00 h
Conferencia Magistral:
Identificación de argumentos y conectores argumentativos
Corina Yoris-Villasana
UCAB
Salón A-201
18:00 – 20:00 h
Mesa 2:
Alternativas de enseñanza de las tablas de verdad y la negación
Salón A-201
Algunos problemas sobre la enseñanza de las negaciones lógicas
Jesús Castañeda Rivera
PREU
UniNova
Estrategia didáctica para la comprensión de textos expositivos a partir
del uso de tablas de valores de verdad
Martha Evelia Pérez Obeso
CETis 107
Utilidad de los diagramas de Venn como herramienta didáctica para la
enseñanza de las principales conectivas de la lógica clásica
proposicional
Nayeli Rodríguez de Jesús
FC-UNAM
Tablas de verdad y sectores de verdad
Héctor Hernández O.
Unicaribe
JUEVES 10 DE NOVIEMBRE DE 2011
Sede: Universidad Autónoma de la Ciudad de México
Plantel San Lorenzo Tezonco
Calle Prolongación San Isidro 151
Col. San Lorenzo Tezonco
Del. Iztapalapa, México, D.F.
09:00 – 10:30 h
Taller:
De la lógica informal a la lógica formal
Federico Marulanda
IIF-UMSNH
Salón B-101
09:00 – 10:30 h
Taller:
Deducción natural, tablas de verdad y árboles semánticos:
diseño de estrategias de exposición
Seminario Lógica Clara
FFyL-UNAM
Salón C-107
10:30 – 12:00 h
Conferencia Magistral:
Programación de cursos de argumentación en filosofía
Huberto Marraud González
DLLMLF-UAM
12:00 – 12:30 h
Receso
12:30 – 14:30 h
Mesa 3:
Comunicación argumentativa, elección de sistemas y análisis de
modelos didácticos de lógica, argumentación y pensamiento crítico
Salón B-101
Las mujeres en la enseñanza de la lógica
Juan Manuel Campos Benítez
Karla Ivonne Caballero Arroyo
BUAP
Sobre la elección de sistemas lógicos
José Martín Castro-Manzano
IIF-UNAM
Proyecto de especialidad en comunicación argumentativa
Gabriel Ramos García
FFyL-UNAM, FES-Acatlán-UNAM
14:30 – 16:30 h
Receso
16:30 – 18:00 h
Conferencia Magistral:
Tomás de Aquino y la práctica de la argumentación
José Luis Rivera
UP
Salón B-101
18:00 – 20:30 h
Asamblea Academia Mexicana de Lógica
Salón B-101
VIERNES 11 DE NOVIEMBRE DE 2011
09:00 – 10:30 h
Taller:
De la lógica informal a la lógica formal
Federico Marulanda
IIF-UMSNH
Salón B-101
09:00 – 10:30 h
Taller:
Deducción natural, tablas de verdad y árboles semánticos:
diseño de estrategias de exposición
Seminario Lógica Clara
FFyL-UNAM
Salón C-010
10:30 – 12:00 h
Conferencia Magistral:
Los diversos significados de la negación. ¿Cuál de ellos enseñar?
Gladys Palau
UNLP
Salón B-101
Receso 12:00 – 12:30 h
12:30 – 14:30 h
Mesa 4:
Metodología, metacognición y filosofía
Salón B-101
La enseñanza de la filosofía como apoyo para la enseñanza de
habilidades del pensamiento lógico
Teresita de Jesús Mijangos Martínez
UNSIS
Ejemplo o teoría: ¿Cuál primero?
Enrique Alfredo Montero Morán
FFyL-UNAM
La metacognición del error como estrategia didáctica en el aprendizaje
del pensamiento crítico
Federico Rafael Arrieta Pensado
UV
Metodología de la comprensión para profesores de lógica;
aplicaciones en el aula
César Manuel López Pérez
FFyL-UNAM
14:30 – 16:30 h
Receso
16:30 – 18:30 h
Mesa 5:
Lógica: de la educación básica a la educación media
Salón B-101
El desarrollo de las estrategias inferenciales y estructuras
argumentativas en niños de primaria
Ytzelt Gónzalez García
UACM
Abel Rubén Hernández Ulloa
UG
Bondades y desventajas de la comunidad de indagación en la
enseñanza de la lógica
José Antonio Olvera González
Escuela de Bachilleres-UAQ
Argumentación filosófica del bachiller
Abigaeli Velázquez
ColBach
Entre lo formal y lo informal: una estrategia didáctica a la mitad del camino
Karen González Fernández
UP
18:30 – 20:30 h
Mesa 6:
Juegos y estrategias
Salón B-101
Acertijos lógicos como herramienta de enseñanza-aprendizaje.
Estrategas de resolución y evaluación de su utilidad
Patricia Díaz Herrera
UACM
Logical Beast
Hansel Morales Murillo
Gerardo Alcalá Padilla
FES-Acatlán-UNAM
Damas lógicas, un verdadero juego de estrategia
Xóchitl Martínez Nava
Samuel Alejandro Lomelí Gómez
FFyL-UNAM
Amílcar Arroyo Medina
UACM
10
SÁBADO 12 DE NOVIEMBRE DE 2011
Sede: Universidad Autónoma de la Ciudad de México
Centro Vlady
Calle Goya 63
Col. Insurgentes Mixcoac
Delegación Benito Juárez, México D.F.
09:00 – 10:30 h
Taller:
De la lógica informal a la lógica formal
Federico Marulanda
IIF-UMSNH
09:00 – 10:30 h
Taller:
Deducción natural, tablas de verdad y árboles semánticos:
diseño de estrategias de exposición
Seminario Lógica Clara
FFyL-UNAM
10:30 – 12:30 h
Mesa 7
Ética y argumentación
La falacia naturalista y los argumentos contra natura
Jorge Pablo Oseguera Gamba
FFyL-UNAM
El video como una herramienta didáctica para argumentar en la clase
de ética
Gabriela Rodríguez Jiménez
ENP-UNAM
Presentación del Libro: ¿Ética para qué?
Gabriela Rodríguez Jiménez
ENP-UNAM
Presentación de libro de texto y cuaderno de trabajo de Lógica
conforme al programa de la ENP de la UNAM
Alejandra M. Ocampo Morales
12:30 – 14:00 h
Conferencia Magistral:
Didáctica de la lógica con enfoque transdisciplinar
Ariel Campirán
UV
14:00 – 14:30 h
Ceremonia de Clausura
14:30 – 15:30 h
Ensamble Coral de la UACM, dirigido por Francisco Grijalva
15:30 h Brindis
11
LISTA DE SIGLAS
Academia B de Filosofía e Historia de las Ideas-UACM AFHIB-UACM
Benemérita Universidad Autónoma de Puebla BUAP
Centro de Estudios Tecnológicos industrial y de servicios No. 107 CETis 107
Centro de Lógica, Epistemologia e História da Ciência CLE
Colegio de Bachilleres ColBach
Departamento de Lingüística, Lenguas Modernas, Lógica y Filosofía de la Ciencia DLLMLFC
Escuela de Bachilleres-Universidad Autónoma de Querétaro UAQ
Escuela Nacional Preparatoria- UNAM ENP-UNAM
Facultad de Ciencias-Universidad Nacional Autónoma de México FC-UNAM
Facultad de Estudios Superiores Acatlán-Universidad Nacional Autónoma de México FES-Acatlán-UNAM
Facultad de Filosofía y Letras-Universidad Nacional Autónoma de México FFyL-UNAM
Instituto de Investigaciones Filosóficas-Universidad Michoacana de San Nicolás de Hidalgo IIF-UMSNH
Instituto de Investigaciones Filosóficas-Universidad Nacional Autónoma de México IIF-UNAM
Instituto Salesiano de Estudios Superiores ISES
Instituto Tecnológico y de Estudios Superiores de Monterrey ITESM
Preparatoria La Salle del Pedregal USLA
PREUniversitaria PREU
Universidad Autónoma de la Ciudad de México UACM
Universidad Autónoma de Madrid DLLMLF-UAM (España)
Universidad Autónoma Metropolitana-Unidad Iztapalapa UAM-I
Universidad Católica Andrés Bello UCAB (Venezuela)
Universidad de Guanajuato UG
Universidad de la Sierra Sur UNSIS
Universidad del Caribe Unicaribe
Universidad Estadual de Campinas CLE–UNICAMP
Universidad Marista campus Tláhuac UMA-Tláhuac
Universidad Nacional de La Plata UNLP (Argentina)
Universidad Nova Spania UniNova
Universidad Panamericana UP
Universidad Panamericana UP
Universidad Popular Autónoma del Estado de Puebla UPAEP
Universidad Veracruzana UV
University of Amsterdam UvA

jueves, 6 de octubre de 2011

Conditionals and Modularity in General Logic de Dov M. Gabbay • Karl Schlechta


This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation.
The book will be of value to researchers and graduate students in logic and theoretical computer science.