conceptual

Para Avron (2005) la negación es un fenómeno lógico, porque es necesario poder expresar en el lenguaje formal de la lógica la falsedad. Hasta ahí, como buen expresivista, yo estaría de acuerdo, pero él lo entiende la falsedad como una propiedad. Lo cual podría sonar bien pero no es una afirmación filosóficamente neutral. Por ejemplo, si la falsedad es una propiedad, ¿cuál es su dominio? Litros de tinta han corrido – mucha de ella en México – tratando de responder esta pregunta. Asumamos que son proposiciones. Luego, aun si concedimos que la falsedad es una propiedad, no se sigue la tesis de Arvin de que la falsedad solo fija las condiciones de verdad del operador – bueno, en realidad, de los operadores, porque el tercer supuesto controversial de la propuesta de  Avron  es que es suficiente para que algo sea una negación que satisfaga estas condiciones de verdad.   Jõao Marcos ha criticado esta propuesta precisamente por esta razón. Estrada entra a la discusión cuestiona...

¿Qué determina que un operador oracional —una modalidad, un cuantificador, un adverbio— sea iterable o no? Se acepta comúnmente que los operadores modales del lenguaje natural son iterables, en la medida en que resultan inteligibles enunciados como "me gustaría que me gustara cocinar, de modo que disfrutara tener que hacerlo” donde “gustará” cae dentro del alcance de “gustaría”.   Existen, sin embargo, otros casos que resultan carentes de sentido, o en los que una de las ocurrencias del operador parece no aportar nada semánticamente, es decir, hacen que el enunciado suene redundante, como "Siempre ha estado ahí siempre", "Ya es definitivo que la carrera queda cancelada definitivamente" o  "El sensor es exactamente exacto" . Otro ejemplo, un poco mas controversial es el enunciado   "es posible que no se pueda hacer ya nada", donde el operador modal alético "pueda" cae dentro del alcance del operador modal alético"es posible...

Cuando al desarrollar tecnologías idealizamos de nuestras capacidades físicas y mentales, hacemos una selección de entre nuestras características cuales son  features y cuales son bugs, es decir cuales características son funcionales y cuales son defectos o limitaciones, para eliminar estas últimas  y reforzar las primeras –– piensen en un martillo que magnifica la fuerza de nuestros músculos del brazo sin su  fragilidad –– , pero por supuesto que hacer esta distinción es harto difícil .  Muchos errores en las tecnologías que de hecho hemos desarrollado vienen precisamente de confundir lo que es una característica positiva de una negativa. Por ejemplo, sostiene Raymundo Morado (2025), uno podría pensar que los errores son cosas que deberíamos eliminar de nuestra vida y pensamiento, pero en realidad los errores son parte esencial de la racionalidad. Lo importante no es cometer o no cometer errores, nos dice, sino qué hacemos cuando nos equivocamos, es decir, cómo r...

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...

 ¿Qué papel juega la recursividad en el proyecto Tarskiano? Lo que buscaban Tarski y sus colegas a principios del siglo pasado era, fundamentalmente, una lógica , es decir teoría rigurosa de la relación de consecuencia lógica . La manera en que se plantearon lograr esto era reduciendo la noción de consecuencia lógica a la de preservación de verdad en virtud de la forma. A su vez, esto  requería una teoría rigurosa de las condiciones de verdad de un lenguaje (formalizado) 
es decir, una teoría  semántica . Y esto requería a su vez una teoría rigurosa del lenguaje mismo, es decir, una teoría sintáctica . En este sentido, lo que hay de semántica y sintaxis en el proyecto tarskiano son los medios , no sus fines, lo cuales siempre fueron eminentemente lógicos.  Pero Tarski (y, en general, los que estaban trabajando en este tipo de proyectos en Polonia, Alemania, etc.) sabían que 
dado que la teoría de condiciones de verdad de Tarski apelaba a lo que ahora llamamos “model...

  ¿La siguiente es o no una inferencia analítica? Premisa. X tiene aroma a Jazmín. Conclusión. X tiene un aroma floral. A favor El determinado siempre implica analíticamente al determinable. Por ejemplo, parte de ser coral es ser rojo. En este caso, parte de ser Jazmín es ser una flor, ergo el aroma a Jasmín es uno de los aromas florales. En contra:   Hace falta una premisa escondida: 1a. El jazmín es una flor. La cual no tiene que ver con cómo huele sino a qué tipo de entidad emite dicho aroma. La inferencia por lo tanto ni siquiera es válida, sino que es una falacia de equivocación. Ergo, los conceptos de olor no están estructurados en forma de determinado determinable, i.e.,  al aroma a jazmin no es un determinado del determinable 'aroma floral'. Ustedes, ¿qué piensan?

