Комментарий #11212225

Томас Д. Райан
@AgatZan,
И чем это чревато? Ты неправильно определил термин!!!
Ты не слишком обобщаешь? Если система работает, она функциональна в своей области. Кванты в физике — это один инструмент, ньютоновская механика — другой. В каком месте «противоречие»?
В результате на более далеких дистанциях это выливается в то, что существуют 2 равнозначно работающие теоретические системы
Серьёзно? Покажи мне хотя бы одну пару таких систем, чтобы они: 1. Работали равнозначно. Прямо сейчас. 2. Имели фундаментальные противоречия в основе.
которые в основе своей друг другу противоречат, в период развитие, одна будет пытаться победить другую, не обязательно логикой
Если системы начинают «решать конфликт» вне логики, значит, одна из них либо устарела, либо недоработана. Пример: Ньютоновская механика -> Квантовая механика. Ньютон не побеждён, он включён как частный случай. Противоречие? Лишь на бумаге, если ты игнорируешь контексты их применимости.
в результате победит та, что оказалась наиболее приспособленной
Приспособленность — к чему? Наука — это не конкурс красоты. Если система «уступила», это значит, что она перестала давать верные результаты в своей области. Всё. Никакой борьбы.
Истина не обязательно самая приспособленная.
«Приспособленность» (в твоей трактовке) — это, видимо, удобство использования в текущем контексте. Но истина по определению не зависит от удобства. Она объективна.

1. Истина: скорость света в вакууме постоянна (спасибо Эйнштейну).
2. «Приспособленная истина»: мы всё равно аппроксимируем эту величину в реальных вычислениях (hello, инженерия).

Но это не делает инженерные допуски «истиной». Они просто приближения. Поэтому твой тезис либо неуместен, либо подменяет понятия.
А на теоретическом пределе будет значить, что существует буквально 2 правды
Если у тебя «две правды», значит, одна из них не истина. Любую ситуацию с конфликтующими «правдами» можно разложить на вероятностные сценарии. Вероятность 1 или 0 — это и есть истина. Остальное — гипотезы.
а если и смержатся, то все дороги ведут в Рим, тогда надо обоснования, почему все дороги обладают логикой и главное какой.
Если две теории ведут к одному результату, это либо изоморфизм, либо статистическая корреляция. Если результат один, то разница — в деталях (например, в сложности доказательств).
В истории можно найти массу подтверждений, начиная разветвлениями философских школ, спорах ученых, навроде Максвелл-Эйнштейна, Ньютон-Грегори
Начнём с главного: философские школы — это зачастую красивые, но мало применимые в научной практике конструкции. Максвелл построил классическую электродинамику. Эйнштейн расширил это до теории относительности, показав, что скорость света постоянна в любой инерциальной системе отсчёта. Классическая механика Ньютона работает в пределах низких скоростей. Эйнштейн объяснил, почему она перестаёт быть точной на больших скоростях (с релятивистскими поправками). Где тут «и так, и так»?
я привести не могу, просто я не настолько погруженда и чего греха таить, умен , в этом вопросе я на вас надеюсь, что в вашем опыте встречалось такое, что мол и так и так.
Ты выдвигаешь тезисы и хочешь, чтобы я их подтвердил? Это как бросить мяч на поле и ждать, что судья его за тебя забросит в кольцо. Наука работает иначе. У тебя гипотеза? Докажи. Нет доказательств? Твоя гипотеза — набор букв.
все коты – это киты; все киты – это пузыри; C1. все коты – это пузыри; Вася – кот; C2. Вася – это кит и пузырь.
На первый взгляд, всё красиво. Аристотель бы похлопал, но это не формализация, а пародия на неё. Формальная логика требует соблюдения семантической валидности: термины в предпосылках должны иметь непротиворечивую интерпретацию.

Коты — млекопитающие, киты — млекопитающие.
Коты — не киты.

Если мы подойдём к твоему примеру с точки зрения вероятностных моделей, то:

1. Вероятность того, что кот окажется пузырём, должна быть > 0.
2. В реальном мире (с учётом биологии и физики), P (кот = пузырь) ≈ 0.
Проблема тут лишь в том, что не ими одними едины.
Я обозначил их как примеры для простоты, но если ты намекаешь на существование других логических систем и операторов — конечно, они существуют. Правда, что из этого? У нас есть логика высказываний и её операторы: «→» (импликация), «∨» (дизъюнкция), «∧» (конъюнкция), «⊕» (исключающее или), и любимый всеми «⊤/⊥» (истина и ложь). Но любой символ — это упрощение, дериват или надстройка над языковыми конструкциями. Без языка, который связывает их в систему, они — просто пиктограммы на бумаге.
Ответы
AgatZan
AgatZan#
@Томас Д. Райан,
Кванты в физике — это один инструмент, ньютоновская механика — другой. В каком месте «противоречие»?
Я плохо понял конкретно о чем вы, но полагаю это могло подразумеваться в этом варианте. И Ньютон и Эйнштейн правы, только каждый в своей. Но имеем противоречие нельзя быть правым на половину, это буквально
A∨¬A=1
(ну если вам она так важна, то для вас это проблема).


