Logic has nothing to do with Language

-

In the view of logic I endorse (and this is something that is also held by many if not all logical realists and kantians), logic has no (metaphysical) relation to language or, at least, to semantics: it is not about what “and” means or about what we do when we negate something, etc. It is about logical phenomena, centrally about the logical phenomenon of what follows logically from what, but probably about other phenomena as well. Thus, logical systems are logical theories or models that aim to explain what follows from what and why. Logical notions like ‘negation’, ‘disjunction’, ‘conjunction’, etc. are theoretical concepts that logic develops to make sense of these phenomena. That is why, they are not directly testable – think of them as the non-empirical analogue to non-observational notions in the empirical sciences. Yes, these notions may also be the semantic values of some expressions in (at least some) natural languages, i.e., the so-called logical expressions. But this is not what they are. Instead, it is an external property they have. 

The basic fact is that logical phenomena are important enough to talk about, and so we have developed words to talk about them. Thus, some logical words – probably "follows" and "negation" among them –  belong to our folk-logicical theories, while others – presumably, "alethic necessity", "tautology", etc. – are more thoroughly technical. That is why logical laws are as mcuh true in virtue of the meaning of logical words, as much as botnical laws are true in virtue of the meaning of words like "oak" and "leaves".



Comentarios

Publicar un comentario

Entradas más populares de este blog

¿Qué es una contradicción?

-
Imagen
Una expresión que pese a tener la forma sintáctica de un enunciado… …no es lógicamente aceptable. …es lógicamente falsa. …es lógicamente imposible. …no tiene realmente sentido. No corresponde a ninguna proposición genuina, y a lo más podríamos llamarla una pseudo-proposición. …es contradictoria, es decir, dice algo y su contrario – es la conjunción de una proposición y  su negación. …es inconsistente. …es la negación de una tautología. …explota, es decir, tiene a cualquier otra proposición o pseudo-proposición como consecuencia lógica. …es absurda, es decir, es imposible creerla, dudarla, desearla, etc. de manera racional. En la visión lógico-filosófica clásica tradicional, una contradicción es todas estas cosas, pero no es clara cual es la relación entre cada una de estas nueve propiedades fundamentales de la contradicción. ¿Cual se debe a cual? ¿Cual es la fundamental? Esto abre la posibilidad de otras lógicas filosóficas, llamémoslas para-consistentes en un sentido a...
Leer más

Historia de la Filosofía Analítica (Un diálogo)

-
¡Miren, acabo de desarrollar esta novedosa técnica formal para resolver este complicado problema filosófico! ¡Ah qué interesante! Pero … como que su campo de aplicación es muy pequeño, ¿no? Sí, claro, este sólo es un modelo idealizado del fenómeno, pero … Ah, entonces, ¡ni siquiera resolviste realmente el problema! Más bien, resolviste una versión idealizada que, en realidad, no existe … sino que te inventaste. ¡Claro que no! Aunque haya trabajado con un modelo idealizado, el fenómeno es genuino! Está bien, pero de todos modos, a lo más, lo único que mostraste es que ese método sirve para ese problema particular. Lo que significa que, para el resto de los problemas filosóficos, debemos seguir usando nuestros métodos tradicionales… Mas bien, el que este método haya funcionado tan bien donde los métodos anteriores habían fallado sugiere que este mismo método, o uno parecido, debe poder aplicarse a otros problemas similares que hasta ahora no han podido resolverse de otra manera. Bueno, p...
Leer más

Lógica Paraconsistente

-
Imagen
El reto filosófico de construir una lógica paraconsistente es mostrar que es genuinamente lógica y es genuinamente paraconsistente, es decir que en ella  realmente no es cierto que de todo conjunto de premisas inconsistentes se sigue / tiene como consecuencia lógica cualquier cosa. En otras palabras, para que una lógica sea paraconsistente, deben cumplirse dos condiciones: debe existir por lo menos un conjunto G de premisas y una proposición  p  tales que  G  sea inconsistente y  p  no se siga de  G .    El reto, en mas detalle, es que los casos de premisas inconsistentes de las que no se sigue cualquier cosa sean casos de premisas genuinamente inconsistentes – no inconsistentes en un sentido técnico ad-hoc – y el que no se siga todo también sea un ‘no se sigue’ genuinamente lógico – y no un ‘no se sigue’ técnico ad-hoc. Es decir, el conjunto  G  debe ser genuinamente inconsistente y la proposición  p  ...
Leer más