Teoría de la suposición

La teoría de la suposición fue una rama de la lógica medieval que probablemente buscaba explicar cuestiones similares a las actuales sobre referencia , pluralidad , tiempo y modalidad , dentro de un contexto aristotélico . Filósofos como Juan Buridán , Guillermo de Ockham , Guillermo de Sherwood , Walter Burley , Alberto de Sajonia y Pedro de España fueron sus principales desarrolladores. Hacia el siglo XIV, parece haberse dividido en al menos dos teorías bastante distintas: la teoría de la "suposición propiamente dicha", que incluía una " amplificación " y se asemeja mucho a una teoría de la referencia, y la teoría de los "modos de suposición", cuya función prevista no está clara.

La suposición era una relación semántica entre un término y aquello a lo que se refería dicho término. Así, por ejemplo, en la sugerencia « Bebe otra copa» , el término «copa» se refiere al vino que contiene.

El supuesto lógico de un término era el objeto al que se refería. (En gramática, el supuesto se usaba de forma diferente). Sin embargo, la suposición era una relación semántica distinta de la significación. La significación era una relación convencional entre enunciados y objetos, mediada por las particularidades de una lengua. «Poculum» significa en latín lo que «cup» significa en inglés . La significación es la imposición de un significado a un enunciado, mientras que la suposición consiste en tomar un término significativo como sustituto de algo. Según Pedro de España: «Por lo tanto, la significación es anterior a la suposición. Ninguna de las dos pertenece a la misma cosa. Porque significar pertenece a un enunciado, pero suponer pertenece a un término ya formado, por así decirlo, a partir de un enunciado y una significación». Una forma sencilla de ver la diferencia es nuestro ejemplo de «beber otra taza» . Aquí, «cup» como enunciado significa una taza como objeto, pero «cup» como término del idioma inglés se usa para suponer el vino contenido en la taza.

Los lógicos medievales dividieron la suposición en muchos tipos diferentes; la jerga para los distintos tipos, sus relaciones y lo que todos significan se vuelven complejos y difieren enormemente de un lógico a otro. ^{[ 1 ]} La página web de Paul Spade tiene una serie de diagramas útiles aquí. ^{[ 2 ]} La división más importante es probablemente entre suposición material, simple, personal e impropia. Un término supone materialmente cuando se usa para sustituir una expresión o inscripción, en lugar de para lo que significa. Cuando digo que «taza» es una palabra monosilábica, estoy usando la palabra «taza» para suponer materialmente la expresión «taza» en lugar de una pieza de cerámica. La suposición material es una forma medieval de hacer el trabajo que hoy haríamos usando comillas. Según Ockham ( Suma de la Lógica I64, 8) «La suposición simple ocurre cuando un término supone una intención del alma, pero no se toma significativamente». La idea es que la suposición simple ocurre cuando el término representa un concepto humano en lugar del objeto en sí. Si digo « Las tazas son un tipo importante de cerámica», el término «tazas» no representa ninguna taza en particular, sino la idea de una taza en la mente humana (según Ockham y muchos lógicos medievales, pero no según John Buridan). La suposición personal, en cambio, se da cuando el término supone lo que significa. Si digo « Pásame la taza», el término «taza» representa el objeto que se llama taza en inglés, por lo que se trata de una suposición personal. Un término está en suposición impropia si supone un objeto, pero un objeto diferente al que significa, como en mi ejemplo « Bebe otra taza».

La suposición personal se subdividió en tipos como discreta, determinada, meramente confusa y confusa y distributiva. En 1966, T. K. Scott propuso dar un nombre aparte a las discusiones medievales sobre las subvariedades de la suposición personal, porque consideraba que era un tema bastante distinto de las otras variedades de suposición. Propuso llamar a las subvariedades de la suposición personal una teoría de los "modos de suposición". ^{[ 3 ]}

Los lógicos medievales proporcionan elaborados conjuntos de reglas sintácticas para determinar cuándo un término supone de forma discreta, determinada, confusa o confusa y distributiva. Así, por ejemplo, el sujeto de una afirmación negativa o indefinida supone de forma determinada, mientras que el sujeto de una afirmación singular supone de forma discreta, y el sujeto de una afirmación supone de forma confusa y determinada. Alberto de Sajonia ofrece 15 reglas para determinar qué tipo de suposición personal utiliza un término. Además, los lógicos medievales no parecen discrepar sobre los detalles de las reglas sintácticas para determinar el tipo de suposición personal. Estas reglas parecen ser importantes porque estaban vinculadas a teorías de descendencia a particulares y ascenso a partir de particulares.

Cuando digo que quiero comprar una taza, he formulado una afirmación indefinida, con «taza» como predicado. Además, «taza» es un término común que incluye muchas tazas específicas. Así, si «recurro a los detalles», puedo reformular mi afirmación como « quiero comprar esta taza», «quiero comprar aquella taza» o «quiero comprar aquella otra taza», y así sucesivamente para todas las tazas. Si tuviera una disyunción infinita de todas las tazas específicas, podría sustituir al término «taza», en su simple suposición en « quiero comprar una taza». Esto se denomina suposición determinada. Es decir, cuando digo « quiero comprar una taza» , me refiero a alguna taza determinada, pero no necesariamente sé cuál. Del mismo modo, si digo « Alguna taza no es una mesa», podría sustituirla por « Esta taza no es una mesa», «aquella taza no es una mesa» o...