Серьёзно? Покажи мне хотя бы одну пару таких систем, чтобы они: 1. Работали равнозначно. Прямо сейчас. 2. Имели фундаментальные противоречия в основе.
Христианство
христианская мораль это база, вся европа-американская культура зиждется на ней, я бы еще сказал, что в азиатские страны она просачивается, но не буду рисковать.
Ислам
исламская политика, это база, имеете что-то против попадите в Исламскую страну и работа Ислама перестает вызывать сомнение.
Дальше, что значит "работали равнозначно", существуют философские системы отрицающие практику, почему вы им отказываете в претензии на Истину, потому что они вам несподручны? Но истина "объективна", а тут вы ее наделили субъективно свойством практикоприменимости.



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

При всем том, что удача сложилась так, что затрагиваемые наукой стороны Бытия, как правило этим самым христианам не интересны, ввиду того, что Христианство это этическая философская система, "Наука" физическая(физико ориентированная, где физика как раздел философии)


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




Истина: скорость света в вакууме постоянна (спасибо Эйнштейну).
До тех пор, пока не придет Эйпштейн и не покажет, что это представление ошибочно, так что я на вашем месте бы не разбрасывался словом истина. Собственно, на самом деле это очередная претензия к логике, статичная логика применяется к нестатичной реальности(ах да, аксиомы науки говорят, что Естество неизменна).


Если у тебя «две правды», значит, одна из них не истина.
Ньютон не побеждён, он включён как частный случай.



Вероятность 1 или 0 — это и есть истина. Остальное — гипотезы.
В таком случае любые утверждение равнозначно истинны. В том числе и те, что исключают логику из рассмотрения. Хотя я, наверное даже, надеюсь в дальнейшем услышать то, что раз они противоречивы, значит не могут быть истинны, а раз они не позволяют мне создать компухтер, значит они противоречивы.



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

К слову, в тех научных практиках логика также не применима, о чем я и твержу, но как мне кажется, может это только кажется, но вы с этим не согласны.

Где тут «и так, и так»
Вырываете из контекста, эти примеры в моменте спора не были однозначны, так как между теми учеными был спор. Предположение, мое, строится на том, что существует предел, при достижении которого споры станут неразрешимы. Тут же я подчеркнул, что сейчас на передовых положениях наук, ну уж если 100%, то 95% имеются разночтения по смежным вопросам. И снова повторю, я не владею материалом на столько, чтобы прям здесь вам пальцем ткнуть в конкретные места.

Хотяяя, может что-то такое, вкушайте
Ты выдвигаешь тезисы и хочешь, чтобы я их подтвердил?
Это называется не подтвердил, а добавил мне в копилку примеров, сугубо интереса ради мы же тут просто разговор ведем на просто так, это не есть часть доказательства, так как исчерпывающие примеры я привел. В момент спора Ньютона и Грегори не был известен максимум сферических тел соприкасающихся с данным, учитывая 20 век развития математики, на некоторые вопросы, буквально, не существует ответа из этого я и делаю гипотезу о том, что на пределе может случиться кризис науки, который невозможно будет разрешить. Предполагать мне, вроде, никто не запретил. Интуициями в пользу обратного могут послужить факты, того что пока что споры разрешались. Но проблема индукции Юма.



Нет доказательств
Научные гипотезы не доказывают, тут вы зачем-то прибегли к устаревшему с позиций философов науки концепту доказуемости. Ни одна научная теория не является доказанной, это фишка научных теорий, гипотезы/теории опровергают. Ученый 1 нашел А) и распространил метод нахождения А) до всей Вселенной, пришел ученый 2 нашел А) и Б), которое не мог найти ученый 1 тем самым опровергнув его, так как Б) является открытой проблемой в методе ученого 1...



Коты — млекопитающие, киты — млекопитающие.
Коты — не киты.
Если мы заменим 1 набор букв другим, то резко все станет на места(нет). То, что "коты", я извиняюсь, млекопитающие нам от Бога дано? Ну, так почему киты=коты не может быть таковым. Все слова это просто сухой набор букв, который вы наделяете своим смыслом. От чего случается так, что смысл вашего представления о совокупности букв к.о.т не соответствуют моим. И тут мы получаем ссылка на, ну это же объективно(интерсубъективно) так.

Как говорится, пока не доказано, гипотеза набор букв.


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

При этом, сама по себе классификация ничего не дает с точки зрения практики, кроме как академического интереса объединения понятий по кучкам. Хотя не буду настаивать, я не биолог.


ты намекаешь на существование других логических систем
Я здесь намекаю на то, что в буквальном смысле то, что вы называете логикой ≠ логике, которую называю
(и пошла тавтология родимая)
я. То есть ваша логика, которая соответствует логическим законам
тождества, конечно, ну опять же, ну можно же сказать что A=A ссылается само на себя
, непротиворечивости, исключённого третьего, двойного отрицания. Которые я могу заменить на отрицания или еще чего, тогда логика А будет не соответствовать логике Б, по простой причине, то что верно для А ложно для Б.

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

