Дискутирующий принцип
Принцип дискавтирования - это философский принцип, который гласит, что рациональный говорящий примет "p" тогда и только тогда, когда он или она верит в p. Кавычки указывают на то, что утверждение p рассматривается как предложение, а не как предложение. Этот принцип предполагается утверждениями, которые утверждают, что замена не выполняется в определенных интенсиональных контекстах.
Обзор[править]
Рассмотрим следующий аргумент:
(1) Салли принимает утверждение о том, что "Цицерон был знаменитым оратором", не соглашаясь с утверждением о том, что "Туллий был знаменитым оратором".
- (2) Цицерон - это Туллий
- Следовательно, (3) Салли считает, что Талли был известным оратором.
- Чтобы вывести (3), мы должны предположить, что, когда Салли соглашается с тем, что "Цицерон был знаменитым оратором", она считает, что Цицерон был знаменитым оратором. Тогда мы можем заменить Цицерона на Тулли и получить (3). Бертран Рассел считал, что это демонстрирует несостоятельность замещения идентичных в интенсиональных контекстах.
В "Загадке о вере" Сол Крипке утверждает, что применение теоремы дискавтирования может привести к парадоксу само по себе, без обращения к принципу замещения, и что это может показать, что проблема заключается в первом, а не во втором. Существуют различные формулировки этого аргумента.
Предположим, что Пьер, француз, приходит к убеждению, что (1) "Londres est jolie" (Лондон красивый), никогда не посещая город. Позже в жизни Пьер оказывается в Лондоне. Он не находит там говорящих по-французски (он еще не говорит по-английски), и все называют город "Лондон", а не Лондрес. Он находит этот город решительно непривлекательным, поскольку район, в котором он решает жить, решительно непривлекателен. Со временем он учит английский и формулирует убеждение, что (2) "Лондон некрасивый". Пьер никогда не понимает, что Лондон - это английское слово, обозначающее Лондрес. Теперь с дискаверирующим принципом мы можем вывести из (1), что Пьер верит в утверждение, что Лондрес есть Джоли. При слабом принципе перевода (например, "предложение на языке А совпадает с семантически идентичным предложением на языке В" [обратите внимание, что предложение - это не то же самое, что предложение]) теперь мы можем сделать вывод, что Пьер считает, что Лондон красивый. Но мы также можем сделать вывод из (2) и дискаверирующего принципа, что Пьер считает, что Лондон некрасив. Эти выводы можно сделать, даже если Пьер не допустил логических ошибок при формировании своих убеждений. Без принципа дискавтирования это противоречие не могло быть выведено, потому что мы не смогли бы предположить, что (1) и (2) означали что-то конкретное.
Этот парадокс также может быть выведен без обращения к другому языку. Предположим, что Пьер соглашается с утверждением "у Падеревского был музыкальный талант", возможно, услышав, что этот человек был известным пианистом. С помощью дискаверирующего принципа мы можем сделать вывод, что Пьер верит в предположение о том, что Падеревский обладал музыкальным талантом. Теперь предположим, что Пьер подслушивает, как друг обсуждает политические подвиги определенного государственного деятеля Падеревского, не зная, что два Падеревских - один и тот же человек. Прошлое Пьера говорит ему, что государственные деятели, как правило, не очень одарены в музыке, и это приводит его к убеждению, что у Падеревского не было музыкального таланта. Принцип дискавтирования позволяет нам сделать вывод, что Пьер верит в утверждение о том, что у Падеревски не было музыкального таланта. Используя этот принцип, мы пришли к выводу, что Пьер считает, что у Падеревского был музыкальный талант, и не верит, что у Падеревского был музыкальный талант, хотя убеждения Пьера были сформированы логически.