Аргумент рогатки - Slingshot argument
В философской логике , рогатки аргумент является одним из группы аргументов , утверждающих , чтобы показать , что все истинные предложения выступают за одно и то же.
Этот тип аргументов был назван « рогаткой » философами Джоном Барвайзом и Джоном Перри (1981) из-за его обезоруживающей простоты. Обычно говорят, что версии аргумента о рогатке были представлены Готтлобом Фреге , Алонзо Черчем , У. В. Куайном и Дональдом Дэвидсоном . Однако Лоренц Крюгер (1995) оспаривает, что в этой традиции есть много единства. Более того, Крюгер отвергает утверждение Дэвидсона о том, что этот аргумент может опровергнуть корреспондентную теорию истины . Стивен Нил (1995) спорно утверждает, что наиболее убедительная версия была предложена Куртом Гёделем (1944).
Эти аргументы иногда модифицируются, чтобы поддержать альтернативный и, очевидно, более сильный вывод о том, что существует только один факт или одно истинное утверждение , положение дел , условие истинности , создатель истины и так далее.
Аргумент
Одна из версий аргумента (Perry 1996) состоит в следующем.
Предположения :
- Замена . Если два термина обозначают одно и то же, то замена одного другого в предложении не меняет обозначения этого предложения.
- Распространение . Перестановка частей предложения не меняет названия этого предложения при условии, что условия истинности предложения не меняются.
- Каждое предложение эквивалентно предложению формы F ( a ). Другими словами, каждое предложение имеет то же обозначение, что и какое-то предложение, приписывающее чему-либо свойство. (Например, «Все люди смертны» эквивалентно «Число 1 имеет свойство быть таким, что все люди смертны».)
- Для любых двух объектов существует однозначное отношение между ними. (Например, если рассматриваемые объекты обозначены буквами « a » и « b », рассматриваемое отношение может быть R ( x , y ), которое, как предполагается , выполняется на всякий случай, если x = a и y = b .)
Пусть S и T - произвольные истинные предложения, обозначающие Des ( S ) и Des ( T ) соответственно. (Не делается никаких предположений о том, что такое Des ( S ) и Des ( T ).) Теперь серией сохраняющих обозначение преобразований показано, что Des ( S ) = Des ( T ). Здесь " " можно прочитать как " x такой, что".
1. | ||
2. | предположение 3 | |
3. | перераспределение | |
4. | подстановка, допущение 4 | |
5. | перераспределение | |
6. | перераспределение | |
7. | подстановка, допущение 3 | |
8. | перераспределение | |
9. | предположение 3 |
Следует отметить , что (1) - (9) не является вывод Т из S . Скорее, это серия (предположительно) шагов преобразования, сохраняющих обозначение.
Ответы на аргумент
Как заметил Гедель (1944), аргумент о рогатке не выдерживает критики, если принять известное описание определенных описаний Бертрана Рассела . Рассел утверждал, что правильная логическая интерпретация предложения формы «The F is G » такова:
- Ровно одна вещь F , и эта вещь также G .
Или на языке логики первого порядка :
Когда приведенные выше предложения, содержащие -выражения, раскрываются до их правильной формы, шаги, связанные с заменой, считаются незаконными. Рассмотрим, например, переход от (3) к (4). По мнению Рассела, (3) и (4) являются сокращениями для:
3 '. | |
4 '. |
Ясно, что принцип подстановки и предположение 4 не разрешают переход от (3 ') к (4'). Таким образом, один способ взглянуть на рогатку - это просто еще один аргумент в пользу теории определенных описаний Рассела.
Если кто-то не желает принимать теорию Рассела, то кажется разумным бросить вызов либо замещению, либо перераспределению , которые, по-видимому, являются еще одним слабым местом в аргументе. Перри (1996), например, отвергает оба этих принципа, предлагая заменить их некоторыми более слабыми, квалифицированными версиями, которые не позволяют аргументу о рогатке пройти. Итальянский философ Гаэтано Ликата в 2011 году отверг аргумент о рогатке, показав, что концепция идентичности (=), использованная в демонстрации Дэвидсона и Гёделя, очень проблематична, потому что Гёдель (вслед за Расселом) использует принцип Лейбница о тождественности неразличимые , которые страдают от критики, предложенной Людвигом Витгенштейном : утверждать, что x = y, когда все свойства x также являются свойствами y, неверно, потому что y и x - разные знаки, в то время как заявлять, что x = x, когда все свойства x также свойства x - это ерунда. Тезис Ликаты состоит в том, что знак = (обычно используемый между числами) требует логического обоснования, прежде чем он будет использоваться между объектами и свойствами.
Смотрите также
Рекомендации
- Барвайз, К. Дж. И Перри, Джон (1981), «Семантическая невиновность и бескомпромиссные ситуации», Исследования Среднего Запада по философии языка , VI.
- Гедель, Курт (1944), «Математическая логика Рассела», у Пола Артура Шилппа (редактор), Философия Бертрана Рассела , Эванстона и Чикаго: Northwestern University Press, стр. 125–53.
- Крюгер, Лоренц (1995), «Была ли опровергнута теория соответствия истины?», European Journal of Philosophy , vol. 3, 157–173, репр. Лоренц Крюгер, Почему история имеет значение для философии и наук? , изд. Томас Штурм, Вольфганг Карл и Лоррейн Дастон. Берлин: Де Грюйтер, 2005, стр. 201–217.
- Ликата, Гаэтано (2011), Истина и факты: отказ от аргумента рогатки в защиту теории истины по переписке , Рим, Аракне.
- Нил, Стивен (1995), "Философское значение рогатки Гёделя", Mind , vol. 104, нет. 416. С. 761–825.
- Пирс, CS (1906), «Пролегомены к апологии прагматизма», Монист , 16, 492–546 (1906). Перепечатано, Сборник статей , CP 4.530–572. Епринт .
- Перри, Джон (1996), «Уклонение от рогатки», Энди Кларк и др. (ред.), философия и когнитивная наука . PDF .