30 ejemplos de constantes individuales
Respuestas a la pregunta
Respuesta:
Constantes logicas y descripciones definidas
1. LAS CONSTANTES LÓGICAS Y LAS DESCRIPCIONES DEFINIDAS: UN EXAMEN CRÍTICO Rafael Mora Ramirez
2. • Dedicado a Miluska Ch. Cerrate • Dedico este trabajo a ella por brindarme su apoyo siempre de forma incondicional, aprecio mucho su persona de tal forma que reconozco que en ella salva veritate.
3. Introducción • Quiero saber qué es una constante lógica tomando en cuenta que • v (disyunción) • ^ (conjunción) • → (condicional) • ~ (negación), etc. •
4. Constante, Constante individual y Constante lógica • Constante (científica):
5. SINÓNIMOS DE CONSTANTE LÓGICA • “palabras lógicas”, • “términos lógicos”, • “expresiones lógicas”, • “signos lógicos”, • “partículas gramaticales”.
6. Primera aproximación a las constantes lógicas • Gómez Torrente pone un ejemplo sencillo. Consideremos la siguiente inferencia: • Algunas nueras son adineradas •
7. CITA DE TARSKI • Según Tarski: “A la base de toda nuestra construcción se halla la división de los términos del lenguaje examinado en lógicos y extralógicos. Tal división no es ciertamente una división arbitraria… Si, por ejemplo, hubiéramos de incluir entre los signos extralógicos el signo de implicación o el cuantificador universal, nuestra definición del concepto de consecuencia conduciría a resultados en flagrante contradicción con la práctica establecida
8. El problema de las constantes lógicas • En pocas palabras estamos ante el problema general del significado de las constantes lógicas.
9. Teorías de la neutralidad temática • La neutralidad temática puede presentarse en base a una distinción entre la forma y la materia de un argumento. La evaluación lógica de un argumento se atiene exclusivamente a su forma y es independiente de su materia, es decir, es independiente del contenido específico de los enunciados integrantes del argumento. • La forma del argumento que interesa a la lógica, esto es, su estructura lógica viene expresada justamente por las constantes lógicas. • Rep: Carnap, Quine.
10. CARNAP • Un lógico que abogaría por la neutralidad temática sería Rudolf Carnap quien distingue entre “constantes lógicas” y “constantes descriptivas”. Esta distinción para cualquier tipo de expresión se establece en base a la distinción entre “signos descriptivos” y “signos lógicos”. Los signos descriptivos designan cosas, objetos o procesos en el mundo, o propiedades de cosas, relaciones entre cosas, etc. en el mundo; los signos lógicos no se refieren a algo en el mundo de los objetos
11. QUINE • Este filósofo y lógico norteamericano ha establecido un criterio para establecer la distinción entre “constantes lógicas” y “constantes no lógicas”, o mejor dicho, entre “partículas gramaticales” y “elementos del léxico”, donde las partículas lógicas constituyen un subconjunto de las partículas gramaticales. Para él una expresión es una partícula gramatical si hay pocas expresiones que pertenezcan a su misma categoría gramatical y es un elemento del léxico si hay muchas expresiones que pertenezcan a su misma categoría gramatical.
12. CRITICAS A LA NEUTRALIDAD TEMÁTICA • Todas las anteriores propuestas caen en el error de considerar como constantes lógicas a entes que no lo son o considera como constantes no-lógicas a entes que sí lo son. De todas las propuestas, las más atractivas por ser influyentes y sofisticadas (a nivel de confección y diseño matemático) son las teorías invariantistas y las teorías inferenciales.
13. Teorías invariantistas • Entendamos la insustantividad como la falta de contenido. En este sentido, se dice que una constante lógica es insustantiva porque no tiene contenido, no alude a algo en el mundo sino que proviene de un universo puramente lógico. La teoría invariantista intenta capturar esta idea de insustantividad por medio de propiedades matemáticas relevantemente complejas • Rep: Tarski, Mostowski, Feferman
14. TARSKI • Para los tarskianos una constante lógica se define en términos del de objeto invariante bajo todas las permutaciones de su universo de discurso. Una noción será lógica si es invariante bajo toda transformación inyectiva posible del mundo sobre sí mismo donde mundo se entiende como universo básico de discurso (el de los individuos).
15. Teorías inferencialistas • Las teorías inferencialistas se basan en el sentido de las constantes lógicas. Siguiendo la línea wittgensteiniana (y Gentzen), podríamos decir que se determina el significado de las constantes lógicas dando las reglas de inferencias que especifican el uso de todas y cada una de las constantes lógicas. El significado de las constantes está dado por las reglas de introducción y eliminación de cada conectiva.
16. BELNAP • Una constante lógica es una expresión algún aspecto de cuya semántica queda completamente determinado por reglas puramente inferenciales que forman parte del sentido de la constante
Explicación: