Discusión de las ideas lógicas de José María Méndez

A discussion of José María Méndez ideas on logic

  • José Luis Caballero Bono
Palabras clave: lógica simbólica, negación, existencia, incompletitud, inferencia, Symbolic logic, Negation, Existence, Incompleteness, Inference

Resumen

Se ofrece una valoración de varias posiciones de José María Méndez sobre lógica simbólica. Obra de referencia es su Manual de lógica. Se valora positivamente su ocupación con procedimientos sintácticos de decidibilidad y con la lógica deóntica. En cambio, se argumenta críticamente contra sus tesis acerca de la negación y la doble negación, la relación entre enunciados cuantificados y existencia, la incompletitud de la lógica de primer orden y el carácter no implicativo de la inferencia. Se observa coherencia entre esta última tesis, la concepción de la existencia, la atención a lógica modal y deóntica y la concepción semántica general de la lógica simbólica

Publicado
2020-12-14