Введение

Теория предположений была ветвью средневековой логики, которая, вероятно, была направлена на то, чтобы дать отчет о проблемах, аналогичных современным отчетам о ссылке, множественности, времени и модальности в аристотелевском контексте. Его главными создателями были такие философы, как Джон Бурйдан, Уильям Оккхэмский, Уильям Шервудский, Уолтер Берли, Альберт Саксонский и Пётр Испанский. К XIV веку, похоже, она перешла к по крайней мере двум довольно различным теориям, теории "совершенного предположения", которая включала "увеличение" и очень похожа на теорию ссылки, и теории "модов предположения", предназначенная функция которой не ясна.

Само предположение

Предположение было семантической связью между термином и тем, что этот термин использовался, чтобы говорить о. Так, например, в предложении "Пей еще одну чашу", термин "чаша" предполагает вино, содержащееся в чаше. Логическим предпосылкой термина был объект, к которому он относился. (В грамматике слово suppositum употреблялось по-другому). Однако предположение было другой семантической связью от значимости. Значение было обычным отношением между высказываниями и объектами, опосредованными особенностями языка. Poculum означает на латыни то, что означает чаша на английском языке. Значение - это наложение смысла на высказывание, но предположение - это принятие значимого термина как замены чего-то. По словам Петра Испанического, "Следовательно, значение предшествует предположению. Они не принадлежат к одному и тому же. Ведь означать принадлежит выражению, а предполагать принадлежит термину, который уже, так сказать, соединен из выражения и значения". Легкий способ увидеть разницу в нашем напитке - еще один пример чашки. Здесь "чаша" как выражение означает чашу как предмет, но "чаша" как термин английского языка используется для обозначения вина, содержащегося в чаше. Средневековые логики разделили предположение на множество различных видов; жаргоны для различных видов, их отношения и то, что они все означают, становятся сложными и сильно отличаются от логика к логику. На веб-странице Пола Спейда есть ряд полезных диаграмм. Наиболее важное разделение, вероятно, между материальным, простым, личным и неправильным предположением. Термин предполагает материальность, когда он используется для обозначения выражения или надписи, а не для того, что он означает. Когда я говорю, что "кубок" - это односложное слово, я использую слово "кубок" для материального обозначения чашки, а не куска керамики. Материальное предположение - это средневековый способ выполнения работы, которую мы делаем сегодня, используя кавычки. Согласно Окэму (Summa of Logic I64, 8) "Простое предположение возникает, когда термин предполагает намерение души, но не принимается всерьез". Идея заключается в том, что простое предположение происходит, когда термин представляет собой человеческое понятие, а не сам объект. Если я говорю, что чаши - важный тип керамики, то термин чаши не означает какую-либо конкретную чашу, а идею чаши в человеческом сознании (согласно Окхему и многим средневековым логикам, но не согласно Джону Бурдину). Личное предположение, напротив, когда термин предполагает то, что он означает. Если я говорю "Дай мне чашку", термин "чашка" означает предмет, который называется чашечкой на английском языке, так что это личное предположение. Термин находится в неправильном предположении, если он предполагает объект, но объект отличается от того, что он означает, как в моем примере "Пей еще чашку".

Способы предположения

Личное предположение было далее разделено на такие типы, как дискретные, определенные, просто запутанные, запутанные и распределяющие. В 1966 году Т. К. Скотт предложил дать отдельное название средневековым дискуссиям о подвидах личного предположения, потому что он думал, что это довольно отдельный вопрос от других видов предположения. Он предложил назвать подвиды личных предположений теорией "модов предположения". Средневековые логики дают сложные наборы синтаксических правил для определения того, когда термин предполагает дискретно, определенно, путанично или путанично и распределительно. Так, например, субъект отрицательного утверждения или неопределенного предполагает определенно, но субъект единственного утверждения предполагает дискретно, в то время как субъект утвердительного утверждения предполагает путанично и определенно. Альберт Саксонский дает 15 правил определения типа личного предположения, которое использует термин. Далее средневековые логики, похоже, не спорили о деталях синтаксических правил для определения типа личного предположения. Эти правила, кажется, важны, потому что они были связаны с теориями происхождения к частям и восхождения от частных. Когда я говорю, что хочу купить чашку, я делаю неопределенное утвердительное утверждение, с чашей как предикатом. Дальнейшая чаша - это общий термин, включающий в себя много конкретных чашек. Так что если я "погружаюсь в детали", я могу перефразировать свое заявление так, что я хочу купить эту чашку или я хочу купить ту чашку, или я хочу купить ту другую чашку и так далее для всех чашек. Если бы у меня было бесконечное расслоение всех чашек, это могло бы заменить термин "чашка", в его простом предположении "я хочу купить чашку". Это называется определённым предположением. Когда я говорю, что хочу купить чашку, я имею в виду какую-то определенную чашку, но я не обязательно знаю, какую еще. Это называется смешанным и распределительным предположением. Если я говорю, что эта чаша сделана из золота, я не могу опуститься до разрыва частных данных или соединения частных данных, но только потому, что эта чаша уже является частной. Такой вид личных предположений называется дискретными предположениями. Однако предикат универсального утвердительного утверждения не соответствует ни одной из этих моделей. Все чашки кофе - это чашки не означает, что все чашки кофе - это чашка, или все чашки кофе - это чашка, или , но еще меньше это означает, что все чашки кофе - это чашка, и все чашки кофе - это чашка, и с другой стороны, если бы в мире осталась только одна чашка кофе, это было бы правдой, что все чашки кофе - это чашка, так что я могу с уверенностью сделать вывод из того, что все чашки кофе - это чашка, что все чашки кофе - это чашки. Здесь спуск к дисъюнкции не удается, а спуск к конъюнкции не удается, но "вознесение от деталей" действительно. Это называется "просто запутанное предположение". В основном, так работает теория, но есть более острые проблемы, для которых нужна теория. Некоторые комментаторы, такие как Майкл Лукс, предположили, что теория восхождения и спуска к деталям предназначена для обеспечения истинных условий для количественных показателей. Т. К. Скотт предположил, что теория предположения была разработана для того, чтобы ответить на вопрос о чем вы говорите? Но теория личных предположений была направлена на то, чтобы ответить на вопрос, о скольких из них вы говорите? Пол Спейд предположил, что к 14 веку теория способов личных предположений больше не была направлена ни на что.

Увеличение

Когда я говорю, что нет чашек из свинца, чашки предполагают все чашки, которые существуют. Но если я скажу, что некоторые чаши были сделаны из свинца в римские времена, чаши не могут быть просто предположениями для всех существующих чашек, но и для стаканов в прошлом. Здесь я расширяю нормальное предположение терминов, которые я использую. Петр Испанский говорит: "Увеличение - это расширение общего термина от меньшего предположения к большему". На практике, если я говорю о прошлом или будущем, или делаю модальное утверждение, термины, которые я использую, расширяются, чтобы предположить прошлые вещи, будущие вещи или возможные вещи, а не их обычное предположение о настоящих реальных вещах. Таким образом, амплификация становится средневековой теорией для объяснения модальной и логической логики в рамках теории предположения.