Теория предположений - Supposition theory

Для предположений в музыке см. Расширенный аккорд § 18 века .

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

Собственно предположение

Предположение - это семантическое отношение между термином и тем, о чем он используется, чтобы говорить. Так, например, в предложении « Выпейте еще одну чашку» термин « чашка» означает вино, содержащееся в чашке.

Логическим предположением термина был объект, на который ссылался термин. (В грамматике суппозитум использовался иначе). Однако предположение представляло собой иное семантическое отношение, чем значение. Сигнификация - это условные отношения между высказываниями и объектами, опосредованные особенностями языка. Poculum означает на латыни , что означает чашка на английском языке . Сигнификация - это придание значения высказыванию, но предположение - это использование значимого термина как заменяющего что-то. Согласно Петру Испанскому: «Следовательно, значение предшествует предположению. Они также не принадлежат к одному и тому же. Ибо означать принадлежит высказыванию, но предположение принадлежит термину, уже как бы составленному из высказывания и значение ". Легкий способ увидеть разницу - это пример другой чашки нашего напитка . Здесь чашка как высказывание означает чашу как объект, но чашка как термин в английском языке используется для обозначения вина, содержащегося в чаше.

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

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

Личное предположение было далее разделено на такие типы, как дискретное, детерминированное, просто запутанное, запутанное и распределительное. В 1966 году Т.К. Скотт предложил дать отдельное название средневековым дискуссиям о подвидах личных предположений, потому что, по его мнению, это был довольно отличный вопрос от других разновидностей предположений. Он предложил называть подвиды личных предположений теорией «способов предположения».

Средневековые логики дают тщательно продуманные наборы синтаксических правил для определения того, когда термин предполагает дискретное, детерминированное, нечеткое, нечеткое и распределенное выражение. Так, например, субъект отрицательной или неопределенной претензии предполагает определенно, но субъект единственной претензии предполагает дискретно, в то время как субъект утвердительной претензии предполагает смутно и определенно. Альберт Саксонский дает 15 правил для определения того, какие личные предположения использует термин. Более того, средневековые логики, похоже, не оспаривали деталей синтаксических правил для определения типа личного предположения. Эти правила кажутся важными, потому что они были связаны с теориями происхождения к частностям и восхождения к частностям.

Когда я говорю, что хочу купить чашку, я делаю неопределенное утвердительное заявление, используя в качестве предикатного термина чашка . Далее чашка - это общий термин, включающий в себя множество определенных чашек. Поэтому, если я «перейду к деталям», я могу перефразировать свое утверждение, так как я хочу купить эту чашку, или я хочу купить эту чашку, или я хочу купить ту другую чашку - и так далее для всех чашек. Если бы у меня было бесконечное разделение всех конкретных чашек, это могло бы заменить термин чашка в его простом предположении, что я хочу купить чашку. Это называется определенным предположением. То есть когда я говорю, что хочу купить чашку, я имею в виду определенную чашку, но я еще не обязательно знаю, какую именно. Точно так же, если я скажу, что какая-то чашка - это не стол, я могу заменить эту чашку не столом, или эта чашка не стол, или ...

С другой стороны, если я скажу , нет чашки не является таблицей , я не имею в виду Эту чашка не является таблица или что один не является таблица или ... Я имею в виду Эту чашка не является таблица, и что чашка не стол, а другая чашка не является таблицей, и ... . Здесь я имею в виду не определенную конкретную чашу, а все чашки, «слитые» вместе, то есть все чашки «смешанно». Это называется ошибочным и распределительным предположением.

Если я скажу, что эта чаша сделана из золота, я не смогу перейти к разделению деталей или соединению деталей, а только потому, что эта чаша уже является особой. Такое личное предположение называется дискретным предположением.

Однако предикат универсального утвердительного утверждения не соответствует ни одной из этих моделей. Все кофейные чашки являются чашками не означает, что все кофейные чашки являются этой чашкой, или все кофейные чашки являются той чашкой, или ... но еще меньше подразумевает, что все кофейные чашки являются этой чашкой, и все кофейные чашки являются этой чашкой, и ... . С другой стороны, если бы случилось так, что в мире осталась только одна кофейная чашка, было бы правдой, что все кофейные чашки являются этой чашкой , поэтому я могу сделать обоснованный вывод из Все кофейные чашки являются этой чашкой , чтобы Все кофейные чашки - это чашки . Здесь нисхождение к дизъюнкции и нисхождение к союзу неуспешно, но «восхождение от частностей» допустимо. Это называется «просто запутанное предположение».

В основном так работает теория, гораздо более острая проблема - это именно то, для чего эта теория. Некоторые комментаторы, такие как Майкл Лукс, предположили, что теория восхождения и нисхождения к частностям предназначена для обеспечения условий истинности для кванторов. Т. К. Скотт предположил, что сама теория предположений была разработана, чтобы ответить на вопрос, о чем вы говорите? но теория личного предположения была направлена ​​на ответ на вопрос, о скольких из них вы говорите? Пол Спейд предположил, что к XIV веку теория способов личного предположения больше ни на что не нацелена.

Усиление

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

Ссылки

  • Бос, EP (ред. 2013 г.), Возвращение к средневековой теории предположений. Этюды памяти Л. М. де Рейка , Brill: Leiden.
  • Де Рийк, Ламбертус М. (1967). Логика Модернорум . Ассен: Ван Горкум.
  • Dutilh Novaes, C. (2007), Формализация средневековых логических теорий. Suppositio, Consequentiae и Obligationes . Нью-Йорк: Спрингер.
  • Dutilh Novaes, C. (2011), Теория предположений в Х. Лагерлунде (ред.) Энциклопедия средневековой философии, Дордрехт: Springer, 2011, стр. 1229-1236.
  • Нил, Уильям и Марта Нил (1962). Развитие логики . Оксфорд: Clarendon Press.
  • Крецманн, Норман , Энтони Кенни и Ян Пинборг (1982). Кембриджская история поздней средневековой философии Кембридж: издательство Кембриджского университета.
  • МакГрейд, А.С. (редактор), (2003). Кембриджский компаньон средневековой философии , Cambridge University Press. ISBN  978-0-521-00063-5 .
  • Теренс Парсонс (2014). Артикулируя средневековую логику , Нью-Йорк: Oxford University Press.

внешние ссылки