La teoría de la suposición era una rama de la lógica medieval que probablemente tenía como objetivo dar cuenta de cuestiones similares a las explicaciones modernas de referencia , pluralidad , tiempo y 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 de España fueron sus principales desarrolladores. En el siglo XIV parece haberse derivado en al menos dos teorías bastante distintas, la teoría de la "suposición propiamente dicha", que incluía un "ampliación " y se parece mucho a una teoría de la referencia, y a 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 sobre lo que ese término se usaba para hablar. Así, por ejemplo, en la sugerencia Bebe otra copa , el término copa se supone para 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 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 una lengua. Poculum significa en latín lo que significa taza en inglés. La significación es la imposición de un significado a una expresión, 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 una significación". Una manera fácil de ver la diferencia es en nuestra bebida, otro ejemplo de taza. Aquí copa como expresión significa una copa como objeto, pero copa como término del idioma inglés se usa para suponer el vino contenido en la copa.
Los lógicos medievales dividieron la suposición en muchos tipos diferentes; las jergas de 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í. 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 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 haríamos hoy usando comillas. Según Ockham ( Summa of Logic 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 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 representa ninguna copa en particular, sino la idea de una copa en la mente humana (según Ockham y muchos lógicos medievales, pero no según John Buridan). . Suposición personal en cambio es cuando el término supone por lo que significa. Si yo digoPásame la taza, el término taza sustituye al objeto que se llama taza en inglés, por lo que es una suposición personal. Un término está en suposición impropia si está suponiendo por un objeto, pero un objeto diferente del que significa, como en mi ejemplo Bebe otra copa.
La suposición personal se dividió además en tipos como discretos, determinados, meramente confusos y confusos y distributivos. En 1966, TK Scott propuso dar un nombre separado a las discusiones medievales sobre las subvariedades de suposición personal, porque pensó que era un tema bastante distinto de las otras variedades de suposición. Propuso llamar a las subvariedades de suposición personal una teoría de "modos de suposición". [2]