Религия, вера
Абсолютной Истины не существует? А абсолютно ли вы этом уверены?
То что я есть это истина, и абсолютно в этом уверен...
Истина - Христос
Это уже чистой воды софистика.
Наталья Савельева (Рыжих)
Софистика значит-не знаю:)
Относительно существования относительной истины уверена относительно...:)))
абсолютность уверенности никак на это не влияет
мне иногда кажется, что истина настолько проста и в какой -то мере страшна для восприятия любого человека, что мы готовы прятаться от нее любой иллюзией. А те кто познают-говорят-лучше б я этого не знал. Наверно, такая истина в понимании человека и есть для него абсолют.
Я абсолютно уверен, что атом водорода имеет в ядре лишь один протон.
Кто в этом сомневается, готов поспорить с ним на 1000000 евро.
Кто в этом сомневается, готов поспорить с ним на 1000000 евро.
Истина может быть только абсолютной.
Все, что относительно, относиться к сфере иллюзий.
Подробнее на сайте aleksandr-vvr.narod.r... (вместо … поставьте английское u)
Библиотека сайта: «бесстрашие – мужество – вечность» ,
«совершенствование – энергия – жизнь» , «Высший Разум – Истина - Закон» , «воля – любовь – благо» , «мысль – желание – необходимость» , «основы мироустройства в образных схемах» .
Все, что относительно, относиться к сфере иллюзий.
Подробнее на сайте aleksandr-vvr.narod.r... (вместо … поставьте английское u)
Библиотека сайта: «бесстрашие – мужество – вечность» ,
«совершенствование – энергия – жизнь» , «Высший Разум – Истина - Закон» , «воля – любовь – благо» , «мысль – желание – необходимость» , «основы мироустройства в образных схемах» .
Истина есть независима от абсолюта!
Все относительно, добра и зла нет это иллюзия!!! !
Теоремы Гёделя
Всякое рассуждение опирается на исходные предположения. Их в свою очередь требуется обосновать, и цепочка обоснований не может быть бесконечной. На каком-то этапе приходится выбрать исходные положения, принимаемые без доказательств.
Идея опоры на недоказанные предположения впервые отчетливо сформулирована древними греками. Поэтому их до сих пор во всем мире называют греческим словом “аксиома” – ценная, достойная. А следствия, логически выводимые из них, зовутся опять же греческим словом “теорема” — сказанная богом.
Выбор системы аксиом непрост. Если какие-то теоремы, выведенные из них, явно противоречат опыту, то приходится решать: то ли аксиомы неверны, то ли опыт интерпретирован неточно. Правда, можно развивать аксиоматику без проверки опытом – в надежде на то, что в какой-то новой сфере знаний для нее найдется приложение: так обычно действует чистая математика. Но опыт зачастую указывает нетривиальные направления работы – так развивается прикладная математика – и поэтому желательно сверяться с ним почаще.
Вдобавок какие-то аксиомы взаимозаменяемы: если выбрать одну из них, то другую можно доказать на ее основе. И надо решать, какой набор аксиом удобнее для доказывания. Евклид, в чьих трудах идея аксиоматики впервые проведена достаточно строго, одну из своих аксиом – постулат о параллельных прямых – сформулировал подчеркнуто неуклюже: похоже, он подозревал, что ее на самом деле можно доказать, и такой формулировкой нацелил на нее позднейших исследований. Правда, дело оказалось еще интереснее: как выяснилось уже в XIX веке, это действительно аксиома, и отказ от нее порождает другие геометрии, причем в рамках евклидовой аксиоматики можно построить модели этих геометрий – а значит, все они равно надежны.
Вопрос о надежности аксиоматики возникает и вне связи с опытом. Если в ней можно одновременно вывести и какое-то утверждение, и его отрицание, то такая противоречивая система явно бесполезна: уже доказанное можно сразу же опровергнуть. Если в системе можно построить утверждение, в ее же рамках недоказуемое, но и неопровержимое, то такая – неполная – система лишь ограниченно пригодна: для выяснения судьбы такого утверждения придется вводить в систему новые аксиомы.
Естественно, в числе целей математиков долгое время была проверка непротиворечивости системы аксиом, которой они пользовались. Желательна и полнота системы: не хочется каждый раз натыкаться, подобно Евклиду, на утверждения, с которыми заведомо невозможно справиться.
Доказательство непротиворечивости и полноты математической аксиоматики искали долго, упорно и весьма изобретательно. Но в 1931-м немецкий математик Курт Гёдель доказал две теоремы, радикально отличные от всех предшествовавших представлений об основаниях математики как логической структуры.
По первой теореме, любая теория, достаточно обширная, чтобы включать арифметику, либо неполна, либо противоречива. По второй теореме, если теория, включающая арифметику, непротиворечива, то ее средствами это недоказуемо.
Арифметика здесь весьма важна. И не только по техническим причинам: Гёдель построил конкретные примеры недоказуемых и неопровержимых утверждений, пользуясь именно арифметическими инструментами. Куда важнее содержательная сторона дела – связь с реальностью. Так, формальная логика не подчиняется теоремам Гёделя. Любое утверждение, сформулированное в ее рамках, можно ее же средствами однозначно доказать или столь же однозначно опровергнуть. В частности, утверждение об ее непротиворечивости строго доказано самой же логикой. Зато и средства логики столь бедны, что даже арифметические действия этими средствами невозможно определить – а значит, для описания реального мира формальная логика недостаточна.
Теоремы Гёделя
Всякое рассуждение опирается на исходные предположения. Их в свою очередь требуется обосновать, и цепочка обоснований не может быть бесконечной. На каком-то этапе приходится выбрать исходные положения, принимаемые без доказательств.
Идея опоры на недоказанные предположения впервые отчетливо сформулирована древними греками. Поэтому их до сих пор во всем мире называют греческим словом “аксиома” – ценная, достойная. А следствия, логически выводимые из них, зовутся опять же греческим словом “теорема” — сказанная богом.
Выбор системы аксиом непрост. Если какие-то теоремы, выведенные из них, явно противоречат опыту, то приходится решать: то ли аксиомы неверны, то ли опыт интерпретирован неточно. Правда, можно развивать аксиоматику без проверки опытом – в надежде на то, что в какой-то новой сфере знаний для нее найдется приложение: так обычно действует чистая математика. Но опыт зачастую указывает нетривиальные направления работы – так развивается прикладная математика – и поэтому желательно сверяться с ним почаще.
Вдобавок какие-то аксиомы взаимозаменяемы: если выбрать одну из них, то другую можно доказать на ее основе. И надо решать, какой набор аксиом удобнее для доказывания. Евклид, в чьих трудах идея аксиоматики впервые проведена достаточно строго, одну из своих аксиом – постулат о параллельных прямых – сформулировал подчеркнуто неуклюже: похоже, он подозревал, что ее на самом деле можно доказать, и такой формулировкой нацелил на нее позднейших исследований. Правда, дело оказалось еще интереснее: как выяснилось уже в XIX веке, это действительно аксиома, и отказ от нее порождает другие геометрии, причем в рамках евклидовой аксиоматики можно построить модели этих геометрий – а значит, все они равно надежны.
Вопрос о надежности аксиоматики возникает и вне связи с опытом. Если в ней можно одновременно вывести и какое-то утверждение, и его отрицание, то такая противоречивая система явно бесполезна: уже доказанное можно сразу же опровергнуть. Если в системе можно построить утверждение, в ее же рамках недоказуемое, но и неопровержимое, то такая – неполная – система лишь ограниченно пригодна: для выяснения судьбы такого утверждения придется вводить в систему новые аксиомы.
Естественно, в числе целей математиков долгое время была проверка непротиворечивости системы аксиом, которой они пользовались. Желательна и полнота системы: не хочется каждый раз натыкаться, подобно Евклиду, на утверждения, с которыми заведомо невозможно справиться.
Доказательство непротиворечивости и полноты математической аксиоматики искали долго, упорно и весьма изобретательно. Но в 1931-м немецкий математик Курт Гёдель доказал две теоремы, радикально отличные от всех предшествовавших представлений об основаниях математики как логической структуры.
По первой теореме, любая теория, достаточно обширная, чтобы включать арифметику, либо неполна, либо противоречива. По второй теореме, если теория, включающая арифметику, непротиворечива, то ее средствами это недоказуемо.
Арифметика здесь весьма важна. И не только по техническим причинам: Гёдель построил конкретные примеры недоказуемых и неопровержимых утверждений, пользуясь именно арифметическими инструментами. Куда важнее содержательная сторона дела – связь с реальностью. Так, формальная логика не подчиняется теоремам Гёделя. Любое утверждение, сформулированное в ее рамках, можно ее же средствами однозначно доказать или столь же однозначно опровергнуть. В частности, утверждение об ее непротиворечивости строго доказано самой же логикой. Зато и средства логики столь бедны, что даже арифметические действия этими средствами невозможно определить – а значит, для описания реального мира формальная логика недостаточна.
Похожие вопросы
- Вопрос атеистам.Если Абсолютной Истины не существует ,то почему вы в этом абсолютно уверены?
- Для атеистов абсолютная истина в том, что абсолютной истины не существует? Или в это верят не только атеисты?
- Согласны ли вы, что абсолютной истины не существует? Почему согласны или нет.
- Вы сргласны что абсолютной истины не существуют, или, если она все же есть, то мы совершенно неспособны ее увидеть?
- Для тех кто не верит в абсолютную истину. А вы абсолютно уверены что нет абсолютной истины?
- Нет абсолютной истины.Вы абсолютно уверены в этом?
- Если бы существовала абсолютная истина, абсолютные ответы на извечные вопросы, и абсолютный смысл жизни для всех людей
- Почему кто-то верит мошенникам, отвергающим абсолютную истину и абсолютную мораль? (вн)
- Абсолютная истина есть, даже если её нет (в этом случае, то что она отсутствует и будет абсолютной истиной).. Но как не
- Почему верующий религиозный человек уверен что именно его религия истина? Причём что она абсолютная истина ?