Majda Trobok · Nenad Mišcevi ˇ c´ · Berislav Žarnic´
Editors
Between Logic and Reality
Modeling Inference, Action
and Understanding
Preface
The papers collected in this book analyse the logic-mathematics-reality relationship
from different approaches and perspectives. It connects logical theory with more
concrete issues of rationality, normativity and understanding, thus pointing to a wide
range of potential applications.
Let us say a few words about the context in which the book was created. Continuing a longer tradition that started in the 1980s by the members of the Rijeka Analytic
Philosophy Circle (V. Muškardin, N. Smokrovic, B. Ber ´ ciˇ c, S. Priji ´ c-Samaržja, the ´
editors of the present volume, and others), the Department of Philosophy at the
University of Rijeka has been active in organizing international philosophical conferences and other philosophical events in Croatia establishing thus global and vital
connections between the philosophers from all sides of the world with those from
the local region, in particular those coming from academic communities in Bulgaria,
Croatia, Hungary, Italy, Serbia and Slovenia. Thanks to its cosmopolitan atmosphere
and a regard for logic, the Department of Philosophy at University of Rijeka, the
only analytic department of philosophy in Croatia, has provided a supporting environment for promoting logico-philosophical research. The book originated from two
recent conferences that took place in Rijeka.
We were also lucky to have on our side the hospitality of the Inter-University
Center Dubrovnik, where we organized or helped organizing a series of conferences,
most notably the yearly courses/conferences Analytic Philosophy: Epistemology
and Metaphysics, in particular the 2010 conference The Philosophy of Logical Consequence organized by Stewart Shapiro, and the Mind, World and Action course.
Also, two larger scientific projects funded by the Ministry of Science, Education
and Sports of Republic of Croatia have offered further institutional framework for
the initiatives that have led to the assembling of the book: Logic and Reality, and
Logical Structures and Intentionality.
Contents
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Majda Trobok, Nenad Mišcevi ˇ c, and Berislav Žarni ´ c´
Part I Logical and Mathematical Structures
2 Life on the Ship of Neurath: Mathematics in the Philosophy
of Mathematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Stewart Shapiro
3 Applied Mathematics in the Sciences . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Dale Jacquette
4 The Philosophical Impact of the Löwenheim-Skolem Theorem . . . . . 59
Miloš Arsenijevic´
5 Debating (Neo)logicism: Frege and the Neo-Fregeans . . . . . . . . . . . . . . 83
Majda Trobok
Part II Epistemology and Logic
6 Informal Logic and Informal Consequence . . . . . . . . . . . . . . . . . . . . . . . 101
Danilo Šuster
7 Logical Consequence and Rationality . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
Nenad Smokrovic´
8 Logic, Indispensability and Aposteriority . . . . . . . . . . . . . . . . . . . . . . . . 135
Nenad Mišcevi ˇ c´
Part III Dynamic Logical Models of Meaning
9 Extended Game-Theoretical Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . 161
Manuel Rebuschi
10 Dynamic Logic of Propositional Commitments . . . . . . . . . . . . . . . . . . . 183
Tomoyuki Yamada
miércoles, 30 de noviembre de 2011
sábado, 19 de noviembre de 2011
Logical Constants: a pragmatist approach María José Frapolli & Stavros Assimakopulos
Abstract
There is currently no general definition of logical constanthood with which all philosophers of logic agree. In this paper, we address this issue by putting forward a proposal regarding the distinctive feature of logical constants. Our background position is that by focusing too much on structural features, we have forgotten central aspects of the original motivation that gave rise to the modern study of logic along Fregean/Peircian lines. On the basis of this realization, we argue that a logical constant has to be seen as encoding some kind of dynamic meaning, which marks the presence of an inferential transition among propositional contents. Following a pragmatist rationale, according to which some notion can be identified as a logical constant by considering the way in which it is used in our everyday reasoning practices, we put forth a characterization of logical constants that takes into account their syntactic, semantic and pragmatic roles. What follows from our proposal is that logical constanthood can be best understood as a functional property that is satisfied only by certain uses of the natural-language counterparts of the conditional, negation, disjunction and the compound of conditional-plus-quantifiers. After briefly discussing these cases, we turn to conjunction in order to show why it needs to be excluded from our set of genuine logical constants.
miércoles, 16 de noviembre de 2011
Reference to numbers in natural language Friederike Moltmann
Abstract A common view is that natural language treats numbers as abstract
objects, with expressions like the number of planets, eight, as well as the number
eight acting as referential terms referring to numbers. In this paper I will argue that
this view about reference to numbers in natural language is fundamentally mistaken.
A more thorough look at natural language reveals a very different view of the
ontological status of natural numbers. On this view, numbers are not primarily
treated abstract objects, but rather ‘aspects’ of pluralities of ordinary objects,
namely number tropes, a view that in fact appears to have been the Aristotelian view
of numbers. Natural language moreover provides support for another view of the
ontological status of numbers, on which natural numbers do not act as entities, but
rather have the status of plural properties, the meaning of numerals when acting like
adjectives. This view matches contemporary approaches in the philosophy of
mathematics of what Dummett called the Adjectival Strategy, the view on which
number terms in arithmetical sentences are not terms referring to numbers, but
rather make contributions to generalizations about ordinary (and possible) objects.
It is only with complex expressions somewhat at the periphery of language such as
the number eight that reference to pure numbers is permitted.
Keywords Numbers Abstract objects Tropes Frege Referential terms
Adjectival Strategy Abstraction
objects, with expressions like the number of planets, eight, as well as the number
eight acting as referential terms referring to numbers. In this paper I will argue that
this view about reference to numbers in natural language is fundamentally mistaken.
A more thorough look at natural language reveals a very different view of the
ontological status of natural numbers. On this view, numbers are not primarily
treated abstract objects, but rather ‘aspects’ of pluralities of ordinary objects,
namely number tropes, a view that in fact appears to have been the Aristotelian view
of numbers. Natural language moreover provides support for another view of the
ontological status of numbers, on which natural numbers do not act as entities, but
rather have the status of plural properties, the meaning of numerals when acting like
adjectives. This view matches contemporary approaches in the philosophy of
mathematics of what Dummett called the Adjectival Strategy, the view on which
number terms in arithmetical sentences are not terms referring to numbers, but
rather make contributions to generalizations about ordinary (and possible) objects.
It is only with complex expressions somewhat at the periphery of language such as
the number eight that reference to pure numbers is permitted.
Keywords Numbers Abstract objects Tropes Frege Referential terms
Adjectival Strategy Abstraction
The Nature of Information: A Relevant Approach Edwin Mares
Introduction
In (Mar09), I advocate replacing the notion of a truth condition in the
semantics for relevant logic with the notion of an information condition.
In the present paper, I explore the notion of information that underlies
this reading of the semantics and explain my motivations for using it.
In (Mar09) I use an objective notion of information. In this paper
I give a more detailed characterization of the notion of objective in-
formation and outline how it …ts with the semantics for relevant logic.
The notion of objective information is of information that is available
in an environment, as opposed to information that is available in one’s
mind or in a database. The key notion here is that of availability in an
environment, and I try in this paper to make that notion rather precise.
As we shall see, I am very liberal in my understanding of availability,
and this liberality is important to the relationship between information
in the present sense and logic.
The notion of information itself, although interesting, is only a means
to an end for me. I want it to be a central feature of a semantics for a
logical system. So, after my general remarks on the nature of availabil-
ity, I outline how the notion of objective information is incorporated
into the interpretation of the semantics for relevant logic. But before I
do this, I present a natural deduction formulation of relevant logic. This
natural deduction formulation itself not only provides a target system
for the semantics to characterize, but also helps with the interpretation
of the semantics itself. The natural deduction system helps to explain
what sort of information can be used to support inferences and how it
can be used in this way.
In (Mar09), I advocate replacing the notion of a truth condition in the
semantics for relevant logic with the notion of an information condition.
In the present paper, I explore the notion of information that underlies
this reading of the semantics and explain my motivations for using it.
In (Mar09) I use an objective notion of information. In this paper
I give a more detailed characterization of the notion of objective in-
formation and outline how it …ts with the semantics for relevant logic.
The notion of objective information is of information that is available
in an environment, as opposed to information that is available in one’s
mind or in a database. The key notion here is that of availability in an
environment, and I try in this paper to make that notion rather precise.
As we shall see, I am very liberal in my understanding of availability,
and this liberality is important to the relationship between information
in the present sense and logic.
The notion of information itself, although interesting, is only a means
to an end for me. I want it to be a central feature of a semantics for a
logical system. So, after my general remarks on the nature of availabil-
ity, I outline how the notion of objective information is incorporated
into the interpretation of the semantics for relevant logic. But before I
do this, I present a natural deduction formulation of relevant logic. This
natural deduction formulation itself not only provides a target system
for the semantics to characterize, but also helps with the interpretation
of the semantics itself. The natural deduction system helps to explain
what sort of information can be used to support inferences and how it
can be used in this way.
“Inference versus consequence” revisited: inference, consequence, conditional, implication Göran Sundholm
Abstract Inference versus consequence, an invited lecture at the LOGICA 1997
conference at Castle Liblice, was part of a series of articles for which I did research
during a Stockholm sabbatical in the autumn of 1995. The article seems to have been
fairly effective in getting its point across and addresses a topic highly germane to the
Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997, Filosofia
Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is republished
here with only bibliographical changes and an afterword.
Keywords Inference · Consequence · Validity · Judgement · Proposition ·
Type theory
conference at Castle Liblice, was part of a series of articles for which I did research
during a Stockholm sabbatical in the autumn of 1995. The article seems to have been
fairly effective in getting its point across and addresses a topic highly germane to the
Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997, Filosofia
Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is republished
here with only bibliographical changes and an afterword.
Keywords Inference · Consequence · Validity · Judgement · Proposition ·
Type theory
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
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.
Suscribirse a:
Entradas (Atom)