А уже если абстрагироваться от понятия логики. То опять же мой кот не ваш кот. Доказать вы ничего не можете, потому что мои аксиомы не ваши аксиомы, а значит мои выводы не ваши выводы. На практику это не влияет, потому что я просто переназвал термин, Реальность не зависит от того, какой термин я использую или зависит?
AgatZan
AgatZan#
@Томас Д. Райан,
Это лишь подтверждает, что человек не совершенен.

Человек не может постоянно следовать логике -> это одна из причин ей не следовать.
Большая часть котируемых вами научных открытий в момент их предложения -- не логичны. Те, кто их развивают, делают это вопреки логике. Даже в этой анимке, старый ученый исходит не из логики, а из эстетики.

Если «неудобную» логику отбросить, то чем ты её заменишь? Эвристикой? Интуицией?
Ее этим и так заменяют. Хотя даже не так, к ним прибегают, потому что логика не отвечает их требованиям.
Ну и так, вот такой вот прикол вставлю.
Значит, если для движения к истине надо прибегать к неудобной логике, ее необходимо упразднить в пользу более сподручного инструмента. Другое дело какого. Юморески ради, но может скоро Н-град похорошеет на столько, что достаточно будет лишь на коробочном уровне просить получить следствия. Мол, о великий ЭйнштейнГПТ, я хочу решить вот эту проблему, интеллектуальную проблему помоги.

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


Факт: Улика №1 указывает на Холмса.
Факт: Улика №2 указывает на Холмса.
Логика: Холмс — подозреваемый №1.

Что тут неправильно? Данные-то указывали именно на него. Ошибка будет на этапе сбора данных или интерпретации, а не в логическом выводе.

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


аксиомы физики в итоге выводятся через наблюдения
Как вывести экспериментально то, что реальность существует?: Есть рука? Как вывести экспериментально то, что 100000 лет назад во-первых что-то существовало?: Углеродный анализ? Во-вторых работало по тем же правилам, что и сейчас?: Пока работает -> истинно. Это не логично, но работает, следовательно противоречивость не помогает в работоспособности.

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


субъективное восприятие, завязанное на философскую школу
Забавно, но буквально это я вам и предоставляю, ваша любовь к логике субъективное восприятие, завязанное на философскую школу науки.



Сама гносеология базируется на логических принципах, таких как «истина = соответствие».
Гносеология ни на чем не базируется, если так можно сказать, это если можно назвать направление мысли, если опошлить то, данная редукция подобна тому, что физика базируется на термодинамике(ну или математике, если угодно).

Существует десятки если не сотни определений того, что есть истина.

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

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



Логика не требует «веры» в классическом смысле
В каком таком классическом смысле? Согласно вики. Ве́ра — признание чего-либо истинным независимо от фактического или логического обоснования, преимущественно в силу самого характера отношения субъекта к предмету веры; убеждённость, глубокая уверенность, в ком- или в чём-либо.

А на основе чего еще аксиомы выбираются, если не на субъективной убежденности и глубокой уверенности?
Ответ прост: верность аксиом определяется их полезностью.
Ах да точно. А это не субъективная убежденность ли? Ответ прост.
Правильно, а как убедиться в ее верности, правильно, никак, но через другую аксиоматику
Другая аксиоматика это -- Аксиома волка №1 то что полезно то и можно использовать. Вам может не нравиться это называть аксиомой, тогда вы подберете такую аксиому, по которой Аксиома волка №1 -- теорема.




Тогда почему ты используешь её прямо сейчас? В каждом твоём аргументе, в каждой твоей попытке доказать своё мнение ты опираешься на логическую структуру: тезис → аргумент → вывод.
У этого есть несколько причин.
  • Используя логику ее проблемы становятся очевидными.
  • но злые языки будут буянить, крутить у виска, намекая на несанкционированное вмешательство в их разумы, что никогда не откроются для чужестранцев, презабавная Япония выходит из закулисья. Зазвучит тихий музыкальный аккомпанемент, разбудит ждавшего усопшего. Ваше любимое, если не ошибаюсь… Будет ласковый дождь, буду счастлив едва ль, я проснусь, но мне, вас, будет немного жаль.
    ,
    Выбрался из смирительной рубашки, перепилил решетку на окне

  • Я не знаю как по другому. Если вы знаете, расскажите. Если я чего-то не знаю, то это не значит, что этого нет.

А ничего, что аксиоматика по определению не требует доказательства?
И вот я прибег к небольшому уровню художественности и тут же сталкиваюсь с тем, что ты явно не обозначил, что когда ты говорил, что будешь использовать аксиоматику для доказательства аксиомы, ты должен был явно обозначить, что то, что ранее было аксиомой, теперь является теорией.
логике, которая базируется на философии.
Так логика же.
Без языка, который связывает их в систему, они — просто пиктограммы на бумаге.

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


Это значит, что вопрос вне её рамок.
Собственно, вопрос поставлен так, обязан ли лежать проблема познания в рамках логики. По моему так. Хотя, тут, наверное, поднимались скорее что-то ближе к: Непротиворечивость бесполезна, логика пригодна исключительно к проверке на противоречивость.
назад
Твой комментарий
Вернуться к редактированию
Предпросмотр
Скрыть