Una manera de responder a la pregunta ¿de qué trata la lógica? es preguntándose de que tratan sus teorías, es decir, ¿qué hace verdaderas a las verdades lógicas, por ejemplo, que Pa⋁¬Pa ? Dentro del espacio lógico de posibles respuestas hay muchísimas opciones, pero las básicas son: Respuesta Platonista Lógica : Alguna propiedad o relación entre los conectivos lógicos que ocurren en ellas, en este caso, la disyunción y la negación, por ejemplo, el hecho de que la disyunción es verdadera si alguno de sus disyuntos es verdadero y el hecho de que, para toda proposición, ella o su negación son verdaderas. Respuesta Nominalista Composicional : Dependiendo de cual de las dos sea verdadera, Pa o el hecho, cualquiera que éste sea, que haga ¬Pa verdadero. Respuestas Dependientes de Dominio : Alguna otra propiedad o relación entre los objetos, propiedades o proposiciones que ocurren en ellas, por ejemplo, el que a sea el tipo de objeto que tiene o no tiene la propiedad P o que P sea el tip...

  Mucha filosofía de la lógica surge de aplicar principios generales de filosofía de la ciencia a la lógica misma. Es por ello que algunas de las preguntas centrales de la filosofía de la lógica no son sino las preguntas fundamentales de la filosofía de la ciencia fundacionista a la lógica: ¿De qué trata? Es decir, qué objetos y hechos hacen verdaderas a las  verdades lógicas ¿Cómo sabemos si una lógica (o por lo menos una ley lógica) es correcta? ¿Qué relación tiene la lógica con el lenguaje y el pensamiento, y en particular con los argumentos y las inferencias? Es fácil ver que estas no sn sino las preguntas por la ontología, epistemología y aplicación de la lógica. Respecto a la primera pregunta, podemos clasificar las opciones según cómo respondan a las siguientes preguntas sobre la relación entre lógica y significado , aunque también podríamos hacer una clasificación complementaria pensando su relación, no con el lenguaje, sino con el pensamiento: 1. ¿Tiene la ló...

  Tradicionalmente se ha pensado que si pensamos que las conectivas lógicas nos dan el significado (significan lo mismo, dirán algunos) de sus contrapartes del lenguaje natural – a saber, las palabras “y”, “no”, ‘o’, “todo”, etc. – es fácil encontrar contra-ejemplos en lenguaje natural de aun las leyes lógicas más básicas (Russell 2018). Según Bogdan Dicher, por ejemplo,  "... aprovechando [los] recursos [del lenguaje natural], es posible construir contra-ejemplos para cualquier presunta ley lógica ... Hay suficientes fenómenos lingüísticos y de razonamiento lógicamente pertinentes cómo para proveernos de contraejemplos para cada inferencia supuestamente válida desde el punto de vista lógico ..." (Dicher 2020: 3. Mi traducción) Si filósofxs como Russell o Dicher tienen razón, es posible siempre construir contraejemplos para cualquier presunta ley lógica – para el modus ponens , modus tolens , simplificación, etc. Hay suficientes fenómenos lingüísticos y de razonamiento como p...

¿En qué sentido se habla de "relevancia" en las lógicas relevantes? ¿Qué relación tienen con el lenguaje natural, si alguno? Trato de responder estas y otras preguntas en esta entrevista.

Este año he estado leyendo más libros de mis colegas mexicanos de lo que solía hacer en años anteriores. En este momento em encuentro leyendo, entre otros, los libros más recientes de Guillermo Hurtado (en borrador), Carlos Pereda (cuyo nombre aparece como autor tan seguido que ahora ya no es el más reciente, sino que ya salieron dos más), Luis Canela ( cuyo   libro acabo de presentar ) y Ambrosio Velasco , además del libro, ya no tan nuevo (del 2012), de Ana Rosa Pérez Rasanz con Olimpia Lombardi . D el de Ambrosio , desde el principio me concentré en el capítulo sobre el debate entre liberalismos positivista (antecedentes, supongo yo, de los después conocidos como “tecnócratas”) y humanista, porque aunque le he oído a Ambrosio hablar ya sobre él, quería ahora poder leer su visión más reciente de las cosas y por escrito. ¡Qué debate tan espeluznante! Como positivista irredento, me dio especial terror ver cómo se usa la noción de “ciencia” para justificar autoritarismos y dictadura...