A proposal for a syntactic solution of the problems of disjunction in human thought

Abstract The mental logic theory does not accept a rule correct in standard propositional calculus: the disjunction introduction rule (that is, the rule that allows inferring, for example, p or q from p). This is a problem because that very theory admits another schema in which the rule is really involved. It is true that, as shown by López-Astorga, the mental logic theory can be updated following recent empirical results and that such an update can help the theory solve some of its difficulties. However, López-Astorga’s update does not address the challenges directly raised by the disjunction introduction rule, and this paper is intended to do so. In particular, my thesis here is that all of the difficulties of the aforementioned rule can disappear if it is considered to be not a Core Schema of the human syntax of thought, but a Feeder Schema of it.

Resumen La teoría de la lógica mental no acepta una regla correcta en el cálculo proposicional estándar: la regla de introducción de la disyunción (esto es, la regla que permite inferir, por ejemplo, p o q de p). Esto es un problema porque esa misma teoría admite otro esquema en el que la regla está realmente implicada. Es cierto que, como ha mostrado López-Astorga, la teoría de la lógica mental puede ser actualizada de acuerdo con resultados empíricos recientes y que tal actualización puede ayudar a la teoría a resolver algunas de sus dificultades. No obstante, la actualización de López-Astorga no afronta los desafíos directamente planteados por la regla de introducción de la disyunción y este trabajo pretende proceder en esa dirección. En concreto, mi tesis aquí es que todas las dificultades de la mencionada regla pueden desaparecer si no es considerada un Esquema Núcleo de la sintaxis del pensamiento humano, sino un Esquema Alimentador de la misma.

Praxis Filosófica

A proposal for a syntactic solution of the problems of disjunction in human thought