Por otro lado, si digo «Ninguna taza es una mesa» , no quiero decir «Esta taza no es una mesa» o «Aquella no es una mesa» o... sino « Esta taza no es una mesa, Y aquella taza no es una mesa, Y aquella otra taza no es una mesa, Y...» . Aquí no me refiero a una taza particular determinada, sino a todas las tazas «fusionadas» entre sí, es decir, a todas las tazas «de forma confusa». Esto se denomina suposición confusa y distributiva.

Si digo que esta copa es de oro, no puedo llegar a una disyunción de particulares ni a una conjunción de particulares, sino solo porque esta copa ya es un particular. Este tipo de suposición personal se denomina suposición discreta.

Sin embargo, el predicado de una afirmación universal no encaja realmente en ninguno de estos modelos. La afirmación « Todas las tazas de café son tazas» no implica « Todas las tazas de café son esta taza, ni todas las tazas de café son aquella taza, ni...» , pero mucho menos implica « Todas las tazas de café son esta taza, ni todas las tazas de café son aquella taza, ni...» . Por otro lado, si resultara que solo quedara una taza de café en el mundo, sería cierto que « Todas las tazas de café son aquella taza» , por lo que puedo inferir válidamente de « Todas las tazas de café son aquella taza» que « Todas las tazas de café son tazas» . Aquí falla el descenso a la disyunción, y falla el descenso a la conjunción, pero el «ascenso a partir de los particulares» es válido. Esto se denomina «suposición meramente confusa».

Así es básicamente como funciona la teoría; un problema mucho más complejo es precisamente para qué sirve la teoría. Algunos comentaristas, como Michael Loux, ^{[ 4 ]} han sugerido que la teoría del ascenso y descenso a los particulares tiene como objetivo proporcionar condiciones de verdad para los cuantificadores. TK Scott ha sugerido que la teoría de la suposición propiamente dicha fue diseñada para responder a la pregunta ¿ De qué tipo de cosas estás hablando?, pero la teoría de la suposición personal tenía como objetivo responder a la pregunta ¿ De cuántas de ellas estás hablando? Paul Spade ha sugerido que, para el siglo XIV, la teoría de los modos de suposición personal ya no tenía ningún propósito en absoluto.

Cuando digo «No hay tazas hechas de plomo» , la palabra «tazas» se refiere a todas las tazas que existen. Pero si digo « Algunas tazas se hacían de plomo en la época romana» , la palabra « tazas » no solo se refiere a todas las tazas que existen, sino también a las del pasado. Aquí estoy ampliando la suposición habitual de los términos que utilizo. Pedro de España dice: «La ampliación es la extensión de un término común de una suposición menor a una mayor». ^{[ 5 ]} En la práctica, si hablo del pasado, del futuro o hago una afirmación modal, los términos que utilizo se amplían para referirse a cosas pasadas, futuras o posibles, en lugar de su suposición habitual de cosas presentes. Así, la ampliación se convierte en la teoría medieval para explicar las lógicas modales y temporales dentro de la teoría de la suposición.

• Bos, EP (ed. 2013), Revisión de la teoría de la suposición medieval. Estudios en memoria de LM de Rijk , Brill: Leiden.
• De Rijk, Lambertus M. (1967). Lógica Modernum . Assen: Van Gorcum.
• Dutilh Novaes, C. (2007), Formalizando las teorías lógicas medievales. Suppositio, Consequentiae y Obligaciones . Nueva York: Springer.
• Dutilh Novaes, C. (2011), Teoría de la suposición en H. Lagerlund (ed.) Enciclopedia de filosofía medieval , Dordrecht: Springer, 2011, pp. 1229-1236.
• Kneale, William y Martha Kneale (1962). Desarrollo de la lógica . Oxford: Clarendon Press.
• Kretzmann, Norman , Anthony Kenny y Jan Pinborg (1982). Historia de la filosofía medieval tardía de Cambridge. Cambridge: Cambridge University Press.
• McGrade, AS (editor), (2003). The Cambridge Companion to Medieval Philosophy , Cambridge University Press. ISBN 978-0-521-00063-5.
• Terence Parsons (2014). Articulando la lógica medieval , Nueva York: Oxford University Press.

• Read, Stephen. "Teorías medievales: propiedades de los términos" . En Zalta, Edward N. (ed.). Enciclopedia de filosofía de Stanford . ISSN 1095-5054 . OCLC 429049174 .  
• Knuuttila, Simo. "Teorías medievales de la modalidad" . En Zalta, Edward N. (ed.). Enciclopedia de filosofía de Stanford . ISSN 1095-5054 . OCLC 429049174 .  
• Paul Vincent Spade. Lógica y filosofía medievales.
• Paul Vincent Spade. Pensamientos, palabras y cosas. Una introducción a la lógica y la teoría semántica del final de la Edad Media (PDF)
• Raúl Corazón. Bibliografía anotada sobre las teorías medievales de la suposición.