Доказательство того, что Вселенная возникла из ничего?

Рассмотрим следующее доказательство:

(1) Let the Universe be defined as the set of all things.

(2) It is impossible for a thing to come from itself. (You can't be your own parent)

(3) 2 implies a set of things cannot contain its own source.

(4) For all things X:

   (5) Assume the Universe came from X.

       (6) 1 implies X is a member of the Universe

       (7) 3 implies X cannot be the source of the Universe

   (8) 6 and 7 contradict - therefore 5 must be false.

   (9) 8 implies the Universe did not come from X.

(10) 4 implies For all X, the Universe did not come from X

(11) 10 implies the Universe Came From Nothing.

Как бы вы охарактеризовали это рассуждение? Справедливо ли рассуждение? Что такое контраргумент? Как это рассуждение соотносится с историческими позициями в философии и логике?

Обсуждение в ответе @philosodad заставило меня заметить кое-что еще: (1) определяет вселенную как набор всех вещей, а в (3) вы заключаете, что набор не может содержать свой собственный источник. Но для этого вы должны предположить, что вселенная также является вещью, что сделало бы вселенную частью самой себя. Но в ZFC (текущая общая теория множеств) множество не может быть членом самого себя. См. en.wikipedia.org/wiki/Axiom_of_regularity . Поэтому ваше доказательство должно быть гораздо более строгим (включая логику и аксиомы).
Не думаю, что здесь замешана математика.
@Koeng: я не думаю, что это правильно. Вы навязываете необязательные определения/аксиомы, которые используются для создания определенных полезных математических следствий, но контекст моего определения «вселенная», «множество» и «все вещи» является более рудиментарным, и я думаю, что все, что я использую, это логика высказываний. и экзистенциальная квантификация. Иными словами, существует бесконечное множество возможных аксиом, которые вы могли бы использовать в любом систематическом доказательстве, нужно только четко указать, какие из них вы используете, чтобы доказательство можно было оценить в соответствующем контексте.
@ user1131467 Я имею в виду, что для того, чтобы ваше доказательство было действительно последовательным, поскольку вы говорите о пограничных сложных случаях (вселенная, вещь / не-вещь, причинность вне времени и т. Д.), Вы должны быть очень строгими, включая рассмотрение аксиоматических вопросов логики (и теории множеств). Вы можете просто указать так называемую «наивную теорию множеств», но в итоге вы получите другие парадоксы. Мне не кажется правильным доказательством начала Вселенной, если вы просто заявляете: «Я просто использую эти аксиомы, потому что тогда мое доказательство работает», не затрагивая на самом деле фундаментальных проблем.
@mick Я не уверен, что вы имеете в виду мой комментарий, но в любом случае: логика и математика не являются полностью отдельными вещами, особенно потому, что первая устанавливает основы второй, включая теорию множеств. Когда вы используете такие предложения, как «набор всех вещей» и силлогизмы, вы говорите о вещах, которые тесно связаны с математикой (хотя мы и не цитировали математику напрямую). На грани рассуждений (как в данном случае) очень трудно не споткнуться о связанных с этим вопросах.
@Koeng: Если парадокс, о котором вы говорите, - это парадокс Рассела, см. Мой комментарий ниже по этому поводу. Это действительно не имеет большого значения. Следование доказательству не требует многого от теории множеств.
@ user1131467 Да, я имел в виду это. Но это не моя точка зрения. Я просто хочу сказать, что если вам нужно строгое доказательство такой вещи, как причина Вселенной, вы не можете просто отклонить его, сказав, что оно не относится к делу. Я имею в виду, вы можете сделать это, но тогда ваше доказательство будет просто расплывчатым. Тем не менее интересно, но так же легко отвергается. Но я думаю, что мы начинаем ходить по кругу.
@Koeng: Весь парадокс Рассела спрашивает: содержит ли множество всех вещей, которые содержат себя, себя? Если да, то это противоречие, а если нет, то тоже противоречие. Это то же самое, что «Это утверждение ложно». Если вы немного подумаете об этом, ни один из этих случаев не является действительно важным в контексте моего доказательства.
(опечатка в приведенном выше: следует читать «набор всех вещей, которые НЕ содержат себя»)
@Koeng, хотя я ценю ссылку на формальную теорию множеств, неверно утверждать, что ZFC является единственной текущей общей теорией множеств. Нет всеобщего согласия относительно того, какая теория множеств является «правильной». Кроме того, вы обнаружите, что в той самой статье, которую вы цитировали, есть заголовок «Регулярность не разрешает парадокс Рассела». Мы должны попытаться сделать немного лучше, чем это
@smartcaveman Опять же, это не моя точка зрения (но я готов обсудить это в чате, если это так). Я хочу сказать, что если мы собираемся говорить о вещах в предельных случаях логики и конечных онтологических утверждениях, мы должны иметь дело с деталями оснований. В остальном, как я уже сказал, это просто интересная мысль, без строгой строгой базы. Вы совершенно правы в том, что «мы должны попытаться сделать немного лучше, чем это».
@Koeng: Вы не показали, как проблемы в основах теории множеств влияют на логику моего доказательства. Я не думаю, что они делают.
Похоже, здравое рассуждение для меня вплоть до вашего вывода. Проблема обнаружена в вашем первом утверждении. Вы доказали, что происхождение и источник существования не есть «вещь» (как предполагают Кант и Вечная философия). Это не то же самое, что доказать, что это происходит из ничего.
@Koeng - я считаю, что вы совершенно правы в этом. Недвойственное объяснение Происхождения работает именно потому, что оно разрешает парадокс Рассела, как это продемонстрировал его коллега Джордж Спенсер Браун. Фундаментальная теория должна разрешить этот парадокс или потерпеть неудачу. Мы не можем объяснить происхождение множеств ссылкой на другое множество. Как отмечает Кант, нам нужно было бы уменьшить категории мышления, тем самым превзойдя идею множеств.
Шаг 2 нуждается в поддержке. Мне нетрудно представить, что что-то производит само себя. en.wikipedia.org/wiki/Предопределение_(фильм)
Ваш аргумент, по сути, является известным принципом аргумента достаточного основания и похож на версии онтологического аргумента Лейбница/Спинозы. Но там использовали понятие Бога/субстанции/единства (произвольная вещь сильно отличается от субстанции в западной философии), а не вашего ничтожества. Вы можете обратиться к Этике Спинозы дальше...
@ЭндрюТомазос. (4) ничего не влечет, как утверждает (10). Что ты имел в виду?
@MarkAndrews: я не понимаю, извините. (10) в основном просто суммирует от (4) до (9).

Ответы (14)

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

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

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

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

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

Редактировать

В этом доказательстве есть еще один изъян: оно определяет вселенную, то есть сам пространственно-временной континуум, как вещь, ограниченную теми же правилами, что и все остальное во вселенной. Однако есть свойства вселенной, которые не являются свойствами какой-либо вещи во вселенной, например, сама вселенная может расширяться (то есть создавать дополнительное пространство и время), очевидно, не получая это пространство и время «откуда». Так что неясно, является ли вселенная «вещью» в том смысле, в каком частица является «вещью». Все упирается в определения.

Дальнейшее редактирование

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

Кроме того, мы могли бы принять 1 и 2 и все же отвергнуть ваш аргумент, задав вопрос, является ли Вселенная сама по себе «вещью». Это основная невысказанная предпосылка вашего аргумента, и без нее ваш аргумент вообще не имеет силы. На самом деле было бы столь же правильно использовать ваши рассуждения, чтобы показать, что вселенная не является вещью! Если вы настаиваете на том, что вселенная — это вещь, мы могли бы указать на трудности, связанные с тем, что множество содержит само себя, поскольку это приводит к парадоксу Рассела, и спросить, какую версию теории множеств вы используете, и атаковать ее .

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

Хороший ответ, +1. Кроме того, у нас есть переход от логического к онтологическому. Такой аргумент требует, чтобы существование вселенной подчинялось законам логики, что может быть и не так.
@Koeng: Что является примером чего-то, что не подчиняется законам логики? Я думал, что все подчиняется законам логики по определению.
@user1131467 user1131467 Я только что ответил на что-то связанное: philosophy.stackexchange.com/questions/3637/… . Мы на самом деле не знаем, какова связь между логикой и вселенной. Логика работает очень хорошо, но это не значит, что мы можем предполагать, что Вселенная должна ей подчиняться. Теорема Гёделя о неполноте, например, основана на вариации утверждения «Это утверждение ложно», что указывает на некоторый предел логики.
@Koeng: Логика (как и математика) может («только») безошибочно констатировать последствия. То есть, если A->B и всегда A, то всегда B. Однако есть только одна предпосылка A, которую мы можем сказать со 100% уверенностью (я думаю, что, следовательно, что-то есть). Моя предпосылка 2 может быть ложной. Может быть, в пространстве-времени существует временная петля, и кто-то, например, является их собственным родителем. Однако большинство людей примут предпосылку 2 за истину. Я хочу показать, что если вы по какой-то причине принимаете посылку 2, то она неумолимо ведет к заключению 11. Опровержение 11 всегда означает опровержение 2.
@ user1131467 Я понимаю и в целом согласен с этим. Но это уже внутри логики, принимающей ее структуру. В логике все нормально. Проблема в том, что для того, чтобы использовать подобную логику для выводов о вселенной, вы должны сначала предположить, что вселенная ведет себя так же, как и логика. Итак, есть скрытая предпосылка, а именно: (0) Логические выводы обязательно ведут к онтологическим истинам. Еще одна вещь, в которой Филосодад был прав, заключается в том, что «вы не можете использовать понятия, относящиеся к времени и пространству, вне времени и пространства». Таким образом, вам не нужна временная петля, чтобы (2) было ложным.
@user1131467 user1131467 Я думаю, вы, возможно, упустили второстепенный момент. Посылки 1 и 2 не заключают 11, они заключают, что вселенная не была порождена «вещью». Вы все еще должны показать эквивалентность между «ничем» и «не вещью» — что вы подразумеваете под этими терминами? Формальный аргумент требует сильных определений, а у вас их нет.
@philosodad: Я считаю «ничего», «ничего», «ничего» и «ничего» синонимами.
@ user1131467 Учитывая, что я совершенен, и учитывая, что может быть только один идеальный человек, я единственный идеальный человек в мире. Если вы спросите: «Что значит быть совершенным», а я отвечу: «Это значит быть собой», как вы думаете, в моем предложении есть изъян?
@user1131467 user1131467 Также (см. отредактированный ответ) неясно, является ли вселенная частью множества всех вещей, потому что она обладает уникальными свойствами, отличными от свойств всех других вещей.
@philosodad: Ну, две вещи: вы заявляете, что вывод верен, не уточняя их условием истинности ваших двух предпосылок. Также вам необходимо определить слова, которые вы используете в своих помещениях, если есть некоторые разногласия по поводу того, что они могут означать в контексте. Какие непонятные слова я употребил? "что-то", "что-то", "что-то", "ничего"? Я считаю определение этих слов бесспорным. вещь – любая сущность. Это «базовый класс» всего во вселенной, всего сущего и самой вселенной.
@user Но определение этих слов не является ни простым, ни бесспорным, и неясно, что вселенная является вещью в том же смысле, в каком вещи внутри вселенной являются вещами. Вы используете определение «вещь» так же, как я использую «совершенное», то есть я адаптирую определение, чтобы мой аргумент работал, а не основывал мой аргумент на строгих определениях.
@user1131467 user1131467 также, если аргумент имеет форму «данные x, затем y», то он уточняется при условии, что x истинно. Вот что значит "дано".
@philosodad: В более широком контексте вашего комментария вы его уточнили, но в тексте ответа «это значит быть мной» его нет - но ладно, придирка, хорошо. Чем по любому определению совершенства, если ваша предпосылка верна, чем верен вывод. Почти из любого определения вещей следует мой аргумент. Приведите мне пример определения вещи, что она не работает. Если вы подразумеваете, что множество вещей не является вещью или множество всех вещей не является вещью, то я бы посчитал это странной позицией, приспособленной для контраргумента.
@user1131467 user1131467 Нет проблем: можно сказать, что вещь существует в пространственно-временном континууме. Следовательно, сам по себе пространственно-временной континуум не является вещью. Твоя очередь. Защитить, что сам пространственно-временной континуум, который постоянно создает новое пространство и время, является «вещью».
@user1131467 user1131467 Определение 2: «Вещь» — это то, что с точки зрения человека можно рассматривать как дискретную композицию обычной материи. Все остальное — это «вещи», которые, кажется, подчиняются другим и в значительной степени неизвестным правилам — антивещество, темная материя, темная энергия и т. д. Хотя 2 верно для «вещей», неизвестно, применимо ли оно к каждой категории «вещей». . Вселенная состоит как из вещества, так и из вещей, поэтому 2 не может применяться ко вселенной. Я могу заниматься этим весь день... на вашем месте я бы определил свои собственные условия.
@philosodad: Утверждение 1 - это определение, а не предпосылка - поэтому я утверждаю, что вы не можете определить его как истинное или ложное, вы можете только утверждать, что не понимаете, что оно означает. Все, что говорит 1, это то, что вы можете заменить слово «вселенная» на «все вещи» или «все» в теле доказательства — без изменения семантики исходного доказательства. Я утверждаю, что мое доказательство не зависит от определения вещи. Каким бы ни было ваше определение вещи, доказательство работает, даже в самом узком или самом широком смысле. (при условии, что все и ничто буквально выводятся из вашего определения вещи).
@philosodad: я неявно считаю набор вещей также вещью по определению. Это справедливое замечание, и я согласен, что это необходимое ограничение на определение вещи, чтобы доказательство было действительным.
@user1131467 user1131467 как вы считаете набор всех вещей вещью, не определяя вещь или набор? Это просто утверждение - я утверждаю, что человек, который не знает, что означает ваше утверждение, это не я, это вы . Вы должны использовать теорию множеств, которая позволяет множеству быть частью самого себя, не сталкиваясь с парадоксом Рассела... так какую же формальную теорию множеств вы используете?
@ user1131467 более того, сделанный вами вывод неверен. Правильный вывод состоит в том, что вселенная не была порождена чем-то, даже если я принимаю P1, P2 и невысказанную P3. Это не то же самое, что сказать, что оно было создано ничем. Вы должны показать, что вселенная была создана вообще , ваш негласный P4. Я мог бы также возразить, что если я предполагаю, что что-то не может быть порождено ничем, P1 просто противоречит и не может быть истинным. Просто нет аккуратных доказательств происхождения Вселенной, которые можно было бы выразить на английском языке.
@philosodad: Парадокс Рассела просто спрашивает, содержит ли множество всех вещей, которые не содержат себя, себя. Если да, то это приводит к противоречию. Если нет, то это также приводит к противоречию. Это не более интересно и актуально, чем «Это утверждение ложно». У нас может быть простое определение множества и предмета, но при этом оставить эту часть членства в множестве неопределенной.
@philosodad: Если что-то не сгенерировано, чем я, это то же самое, что и из ничего. Что является примером чего-то, что не порождено, но не происходит из ничего?
@ user1131467 Интересно. Итак, если все множества являются вещами, то множество всех вещей вне вселенной само является вещью и находится внутри вселенной. За исключением того, что это не так. Ах хорошо.
@user1131467 user1131467 вселенная является примером чего-то, что не создается и не возникает из ничего, согласно вашему доказательству.
@philosodad: Нет ничего вне вселенной по определению, поэтому ваше предложение не имеет смысла.
@philosodad: Мое доказательство показывает, что вселенная возникла из ничего, поэтому это неверный пример. (не «не возникает из ничего»)

Я бы охарактеризовал его как пустую последовательность силлогизмов, которая лишь внешне напоминает то, что кто-то называет доказательством. Отношение «происходит от» расплывчато, и оно используется в обычной речи для обозначения связей между объектами, которые мы наблюдаем — так, осел происходит от своих родителей, потому что мы наблюдаем ослов и родителей.

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

Такова позиция физиков и логических позитивистов. Это не позиция философов, поэтому во всей области философии можно игнорировать почти все.

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

По вашим рассуждениям на вопрос "Откуда возникла Вселенная?" представляет собой бессмысленную последовательность слов, потому что вы не можете «применить символ отношения ко вселенной».
@RonMaimon: ваше утверждение равносильно утверждению, что, говоря о свойствах агрегатных систем (примерно рассматриваемых как наборы объектов), запрещено рассматривать вселенную как систему? Или, скорее, вы имеете в виду, что единственно среди систем запрещено рассматривать вселенную как один из субъектов двухместного отношения между системами?
@ user1131467: Я имею в виду, перестань использовать слова, которые притворяются, что имеют смысл. Дайте мне процедуру осмысления впечатлений, которая подскажет мне, откуда взялась вселенная, или перестаньте тратить время людей.
@RonMaimon: Приведите мне пример возможной вселенной, в которой существует «процедура осмысления впечатлений, которые говорят вам, откуда взялась вселенная», и примерно что из себя представляет эта примерная процедура. Есть много абстрактных понятий, выходящих за пределы чувственного опыта, например, высшая математика. Никто не требует сенсорного опыта «каждое целое число имеет добавочное обратное», но мы можем сделать вывод об этом без наших чувств.
@user1131467: Я не могу, такой вселенной не существует , так что «откуда взялась вселенная» — это бессмысленный вопрос , он не имеет смысла, я никогда не задаю его и не считаю целесообразным говорить об этом, и перестаньте тратить время людей
@NieldeBeaudrap: я просто имею в виду, что отношение «исходить из» вообще ничего не значит применительно к вселенной и чему-то еще. Это ерунда, и тут нечего рассматривать.
@RonMaimon: Большинство людей не считают это бессмысленным вопросом. Фактически это один из центральных вопросов философии. Если вы считаете философию пустой тратой времени, перестаньте зависать на философских сайтах.
@ user1131467: Я не думаю, что вся философия - пустая трата времени, только этот вопрос и связанные с ним вопросы. Когда «большинство людей» поймет это, в этой области будет достигнут некоторый прогресс, поэтому я просто говорю им и жду.
@RonMaimon: Из вашего предыдущего утверждения о почти всей области философии и последней можно сделать только вывод, что вы думаете, что философия почти полностью состоит из таких вопросов. «Потеря времени» настолько субъективна и даже более лишена смысла, чем вопрос, откуда Х может «взяться». По вашим же утверждениям, не ОП тратит время людей, так как он со своими подобными, а вы, и не только это, а "ждете" и теряете свое и чужое время.

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

Рассмотрим упрощенное представление о вселенной как о «всем, что когда-либо было». Тогда у вас потенциально может возникнуть проблема двойного счета. Я состою из множества частиц. Я не всегда существовал и не всегда буду существовать; я также не идентичен частицам, из которых я состою в любой данный момент времени. Я скорее образец информации в этих частицах и, более того, динамическая система, опирающаяся на них, как гребень волны в океане. Но, тем не менее, нас интересуют частицы, из которых я состою, большинство из которых существует уже очень давно. Имеет ли смысл отличать частицы, из которых я состою сейчас, таким, какой я есть сейчас, от того, каким они были двести лет назад? Конечно, частицы на самом деле не различимы, так что это не так. Бессмысленно говорить об отдельных частицах, за исключением случаев, когда они случайно локализованы и отслеживаются как гребни в поле частиц. И лоск «двести лет назад» игнорирует относительность одновременности. Так что на самом деле вы должны быть осторожны с тем, что вы подразумеваете под «вселенная» и «всегда была».

Я думаю, что самый осторожный подход к разговору о Вселенной или о чем-либо, что может быть «причинно», — это говорить о «всех динамиках». Что я имею в виду под «динамикой» в данном случае? Я буду уклончивым, но включающим; всякий раз, когда что-то вызывает другое событие, это происходит «динамика». Мы могли бы назвать это событие «событием», что было бы типично в теории относительности; материя, антиматерия, энергия и т. д. соответствуют отношениям между событиями. Другими словами, любая причинность соответствует событию; а Вселенная есть совокупность всех событий и отношений между ними.

Теоретик категорий описывал бы события во Вселенной как объекты, а отношения между ними — как стрелки, то есть допуская простые двухместные отношения между событиями. Все, что принимало участие в возникновении вселенной, должно было бы быть стрелой, указывающей во Вселенную «из ниоткуда»; и неясно, какой смысл развлекаться такими вещами, кроме как дать Вселенной «причину» только ради нее самой. Это не очень сильно мотивировано. Возможно, если кто-то настаивает на сложных многоместных отношениях между событиями, потребуется более изощренный аргумент, чем этот, но в конечном счете я думаю, что «отношение между событиями», в котором некоторые события «отсутствуют», для того, чтобы позволить этим отношениям « причиной Вселенной», надумано.

Теперь ваши рассуждения применимы напрямую. Вселенная U — это совокупность всех событий и отношений между ними. Если бы что-то другое E должно было стать причиной Вселенной, это, по-видимому, означало бы, что «причинение Вселенной» является событием, к которому относится E. Но если Е — отношение к событиям, кажется, что оно должно быть частью вселенной. Если вы предполагаете (как постулировали), что никакая часть Вселенной не может быть причиной самой себя (вместе с остальной частью Вселенной), то отсюда следует, что ничто не может быть причиной Вселенной.

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

6 сломан.

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

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

Вывод 11 из 10 также нарушен. Поскольку вы говорите о вещах с точки зрения наборов, «Ничто» по соглашению относится к пустому набору. Хотя существуют признанные проблемы с концепцией «универсального множества», каждая аксиоматическая теория множеств будет учитывать «пустое множество». Следовательно, любая Вселенная или «универсальное множество» обязательно будет содержать пустое множество. Говоря, что Вселенная произошла из Пустого множества, вы опровергаете ту самую логику, по которой вы сделали свой вывод.

Более элегантная формулировка идеи, к которой, как я полагаю, вы приближаетесь, известна как сурьма Рассела . Различные разделы логики и теории множеств предлагают разные решения кажущегося парадокса. Большинство из них включают некоторую форму различия между «набором» и «классом» или очень конкретное определение вселенной (например, Вселенная Гротендика). Если вы погуглите любой из этих терминов, вы найдете много информации, которую вы можете использовать, чтобы накрутить свой мозг на более глубокие круги.

Основные претензии здесь носят дефиниционный, а не структурный характер. В частности, я могу определить вселенную как собирательную каждую вещь, вселенную как вещь, а «ничто» как синоним «ничто», «не вещь», а «происходить из ничего» синонимично «не происходить из чего-либо». вещь". Вы выдумываете и навязываете свои определения, а не пользуетесь авторами.
@ user1131467, я использую определения, подразумеваемые языком в «доказательстве». Когда кто-то говорит о «наборе всех вещей», я думаю, можно с уверенностью предположить, что общепринятое определение «набора» действительно в контексте нашего обсуждения. Когда каждая отдельная формальная теория множеств приравнивает понятие «ничего» к «пустому множеству», я считаю справедливым сделать еще один скачок. Если вы не готовы переопределять каждое слово в своем посте, вы должны признать, что читатели будут полагаться на свои общепринятые академические определения, чтобы продолжить обсуждение.
В общем, я считаю, что если бы вы нашли время, чтобы выразить «доказательство» в формальной логике первого порядка, стало бы ясно, что там его текущая формулировка включает неразрешенную смесь логики первого порядка и неквантифицированного исчисления предикатов.
@ user1131467, вы имеете право определять все, что хотите. Проблема в том, что философское сообщество признает предопределенные значения терминов, которые вы используете, и было проведено обширное исследование отношений между этими значениями. Если ваша цель состоит в том, чтобы заявить о своей сообразительности, то поздравляю. Однако, если вы действительно заинтересованы в том, чтобы узнать больше о том, как люди, намного более умные, чем любой из нас, решали одни и те же проблемы за последние 200 лет, вы получите много информации. далее, исходя из их устоявшихся интерпретаций.
Вы подразумеваете, что мои определения какие-то необычные, что я и опровергаю. Перечисленные выше синонимы справедливы и бесспорны. Как только вы говорите «пустой набор» (что сделали вы, а не я), вы должны определить его, а также определить, является ли он вещью. Если вы говорите, что это вещь, то это не может быть ничем — и наоборот. Пока вы выбираете одно, доказательство остается в силе. И в любом случае, возникла ли Вселенная из пустого множества и/или ничего практически не эквивалентно, и различие неинтересно.
@ user1131467, Каждая формальная аксиоматическая теория множеств, которая изучается академически, учитывает «пустое множество». Читайте: en.wikipedia.org/wiki/Axiom_of_empty_set .
@ user1131467, возможно, наши разногласия на самом деле заключаются в определении «вещи». Я понимал «вещь» как любой X, такой, что X является элементом некоторого множества. Отличается ли ваше определение?
@ user1131467, Кроме того, позвольте мне дать вам возможность определить «Ничего» с точки зрения наборов, если вы имеете в виду что-то иное, чем «пустой набор». Я считаю, что это необходимо, потому что это именно тот критерий, по которому вы определяете «Вселенную».
@user1131467 user1131467, я также подразумеваю под термином «набор» нечто конкретное, которое однозначно определяется его элементами. Если у вас есть альтернативное определение для этого, пожалуйста, поделитесь им
Вы вводите аксиомы, которые не предполагаются и на которые не полагаются. Ваше определение вещи странное. Я бы сказал, что вещь — это существующая сущность. Совокупность (группа) вещей – тоже вещь. Совокупность всех вещей — это тоже вещь. Ничто (не-вещь) есть то, что не является вещью. То, чего не существует. В этом контексте нет необходимости или использования аксиом теории множеств. Логика более фундаментальна.
@ user1131467, обязательно ли «несуществующий объект» противоречит? По вашему определению, казалось бы, единорог не вещь, потому что его не существует. Я правильно тебя понимаю? Если это так, то единорог должен быть «ничем»… применима ли количественная оценка к вашей концепции ничего? Другими словами, все ли ничто равны? (Единорог — это то же самое, что грифон, потому что они не существуют?)
Это как-то не по делу, не так ли? Вы предполагаете, что существующие сущности могут происходить из несуществующих сущностей? Я ожидаю, что ответ «нет» будет неявной предпосылкой.
Это вообще не к делу. Абсурдность утверждения «Вселенная произошла от единорога и/или грифона, которые на самом деле являются одним и тем же» в сочетании с его согласованностью с вашими определениями может помочь сразу прояснить ошибку в ваших определениях.
В сочетании с очевидной предпосылкой, что вселенная не могла произойти из несуществующей сущности, вывод о том, что вселенная не произошла из существующей сущности, состоит в том, что она возникла из ничего. Легко упустить из виду тот факт, что это поиск истины, а не какая-то глупая словесная игра.
@ user1131467, вы добьетесь большего успеха в поиске истины, если будете использовать последовательную семантику.
Мои определения непротиворечивы.

По (1) Вселенная содержит в себе все причины, все источники, т. е. нет ни причины, ни источника, да и вообще ничего , что стояло бы отдельно, независимо от Вселенной .

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

То, что существует нечто , а не ничто, самоочевидно, поэтому Вселенная существует, Вселенная вечна .

Что значит для чего-то «просто есть»? По моему определению, вещи, которые «просто есть», вечны и не происходят ни из чего, другими словами, нет ничего, из чего они происходят, или они происходят из ничего. Это все синонимы по моим определениям.
@user1131467: ex nihilo nihil fit . Я думаю, что фраза «Вселенная возникла из ничего» означает нечто иное, чем то, что вы имеете в виду.
Что ж, это означает то, что я определяю в контексте моего доказательства — вы можете утверждать, что мои определения необычны, но я утверждаю, что это не так.
@ user1131467, ваше произвольное утверждение не имеет значения и делает ваше «доказательство» бессмысленным , за исключением, возможно, вас самих.
Что ж, теперь, когда я ясно дал свои предполагаемые определения, мое доказательство теперь имеет смысл и для вас, как оно уже было для всех остальных, обладающих хоть каплей здравого смысла. «Не происходит из ничего» — вполне допустимый синоним слова «происходит из ничего».
@ user1131467, ваше «доказательство» не имеет для меня значения, потому что я не принимаю ваше «определение». Вы вольны утверждать это, как я волен отвергнуть его. Поскольку я знаю, ваше доказательство для меня чепуха. Более того, если бы я принял ваше определение, я бы тогда указал, что вы двусмысленно, используя фразу «пришел из X» в одном смысле и «пришел из ничего» в другом.
Вы не можете отказаться от контекстуального определения. Говорящие имеют право определять слова, которые они используют, как они намеревались. Я определяю ничто как «ничто» или «не вещь» в контексте моего доказательства. Каждая вещь должна происходить либо из чего-то, либо из ничего по определению. Вечные вещи или вещи, которые «просто есть», попадают в более позднюю категорию, как и вещи, которые не происходят ни от чего. Это действительно очень ясно, последовательно и просто.
@ user1131467, конечно, я могу отказаться. Я отвергаю это таким образом. Говорящие имеют право говорить тарабарщину, и мое право отвергать ее как таковую.
Я отвергаю ваш отказ. Поскольку я четко определил слова, которые использовал, это не тарабарщина.
@user1131467 user1131467, вы, конечно, отвергаете мой отказ, и, конечно же, я ничего об этом не думаю.

Этот вопрос, по сути, спрашивает: «содержит ли множество всех множеств себя».

(1) Let the Universe be defined as the set of all things.

помещение принято

(2) It is impossible for a thing to come from itself. (You can't be your own parent)

посылка спорная, но принята ради спора

(3) 2 implies a set of things cannot contain its own source.

Вы утверждаете, что вселенная не может возникнуть из самой себя посредством (2), потому что это вещь. Но по определению (1) вселенная содержит все вещи, поэтому она должна содержать себя. Это противоречит (2), поэтому доказательство самопротиворечиво.

Не вижу противоречия извините. Вселенная — это вещь. Что-то не может прийти само по себе. Вселенная не может возникнуть из самой себя. Я не понимаю, какое значение имеет выражение «вселенная содержит сама себя». Я думаю, что вы путаете «содержать» с «исходит из».
Вы говорите, что вселенная — это вещь, а вселенная — это совокупность всех вещей, вы имплицитно утверждаете, что вселенная может «исходить» из самой себя, что противоречит (2).
Извините, но вы не имеете смысла. Где я косвенно утверждал, что вселенная может возникнуть из самой себя? Я не думаю, что X может исходить из X (это предпосылка), так как это противоречит самому определению «исходя из».
Согласно вашему определению (2) и (3), А содержит В, подразумевает, что Б происходит из А. Поскольку Вселенная содержит себя, то, согласно вашему определению, она должна исходить из самой себя.

Вы доказали, что вселенная не возникла из чего-то, а не из ничего. Другое альтернативное прочтение «не произошло из вещи» состоит в том, что оно существовало всегда (что, поскольку вы делаете его набором всех вещей когда-либо, является более разумным прочтением).

Извините за краткий ответ, опоздал на работу!

Откуда взялась вечная вещь? Оно пришло из ничего. Это кажется удовлетворительным ответом, основанным исключительно на определении вечности.
Нет, вечная вещь вовсе не «откуда». Так было всегда. Это отличается от «пришел из ничего». Конечно, это (в сочетании с другими комментариями к ответам здесь) читается как «Я определяю вселенную как происходящую из ничего, поэтому она возникает из ничего» - даже если ваше определение «исходить из ничего» не подходит.
Исходя из моих определений, слова «не исходящие из ничего» являются синонимами «возникновения из ничего». Кроме того, доказательство имеет больше оснований, чем вы считаете, характеризуя его как дефинитивную тавтологию.
Опираясь на ваше определение слов, вы можете доказать что угодно. Однако у остальных из нас есть общее определение, которое нам нравится использовать. Удачи вам в ваших теориях.
Ваш вывод о том, что мои определения в чем-то необычны, неверен.
Итак, вы продолжаете говорить, но мы можем продолжать противоречить друг другу, не добавляя никаких объяснений в течение всего дня. Есть много людей, которые сказали вам, что вы используете необычные определения в качестве ответов на свой вопрос здесь, и никто не выступил, чтобы сказать, что они согласны. Это должно вам что-то доказать, но вы отказываетесь принять это. Это делает попытки объяснить вам что-то абсолютно бессмысленным.
Вряд ли это объективная выборка, я специально просил контраргументы, возможно тем, кто считает мои определения разумными, просто нечего было сказать. Также те, которые ответили и имеют возражения, не согласуются друг с другом.

Прежде всего, о вашем исходном предположении: «Пусть Вселенная будет определена как совокупность всех вещей». это ваше предположение, которое не обязательно верно в действительности. Я лично не согласен с вами ( и у меня есть на это причины, но изучение этого будет книгой ), поскольку я думаю о всей нашей вселенной как о наборе (или классе) всех возможных вещей — относительно фонового набора логика, на которой основана эта вселенная, которая становится возможной ( в различных формах, с открытым взглядом на эволюцию с течением времени)) следуя причинно-следственной связи. Основываясь на этой точке зрения, мы можем легко иметь вселенные вместо одной вселенной, и количество этих вселенных может быть бесконечно большим, равным количеству всех наборов фоновой логики, на которых может основываться самосогласованная вселенная. Вот почему первое предположение вводит меня в заблуждение, оно может в лучшем случае тривиально сказать: «Пусть Вселенная будет определена как совокупность всех вещей в этой вселенной», и хотя, конечно, только тривиальные выражения являются абсолютными истинами, но такое такое тривиальное предположение сделало бы все остальные доказательства бесполезными. Вы говорите, что эта вселенная происходит не изнутри самой себя, тривиально верно, но все же есть вероятность, что она происходит из группы элементов другой вселенной! Обратите внимание, что в соответствии с приведенным выше определением вселенной не все отдельные вселенные будут противоречить друг другу. (Упомяните, что для причинно-следственной связи нужна отправная точка, и один набор фоновой логики может привести к разным вселенным в соответствии с разными отправными точками их цепочки причинно-следственных связей. Хотя не все непротиворечивые вселенные должны иметь точно такой же набор фоновой логики, одна вселенная может существовать как подвселенная по отношению к другой, хотя она также может существовать сама по себе. Также могут существовать вселенные, которые лишь частично противоречат друг другу. )

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

Утверждение 1 является определением, а не предпосылкой. Вы не можете «не согласиться» с этим как таковым, вы можете просто сказать, что не понимаете его смысла. Я просто утверждаю, что когда я говорю слово «вселенная» в доказательстве, я имею в виду совокупность всех вещей. Все. Это включает как минимум физическую вселенную и как минимум все остальное, что существует. Поэтому, когда вы говорите, что могут быть другие вселенные, это по определению, которое я использую, невозможно. (Очевидно, что множество всех вещей должно быть уникальным.)
(Точно так же, как, например, набор всех коров должен быть уникальным)
Хорошо понял! возможно, мой комментарий можно было бы рассматривать как помощь в завершении вашего ответа, только поскольку вы даете утверждение о реальном мире, и когда вы говорите «пусть вселенная будет определена ...», можно увидеть, нормально ли быть определенным так, в математике все зависит от вас, как определить и как предположить, но на самом деле все немного иначе! В любом случае, это было только одно предложение, и доказательство само по себе было хорошим, спасибо.

Вы начинаете с «набора всех вещей». Это уже содержит в себе противоречие. См. парадокс набора Рассела . Из противоречия можно доказать что угодно...

Множество всех вещей не содержит противоречия. Содержит ли множество всех множеств, которые не содержат самих себя, само себя - это самореферентное противоречие (в том смысле, что если да, то не должно, или если да, то не должно). Это то же самое, что «это утверждение ложно». Вы же не предлагаете, чтобы я не использовал слова «утверждение» и «ложь» из-за этого, точно так же, как Парадокс Рассела не имеет отношения к доказательству.
Да, вы правы, я неправильно процитировал Рассела. Однако точка остается в силе. В теории множеств, формализованной ZFC, вы не можете сформировать множество всех множеств. Это запрещено из-за линии рассуждений, которая начинается с парадокса Рассела. Это вынудило теоретиков множеств изобретать более крупные теоретико-множественные вселенные, такие как NBG, где множество всех множеств образует класс, а не множество, и вселенные Гротендика. Наивно говоря, я бы сказал, что мы не можем постичь всего, когда бы мы ни пытались, остается что-то вне нашего понимания.
Извините, я не принимаю ваших рассуждений. Доказательство не опирается на аксиомы теории множеств ZFC.

Кажется, существует неявная предпосылка, что вселенная требует объяснения или причины своего существования, вызываемого фразой «происходит из», а не вселенная является просто грубым фактом. Таким образом, мы должны отличать слова «появился из ничего», что подразумевает, что вселенная не всегда существовала (мы могли бы назвать это ее началом или зарождением), и «появились из ничего», поскольку существовали всегда (поэтому не было ничего, из чего возникла вселенная). .

Я не уверен, что такое "грубый факт". Предложение «Это яблоко — грубый факт» не имеет для меня особого смысла. Однако я думаю, что мы можем сказать, что нечто вечное (то, что существовало всегда) не произошло ниоткуда. Не совсем ясно, можно ли то, что спонтанно возникло (без причины), назвать вечным — не то чтобы у меня были примеры чего-то подобного. Так что я думаю, что вечное подразумевается из ничего, но то, что пришло из ничего, не обязательно вечно. Но в контексте доказательства они, скорее всего, взаимозаменяемы.

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

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

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

Откуда произошел большой взрыв? (1) Если это произошло из ничего, то QED. Если это произошло от чего-то X, то откуда взялось X? Перейти к (1) и повторить. (В этом суть доказательства.)

(1) Пусть Вселенная определяется как совокупность всех вещей.

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

Теперь кажется, что есть двусмысленность в том, что мы обсуждаем здесь. Пытаемся ли мы доказать творение ex nihilo или оно возникает из ничего — это случайный эвфемизм для беспричинного возникновения.

Скажем, божество создало физическую вселенную. Вселенная в (1) включает, по крайней мере, и божество, и физическую вселенную. Так откуда же взялось божество? Доказательство просто показывает (выведенное из некоторых разумных аксиом), что должно быть что-то, что произошло из ничего, и что Вселенная в целом (включая божество или нет) возникла из ничего. Возникла ли физическая вселенная из ничего, или божество, пришедшее из ничего, создало ее, или божество создало ее из чего-то другого, пришедшего из ничего, и т. д. — это не сказано.
Что же касается «возникающего беспричинно», то я считаю это синонимом как «возникающего из ничего», так и «вечного».
@AndrewTomazos Я думаю, что ваш вывод следует перефразировать, тогда - «возникло из ничего» и «не имело начала» для меня совсем не одно и то же. («вечно» подразумевает «не имел начала», но также подразумевает и отсутствие конца, о чем, я думаю, вы не хотите говорить здесь.)

Ваша точка зрения (2): является ли любой бог «вещью»? Потому что ни одного религиозного человека не волнует вопрос "откуда взялся Бог/какой-то бог?" Для них боги могли существовать всегда.

Является ли Вселенная «вещью» в том же смысле, что и мы?

Если боги могли существовать всегда, то почему не может Вселенная?

Да, если бог существует, это вещь по моему определению вещи. Не вижу смысла в доказательстве того, какие вопросы волнуют религиозного человека. Если вечный бог создал физическую вселенную, то этот бог произошел из ничего, поэтому вселенная в совокупности возникла из ничего. Да, Вселенная — это и вещь, и совокупность вещей, как и человек — вещь, и также совокупность вещей. Мое доказательство показывает, что что-то должно было появиться из ничего, оно не комментирует, был ли это бог, большой взрыв или что-то еще.
Я думаю, вы наткнулись на термин «пришел из». Почему оно должно «прийти»? Вселенная — это не животное, облако, планета. Эти вещи приходят, эти вещи уходят. Думаю, не вселенная.
Может просто нет. Это если верить тому, что говорят космологи.
никто не знает окончательной истины космологического и микроскопического, оба могут быть бесконечными, кто знает, что они снова встречаются друг с другом, наоборот? Мы не должны ничему верить.

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

Однако это не означает, что Вселенная вечна в прошлом. Есть фиксированный момент времени, когда все началось, вещи, Вселенная и само время.

В начале и энтропия, и сложность (~ беспорядок и количество вещей, содержащихся внутри) Вселенной были равны нулю. Обе цифры увеличивались с течением времени и продолжают расти до сих пор.

Это не совсем понятно. Текущие модели предполагают, что наблюдаемая в настоящее время Вселенная началась 14 миллиардов лет назад с Большого взрыва. Это не говорит нам, откуда произошел этот большой взрыв (если откуда-либо) и что представляет собой ненаблюдаемая Вселенная (если вообще существует). Доказательство просто показывает, что (логически) коллективная наблюдаемая и ненаблюдаемая вселенная должна была возникнуть из ничего.