La teoría de la suposición fue una rama de la lógica medieval que probablemente tenía como objetivo dar cuenta de cuestiones similares a las explicaciones modernas de la referencia , la pluralidad , el tiempo y la modalidad , dentro de un contexto aristotélico . Filósofos como John Buridan , Guillermo de Ockham , Guillermo de Sherwood , Walter Burley , Alberto de Sajonia y Pedro I de España fueron sus principales desarrolladores. Hacia el siglo XIV parece haber derivado en al menos dos teorías bastante distintas, la teoría de la "suposición propiamente dicha", que incluía una " ampliación " y es muy similar 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 ese término. Así, por ejemplo, en la sugerencia Bebe otra copa , el término copa se refiere al vino que contiene la copa.
El supuesto lógico de un término era el objeto al que se refería el término (en gramática, suppositum se usaba de una manera diferente). Sin embargo, la suposición era una relación semántica diferente de la significación. La significación era una relación convencional entre enunciados y objetos mediada por las particularidades de un idioma. 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, pero la suposición es 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. Tampoco pertenecen a la misma cosa. Porque significar pertenece a un enunciado, pero suponer pertenece a un término ya, por así decirlo, formado a partir de un enunciado y un significado". Una manera fácil de ver la diferencia es en 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 dividían la suposición en muchos tipos diferentes; las jergas para los diferentes tipos, sus relaciones y lo que todos ellos significan se vuelven complejas 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 representar una expresión o inscripción, en lugar de lo que significa. Cuando digo que Cup es una palabra monosilábica, estoy usando la palabra cup para suponer materialmente para la expresión cup en lugar de para una pieza de cerámica. La suposición material es una forma medieval de hacer el trabajo que haríamos hoy 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 está representando un concepto humano en lugar del objeto en sí. Si digo que las tazas son un tipo importante de cerámica, el término tazas no está representando 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, es cuando el término supone lo que significa. Si digo Pásame la taza, el término taza está representando el objeto que en inglés se llama taza , por lo que está en una suposición personal. Un término está en una suposición impropia si está suponiendo un objeto, pero un objeto diferente del que significa, como en mi ejemplo Bebe otra taza.
La suposición personal se dividió a su vez en tipos como discreta, determinada, meramente confusa y confusa y distributiva. En 1966, TK Scott propuso dar un nombre separado a las discusiones medievales sobre las subvariedades de la suposición personal, porque pensaba que era una cuestión bastante distinta 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 dan conjuntos elaborados de reglas sintácticas para determinar cuándo un término supone de manera discreta, determinada, confusa o confusa y distributiva. Así, por ejemplo, el sujeto de una afirmación negativa o indefinida supone de manera determinada, pero el sujeto de una afirmación singular supone de manera discreta, mientras que el sujeto de una afirmación supone de manera confusa y determinada. Alberto de Sajonia da 15 reglas para determinar qué tipo de suposición personal está utilizando un término. Además, los lógicos medievales no parecen discutir 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 las teorías de descendencia a particulares y ascenso a partir de particulares.
Cuando digo que quiero comprar una taza, he hecho una afirmación indefinida, con taza como término predicado. Además, taza es un término común, que incluye muchas tazas particulares dentro de él. Por lo tanto, si "desciendo a los particulares", puedo reformular mi afirmación como quiero comprar esta taza o quiero comprar esa taza, o quiero comprar esa otra taza, y así sucesivamente para todas las tazas. Si tuviera una disyunción infinita de todas las tazas particulares, podría sustituir al término taza, en su suposición simple en quiero comprar una taza. Esto se llama suposición determinada. Es decir, cuando digo que quiero comprar una taza me refiero a alguna taza determinada, pero no necesariamente sé cuál todavía. Del mismo modo, si digo Alguna taza no es una mesa, podría sustituir Esta taza no es una mesa, o Esa taza no es una mesa o ...
Por otra parte, si digo que ninguna taza es una mesa , no quiero decir que esta taza no es una mesa o que aquella no es una mesa o... quiero decir que 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 determinada en particular, sino a todas las tazas "fusionadas" entre sí, es decir, todas las tazas "confusamente". Esto se llama suposición confusa y distributiva.
Si digo Esta copa es de oro no puedo descender a una disyunción de particulares, ni a una conjunción de particulares, sino sólo porque esta copa es ya un particular. Esta clase de suposición personal se llama suposición discreta.
Sin embargo, el predicado de una afirmación universal no se ajustará realmente a ninguno de estos modelos. Todas las tazas de café son tazas no implica Todas las tazas de café son esta taza, o todas las tazas de café son esa taza, o ... , pero aún menos implica Todas las tazas de café son esta taza, y todas las tazas de café son esa taza, y ... . Por otro lado, si sucediera que sólo quedase una taza de café en el mundo, sería cierto que Todas las tazas de café son esa taza , por lo que puedo inferir válidamente de Todas las tazas de café son esa taza , a Todas las tazas de café son tazas . Aquí el descenso a la disyunción falla, y el descenso a la conjunción falla, pero el "ascenso a partir de particulares" es válido. Esto se llama "suposición meramente confusa".
Así es básicamente cómo funciona la teoría; un problema mucho más espinoso es exactamente 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 por objeto 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 por objeto responder a la pregunta ¿ De cuántos de ellos estás hablando? Paul Spade ha sugerido que en el siglo XIV la teoría de los modos de suposición personal ya no tenía por objeto nada en absoluto.
Cuando digo que no hay tazas hechas de plomo , tazas supone para todas las tazas que existen. Pero si digo que algunas tazas estaban hechas de plomo en tiempos romanos , tazas no puede suponer solo para todas las tazas que existen, sino también para las tazas del pasado. Aquí estoy ampliando la suposición normal de los términos que uso. 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 o del futuro, o hago una afirmación modal, los términos que uso se amplían para suponer para cosas pasadas, cosas futuras o cosas posibles, en lugar de su suposición habitual para cosas actuales 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.