Intuiciones en Lógica: una propuesta moderada

Abstract

Las intuiciones juegan un rol significativo en los debates sobre lógica. En este artículo, analizo cuán legítima es esa práctica. En la primera parte, distingo entre intuiciones teóricas y preteóricas, y argumento que algunas intuiciones preteóricas no deberían ser tomadas en cuenta para la lógica. En particular, nuestras intuiciones preteóricas sobre el concepto de validez no son particularmente relevantes, porque no tenemos un concepto uniforme o claro de validez en el lenguaje natural que pueda ser elucidado. Sin embargo, argumento que, dado que los conectivos son usados de forma homogénea en el discurso ordinario, podemos apelar a intuiciones preteóricas para establecer el significado de ellos en una teoría lógica. En la segunda parte del artículo, considero y doy respuesta a algunas objeciones. Dos de ellas intentan mostrar que, si la posición es adoptada, las intuiciones preteóricas sobre los conectivos terminan siendo poco confiables e inútiles. Una de ellas dice que esta posición mixta es inestable: las intuiciones preteóricas sobre los conectivos también son intuiciones preteóricas sobre la validez. El último problema está relacionado con la definición de validez y la posibilidad de revisarlo.

Intuitions play a significant role in debates about logic. In this paper, I analyze how legitimate is that practice. In the first part of the paper, I distinguish between theoretical and pretheoretical intuitions, and argue that some pretheoretical intuitions are not to be taken into account in logic. Particularly, our pretheoretical intuitions about the concept of validity are not of much importance, since we don?t have a uniform or clear concept of validity in the natural language to be elucidated. Nevertheless, I argue that, since logical connectives are more homogeneously used in our ordinary speech, we can appeal to pretheoretical intuitions to establish their meaning in a logical theory. In the second part of the paper, I consider and reply to four objections to this moderate proposal. Two of them try to show that, if this position is adopted, then the pretheoretical intuitions about the connectives are completely unreliable and useless. One of them argues that this mixed position is unstable: pretheoretical intuitions about the connectives are also pretheoretical intuitions about validity. The last problem is related to the definition of validity and the possibility of revising it.