Category: наука

Category was added automatically. Read all entries about "наука".

Преувеличенный статус логики

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

На самом деле Мизес был не прав по обоим пунктам. Из аксиомы человеческой деятельности не выводится логически ничего, кроме базовой структуры выбора, а из определения прямоугольного треугольника не выводится теорема Пифагора. Чтобы осознать второе, достаточно взглянуть на любое имеющееся доказательство теоремы Пифагора (см. здесь). Ни одно из них не формулируется на примере одного лишь прямоугольного треугольника. Во всех из них фигурирует как минимум один прямоугольный треугольник в соотношении с другими геометрическими фигурами. А это уже не чисто логический вывод.

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

Вопрос

Кто-нибудь знает, можно ли добиться от российского консульства за рубежом, чтобы оно вовремя выполнило два нужных мне действия? Мне нужно, чтобы российское консульство в Марселе заверило перевод свидетельства о рождении (система на сайте позволяет мне записаться только на октябрь(!)) и инициировало замену загранпаспорта (электронная запись на это вообще на февраль(!)), а срок действия паспорта истекает в ноябре. Буду очень благодарен за советы.

Множество как понятие и конструкт

Мой предыдущий пост неожиданно для меня привлек большое внимание и вызвал сильные эмоции у многих комментаторов из числа математиков. Причем, к сожалению, почти все они неверно интерпретировали те или иные утверждения из поста. Например, я нигде не утверждал, что в математике нет места понятию "множество" или что объектом математики являются только числа.

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

Большинство комментаторов отсылали меня к истории дискуссий по поводу термина "множество". Я не то чтобы был совсем не знаком с этой историей, но сейчас мне пришлось ознакомиться с ней поближе.

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

Но во всей этой истории изначально была ошибка. "Наивное понятие множества" на самом деле представляло собой конструкт. Отличие понятие от конструкта состоит в том, что понятие абстрагировано от конкретных референтов. Но в случае с терминов "множество" никто никогда не встречал множества, которое бы в качестве своего элемента включало само себя (да и интуитивно представляется, что это логически некогерентная конструкция). Следовательно, prima facie, такое "множество" является не понятием, а конструктом, как и приведенное выше наивное понятие множества в целом.

Иными словами, можно дать не-конструктивистское "наивное" определение множества, которое не было бы конструктивистским и исключало парадокс Рассела. Множество - это любая совокупность элементов, не включающая в качестве элемента само это множество.

Если использовать такое определение множества, в частности отпадает необходимость использовать аксиоматизации, вся цель которых состоит в избежании парадокса Рассела. Отпадает и необходимость описывать числа в качестве множеств, потому что становится возможным рассматривать множества, состоящие из элементов, не являющихся множествами.

Тем более что в некоторых областях математики такие множества все равно рассматриваются, несмотря на то, что они не подходят под критерии множества в теории множеств. Например, любая геометрическая фигура является множеством точек. Точка сама по себе множеством, как я понимаю, не является.

P.S. просьба к тем, кто считает, что видит в этом посте ошибку(и), не писать комментарии, смысл которых состоит в том, что автор поста идиот или ничего не знает о предмете, а цитировать ошибочную фразу (фразы) из поста и объяснять хотя бы в паре фраз, в чем ошибка.

Два дилетантских околоматематических рассуждения

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

1. Есть такой раздел современной математической науки, как теория множеств. Но, что интересно, сам по себе концепт множества не является математическим (потому что элементами множества не обязательно являются математические объекты). В связи с этим, мне совершенно непонятно, почему теория множеств считается разделом математической науки. С моей дилетантской точки зрения, это не более чем один из разделов логики.

2. Другим вроде бы разделом математической науки считается так называемая "математическая логика". При этом если приглядеться к ней повнимательнее, ничего математического в ней на самом деле не обнаруживается. Тот факт, что логические цепочки строятся по отношению не к конкретным концептам, а к переменным, не делает соответствующие рассуждения математическими.

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

Важная логическая ошибка Мизеса

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

Сейчас я заметил, что Мизес увлекся этим конструктом благодаря довольно простой логической ошибке, содержащейся в приведенном ниже рассуждении:

The only method of dealing with the problem of action is to conceive that action ultimately aims at bringing about a state of affairs in which there is no longer any action, whether because all uneasiness has been removed or because any further removal of felt uneasiness is out of the question. Action thus tends toward a state of rest, absence of action.

