Resulta que hay un término para estos ifs de “relevancia”: ifs de Austin . Ellos llevan el nombre de JL Austin, un lingüista que notó por primera vez la lógica especial de estas construcciones en la década de 1950. También se les llama biscuit ifs , según un ejemplo de Austin citado con frecuencia. Otro término es relevancia condicionales . Este tema recibe una excelente discusión en una publicación de Mark Liberman en Language Log:
http: //languagelog.ldc.upenn.edu…
Un condicional if-then, si X entonces Y, tiene dos proposiciones constituyentes: X es el antecedente e Y es el consecuente . En un condicional de variedad de jardín, la veracidad del antecedente implica la veracidad del consecuente o, si lo prefiere, el consecuente sigue como resultado del antecedente. Por ejemplo, si la afirmación “Si no aprueba la final, entonces reprobará el curso” es verdadera, y también es cierto que ha reprobado la final, entonces podemos concluir con certeza que reprobará el curso. En lógica, esto se llama modus ponens .
Un ejemplo de un Austiniano es este: “Hay galletas en el aparador si las quieres”. Claramente, la presencia de galletas en el aparador no está condicionada a su deseo de galletas en el momento de la emisión. Pero algo está condicionado en su galleta Johnson (deténgame si ha escuchado esto antes 🙂), a saber, la relevancia de la declaración “Hay galletas en el aparador”. En Austin si, hay una cláusula de matriz de relevancia implícita que gobierna el consecuente. Simbólicamente, los ifs de Austin son construcciones condicionales de esta forma: si X, entonces (es relevante que) Y.
- ¿Se adhieren las reglas de la gramática lingüística del lenguaje humano a las leyes de la lógica, y si no lo hacen, qué reglas siguen?
- ¿Cuál sería su lógica para tratar de calcular la cantidad de fotos tomadas en Londres en un día promedio?
- ¿Cuáles serían los efectos de la computación cuántica en los algoritmos tradicionales y los paradigmas de programación?
- ¿Cómo enfocar una prueba por lógica simbólica y resolverla paso a paso?
- ¿Quién inventó las tablas de verdad?
Si puedo dejar un nombre del campo de la lingüística computacional, visité a Martin Kay de Xerox PARC hace muchos años sobre los Austins. Ofrecí el ejemplo “Si tienes hambre, Bill, hay un sándwich en la nevera”. Martin capturó claramente la naturaleza especial de estas construcciones al sugerir, como si una luz se hubiera encendido, “¡Oigan, corramos al refrigerador y veamos si Bill tiene hambre!” 🙂