La teoría de las suposiciones era una rama de la lógica medieval que probablemente tenía como objetivo dar explicaciones de cuestiones similares a las explicaciones modernas de referencia , pluralidad , tiempo y modalidad , dentro de un contexto aristotélico . Filósofos como Juan Buridan , Guillermo de Ockham , Guillermo de Sherwood , Walter Burley , Alberto de Sajonia y Pedro de España fueron sus principales desarrolladores. En 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 parecida a una teoría de referencia, y la teoría de los "modos de suposición", cuya La función prevista no está clara.
La suposición era una relación semántica entre un término y aquello de lo que se usaba ese término. Así, por ejemplo, en la sugerencia Bebe otra copa , el término copa supone el vino contenido en 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 otra manera). 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 una lengua. Poculum significa en latín lo que significa copa 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 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 una significación." Una manera fácil de ver la diferencia es en nuestro ejemplo de otra taza de bebida . Aquí copa como expresión significa una copa como objeto, pero copa como término del idioma inglés se utiliza para suponer el vino contenido en la copa.
Los lógicos medievales dividieron las suposiciones en muchos tipos diferentes; las jergas para los diferentes tipos, sus relaciones y lo que significan se vuelven complejas y difieren mucho 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 suposiciones materiales, simples, personales e impropias. Un término supone materialmente cuando se utiliza para sustituir una expresión o inscripción, más que lo que significa. Cuando digo que Copa es una palabra monosilábica, estoy usando la palabra copa para suponer materialmente la expresión copa en lugar de 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 ( Summa de Lógica I64, 8) "La suposición simple ocurre cuando un término supone una intención del alma, pero no se toma de manera significativa". La idea es que la suposición simple ocurre cuando el término reemplaza un concepto humano en lugar del objeto en sí. Si digo que las copas son un tipo importante de cerámica, el término copas no sustituye a ninguna copa en particular, sino a la idea de una copa en la mente humana (según Ockham y muchos lógicos medievales, pero no según John Buridan). . La suposición personal, por el contrario, es cuando el término supone por lo que significa. Si digo Pásame la taza, el término taza reemplaza al objeto que en inglés se llama taza , por lo que es una suposición personal. Un término está en suposición impropia si supone por un objeto, pero un objeto diferente al que significa, como en mi ejemplo Bebe otra taza.
La suposición personal se dividió además 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 suposiciones personales, porque pensaba que era una cuestión bastante distinta de las otras variedades de suposiciones. Propuso llamar a las subvariedades de suposición personal teoría de "modos de suposición". [3]
Los lógicos medievales dan conjuntos elaborados de reglas sintácticas para determinar cuándo un término supone discretamente, determinadamente, confusamente o confusamente y distributivamente. Así, por ejemplo, el sujeto de una pretensión negativa, o indefinida, supone determinadamente, pero el sujeto de una pretensión singular supone discretamente, mientras que el sujeto de una pretensión afirmativa supone de forma confusa y determinada. Alberto de Sajonia da 15 reglas para determinar qué tipo de suposición personal utiliza un término. Además, los lógicos medievales no parecieron 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 teorías de descenso a particulares y ascenso desde particulares.
Cuando digo que quiero comprar una taza, hago una afirmación afirmativa indefinida, con taza como término predicado. Copa adicional es un término común que incluye muchas copas particulares. Entonces, si "desciendo a los detalles", 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 simple suposición de quiero comprar una taza. A esto se le llama suposición determinada. Entonces 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 sustituirla por Esta taza no es una mesa, o esa taza no es una mesa o...
Por otro lado, si digo Ninguna taza es una mesa , no me refiero a Esta taza no es una mesa o a aquella no es una mesa o... quiero decir Esta taza no es una mesa, Y que la taza no es una mesa, Y esa otra taza no es una mesa, Y... . Aquí no me refiero a una determinada copa en particular, sino a todas las copas "fusionadas" entre sí, es decir, todas las copas "confusamente". A esto se le llama suposición confusa y distributiva.
Si digo Esta copa es de oro no puedo descender a una disyunción de particulares, o a una conjunción de particulares, sino sólo porque esta copa ya es un particular. Este tipo de suposición personal se llama suposición discreta.
Sin embargo, el predicado de una afirmación afirmativa universal realmente no se ajusta 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 menos aún implica Todas las tazas de café son esta taza, y todas las tazas de café son esa taza, y ... . Por otro lado, si se diera el caso de que solo quedara 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í falla el descenso a la disyunción y falla el descenso a la conjunción, pero el "ascenso desde los particulares" es válido. Esto se llama "suposición meramente confusa".
Básicamente, así es como 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 pretende 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á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 apuntaba a nada en absoluto.
Cuando digo No hay copas de plomo , tazas supone por todas las copas que existen. Pero si digo que algunas copas eran hechas de plomo en la época romana , copas no pueden estar suponiendo sólo por todas las copas que existen, sino también por copas 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 un supuesto menor a uno 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 cosas pasadas, cosas futuras o cosas posibles, en lugar de su suposición habitual para cosas presentes y reales. cosas. Así, la ampliación se convierte en la teoría medieval para explicar las lógicas modales y tensas dentro de la teoría de la suposición.