Это рассуждение представляет собой случай non-sequeritur.

Чтобы понять, что это так, возьмем анаологичное рассуждение:

1. А, всегда когда видит уток, убивает их. 

2. Следовательно, А стремится к уничтожению всех уток вообще
.

Очевидно, что (2) не следует из (1). 

Точно так же вывод Мизеса не следует из его посылки. Люди не стремятся к состоянию без потребностей.

UPD. Аналогия, конечно, не совсем корректная. Корректная аналогия такова:

1) А периодически совершает действия, направленные на ликвидацию отдельных уток.

2) Следовательно, каждое убийство уток А направлено на ликвидацию уток вообще.

И, конечно, это все равно non-sequeritur.

UPD2: моя вторая аналогия тоже ошибочно, и, как я понял в процессе дискуссии (в том числе в комментариях), проблема состоит не в конкретном рассуждении Мизеса, а в самом введении им понятия "стремления действия к некому состоянию" в другом смысле, чем стремление к конкретной цели.

Гипотеза по поводу объективной морали

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

Итак, моя гипотеза состоит в следующем. Мораль - это чувство запретности определенных поступков по отношению к другим людям. Всем людям от рождения присуща мораль, принципы которой мы называем либертарианскими. Она присуща людям примерно в том же смысле, что и способность осваивать с нуля естественные языки

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

Тут сразу приходит в голову возражение, что почему же тогда все люди еще не стали либертарианцами. И ответ состоит в том, какими были социализация и воспитание людей начиная с первобытных времен.

Поскольку человек, в отличие от других животным способен преодолевать свои инстинкты, в частности инстинкт запрещающий ему/ей убивать представителей своего вида, и поскольку людям, к сожалению, присуще мышление в виде игр с нулевой суммой по отношению к ресурсам и очень слабая способность понимать объяснения с точки зрения спонтанного порядка (spontaneous order explanations), первобытные люди, видимо, опытным путем обнаружили, что для того, чтобы выжить в столкновениях с другими племенами, необходимо воспитывать и социализировать детей, а потом и взрослых людей по принципам того, что можно условно назвать "пчелиным ульем", в соответствии с которыми жизнь конкретного индивида (в том числе даже вождя) практически ничего не значит по сравнению с потребностями коллектива. 

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

P.S. просьба не закидывать камнями, потому что это пока всего лишь очень грубая гипотеза, и ни на что больше, кроме нее я в данном постинге не претендую) 

Простое доказательство неверности трудовой теории стоимости

Тут Вассерман со товарищи "переформулировали" трудовую теорию стоимости следующим образом.

Стоимость - это мера абстрактного труда (усилий), затрачиваемых на производство блага. Цены благ в капиталистической экономике определяются этой "стоимостью".

Для того, чтобы доказать неверность последнего тезиса, достаточно доказать, что ни один обмен ему не соответствует.

Представим себе ситуацию, когда А меняет принадлежащее ему яблоко на принадлежащий Б апельсин. Из логики обмена с необходимостью следует, что А ценит апельсин больше яблока и наоборот.  Поскольку ценности апельсин и яблок далеко не обязательно определяются для А и Б затраченным на производство яблок и апельсинов трудом (или тем более неким "абстрактным трудом"), следовательно, меновая стоимость яблок и апельсин трудом не определяется.

Поскольку приведенное рассуждение верно для любого обмена, рыночная цена (что бы ни значило это агрегированное понятие), являясь лишь агрегатом меновых стоимостей, никаким трудом (или другим объективным фактором) не определяется.

QED.

Решил ли Поппер проблему индукции?

В своей книге "Объективное знание" Поппер пишет, что он решил проблему индукции, которую поставил Дэвид Юм.

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

Например, сколько бы раз яблоко ни падало на землю, это не означает, что в будущем предметы будут падать на землю. Ведь законы устройства природы могут измениться. Следовательно, нет никаких оснований считать одну теорию лучше другой.

Поппер считал, что его критерий фальсификации в каком-то смысле решил проблему различения между хорошими и плохими теориями.

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

Возможно, я сделаю дилетантское наблюдение, но я не понимаю, чем фальсификационизм лучше верификации, если принять точку зрения Поппера и Юма на мир.

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

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