WikiDer > Рогатка аргумент

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Февраль 2008 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В философская логика, а аргумент из рогатки является одним из группы аргументы утверждая, что все истинный фразы стоять за то же самое.

Этот тип аргумента получил название "рогатка" к философы Джон Барвайз и Джон Перри (1981) из-за его обезоруживающей простоты. Обычно говорят, что версии аргумента в пользу рогатки приводятся Готтлоб Фреге, Церковь Алонсо, В. В. Куайн, и Дональд Дэвидсон. Однако это оспаривается Лоренц Крюгер (1995), что в этой традиции много единства. Более того, Крюгер отвергает утверждение Дэвидсона о том, что этот аргумент может опровергнуть заочная теория истины. Стивен Нил (1995) утверждает, спорно, что наиболее убедительная версия была предложена Курт Гёдель (1944).

Эти аргументы иногда видоизменяются, чтобы поддержать альтернативный и, очевидно, более сильный вывод о том, что существует только один факт, или одна правда предложение, положение дел, условие истины, создатель истины, и так далее.

Аргумент

Одна из версий аргумента (Perry 1996) состоит в следующем.

Предположения:

1. Замена. Если два термина обозначают одно и то же, то замена одного другого в предложении не меняет обозначения этого предложения.
2. Перераспределение. Перестановка частей предложения не меняет названия этого предложения при условии, что условия истинности предложения не меняются.
3. Каждое предложение эквивалентно предложению формы F(а). Другими словами, каждое предложение имеет то же обозначение, что и какое-то предложение, приписывающее чему-либо свойство. (Например, «Все люди смертны» эквивалентно «Число 1 имеет свойство быть таким, что все люди смертны».)
4. Для любых двух объектов существует однозначное отношение между ними. (Например, если рассматриваемые объекты обозначены "а" и "б", рассматриваемое отношение может быть р(Икс, у), который предполагается провести на всякий случай Икс = а и у = б.)

Позволять S и Т быть произвольными истинными предложениями, обозначающими Des(S) и Des(Т), соответственно. (Никаких предположений о том, какие вещи Des(S) и Des(Т) есть.) Теперь с помощью серии сохраняющих обозначение преобразований показано, что Des(S) = Des(Т). Здесь, "${displaystyle iota x}$"можно читать как" Икс такой, что ".

1.	${displaystyle S}$
2.	${displaystyle phi (a)}$	предположение 3
3.	${displaystyle a = iota x (phi (x) land x = a)}$	перераспределение
4.	${displaystyle a = iota x (pi (x, b) land x = a)}$	подстановка, допущение 4
5.	${displaystyle pi (a, b)}$	перераспределение
6.	${displaystyle b = iota x (pi (a, x) land x = b)}$	перераспределение
7.	${displaystyle b = iota x (psi (x) land x = b)}$	подстановка, допущение 3
8.	${displaystyle psi (b)}$	перераспределение
9.	${displaystyle T}$	предположение 3

Обратите внимание, что (1) - (9) не является выводом Т из S. Скорее, это серия (предположительно) этапов преобразования с сохранением обозначений.

Ответы на аргумент

Как заметил Гёдель (1944), аргумент рогатки не выдерживает критики, если Бертран Расселзнаменитый рассказ о определенные описания предполагается. Рассел утверждал, что правильная логическая интерпретация предложения формы " F является грамм" является:

Ровно одно F, и это тоже грамм.

Или на языке логика первого порядка:

${displaystyle существует x (forall y (F (y) leftrightarrow y = x) land G (x))}$

Когда предложения выше, содержащие ${displaystyle iota}$-выражения раскрываются до правильной формы, шаги, связанные с заменой, считаются незаконными. Рассмотрим, например, переход от (3) к (4). По мнению Рассела, (3) и (4) являются сокращениями для:

3'.	${displaystyle существует x (forall y ((phi (y) land y = a) leftrightarrow y = x) land a = x)}$
4'.	${displaystyle существует x (forall y ((pi (y, b) land y = a) leftrightarrow y = x) land a = x)}$

Ясно, что принцип подстановки и предположение 4 не разрешают переход от (3 ') к (4'). Таким образом, один способ взглянуть на рогатку - это просто еще один аргумент в пользу теории определенных описаний Рассела.

Если кто-то не желает принимать теорию Рассела, то кажется разумным бросить вызов либо замена или же перераспределение, которые, по-видимому, являются еще одним слабым местом в аргументе. Перри (1996), например, отвергает оба этих принципа, предлагая заменить их некоторыми более слабыми, квалифицированными версиями, которые не допускают аргументации рогатки. Гаэтано Ликата (2011) отверг аргумент рогатки, показывая, что концепция тождество (=), используемое в демонстрации Дэвидсона и Гёделя, очень проблематично, потому что Гёдель (вслед за Расселом) использует Г. В. Лейбницпринцип идентичность неразличимых,^{[страница нужна]} которые страдают от критики, предложенной Людвиг Витгенштейн: утверждать, что x = y, когда все свойства x также являются свойствами y, неверно, потому что y и x - разные знаки, в то время как утверждать, что x = x, когда все свойства x также являются свойствами x, - это нонсенс.^{[страница нужна]} Тезис Ликаты состоит в том, что знак = (обычно используемый между числами) нуждается в логическом обосновании, прежде чем использоваться между объектами и свойствами.

Смотрите также

• Абстракция
• Логика информации
• Библиография Чарльза Сандерса Пирса

Рекомендации

• Барвайз, К. Дж. & Перри, Джон (1981), «Семантическая невиновность и бескомпромиссные ситуации», Среднезападные исследования философии языка, VI.
• Гёдель, Курт (1944), «Математическая логика Рассела», в Пол Артур Шилпп (ред.), Философия Бертрана Рассела, Эванстон и Чикаго: издательство Северо-Западного университета, стр. 125–53.
• Крюгер, Лоренц (1995), «Была ли опровергнута теория соответствия истины?», Европейский журнал философии, т. 3, 157–173, репр. в Лоренце Крюгере, Почему история имеет значение для философии и науки?, изд. Томас Штурм, Вольфганг Карл и Лоррейн Дастон. Берлин: Де Грюйтер, 2005, стр. 201–217.
• Ликата, Гаэтано (2011), Правда и факты: отказ от аргумента о рогатке в защиту корреспондентной теории истины, Рим, Аракне.
• Нил, Стивен (1995), «Философское значение рогатки Гёделя», Разум, т. 104, нет. 416. С. 761–825.
• Пирс, К.С. (1906), «Пролегомены к апологии прагматизма», МонистТ. 16. С. 492–546 (1906). Перепечатано, Сборник статей, CP 4.530–572. Eprint.
• Перри, Джон (1996), «Уклонение от рогатки», в Энди Кларк и другие. (ред.), Философия и когнитивная наука. PDF.

внешняя ссылка

• Стивена Нила Факты отзыв Джона Макфарлейна
• Анализ аргумента Дэвидсона о рогатке