Теория предположений была ветвью средневековой логики, которая, вероятно, была направлена на рассмотрение вопросов, сходных с современными описаниями референции , множественности , времени и модальности в аристотелевском контексте. Его основными разработчиками были такие философы, как Джон Буридан , Уильям Оккам , Уильям Шервудский , Уолтер Берли , Альберт Саксонский и Петр Испанский . К 14 веку она, по-видимому, разделилась, по крайней мере, на две совершенно разные теории: теорию «собственного предположения», которая включала «усиление » и очень похожа на теорию референции и теорию «модусов предположений», предполагаемая функция которых неясна.
Предположение было семантическим отношением между термином и тем, о чем этот термин использовался, чтобы говорить. Так, например, в предложении «Выпей еще чашу » термин « чаша» подразумевает вино, содержащееся в чаше.
Логической предпосылкой термина был объект, на который ссылался термин. (В грамматике суппозитум употреблялся по-другому). Однако предположение было иным семантическим отношением, чем значение. Значение было конвенциональным отношением между высказываниями и объектами, опосредованным особенностями языка. Poculum означает на латыни то, что означает cup на английском языке.. Значение — это наложение значения на высказывание, а предположение — это использование значимого термина в качестве замены чего-то. Согласно Петру Испанскому, «значение предшествует предположению. И они не принадлежат к одной и той же вещи. Ибо означать принадлежит высказыванию, а предположение принадлежит уже термину, так сказать, составленному из высказывания и значение». Легкий способ увидеть разницу — в примере с другим напитком . Здесь чашка как высказывание означает чашу как объект, но чашка как термин английского языка используется для предположения о вине, содержащемся в чаше.
Средневековые логики делили предположение на множество различных видов; жаргоны для различных видов, их отношения и то, что все они означают, становятся сложными и сильно различаются от логика к логику. [1] На веб-странице Пола Спейда есть ряд полезных диаграмм. Самое важное разделение, вероятно, проводится между материальным, простым, личным и неправильным предположением. Термин предполагает материально, когда он используется для обозначения высказывания или надписи, а не того, что он означает. Когда я говорю, что «чаша» — это односложное слово, я использую слово « чашка» , чтобы в материальном плане предположить чашу высказывания.а не за кусок глиняной посуды. Материальное предположение — это средневековый способ выполнения работы, которую мы сделали бы сегодня, используя кавычки. Согласно Оккаму ( «Сумма логики» , I64, 8), «простое предположение возникает, когда термин предполагает намерение души, но не принимается сигнификативно». Идея состоит в том, что простое предположение возникает, когда термин заменяет человеческое понятие, а не сам объект. Если я говорю, что чаши являются важным типом гончарных изделий, то термин « чашки» означает не какую-то конкретную чашу, а идею чаши в человеческом сознании (согласно Оккаму и многим средневековым логикам, но не согласно Джону Буридану). . Напротив, личное предположение — это когда термин предполагает то, что он означает. Если я говорюПередайте мне чашку, термин чашка заменяет объект, который называется чашкой на английском языке, так что это личное предположение. Термин находится в ненадлежащем предположении, если он предполагает объект, но объект, отличный от того, который он означает, как в моем примере: « Выпей еще чашу».
Личное предположение далее подразделялось на такие типы, как дискретное, определенное, просто спутанное, спутанное и дистрибутивное. В 1966 г. Т. К. Скотт предложил дать отдельное название средневековым дискуссиям о подразновидностях личных предположений, потому что считал, что это вопрос, достаточно отличающийся от других разновидностей предположений. Он предложил называть подвиды личных предположений теорией «модусов предположений». [2]