онтологические обязательства
Jul. 23rd, 2010 11:57 amпродолжаем про Куайна, "номинализм" и т.д., отсюда.
мы остановились на том, что, под влиянием Карнапа, Куайн отошел от резкого отрицания реальности математических объектов, и -- тут и -- пришел к своему "эмпиризму". грубо говоря, суть его в следующем. понятия физического опыта не являются вполне синтетическими, а понятия математической (или иной) теории не являются вполне аналитическими (и потому само различение синтетических и аналитических высказываний бессмысленно), но из того, что нам представляется соответствием опыту, мы можем делать выводы об истинности тех и других.
в современной философии наиболее популярно то развитие этих взглядов, которое, вопреки Куайну, предложил Патнем: мол, из того, что кажется эмпирическим подтверждением теоретических понятий, нужно делать вывод об их "объективной истинности" и "объективном существовании". но такое развитие эмпиризма Куайна не следует ни из самого Куайна, ни из чего бы то ни было другого. это просто голая вера в "объективную реальность" позитивистов, которая осознала, что ей не укрыться за какие-либо другие философские концепции, и поэтому ей придется выступить с открытым забралом, в виде аксиомы.
теория Куайна не оказывает достаточного сопротивления подобному подходу, т.к. она эксплицитно распространяется на процессы познания, и просто избегает говорить об онтологии как таковой. т.е. вопрос, почему у нас м.б. только такое познание, как описывает Куайн в своем "эмпиризме", Куайном как-то заматывается.
на мой взгляд, это потому, что Куайн не хотел пересматривать основания той аналитической традиции, которую он унаследовал от Рассела (он соглашался пересматривать ее самоё, что он и сделал в дискуссии с Карнапом, но не ее фундамент). а что надо было сделать, чтобы пересмотреть фундамент?
------------
возвращаемся к дискуссии по ссылке в начале.
slavikmad рече:
Честно говоря, я не совсем понимаю, как квантор общности может порождать онтологические обязательства. (Хотя когда читал одну книгу по теории множеств, мне показалось, что смысл этого я почувствовал :) Что-то там было связано с границей классов и множеств, кажется. Наверное, тут дело в том, что в теории множеств используют схемы аксиом отделимости и формулы логики первого порядка - и тут как-то смысл обязательства по общности проявляется :) )
Вот в этом примере, мне не совсем ясно, какой тут квантор, общности или существования.
> Thus, taking an example from a medieval logician (Paul of Venice’s Logica Magna (c. 1400)), the phrase “Some man who is a donkey is not a donkey” is true since the subject term is empty (Peters, Westerståhl 2006, 25).
Если парафразировать по Расселу-Куайну: there exists some man who is a donkey is not a donkey - тогда предложение получится неистинным. Если же это будет all men who are donkeys are not donkeys - то это будет нечто, что называют в философии математики vacuously true.
цитата по-английски -- из меня, из описания универсального логического аппарата, одинаково применимого к модальным и классическим логикам.
штука в том, что эту цитату нельзя перефразировать по Расселу-Куайну. она формулируется, исходя из принципа, что вообще никакие кванторы и никакие логические концепты никак не связаны с онтологическими обязательствами. невозможно построить такую логику, которая бы касалась онтологических обязательств.
об этом в 1904-1905 годах был спор между Расселом и Майнонгом. позиция Майнонга заключалась в том, что для логики совершенно не имеет значения реальность обсуждаемых объектов. логика просто не может принимать во внимание реальность или вымышленность. существуют ли Пегасы -- это просто вопрос конвенции. невозможно сделать такую логику, чтобы зацепить за реальность.
в те годы это настолько противоречило пафосу математического естествознания, что трудно было ожидать победы Майнонга в глазах большинства. к сожалению, во второй половине ХХ века, после эмпиризма Куайна, о нем не вспомнили (ну, почти не вспоминали -- скажем так).
действительно, с подходом Майнонга, если брать его в изложении самого Майнонга, проблема та, что он оставляет непонятным эффективность математического естествознания. это, конечно, не служит опровержением Майнонга, но ощущение неприятное. по крайней мере, требуется тогда какая-то теория, которая бы эту эффективность объясняла.
мое предложение -- читать Майнонга сквозь призму эмпиризма Куайна.
тогда надо переформулировать: абсолютно все логические объекты, вплоть до "круглого квадрата", не говоря о Пегасах, являются реальными -- более или менее. некоторые сильно "менее", но всё равно.
это требует не только отказа от различения синтетических и аналитических суждений, уже совершенного Куайном, но и отказа от оппозиции "истинно--ложно", причем, какая-нибудь трехзначная логика тут также не является выходом, т.к. она все равно создает слишком сильную дискретность для допустимых значений истинности.
если от языка логики перейти к собственно философскому языку, то ту же саму мысль следует выразить так: человек не может помыслить того, что в самом деле и ни в каком смысле не существует.
если вернуться к логике, то в рассмотренном выше случае мы формально получаем, что "множество людей, являющихся ослами", существует, но, в каких-то условиях, его следует рассматривать как пустое. это подразумевает, что в каких-то других условиях оно может быть непустым.
в более общем виде мы получаем, что онтологическим обязательствам онтологически же присуща неопределенность -- в том же смысле, в котором она эксплицируется в аппарате квантовой физики, т.е. онтологическая и неустранимая, а также подразумевающая присутствие "наблюдателя". более привычным для новейшей логики термином, аналогичным "неопределенности" физики, является "нечеткость" (fuzziness).
модальная логика отличается от классической именно тем, что в ней обязательно присутствует "наблюдатель", т.к. все ее выводы делаются с какой-то эксплицитно заданной точки зрения (совершенно не обязательно для объяснения этого принципа привлекать формализм "возможных миров").
из сказанного выше следует, что классическая логика (и вообще любая немодальная логика) является частным случаем модальной, а не наоборот, и получается посредством вынесения за скобки "наблюдателя" из модальных высказываний. (Куайн был противником модальной логики, т.к. терпеть не мог "возможные миры" и тому подобные лишние сущности, но по сути его подход к логике как раз был модальным, т.к. его "эмпиризм" вводил неустранимого "наблюдателя"!).
в рамках модального подхода и с учетом неустранимой неопределенности становится понятно, как можно читать Майнонга. я бы сформулировал это так:
онтологические обязательства являются для логики неустранимыми (казалось бы, ровно противоположное тому, о чем говорил Майнонг). но разные утверждения обладают, для данного наблюдателя, разной степенью нечеткости (для ее описания, как ни старанно, уже предложен логический формализм -- модальная логика fuzzy Kripke, сформулированная одним японцем в конце 1990-х с некими практическими целями).
аутентичная логика Майнонга выводится отсюда, посредством вынесения за скобки "наблюдателя", т.е. отказом от модальности. тогда да: логика, лишенная модальности, полностью лишается онтологических обязательств.
на мой взгляд, это принципы той логики, которая соответствует "эмпиризму" Куайна в большей степени, чем его собственная логика (и, тем паче, в бОльшей степени, чем логика Патнема).
Куайн понимал, что логика должна иметь онтологические обязательства, но, в соответствии с объективистскими предрассудками своего времени и своего учителя Рассела, не хотел платить за них модальностью. а Майнонг не хотел понимать, что логика должна иметь онтологические обязательства, и поэтому легко мог позволить себе объективизм, вполне в духе времени. то, что последовательное развитие позитивизма уводило от реальности настолько, что заставляло рассуждать о пегасах и круглых квадратах как о реальных предметах, его не испугало (он ведь видел, что его оппоненты, особенно Рассел, передергивают в логике, вводя в нее неявные аксиомы и отказываясь это признать). Майнонг, как и Рассел, не отказывался от позитивизма, но пошел на то, чтобы оставить позитивизм без подпорки логики. других таких смелых (безбашенных) позитивистов не нашлось, поэтому в эпоху господства позитивизма Майнонг проиграл.
мы остановились на том, что, под влиянием Карнапа, Куайн отошел от резкого отрицания реальности математических объектов, и -- тут и -- пришел к своему "эмпиризму". грубо говоря, суть его в следующем. понятия физического опыта не являются вполне синтетическими, а понятия математической (или иной) теории не являются вполне аналитическими (и потому само различение синтетических и аналитических высказываний бессмысленно), но из того, что нам представляется соответствием опыту, мы можем делать выводы об истинности тех и других.
в современной философии наиболее популярно то развитие этих взглядов, которое, вопреки Куайну, предложил Патнем: мол, из того, что кажется эмпирическим подтверждением теоретических понятий, нужно делать вывод об их "объективной истинности" и "объективном существовании". но такое развитие эмпиризма Куайна не следует ни из самого Куайна, ни из чего бы то ни было другого. это просто голая вера в "объективную реальность" позитивистов, которая осознала, что ей не укрыться за какие-либо другие философские концепции, и поэтому ей придется выступить с открытым забралом, в виде аксиомы.
теория Куайна не оказывает достаточного сопротивления подобному подходу, т.к. она эксплицитно распространяется на процессы познания, и просто избегает говорить об онтологии как таковой. т.е. вопрос, почему у нас м.б. только такое познание, как описывает Куайн в своем "эмпиризме", Куайном как-то заматывается.
на мой взгляд, это потому, что Куайн не хотел пересматривать основания той аналитической традиции, которую он унаследовал от Рассела (он соглашался пересматривать ее самоё, что он и сделал в дискуссии с Карнапом, но не ее фундамент). а что надо было сделать, чтобы пересмотреть фундамент?
------------
возвращаемся к дискуссии по ссылке в начале.
Честно говоря, я не совсем понимаю, как квантор общности может порождать онтологические обязательства. (Хотя когда читал одну книгу по теории множеств, мне показалось, что смысл этого я почувствовал :) Что-то там было связано с границей классов и множеств, кажется. Наверное, тут дело в том, что в теории множеств используют схемы аксиом отделимости и формулы логики первого порядка - и тут как-то смысл обязательства по общности проявляется :) )
Вот в этом примере, мне не совсем ясно, какой тут квантор, общности или существования.
> Thus, taking an example from a medieval logician (Paul of Venice’s Logica Magna (c. 1400)), the phrase “Some man who is a donkey is not a donkey” is true since the subject term is empty (Peters, Westerståhl 2006, 25).
Если парафразировать по Расселу-Куайну: there exists some man who is a donkey is not a donkey - тогда предложение получится неистинным. Если же это будет all men who are donkeys are not donkeys - то это будет нечто, что называют в философии математики vacuously true.
цитата по-английски -- из меня, из описания универсального логического аппарата, одинаково применимого к модальным и классическим логикам.
штука в том, что эту цитату нельзя перефразировать по Расселу-Куайну. она формулируется, исходя из принципа, что вообще никакие кванторы и никакие логические концепты никак не связаны с онтологическими обязательствами. невозможно построить такую логику, которая бы касалась онтологических обязательств.
об этом в 1904-1905 годах был спор между Расселом и Майнонгом. позиция Майнонга заключалась в том, что для логики совершенно не имеет значения реальность обсуждаемых объектов. логика просто не может принимать во внимание реальность или вымышленность. существуют ли Пегасы -- это просто вопрос конвенции. невозможно сделать такую логику, чтобы зацепить за реальность.
в те годы это настолько противоречило пафосу математического естествознания, что трудно было ожидать победы Майнонга в глазах большинства. к сожалению, во второй половине ХХ века, после эмпиризма Куайна, о нем не вспомнили (ну, почти не вспоминали -- скажем так).
действительно, с подходом Майнонга, если брать его в изложении самого Майнонга, проблема та, что он оставляет непонятным эффективность математического естествознания. это, конечно, не служит опровержением Майнонга, но ощущение неприятное. по крайней мере, требуется тогда какая-то теория, которая бы эту эффективность объясняла.
мое предложение -- читать Майнонга сквозь призму эмпиризма Куайна.
тогда надо переформулировать: абсолютно все логические объекты, вплоть до "круглого квадрата", не говоря о Пегасах, являются реальными -- более или менее. некоторые сильно "менее", но всё равно.
это требует не только отказа от различения синтетических и аналитических суждений, уже совершенного Куайном, но и отказа от оппозиции "истинно--ложно", причем, какая-нибудь трехзначная логика тут также не является выходом, т.к. она все равно создает слишком сильную дискретность для допустимых значений истинности.
если от языка логики перейти к собственно философскому языку, то ту же саму мысль следует выразить так: человек не может помыслить того, что в самом деле и ни в каком смысле не существует.
если вернуться к логике, то в рассмотренном выше случае мы формально получаем, что "множество людей, являющихся ослами", существует, но, в каких-то условиях, его следует рассматривать как пустое. это подразумевает, что в каких-то других условиях оно может быть непустым.
в более общем виде мы получаем, что онтологическим обязательствам онтологически же присуща неопределенность -- в том же смысле, в котором она эксплицируется в аппарате квантовой физики, т.е. онтологическая и неустранимая, а также подразумевающая присутствие "наблюдателя". более привычным для новейшей логики термином, аналогичным "неопределенности" физики, является "нечеткость" (fuzziness).
модальная логика отличается от классической именно тем, что в ней обязательно присутствует "наблюдатель", т.к. все ее выводы делаются с какой-то эксплицитно заданной точки зрения (совершенно не обязательно для объяснения этого принципа привлекать формализм "возможных миров").
из сказанного выше следует, что классическая логика (и вообще любая немодальная логика) является частным случаем модальной, а не наоборот, и получается посредством вынесения за скобки "наблюдателя" из модальных высказываний. (Куайн был противником модальной логики, т.к. терпеть не мог "возможные миры" и тому подобные лишние сущности, но по сути его подход к логике как раз был модальным, т.к. его "эмпиризм" вводил неустранимого "наблюдателя"!).
в рамках модального подхода и с учетом неустранимой неопределенности становится понятно, как можно читать Майнонга. я бы сформулировал это так:
онтологические обязательства являются для логики неустранимыми (казалось бы, ровно противоположное тому, о чем говорил Майнонг). но разные утверждения обладают, для данного наблюдателя, разной степенью нечеткости (для ее описания, как ни старанно, уже предложен логический формализм -- модальная логика fuzzy Kripke, сформулированная одним японцем в конце 1990-х с некими практическими целями).
аутентичная логика Майнонга выводится отсюда, посредством вынесения за скобки "наблюдателя", т.е. отказом от модальности. тогда да: логика, лишенная модальности, полностью лишается онтологических обязательств.
на мой взгляд, это принципы той логики, которая соответствует "эмпиризму" Куайна в большей степени, чем его собственная логика (и, тем паче, в бОльшей степени, чем логика Патнема).
Куайн понимал, что логика должна иметь онтологические обязательства, но, в соответствии с объективистскими предрассудками своего времени и своего учителя Рассела, не хотел платить за них модальностью. а Майнонг не хотел понимать, что логика должна иметь онтологические обязательства, и поэтому легко мог позволить себе объективизм, вполне в духе времени. то, что последовательное развитие позитивизма уводило от реальности настолько, что заставляло рассуждать о пегасах и круглых квадратах как о реальных предметах, его не испугало (он ведь видел, что его оппоненты, особенно Рассел, передергивают в логике, вводя в нее неявные аксиомы и отказываясь это признать). Майнонг, как и Рассел, не отказывался от позитивизма, но пошел на то, чтобы оставить позитивизм без подпорки логики. других таких смелых (безбашенных) позитивистов не нашлось, поэтому в эпоху господства позитивизма Майнонг проиграл.
Re: победа в WWII
Date: 2010-07-24 05:31 pm (UTC)Re: победа в WWII
Date: 2010-07-24 05:32 pm (UTC)Re: победа в WWII
Date: 2010-07-24 05:33 pm (UTC)Re: победа в WWII
Date: 2010-07-24 05:35 pm (UTC)если это называется "работает", то ок.
а Куайн тут причем, т.к. Вы сформулировали критерий эмпиризма.
Re: победа в WWII
Date: 2010-07-24 08:09 pm (UTC)Отражение - это такое свойство действительности при котором объекты в процессе взаимодействия друг с другом изменяются и при котором одни явления являются через другие.
Re: победа в WWII
Date: 2010-07-24 08:59 pm (UTC)непонятная фраза. что значит "являются"? это можно объяснить в понятиях логики? или физики? или хоть каких-то?
почему в понятие "являются" не попадают чудесные видения и делирий? или попадают?
Re: победа в WWII
Date: 2010-07-24 09:09 pm (UTC)Re: победа в WWII
Date: 2010-07-24 09:15 pm (UTC)а слова "отражение" я не понимаю. Вы (или не Вы? мб., это цитата?) только что переопределили его через "явление", но от этого не легче.
проблема этих наивных учений в том, что они не в состоянии заметить, как их мысль проскакивает "кротовую дыру", называемую "отражение". для них это совершенно ноуменальная телепортация разума.
все эти "теории отражения" живут только до тех пор, пока никто не поинтересуется, что же такое "отражение".
Re: победа в WWII
Date: 2010-07-24 09:27 pm (UTC)В советской философии об отражении писали много, но обыкновенно на уровне примеров из естествознания. А вот его логическое (я уверен, что здесь нужно разбираться при помощи диалектической логики) содержание как-то не было достаточно раскрыта. В неопубликованных текстах специалиста по эстетике М. Лифшица есть какие-то наработки, надо еще раз пересмотреть.
Re: победа в WWII
Date: 2010-07-24 09:34 pm (UTC)термин "отражение" никогда не имел никакого содержания, ни отражения содержания.
если начать над этим думать, то здесь и конец "диалектическому материализму" -- мыльному пузырю с высокопарным названием, в котором было много пустоты, но никакого материализма. телепортация разума через "теорию отражения" с материализмом несовместима.
Re: победа в WWII
Date: 2010-07-24 09:41 pm (UTC)Re: победа в WWII
Date: 2010-07-24 09:46 pm (UTC)а вот теория Маркса про капиталистическое отчуждение -- это да, стоящее дело.
кстати, "отражением" Маркса в психологии, по-видимому, стал Адлер с его учением о воле к власти, противопоставленном учению Фрейда о либидо. интересно, чтобы какой-нибудь марксист дал очерк мысли Адлера, а то историки психологии его плохо понимают из-за отсутствия специального образования.
что характерно, Адлер дружил с Троцким.
Re: победа в WWII
Date: 2010-07-25 07:43 am (UTC)Наверное Вым будет нетрудно найти что-то подобное и в мире физики частиц, где я не слишком хорошо разбираюсь. Что-то типа траектории движения частицы, которая замещает для наблюдателя саму физическую частицу.
Re: победа в WWII
Date: 2010-07-25 07:58 am (UTC)если только эмпирический критерий, то он не имеет претензий на абсолютную адекватность, он условен и меняется (Куайн). возможность абсолютного знания (с чего мы начали) на нем построить нельзя.
если какой-то другой критерий (марксисты всегда свысока поплевывали на эмпиристов, считая себя обладателями абсолютного знания), то его не сформулировать. траектория частицы в камере Вильсона только тогда станет элементом познания, когда ее проинтерпретирует исследователь. камера сама по себе ничего не познает.
аналогично человеческий мозг: если в нем дергаются какие-то нейроны, то этим он не отличается от мозга обезьяны. этим (самим по себе) еще не формируется никакое познание. но марксизм и позитивизм вообще никогда не мог объяснить, что такое познание.
можно назвать познанием то, что знает о внешнем мире обезьяна, но и то я не уверен, что хотя бы такое познание доступно марксистской психологии и философии, т.е. помещается в их теории. но возможности судить об адекватности тех или иных концепций позитивизм не дает.
Поппер постарался спасти позитивизм после кризиса 1920-х годов, придумав свою "фальсифицируемость". но его тут же и опровергли -- сначала Томас Кун, а потом Имре Лакатос (который искренне хотел защитить Поппера от Куна).
проблема связи мышления с внешним миром в позитивизме (и в его частном случае -- марксизме) нерешаема. это абсолютно отъехавшее мировоззрение, с реальностью несоединимое.
Re: победа в WWII
Date: 2010-07-25 08:17 am (UTC)Для марксиста нет большего врага чем позитивизм. Ленин даже специальную книжку против него написал "Материализм и эмпириокритицизм".
Мозг обезьяны отличается от мозга человека настолько, насколько деятельность людей отличается от деятельности обезьян. Мозг - только инструмент, основное - деятельность и культура, как "хранилище" способов деятельности.
Re: победа в WWII
Date: 2010-07-25 08:20 am (UTC)Re: победа в WWII
Date: 2010-07-25 08:27 am (UTC)++Адекватность проверяется результатом деятельности,++ -- вот это и называется эмпиризм. эмпирический критерий.
+++близкое к абсолютному++ -- это из серии "вторая свежесть". т.е. если, на Ваш вкус, близкое, то ок. главное, что все-таки не абсолютное.
+++Для марксиста нет большего врага чем позитивизм. ++
знамо дело. потому что позитивизм говорит марксизму, не то, что марксизм плохой, неправильный и т.п., а что его нет вовсе, т.е. что он состоит только из повторений чужого (разумеется, за вычетом экономики и социальных идей). для ленина ничего не могло быть обиднее. вот он и брызгает слюной на много страниц.
Re: победа в WWII
Date: 2010-07-26 09:12 am (UTC)- в марксистском понимании то, что
- эта причастность обосновывается действительно похоже на то, как у Вас в посте изложены взгляды (согласно справочным источникам, симпатизировавшего марксизму) Патнема, - объективная истинность теории и выражается в ее эмпирическом подтверждении; только марксизм говорит здесь обычно не об "эмпирическом", а о "практическом", привязывая всю познавательную и мыслительную деятельность человека к практике - совокупности всей деятельности человека по преобразованию мира; эта самая практика для марксиста и есть та высшая реальность, исходя из которой могут строиться философские конструкции (см. "Тезисы о Фейербахе");
- ни на какое "решение проблемы связи мышления с внешним миром" в пределах только мышления марксизм не претендует, наоборот - прямо утверждает невозможность такого ("чисто логического") решения; стилизуя под Витгенштейна - невозможно "сказать", выразить рассуждением решение этой проблемы, оно должно "показывать себя" в практике;
- соответственно, Ваши претензии от марксизма "отскакивают": как раз правильное "соединение с реальностью" в практике и снимает эту самую проблему связи мышления с внешним миром; и абсолютное знание как раз и присутствует ("сквозит" с разной, в целом растущей с прогрессом знания, степени) в совокупности условных и меняющихся относительных знаний, производимых с использованием условных и меняющихся исторических форм критерия практики - хоть бы даже, скажем, при этом сменялись несовместимые парадигмы по Куну;
- при этом по факту марксистами (не Марксом), в принципе принимавшими эти исходные положения, строились разные онтологические конструкции. Конкретно Ленин во время написания "Материализма и эмпириокритицизма" был последователем Плеханова (пусть и кое в чем ему возражавшим), а Плеханов понимал марксистский материализм как "спинозизм без теологической привески". При таком модифицированном спинозистском подходе теория отражения возникает довольно естественно: познание в принципе адекватно, потому что познающий и познаваемое - проявления одной единой субстанции, отражение - универсальное свойство субстанции (материи), познание - его высшая форма etc. Имхо мотивация выступления Ленина против позитивистов (теоретическая ее сторона - политико-партийные дела оставляем в стороне) тогда и заключалась в том, чтобы защитить эту общую концепцию - Ленин, в частности, считал, что данная конструкция дает твердую опору против враждебных конструкций (прежде всего религиозных), а позитивизм - не дает. Могут быть и другие интерпретации марксизма, предполагающие больший "разрыв между человеком и природой" (есть версия, что в эту сторону сдвинулся позднее Ленин; возможно, таковы были интуиции Ильенкова, при всем его почтении к Спинозе). Там будет сложнее - но апелляция к практике как к чему-то "большему логики" всяко сохранится. Сакраментальный вопрос, чем эта человеческая практика принципиально отличается от жизненного опыта обезьяны, в марксизме не может и не должен решаться исключительно внутри логики/теории познания - это тема онтологического статуса труда, преобразования/"очеловечения" природы и т.п.
Имхо концепция объективной реальности, теория отражения etc. на самом деле совместимы с любыми "прагматико-эмпирическими" построениями от куайновских до Ваших - они просто "про разное". Ваше неприятие "объективной реальности" и "отражения" скорее от религии, чем от эпистемологии. Собственно, Владимир Ильич мог бы очень порадоваться Вашим рассуждениям - как иллюстрации того, как позитивизм полезен поповщине ;-) (в том смысле, в каком это слово принято употреблять в традиции, хотя бы частично ориентирующейся на "Материализм и эмпириокритицизм", - Ваши взгляды на научное познание как раз и есть вариант позитивизма, а когда объективная реальность считается чем-то значимым - это уже стыдливый материализм :-)).
Re: победа в WWII
Date: 2010-07-27 08:31 am (UTC)Экономическая теория Маркса тесно связана с его гносеологией, без нее марксову концепцию капитализма не понять.
(Простите, что сразу не ответил, был за городом)