Передача мыслей на расстоянии при помощи языка, волнует не только вас.
Думаю тут важна последовательность : если изначально позиционировать это как проблему и большую часть своих интеллектуальных ресурсов тратить на то чтобы как можно убедительнее её обосновать - тогда конечно она многих начнёт "волновать", а меня так вообще до белого каления доводить. Возможно Вы уже обратили внимание на то, что именно этим тут большинство и занимается большую часть своего времени, а во мне видят злостного оппонента когда я спрашиваю не надоело ли им фигнёй маяться. Так что волнение волнению рознь.
Дальнейшим попытаюсь сие логически обосновать (не в том смысле, что испытываю насущную потребность в достижении такого результата, а в том что испытываю в последнее время навязчивую склонность к логическим рассуждениям).
Этот фрагмент по моим представлениям должен исключить неоднозначности в понимании того, в чём состоит разница между формальной и содержательной логиками :
Разница только в том, что в первом случае текст доказательства заканчивается фразой "теорема доказана" и момент установления истинности там зафиксирован "в крайнем правом положении", а во втором текст описания эксперимента подытоживается фразой "и так далее..." и соответственно момент установления истинности находится "в подвешенном состоянии".
Начну с тривиального случая :
... теорему можно доказать путём осуществления предельного перехода - при том что обратная совместимость не работает. Приведу пример содержательного доказательства теоремы : "плавненько вращаем прямую вокруг точки, неважно по или против часовой стрелки - до тех пор пока не убедимся в том, что существует только одно положение, в котором она может быть параллельной данной". Всё-таки не зря я назвал "аксиоматикой" полный набор математических формул, а не только содержательную его часть, поэтому до сих пор не могу понять что так рассмешило Болдачёва в моей фразе "после того как теорема доказана она становится аксиомой".
Остальное непосредственно по теме.
К логике прилегает всего с десяток ключевых терминов, и даже если их тупо комбинировать, то получится более или менее перечислимое множество вариантов определений. Содержательно-корректное определение не должно "блистать новизной", равно как и не должно формулироваться "из уважения к историческим традициям" - единственным критерием его корректности выступает собственно его содержательность. Вместо того чтобы приводить определение содержательности лучше покажу на примере как это делается.
Начинать выкладывание этой мозаики можно с любого термина из условного десятка ключевых, и в данном случае наиболее предпочтительным было бы ориентироваться как раз на критерий общепринятости. Я бы выделил два таких "стартовых" термина, один из которых в полной мере этому критерию удовлетворяет, а второй узурпирован апологетами формализма, у которых принято давать оценку "правильно/неправильно" путём голосования. Так что угодить этим "демократам" всё равно не получится и критерий общепринятости в любом случае придётся нарушать в самом начале. Поэтому ограничусь критерием личного удобства при выборе тех исходных определений, с которыми можно будет согласовывать потом остальные :
Верификация содержательной корректности определения производится по принципу необходимости и достаточности - то есть в нём "должно быть всё что нужно" и "не должно быть ничего лишнего". "Процедура" ссылается на некий процесс, последовательность действий ; "установление" на их целевой ориентир, а именно - "непротиворечивость", причём не простую, а "локальную" - ссылка на граничные условия применимости здесь тоже существенна. Таким образом обеспечивается соблюдение условия необходимости. Действительно, при отсутствии последовательности действий нам как бы и воспроизводить нечего ; отсутствие целевого ориентира говорит о том что совершать эти действия незачем ; наличие противоречивости несовместимо с представлением о достижении цели ; ну и наконец если цель достигнута, то из непротиворечивости утверждения "это так" вовсе не следует заведомое отсутствие возможности доказать обратное - на что указывает "локальность" этой непротиворечивости. На этом месте можно ставить "и так далее...", и в ближайшую вечность не беспокоиться о том, что нам придётся подвергать эти определения корректировке - то есть они являются определениями для общего случая, полученными индуктивным путём. Соблюдение же условия достаточности подразумевает здесь то, что любой наперёд заданный пятый термин будет в этих определениях лишним, при этом определения для частных случаев будут дополняться новыми терминами в контексте соответствующих граничных условий дедуктивно. Например так :
Оговорю, что данное выше определение доказательства для общего случая не ограничивает сферу его применимости предметной областью "логики в целом" - иначе я бы добавил к нему два термина, после чего бы оно приобрело следующий вид :
Можно показать, что эти термины не проходят по условию необходимости. Мало ли, вдруг за пределами логики это определение сможет ещё на что сгодиться - зачем же заведомо лишать его такой возможности ? В качестве примера рассмотрим такой скажем отвлечённый вопрос из сферы гуманитарных исследований : "кто лучше - Гитлер или Сталин ?". Если бы я жил в то время, был бы лично знаком с обоими, и активно интересовался тамошними событиями, то мог бы написать на эту тему увесистую книгу. Стремясь к тому чтобы произведение получилось качественным я бы не смог абстрагироваться от соблюдения критериев научности - то есть апеллировал бы к фактам, выстраивал какие-то логические цепочки, избегал противоречий в суждениях - в общем стремился бы наилучшей воспроизводимости своего хода мысли читателем. Как следствие, при всей своей художественности к тексту этой книги применимы все четыре термина, из которых состоит определение доказательства для общего случая :
Таким образом, при всём том что назвать художественное произведение "доказательством" было бы не совсем удачным терминологическим решением, принципы его создания как информационного объекта сохраняют все сопутствующие атрибуты доказательности, в том числе и воспроизводимость - с той лишь разницей что в отличии от способа установления логической истинности способ достижения жизненной правдивости не может обойтись без информационных потерь.
Это к вопросу о том, как можно проверить, что в определении доказательства пятый термин не проходит по критерию необходимости (ну или уже имеющейся достаточности) основания и будет "пятой ногой для собаки".
Следовательно, определение "доказательство - процедура установления локальной непротиворечивости" является определением для общего случая.
Комментарии
Дмитрий!
Вот когда вы что-то доказываете на математическом поле, вы учитываете, что эти доказательства могут быть корректны исключительно в системе принятых аксиом и постулатов? А вот аксиомы и постулаты по сути являются абстракциями, то есть крайне субъективной, упрощённой точкой зрения на объективную реальность. И если вам по душе замещать в своём сознании человека на чайник, а другому "абстракционисту" человек видится в виде мясного набора, то друг другу вы ничего доказать не сможете, равно как и установить локальную непротиворечивость.
Леонид, если Вы хотите чтобы наши диалоги не исчерпывались обменом хохмами, то как минимум Вам не должна причинять морального ущерба часто употребляемая мною фраза "вы допустили ошибку в суждениях". Так навскидку в трёх предложениях Вы допустили с десяток ошибок, и пока Вы их не исправите, я буду увлечённо и содержательно анализировать Ваши ответы, пока они не закончатся.
Это не ошибка, просто хочу уточнить, что сослагательное наклонение здесь будет более соответствовать действительности - математические теоремы со школы не пытался доказывать. С другой стороны, нам не потребуется выходить в обсуждении этой темы за рамки тех представлений о математике, которые мы приобрели в школе.
Я даже вопроса не понял. Критерий корректности доказательства может быть только одним (ссылка) :
Там по ссылке найдёте исчерпывающие обоснования тому, что всё остальное - детали второстепенные. Поэтому нет, не учитываю.
Я не знаю чем постулат отличается от аксиомы. И знать не хочу. Надеюсь моё предложение не различать значения этих терминов или исключить из рассмотрения один из них не поломает Вам все хатки.
Хочу акцентировать Ваше внимание на том, что Вы исключили из рассмотрения такую возможность, что нам вообще этого не потребуется - формировать какую-то точку зрения на реальность, причём это никоим образом не скажется на объективности. Приведу простой пример. Допустим, мои познания в математике исчерпываются знанием о том что такое сложение с вычитанием и умножение с делением. Я знаю как ими пользоваться на практике, но однажды мне в голову приходит такая мысль : если умножить на эн - значит сложить число с самим собой эн раз, то что если то же самое проделать с умножением ? В результате по итогу чисто теоретических размышлений, никоим боком не привязанных к опыту, я ввожу в математику новое действие - возведение в степень. Потом изучаю свойства степеней, вывожу соответствующие формулы, сочетающие операцию возведения в степень с остальными известными действиями, и таким образом получаю новую теорию. Я могу вообще не задумываться на практическим применением полученных результатов, и развивать теорию дальше - тригонометрия, матанализ, дифуры и т.д. А теперь поймите одну простую вещь : если я буду отвлекаться мыслями на то как этим пользоваться, то сделаю меньше чем мог бы сделать если вообще на это забью.
Так что практика может только помешать теоретику развивать теорию, и в данном случае Вы просто сослались на ту информацию, которая в принципе не может иметь никакого отношения к этой теме. Как следствие, третье предложение комментируемого мною абзаца несёт балластную информацию.
Лично мне эта фраза не доставляет никаких неудобств, если после неё следует двоеточие, а следом за ним - указание на ошибку, и рациональная аргументация, почему именно это вы считаете ошибкой. При всём уважении, я такого подхода в вашем исполнении и не припомню.
За моей спиной высшее техническое + аспирантура, поэтому не могу в полном объеме согласиться с этим утверждением, поскольку совершенно точно знаю, что вся математика основана на первоначальных аксиомах с постулатами. Например, когда вам в 1-м классе давали задачку на сложение 2-х яблок у Маши и 3-х у Васи, вам вкладывали в голову аксиому, лежащую в основе всей математической теории чисел, что все предметы, над которыми совершаются операции сложения и вычитания, полностью тождественны между собой. Как понятно, любому взрослому человеку, идентичных яблок в природе не существует. Поэтому то я и обратил ваше внимание на то, что примитивизация до школьного уровня рассуждений приводит к столь же примитивным, заведомо не имеющим никакого смысла результатам. Я так понял, что вы желаете иметь результатом своих рассуждений что-то имеющее смысл. И решил, вполне возможно, что ошибочно, сообщить вам, что сложение гвоздей с пилюлями возможно с формальной точки зрения, но бессмысленно.
Геометрия Лобачевского (гиперболическая геометрия) - одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на аксиому о параллельных Лобачевского.
Евклидова аксиома о параллельных (точнее, одно из эквивалентных ей утверждений) гласит:
Через точку, не лежащую на данной прямой, проходит не более одной прямой, лежащей с данной прямой в одной плоскости и не пересекающей её.
В геометрии Лобачевского, вместо неё принимается следующая аксиома:
Через точку, не лежащую на данной прямой, проходят, по крайней мере, две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её.
Видите, одно дело иметь с геометрическими фигурами на евклидовой плоскости,например с треугольником, который не может иметь более одного прямого угла, и совсем другое, скажем на поверхности шара, где возможно построение трёх-угольной фигуры, в которой каждый угол - прямой.
Обе геометрии корректны, но в системе их аксиом. Но в природе нет ничего ни абсолютно плоского, ни абсолютно шарообразного. Значит, оба набора аксиом - абстракция, упрощение реальности.
Поэтому-то я и задал вам вопрос: учитываете ли вы, что
1) при другом наборе аксиом, ваши выводы будут некорректными;
2) любой набор аксиом - субъективная предрасположенность, не имеющая отношения к объективной реальности, а значит любая аксиоматика обеспечивает в 100% случаях результат, не имеющий отношения к объективной реальности.
Если вы теперь понимаете, о чём я говорю, значит мы можем беспристрастно взглянуть на плоды ваших размышлизмов, если не поняли, значит не поняли, и я не буду вам мешать играться в вашей песочнице.
Надеюсь Вы не станете возражать против того, что рациональная аргументация по определению логична. Я считаю логичными следующие рассуждения. Нам есть смысл обсуждать эту тему в том и только в том случае, если Вы согласитесь исходить из допущения о том, что содержательная логика - это не миф. Иначе, если Вы примете в качестве исходной посылки своей аргументации антитезис этому утверждению, то по понятным причинам я не сочту целесообразным тратить время на обсуждение этого вопроса и ограничусь содержательным анализом Ваших утверждений.
Поэтому для начала предлагаю Вам ответить себе на такой вопрос : считаете ли Вы мои аргументы рациональными ?
Как новичок в содержательной логике я пока не очень хорошо умею это делать, но обещаю что буду стараться.
Если Вас не затруднит, дайте пожалуйста ответы на дальнейшие мои вопросы в форме "да/нет".
Соответственно :
И наконец :
Нет, не учитываю. Точнее тут нечего учитывать - это утверждение само по себе не есть корректно. Свои рациональные обоснования тому я уже приводил Пенсионеру в обсуждении аналогичного вопроса. Думаю что и Вам возразить на мои аргументы будет нечем.
Пенсионер, 18 Март, 2018 - 07:51, ссылка
axby1, 18 Март, 2018 - 12:13, ссылка
Пенсионер, 18 Март, 2018 - 13:10, ссылка
axby1, 18 Март, 2018 - 17:56, ссылка
К Вам соответственно у меня будут такие вопросы :
Против этого никаких возражений, только я бы предпочёл дополнить Ваше высказывание уточнением "но имеющий отношение к объективности как таковой".
По крайней меры Вы можете убедиться в том, что понял я Вас хорошо.
Уфф!
Естественно буду. Вы ведь не первый на Земле, кто задумывался над решением задач, то есть формированием чего-то обобщающего в отношении объективной реальности. Когда-то я с увлечением читал книги Альтшуллера Генриха Самуиловича "Теория решения изобретательских задач" и другие. У него в книгах тоже рациональная аргументация, но кроме логики, он использовал много чего ещё. Пересказывать не буду, дабы не испортить удовольствия от прочтения.
Да нет проблем, не тратьте. Я только мимо проходил, вижу у человека проблемы, вот и неосторожно решил помочь советом. А как известно, ни одно доброе дело не остаётся безнаказанным.
Для начала я считаю вопрос некорректно сформулированным: считаете ли вы серо-буро-малиновое бурым? Да нет, конечно, на оба вопроса.
Вы пытаетесь запутать мену в собственных ногах по своему же примеру. Я вам уже напомнил, на случай забывчивости, что арифметика, логика - абстракции, крайне упрощённая модель объективной реальности. И в этом смысле, никакого закона сложения в природе нет, он есть исключительно в вашей голове, и по отношению к объективной реальности он - полнейший примитив.
Я так и знал!
Не учитывайте, никогда, и тогда вам никогда не станет жаль бессмысленно убитого времени на ваши упражнения.
Что-то мне не удаётся отследить ход Вашей мысли. Математику Вы всерьёз не воспринимаете, физика соответственно отпадает как претендующий на соответствие объективной реальности инструмент познания, ну и технологии само собой выпадают из рассмотрения. О земледелии и скотоводстве что ли хотите поговорить ?
Ну, это был не скорее не смех - не до смеха - а ужас))) Как поймете весь ужас этой фразы, стукните - вместе посмеемся)
Это не принципиально - я сам порой теряюсь, смеяться мне от ваших перлов или рыдать. Сначала называете "истинное утверждение, не требующее доказательства" аксиомой, а потом почему-то ужасаетесь той мысли, что после того как теорема доказана она уже не требует доказательства. Ну да ладно, спишем это на мой "наглый троллинг". Но это-то чем Вам не угодило ??? :
Я понимаю что Вы относитесь ко мне с пренебрежением, не обязательно было это в очередной раз демонстрировать, я не могу понять чем заслужил к себе такое отношение. Все мои ключевые вопросы Вы игнорируете, если не считать ответами ёрнические реплики и фразы типа "читайте книжки". Что уж тут поделаешь - если разговаривать со мной серьёзно Вы считаете ниже своего достоинства, остаётся страдать по этому поводу комплексами неполноценности.
У вас все же интересные отношения с языком и логикой). Давайте еще раз поясню. "Не требующее доказательства" - это значит именно то, что написано: никогда, ни для кого, нигде, то есть вообще не доказывается, принципиально не нуждается в доказательстве, никто никогда не доказывал и доказывать не будет.
А теорема доказывается. И не один раз, а столько сколько захотите. А по вашей "логике" получается, если Вовочка доказал теорему Пифагора, то после этого она уже стала аксиомой. Да, что я какую-то ерунду пишу - теорема Пифагора стала аксиомой сразу, как ее доказал Пифагор. А все недоумки, типа меня, уже сколько тысячелетий ее почему-то все теоремой называют, и в школе доказывать заставляют))
Да тем, что это не "доказательство" в логическом значении этого термина, то есть не логический вывод. Это эмпирическое обоснование.
Давайте сразу исходить из того, что Ваше отношение к языку и логике видится мне не менее "интересным" - чтобы не пришлось по многу раз клонировать эту фразу.
В том числе мне не составляет труда это исчерпывающе (на мой взгляд) обосновать.
Да, я уже заметил, что Вы это постоянно повторяете, но хотел бы хоть услышать от Вас хоть какой-то намёк на разъяснение того, зачем Вам это понадобилось и почему это для Вас так существенно. Мне такая формулировка видится по меньшей мере непрактичной. Ну например, если мне нужно доказать теорему, то я могу в равной степени использовать для этого как аксиомы, так и уже доказанные теоремы - то есть мне не нужно различать их принадлежность к той или иной категории формулировок по той простой причине что все они одинаково истинные, и никакой другой информации о них мне не потребуется. На мой взгляд, это практично, поэтому Ваша реакция на моё утверждение "после того как теорема доказана она становится аксиомой" видится мне как бы не совсем адекватной.
Но это всё так, "мелочи жизни", гораздо большее недоумение у меня вызывает другое. Когда Вы дискутируете, скажем, с Александром Леонидовичем Пермским, Вы оставляете за ним право использовать термины в тех значениях, которые ему удобны, и не навязываете ему своей "понятийной сетки" ; долго и терпеливо согласуете с ним терминологию, и не позволяете себе ёрничать в случае терминологических разногласий, которые как я заметил возникают у Вас на каждом шагу. Но как только Вы начинаете дискутировать со мной, Ваше отношение к этому вопросу радикально меняется - Вы сразу забываете о том что "понятийная сетка" у каждого своя, начинаете навязывать мне свою терминологию, говорите что так как Вы "думает всё человечество", поэтому "никто не должен меня понимать" если моя "понятийная сетка" отличается чем-то от Вашей. Получается что Вы делите людей по принципу "свой/чужой" : своим можно использовать термины в тех значениях которые им удобны, а чужим только в тех значениях которые удобны Вам - так что ли Вас следует понимать ?
Ну да - в доказательствах других теорем она будет использоваться наравне с аксиомами. Или как-то по-особенному ?
И что - раз оно эмпирическое, то полученный таким способом результат нельзя "истинным", и соответственно воспроизведение в умозрении этого мысленного эксперимента "процедурой установления истинности" ?
Так ведь этому есть вполне банальное объяснение - я всегда (почти всегда) знаю, в каком значении Пермский использует тот или иной термин, поскольку он это не скрывает и сам заинтересован в том, чтобы как можно строже определиться с терминологией, чтобы быть понятым.
Вы же осознанно придерживаетесь позиции: мол, я сам знаю, что имею в виду, но никому не обязан это пояснять - понимайте как хотите. И мы вынуждены ориентироваться на общепринятые нормы и установки языка вообще и предметной области в частности. И практически всегда вынуждены констатировать, что ничего не понимаем в написанном вами.
Еще раз обращаю ваше внимание, проблема не в том, что у вас другая терминология, а в том, что мы о ней ничего не знаем. Вот давайте возьмем пресловутую фразу "после того как теорема доказана она становится аксиомой". Чтобы понять, что вы хотели сказать, надо знать в каком значении вы используете термины "аксиома" и "теорема". Если вы этого не делаете, то мы вынуждены использовать общепринятые трактовки, а в этом случае получается просто бред.
Начните свой комментарий со слов: словом "аксиома" я обозначаю то-то и то-то, а слово "теорема" использую в таком-то значении. Только тогда можно будет говорить о вашем праве на собственную терминологию.
Вы действительно не понимаете разницы "нечто1" становится "нечто2" и "нечто1" используется наравне с "нечто2"? Ну типа, лопата становится граблями и лопата используется наравне с граблями.
Не только можно, но и нужно. Но проблема же не в истинности, а в методе ее получения: процедура обоснования эмпирической истинности суждения не называется доказательством (логическим выводом). Теоремы - это элементы логических систем и их логическая истинность доказывается, то есть получается в результате логического вывода. То, что сумма углов треугольника равна 180 градусов можно измерить, и это будет эмпирически истинное суждение, а можно логически вывести, и только второе можно называть доказательством теоремы.
И опять же все упирается в значения слов. Прошу вас к первым двум добавьте разъяснение, что вы подразумеваете, когда пишете слово "доказать". (Обратите внимание, что слово "доказать" в фразе "в доказательствах других теорем она будет использоваться наравне с аксиомами" используется в значении логического вывода, а в описании "доказательства теоремы : "плавненько вращаем прямую вокруг точки...", уже как эмпирическое обоснование.
Ну да, типа я не читал Ваших переписок и не видел что значения большинства терминов вы понимаете принципиально по-разному. Думаю Вы просто спекулируете на том, что у нас нет возможности измерить, "насколько строже" вам нужно определиться с терминологией, чтобы друг друга понять.
Моя позиция Вам непонятна по той простой причине что Вы и не пытаетесь в неё вникать, поэтому делаете столь поверхностные выводы. Не думаю что этот фрагмент требует значительных усилий и напряжения внимания, чтобы один раз это запомнить и больше не искажать мою позицию :
А Вы за все время дискутирования со мной даже и не пытались начинать свои рассуждения с посылки "да, действительно, определения в данном случае не требуется, но...". Мне-то причина игнора понятна, ведь такое начало вступает в прямое противоречие с Вашим тезисом "определения нужны всегда", который Вы даже не допускаете мысли подвергнуть сомнению. Поэтому Ваша оценка "понимайте как хотите" этому и многим другим моим "туманным и зашифрованным намёкам" звучит для меня мягко говоря натянуто.
Из чего я должен сделать выводы о том что эти "общепринятые нормы и установки языка" не являются фикцией, если вы годами обсуждаете значения таких терминов как "логика", "истинность", и прочих "ну очень видать специфических", и до сих пор не можете прийти к согласию в их истолковании ?
Соответственно - из чего я должен сделать выводы о том, что меня вы понимаете меньше чем друг друга ?
Тогда почему за столько лет дискутирования со мной о моей терминологии Вы ничего не знаете, а о терминологии других, по Вашим словам, знаете ? Как-то обидно даже что у Вас такое предвзятое ко мне отношение.
То есть пока я Вам не дам определений, Вы из нижеследующего фрагмента не сможете понять в чём состоит целесообразность использования такой трактовки термина "аксиоматика" ?
Я уже не первый год с Вами дискутирую и могу уверенно сказать о том, что единственная причина, по которой Вы мне отвечаете столь специфическим образом, состоит в том, что Вам важно не допустить, чтобы то что поняли Вы не поняли другие. По крайней мере я не могу себе представить иной причины, по которой Вы мне так отвечаете, кроме той что Вы притворяетесь будто меня не поняли. Ну и соответственно по тому что Вы постоянно делаете акцент на том что меня "никто не должен понять", прихожу к подобным выводам.
То есть Вы меня понимаете, но намеренно подменяете смысл мною сказанного ? Можете объяснить зачем Вы это делаете ?
Еще раз обращаю ваше внимание, проблема не в том, что у меня другая терминология, в том что она у вас у всех разная. Поэтому я не могу понять почему друг с другом вы её согласуете, а со мной наотрез отказываетесь это делать. Я не то что бы пытаюсь от Вас чего-то требовать - просто пытаюсь выяснить какие у вас там шестерёнки в голове крутятся, а Ваши ответы у меня никоим боком не вяжутся с тем что мне приходится наблюдать на ФШ. Мне кажется что Ваша оценка степени вашего взаимопонимания является несколько утрированной, и на этом завышении Вы спекулируете, выделяя меня как того, кого "вообще не должны понимать" - в отличии от вас, которые "просто другу друга не понимают". Можете конечно вернуть мне тем, что я сам "спекулирую на занижении", но тем не менее именно так мне это и представляется.
Для меня эти ваши "копирайты на термины" выглядят как извращение, и словосочетание "собственная терминология" звучит как оксюморон. Я исхожу из того что определения всех без исключения терминов должны быть корректными - то есть одними на всех. А у вас они получаются каким-то "стихийно-историческими". Поэтому ваша реакция на моё предложение "давайте определять термины грамотно вместо того чтобы соревноваться за право на их собственность" выглядит для меня мягко говоря странновато.
Ну зачем так утрировать - конечно же я умею различать буквы и цифры. Я всего-то и имел в виду, что с точки зрения практического применения в тех случаях когда два инструмента используются идентичным образом, нет смысла называть их по-разному. Наверное это очень опасная мысль, если Вы на неё среагировали своим привычным способом : "сам ничё не понял, и другим не дам понять".
Тогда зачем Вам понадобилось два идентичных термина : "доказательство" и "логический вывод" ?
Соответственно, аксиомы - это элементы логических систем и их логическая истинность доказывается, то есть получается в результате эмпирического обоснования. Обратите внимание, что у меня "доказательство" является обобщающим термином для обоих случаев, а у Вас просто бесполезным сочетанием букв - ну, раз "логическое доказательство" и "логический вывод" имеют в Вашей понятийной сетке одно и то же значение. Поэтому я и говорю, что проблемы с языком именно у Вас, а не у меня.
Вот я и говорю, что можно доказать теорему двумя способами : путём логического вывода и путём эмпирического обоснования. А у Вас получается для второго случая даже термина нет - так что приходится в данном случае к тавтологии прибегать : "обосновать путём эмпирического обоснования".
Можете использовать мой оптовый ответ на все Ваши требования дать определение в том случае когда они не требуются :
Ну или хотя бы объясните зачем здесь нужно определение.
Внимание-то я на это обратил, но к выводам как Вы возможно заметили пришёл отличным от Ваших. Для меня существенно лишь то, сможете ли Вы обосновать те выводы к которым пришли.
Ну как же вы читаете? Разве я писал, что наши терминологии совпадают, что мы используем термины в одних значениях? Точно же было написано: "я всегда (почти всегда) знаю, в каком значении Пермский использует тот или иной термин". Его терминологию я знаю, поскольку он ее расписывает. А если мне не понятно, то я спрашиваю, а он отвечает. А вы - нет.
Вот вы и все так читаете. Вам пофиг что написано. Какая мысль в тексте. Что-то выдумываете себе и сами себе отвечаете. Характерная особенность тех, кто ратует за совместное творчество.
Ну так флаг вам в руки. Начните святой поход за корректность терминологии. Приведите эти самые корректные определения терминов "аксиома", "теорема", "доказательство".
Пока не будет определений обсуждать нечего.
Скажем так - у меня сложилось такое впечатление, что Вы пытаетесь к этому подвести. Признаю, впечатление было ошибочным, и из Ваших слов это никак не следует. В общем я не на том сделал акцент, в связи с чем приношу свои извинения - сам ратую за то чтобы избегать искажений слов собеседника.
Я не отвечаю потому что не понимаю зачем Вы меня об этом спрашиваете. И сколько я не задавал Вам этот вопрос, ответа так до сих пор и не получил. Ваши объяснения типа "я не понимаю что аксиомы и теоремы одинаково истинны, и этого никто не должен понять" с прилегающим ёрничаньем по этому поводу видятся мне мягко говоря неубедительными. При этом мой вопрос "почему Вы всю свою аргументацию выстраиваете на вранье ?" Вы игнорируете - так как будто я что-то не то сказал. Вот и приходится "заниматься телепатией", оформляя свои комментарии в виде версий, гипотез, догадок и каламбуров, напрашивающихся у меня по мотивам Ваших ответов. Ну например долгое время я думал что Вы требуете от меня определений исходя из того что правильное определение Вам известно, и если я Вам предложу своё, то Вы его не глядя забракуете если оно не будет совпадать с общепринятым. Поэтому мне и показалось Ваше отношение ко мне предвзятым, и поэтому я сослался на ваши диалоги с Пермским, в которых прослеживается явное противоречие с представлением о существовании некой общепринятой "понятийной сетки". И поэтому мне кажется что у меня побольше оснований чем у Вас для подобных оценок :
Вы себя просто со стороны не видели :
Стоит ли после этого удивляться тому, что о вашей деятельности у меня сложилось несколько превратное впечатление :
Так, Вы полностью игнорировали соображения, высказанные мною в этом посте - ссылка. Если бы Вы потрудились сформулировать свои цели и мотивы, по которым отвечаете мне "столь специфическим", как для меня это выглядит, способом, то мы бы давно уже пришли к взаимопониманию относительно наших подходов к определению терминов и не продолжали бы до сих пор толочь эту воду в ступе :
Сейчас у меня вроде бы уже сложилась цельная картинка, подумаю над тем как к этому вопросу подойти.
А я всегда отвечаю лишь потому, что у меня спрашивают. Меня вообще не волнует зачем. Ну интересно человеку.
А какой может быть ответ? Мне интересно. Я просто хочу понять. А, по сути, мне незачем (ничего нового и интересного вы пишете).
Да какие тут могут быть причины? Я просто не понимаю значения терминов, которые вы используете. Ну типа, вы говорите абдулку можно доказать. Я вас спрашиваю: а что такое абдулка? А вы мне: сформулируйте причины, по которым Вы меня достаёте фразой "что такое абдулка?".
Я уже вам писал, что был у меня одинисобеседник в ЖЖ, который постоянно интересовался не содержанием написанного, а "целями и мотивами"... Я так и не понял о чем и к чему он. Нет у меня никаких целей и мотивов по отношению к вам. Только любопытство - как же это все так может быть устроено: столько апломба при неспособности сформулировать базовые основания.
Зачем определения? Ответ банален: для обсуждения хоть чего-то. Если я не понимаю и никто не понимает в каком из значений вы используете слова, то о чем вообще можно говорить?
P.S. Извините, не должен был отвечать на этот комментарий: вы так и не пояснили значения терминов.
Зато теперь мы оба знаем причину, по которой нам нет смысла дискутировать дальше. А большего и не требуется - ниже я писал о том, что это один из двух способов довести дискуссию до её логического завершения и прийти к полному единомыслию по ключевым вопросам.
Так например вопрос "почему я ем" покажется мне глупым и неуместным, хотя конечно я и могу на него ответить "потому что голоден" или "потому что вкусно". Если же я начну рассуждать на тему "пищеварение как физиологический процесс", то очевидно что это будет уже другая деятельность, отличная от процедуры принятия пищи, во время которой я не склонен об этом задумываться. Так что я очень хорошо Вас понимаю. Как и Вам я думаю несложно будет понять, что в научной деятельности невозможно абстрагироваться от постановки целей.
Ничего страшного, я тоже не должен был отвечать на Ваши комментарии, из которых следует что Вы даже названия темы не прочитали, раз уж до сих пор не нашли в ней прояснение значения термина "доказательство". Спасибо что дали мне знать о том, что мои темы в которых Вы пишете свои комментарии Вы даже не считаете нужным читать.
Так я его уже закончил, а Вы только проснулись.
По крайней мере я Вам могу сформулировать эту ключевую "характерную особенность", и едва ли Вы найдёте основания упрекать меня в том, что я не следую этому принципу : в любой дискуссии можно прийти к полному единомыслию либо по факту достижения согласия между собеседниками по предмету этой дискуссии, либо по факту достижения идентичности понимания сути возникших между ними разногласий. Судя по тому упорству, с которым ни Вы ни я не желаем принимать позицию оппонента, первый вариант нам в ближайшее время не грозит. Но из этого не следует отсутствие возможности довести нашу дискуссию до её логического завершения - для чего достаточно не исключать из рассмотрения второй вариант, как это делаете Вы, настойчиво пытаясь навязать мне свою позицию :
Обратите внимание на этот фрагмент моего поста, который Вы сочли уместным проигнорировать :
Возможно теперь Вы поймёте, откуда у меня взялась эта привычка закрывать обсуждение в одностороннем порядке, не дожидаясь пока до собеседника дойдёт что оно висит в цикле, из которого есть простой способ выйти - для чего достаточно сформулировать ключевые тезисы, чётко фиксирующие суть противопоставления оппонирующих позиций участников дискуссионного процесса. Применительно к данному случаю наши ключевые посылы звучат так :
Ну и чем Вам не "полное единомыслие" ? Понятно что при таких раскладах никакого "совместного творчества" у нас не получится, но по крайней теперь между нами не должно остаться ощущения недоговорённости, и нам не придётся больше отнимать друг у друга время, переводя его на бесполезную полемику. Вы можете не соглашаться с моей позицией, но теперь Вам ничего не мешает посмотреть на специфику информационного обмена моими глазами, исходя из посылки "допустим, возможность логического вывода определения терминов существует". Вы такую возможность исключаете искусственным путём - тупо выкидывая из своей терминологии термин "формальная", который будучи приставленным к "логике" даёт у Вас "масло масляное". Скажите юристам о том, что Аристотель запрещает им пользоваться содержательной логикой, и они в лучшем случае примут Вас за гуманитария, а в худшем отправят в принудительном порядке на обследование к психиатру. Вы даже не понимаете что нарушаете таким образом свои же принципы, подменяя (в данном случае исключая) значения общепринятых терминов. Ну да дело Ваше, моё же дело исключить (или хотя бы свести к минимуму) какие-либо неоднозначности в интерпретациях своей позиции.
Для этого предлагаю обратить внимание на асимметрию наших позиций :
Асимметрия здесь заключается в том, что Вам нет смысла заниматься этим "перетягиванием каната", а мне есть. Из наличия смысла не следует однако наличие у меня такого желания - всё-таки предпочёл бы чтобы Вы вместо принятия моих слов на веру просто разобрались в этой теме. Чего судя по этому высказыванию Вы даже не попытались сделать :
Если кроме той фразы, от которой пошла эта ветка дискуссии, в моей теме Вы больше ничего не прочитали, то извините - Ваша реакция видится мне попросту инфантильной. Хотя конечно Вас можно понять : всё-таки тяжело признавать, что то чем Вы всё это время занимались - это сизифов труд, и наверное поэтому любая информация, подтверждающая эту мысль, усваивается Вами крайне неохотно. Мне, соответственно, остаётся лишь апеллировать к тому, что лучше Вам это понять сейчас, а не где-нибудь поближе к концу своей жизни.
axby1, 21 Май, 2018 - 05:04, ссылка
Молодец abxy1, "жму руку"!
Благодарю за поддержку - выписанные Вами цитаты действительно являются ключевыми и хорошо передают суть наших разногласий с представителями "стихийного формализма".
Александр, вы должны признаться, что не до конца оценили высказывание axby1 о том, что "после того как теорема доказана она становится аксиомой".
Ну, действительно, подумайте своей дурацкой башкой: ведь лишь ПОСЛЕ того как теорема доказана, она становится аксиомой, а ДО этого (т.е. до доказательства) она остаётся просто теоремой! Другими словами, те высказывания, которые ещё не доказаны, являются теоремами.
Вы только вообразите себе (опять же, своей дурацкой башкой) какое количество теорем существует в мире! Высказывание ещё не доказано? Не? Отлично, Григорий, нормально, Константин - значит имеем теорему! И даже не собираемся её превращать в аксиому! Нам и со званием "теорема" не плохо живётся. Можно и на нобелевку подать!
Чтобы его оценить до конца достаточно прочитать это :
Можете мне объяснить альтернативным хохмлению способом, зачем вам понадобилось плодить лишний термин ? Я имею в виду термин "гипотеза".
Ладно, не буду Вас томить промежуточными вопросами и дам возможность проявить свои аналитические способности. Для этого предлагаю Вам сравнить два случая эмпирического обоснования :
А вопрос у меня будет к Вам такой :
Интересно посмотреть, как Вы на него ответите не заговариваясь.
"Я гипотез не измышляю." :)
А Вы оказались находчивей чем я думал - Ваше решение уйти от ответа стало для меня такой неожиданностью :)
Я лишь привёл известное выражение И.Ньютона, чтобы как-то отшутиться.
Но вы ведь всерьёз настаиваете, чтобы я обосновал введённое мною слово "гипотеза".
Тогда мне остаётся так же серьёзно ответить. Если бы наш диалог проходил не на виртуальном, а на реальном форуме, то я бы вам сказал так: "Если ты, сука, найдёш в моих тутошних сообщениях слово 'гипотеза', то можешь смело бить мне кулаком в морду! Но если нет, то извольте-с..."
Логика у меня простая : у Вас нет принципиальной возможности ответить на многие накопившиеся за время наших дискуссий мои к Вам вопросы, не заговариваясь. Следовательно, ответов на них Вы будете избегать. Последний вопрос из этого списка был следующим :
И тишина...
Так как же насчёт первого вопроса - о моём использовании термина гипотеза?
Вы шулер! Заметьте, когда вы задавали мне все эти вопросы, вы приводили цитаты, как бы отвечая на мои (цитируемые вами) фрагменты из моего сообщения. Но делали это так, что первая цитата была моей, а остальные - не мои! То есть, приписывали мне то, что я не говорил. Как же можно с вами иметь дело, если вы шулер?!
Извините, я не знал что использование в своих комментариях слов, которые не использовал в своих комментариях собеседник, считается в вашем сообществе запрещённым приёмом. Я наверное ещё многих ваших обычаев не знаю, и признаться испытываю некоторые затруднения в том чтобы соответствовать нормам вашей морали.
Уж извините, но более прямого вопроса и быть не может! Это не ваши комментарии к чему-то, а быль прямой вопрос ко мне: нафиг ты, мол, вставляешь термин гипотеза? Цитирую ваш вопрос ко мне: "зачем вам понадобилось плодить лишний термин ? Я имею в виду термин "гипотеза".
Шулер! Шулер во всём!
В смысле, термином "гипотеза" Вы не пользуетесь ? И на этом основании называете меня "шулером" ?
Так, ладно, надо Вас как-то обламывать с этим искусственным затягиванием дискуссии с целью уйти от ответов и почитать мне морали. Информации из Вас клещами не вытащишь, поэтому придётся заниматься телепатией - Вы мне просто выбора другого не оставляете, если не считать таковым прекращение этого увлекательнейшего общения.
Осмелюсь предположить (Вы уж не сочтите за "приписывание Вам того, чего Вы не говорили"), что Вы хотели этим сказать что не возражаете против того чтобы назвать аксиому "гипотезой". Я об этом не подумал. А не подумал я об этом потому, что из-за Вашего наплевательского отношения к дискуссии я после нескольких лет общения с Вами до сих пор даже приблизительно себе не представляю, какие у Вас там шестерёнки в голове крутятся, и всякий раз когда пытаюсь это выяснить, Вы восклицательными знаками начинаете сыпать вместо того чтобы поделиться со мной информацией (бывают конечно исключения, но не так часто как бы мне этого хотелось). Если Вы мне не доверяете и считаете что я намеренно перекручиваю Вашу позицию, то я не собираюсь Вас переубеждать встречными пачками восклицательных знаков.
Итак, аксиому можно назвать гипотезой (если я правильно Вас понял). Гипотеза, как известно, подлежит дальнейшему подтверждению. Следовательно, суть наших разногласий сводится к тому, что подтверждение гипотезы с прилегающим появлением истинного утверждения нельзя по Вашему мнению назвать "доказательством". Так ?
Когда вы задали мне вопрос о чём-то подобном, я не понял вообще о чём вы... Но вы наставиаете. Итак, всё очень просто: найдите в тех моих сообщениях нечто такое, что породило у вас гипотезу о какой-то моей гипотезе относительно гипотезы. Процитируйте меня, чтобы я ориентировался в своей болтологии. Ну, хоть намёк?!
Скажу проще : я вообще не понимаю что Вы хотите всем этим сказать. Что мне нужно искать, зачем мне нужно это искать, и чем может быть для Вас полезной эта информация. Также не наблюдаю даже намёка на Вашу заинтересованность в том, чтобы я это понял - по-моему у Вас какое-то предвзятое отношение к повествовательной форме выражения своих мыслей. Единственное что я понял из Ваших слов - это то что Вы считаете меня шулером. Если что, потребности Вас в этом переубеждать я не испытываю.
Думаю все эти сложности в общении возникают у нас из-за радикальных расхождений в представлениях о принципах информационного обмена. Сравните :
Я не могу себе представить иных причин, по которым Вы избегаете ответа на этот вопрос, кроме той что Вы прекрасно понимаете то, что после того как Вы на него ответите я задам Вам другой не менее доступный для понимания вопрос, на который Вы не сможете ответить не заговариваясь. Может быть конечно причина и в другом, но Вы не даёте мне никакой информации, по которой бы я смог определить, что именно Вас так смущает в моих вопросах. Меня если что в Ваших комментариях смущает то, что после их прочтения у меня одна лишь каша в голове остаётся. Навязывать Вам свои принципы информационного обмена у меня нет никакого желания, но если Вы не будете их придерживаться, то я вряд ли смогу Вас понять. Извините.
А, вот Вы о чём. Могли бы обратить внимание на то, что местоимение "вы" я всегда употребляю во множественном числе, а к конкретному человеку всегда обращаюсь на "Вы" - не столько из вежливости, сколько из соображений удобства различения. Поэтому никак не мог понять к чему Вы весь этот цирк устроили. И вообще забейте на этот вопрос - я уже сам не помню к чему его задавал, и немногим позже решил изменить направление дискуссии, дописав после этой фразы следующее :
То есть я явно указал Вам на то, что эта фраза "промежуточная" и ей вообще не стоит придавать значения. Вы же сделали наоборот - акцентировали на ней внимание, надо понимать с целью вынести мне мозг. Мне всё-таки кажется у Вас слишком предвзятое ко мне отношение. Надеюсь Вы хотя бы ненамеренно это сделали для создания видимости того, что мои действия мотивированы стремлением ввести в заблуждение участников этого форума. Впрочем, Вы можете делать это и неосознанно - мне уже неоднократно приходилось прослеживать подобные тенденции в ваших (обратите внимание на множественное число) комментариях. Как-то странно для меня выглядит тот факт, что из вопроса который я назвал "промежуточным" и несущественным Вы решили раздуть целую эпопею, а те вопросы на которых я неоднократно пытался акцентировать Ваше внимание Вы предпочли скромно обойти своим вниманием. Вот и приходится высказывать гипотезы, рискуя нарваться на Ваше праведное негодование по поводу того, что я приписываю Вам те цели которых Вы перед собой не ставили.
Доброго дня Дмитрий!
Не удержался от ехидства, вы уж простите, никак не удаётся заткнуть сей фонтан.
Скажите, а с чего вы именуете какие-то правила математических операций законами? Я ж не против, поскольку эта ваша причуда не нарушает ни чьих интересов, мне просто интересно иной раз прогуляться по кунст-камере, и тут на глаза попались вы со своими законами.
Приветствую, Леонид.
Да ничё - Вы хоть и слегка зациклены на одной теме, но с чувством юмора у Вас порядок, а это уже немало.
Ответ тривиален - мне нет надобности различать эти смысловые оттенки. Я же уже отвечал Вам на этот вопрос :
А по Вашим словам получается так, что Вы видите нечто предосудительное в том, что человек может интересоваться математикой, но при этом совсем забить на физику. Это тот случай когда узкая специализация становится следствием некоторой ограниченности, из-за которой более разносторонним людям бывает трудно со мной разговаривать. В нашем например случае Ваша позиция выглядит для меня следующим образом - ссылка.
С моей точки зрения Вы ведёте себя не менее причудливо. Чтобы понять в чём именно эта причудливость состоит, Вам достаточно понять то, что словосочетание "эзотерическая теория" - это оксюморон. В действительности же люди, проявляющие к этой теме интерес, прежде всего ориентированы на достижение практических результатов. Но чтобы обмениваться информацией им же нужно пользоваться словами, а слова эти Вам непонятны. Как и то, что эти люди делают и зачем они это делают. Читая непонятные слова Вы испытываете чувство дискомфорта и входите в ступор пытаясь себе представить чем у них там голова забита. Просто поймите, что они не склонны строить теорий - в норме их интересует сугубо достижение хоть и непонятных Вам, но оттого не менее практических, результатов. В связи с чем я бы предложил Вам не применять к "реальности" термин "объективная", иначе это будет только сбивать Вас с толку и приводить к неизбежным противоречиям с действительностью - например в том случае, когда достижение практических результатов становится несовместимым в Вашем сознании с представлениями об объективности.
Спасибо Дмитрий за совсем немалое внимание с Вашей стороны.
Когда мы с Вами говорим ни о чём, я, как либерал по мировоззрению, ничего предосудительного в любви к математике не вижу. Мне она и самому когда-то нравилась. Но я либерал во всём, в том числе и в мнении, что мне, за исключением моих близких, и Пенсионного фонда никто ничего не должен, а я ещё должен государству налоги, которое в ответ делает вид, что оказывает мне государственные услуги, и своим близким. Это я подвожу к басне Крылова с крылатой фразой "так поди же попляши", и пословице "делу время потехе час". Если я выделил потехе час, так я его и отработаю в деле. Дело невозможно делать "не в адеквате". Тем самым метафизикой, оксюмороном, "законами математики" можно страдать ровно час, а потом выкинуть всю эту лабуду из головы, и следовать объективной реальности. Если в ней нет "законов математики", значит и для меня их нет, иначе "на лад их дело не пойдёт".
Поэтому я и задал Вам вопрос для расширения собственного кругозора: как Вам удаётся делать дело с "законами математики" в голове? Для меня это такой же нонсенс, как участие по серьёзному в забеге бегуна с кандалами на ногах. По-другому, и то и другое занятие неадекватно объективной реальности, а это значит заведомо проигрышное по критерию эффективности трудовой деятельности.
Как мне удаётся заниматься математикой, удерживая в голове её законы ? Сами-то поняли чё спросили ?
Надо наверное объяснить откуда у меня эти вопросы взялись, а то обычно в таких случаях собеседник начинает обвинять меня в том, что я приписываю ему слова которых он не говорил. Я понял, что под "делать дело" Вы подразумевали свои дела, и намеренно подменил их своими. Сделал я это потому, что увидел на это все основания - сначала Вы заверили меня в своём либерализме, а потом ненавязчиво поставили вопрос так, что из его формулировки должно подспудно следовать то, что Ваши дела я должен считать своими. Стало быть о какой такой лояльности Вы мне тут рассказываете ? Хотите узнать мою гражданскую позицию, так так и скажите, мне не составит труда её сформулировать ввиду тривиальности её содержательной нагрузки : для начала нужно обновить принципы социального устройства - окончательно, бесповоротно и со стопроцентной надёжностью. А потом уже можно о чём-то говорить. Решение этого вопроса по моему субъективному мнению не зависит от решений конкретных людей и социальных групп, и обусловлено фактом всеобщей в этом заинтересованности. Как следствие, я не вижу здесь предмета для обсуждения. Другое дело объективная реальность, о которой Вы так много говорите, но которой до сих пор не дали внятного определения. Если Вам есть что мне на это предложить - не держите в себе. Только перед тем как приводить свою формулировку, прочитайте пожалуйста заглавие этой темы.
Спасибо Дмитрий!
Вы не поняли моего вопроса, но это и не важно. Важно, что вы уделили внимание.
Вероятно это из-за того, что в Вашем тексте было много непонятных мне терминов. Другое дело "объективная реальность" :)
Вы только ЗАДУМАЙТЕСЬ на своим словооборотом! Вы спрашиваете - почему существующий закон нельзя назвать гипотезой?
Другими словами - почему все эти поцы, которые используют русский язык для обозначения чего-либо,.. да, так вот - почему они для обозначения чего-либо незыблемого называют это законом, а не используют слово гипотеза? То есть, полюбуйтесь, мол, на этих дураков - они сомнительную вещь называют гипотезой, а бессомнительную - законом! И это в то время, когда и коню ясно, что можно было бы и наоборот. Ведь звучание-то - у гипотеза намного краше, чем у этого пиздоватого закон.
Я правильно понял ваш вопрос?
Уточните пожалуйста, какую из двух перечисленных выше вещей Вы называете "сомнительной", а какую "бессомнительной", и если находите это возможным, то попытайтесь обосновать свой ответ, не апеллируя к субъективному мнению других людей. По мне так они обе бессомнительные, хотя лет эдак сорок назад я бы в обеих сомневался, предварительно над ними не поразмыслив.
По моим субъективным оценкам вопрос был элементарным, и если Вы на него не ответили сразу, то скорее всего поняли его как-то не так. Как его можно было понять не так, я честно говоря с трудом себе представляю. Осмелюсь предположить что Вы сделали вид будто его не поняли. Впрочем, я могу ошибаться - это ведь далеко не первый случай, когда Вы затрудняетесь ответить на вопрос, который субъективно кажется мне элементарным. Как его сформулировать проще, я представляю себе с ещё больше трудом, нежели то как его можно было не понять. Может быть Вы что-нибудь предложите для того чтобы мы могли выйти из этого тупика ?
Я могу предложить лишь одно, а именно. Перед тем как использовать слово родного языка НЕ ТАК, как оно понимается в рамках сообщества - носителей этого языкак, надо специально оговаривать это. Прямо-таки начинать с этого: я мол, в данном случае использую слово говно вместо слова банан. Но и этого мало. Надо к тому же обосновать почему именно я настаиваю, чтобы на ценниках в магазинах писали говно вместо банан. "...Иначе такое бросание будет пустою затеею."
Пример из жизни? Теоремы назовём аксиомами. (Не слышали? Кто-то на этом настаивал.)
Понятно :
Типа поговорили...
Не сердитесь на него. Тяжело ему там, на чужбине )
Спокус просто неверно выбрал слово для обозначения какого-то непонравившегося ему момента. А что это за момент лично я ни черта не понял.
А там нечего понимать. Лично я умещаю своё понимание позиции Спокуса в одном слове - "заангажированность". Отсюда предвзятость суждений без предварительного их осмысления. До маразма уже доходит - типа я обязан пользоваться определением "бородавки - это то что от жабы", потому что видите ли "усе так говорять". Чем собственно и исчерпывается суть наших разногласий - других ведь аргументов он не приводит. А если я с его аргументами не согласен - значит я шулер. И это у нас называется "логика"...
Короче, с верующими людьми разговаривать только нервы портить себе и им - четыре года уже толчём однуитуже воду в ступе без каких-либо намёков на продвижение.
Спокус Халепний :
В общем я вижу смысл продолжать нашу дискуссию только лишь в том случае, если Вы бросите эту привычку подменять "всех носителей языка" вашим "кружком аристотелеведов" (как правило, употребляя в дискуссии с Вами местоимение "вы" во множественном числе, я имею в виду именно его). Если Вы о чём-то уверенно утверждаете, значит должны видеть обоснования своей уверенности, и как следствие допускать возможность того, что корректность Вашего утверждения можно проверить. Проще говоря, я предлагаю Вам исключить из рассмотрения вопросы веры. Если Вы находите мои рассуждения нелогичными, то информационный обмен на тему логики между нами не представляется возможным. А то вы тут все такие начитанные Попперами-Шмопперами, а как до дела доходит, так обнаруживается полнейшая ваша несостоятельность в соблюдении собственных принципов.
Я всё сказал :)
Думаю надо довести вообще до абсурда: не существует доказанных теорем. Ведь сразу после доказательства теорема становится аксиомой. Вот и получается, что перед нами либо еще недоказанные теоремы, либо уже аксиомы. Доказанная теорема - это нонсенс.
Можно ещё иначе: главный признак теоремы - её недоказанность.
Кстати, всё это порождает ещё много других интересных вещиц. У нас теперь аксиомы делятся на такие, которые получены из теорем при помощи доказательств, и такие, которые существуют без доказательств (которые были приняты без доказательств). С другой стороны, пальма первенства в отношении бездоказательных принадлежит теоремам. Получается тогда конкурентная борьба между истинными теоремами (теми, которые не доказаны) и аксиомами, которые приняты без доказательств. Интересно - что по этому поводу говорит Ч.Дарвин? Кто победит в борьбе за выживание?
P.S.
Написал выше "истинные теоремы", а потом задумался о глубине этого высказваания. (Маринская впадина, считай, по колено, в сравнении с глубиной этой мысли).
Действительно, согласно axby1, получается, что истинные теоремы - это именно те теоремы, которые ещё не доказаны.
"Лучше гор могут быть только горы,
на которых еще не бывал...
на которых никто не бывал..."
Спокус, что-то это на вас не похоже! С каких это пор, издеваться над слабыми, стало доставлять вам удовольствие? Здесь либо ваше непонимание, что происходит, либо черта вашей натуры?
Еще год назад axby1 с восторгом "заглядывал в рот" таким как Болдачев! В конце концов ему по видимому надоело ходить в "вечных двоечниках" и он стал "огрызаться"! Что это значит -это значит, что в человеке проснулось самосознание! Теперь перед ним два пути: либо обогатиться твердо усвоенными знаниями и стать действительно сильным, либо скатится до уровня "сам себе пишу"!
Единственно "дельный" совет дал Андреев, хотя и рановато, axby1 еще не готов к самостоятельной работе! А требования для такой работы сегодня для всех одинаковы: атеизм-материализм-диалектика!
Я согласен с Александром.
Разница между аксиомой и теоремой в том, что аксиома подтверждается либо натурными измерениями, либо натурным экспериментом, либо конструктивно оправданными.
Тогда как теорема - следует из некоторой композиции аксиом, т.е. доказывается в рамках аксиом.
Или: аксиомы являются онтологией теоремы, а вывод (т.е. доказанное) - есть явлением этой композиции аксиом.
А в общем, между аксиомой и теоремой весьма существенное различие.
Трудно разобраться, кому Вы адресовали этот комментарий, а также в том, согласен ли я с тем с чем Вы согласны с Александром, но вдруг нам это всё-таки удастся выяснить. С Вашего позволения, приведу небольшой фрагмент моей дискуссии со Спокусом :
Здесь я просто предлагаю Вам различать два состояния - "до" (сомневаюсь) и "после" (не сомневаюсь). Если их мешать в одну кучу, то это чревато неразберихой при дальнейшем обсуждении. Мне всё равно какие термины Вы прицепите к этим состояниям - главное чтобы Вы их различали.
В промежутке между "сомневаюсь" и "не сомневаюсь" всегда лежат рассуждения, причём эти рассуждения всегда можно вербализовать - если мы конечно говорим о логике, а не о том кто во что верит. В общем случае рассуждения описывают мысленный эксперимент, предназначенный для воспроизведения в умозрениии и получения результата "не сомневаюсь". Вопрос : существует ли принципиальная возможность описать мысленный эксперимент, воспроизведение которого в умозрении с необходимостью приведёт к результату "не сомневаюсь" в отношении формулировки аксиомы ?
axby1, 13 Август, 2018 - 06:46, ссылка
Догма и аксиома.
-----------------
Догма - Это некоторое высказывание, смысл и содержание которого не подлежит сомнению, пренебрежению и любой критике, во всяком случае, во вполне определённом классе высказываний. Всякая догма всегда является базовым пониманием в любой концепции. И в то же время является мерой других высказываний, принадлежащих этому классу. Т.е. классификатором, определяющим истинность или ложность этих высказываний. Например. - "Триединство отца и сына и святого духа", или «объективные законы общественного развития», «классовая борьба, как движущая сила общественного развития» и проч. Кроме того, содержание догмы не может быть проверено никаким экспериментом.
- Тогда как утверждения аксиомы, в доступных пределах, инструментально измеряемы и которым в соответствие можно поставить Число, либо конструктивно оправданы.
----------------------------------------------
А если сказанное выше наложить на Ваши суждения, то можно с уверенностью сказать, что Вы догматик.
Всё, всё, ухожу, конечно же Вы не обязаны отвечать на мои вопросы. Тем более что они риторические.
Приведу ещё один пример верификации определения, подтверждение содержательной корректности которого было произведено в естественных условиях. Надеюсь, Вадим, что Вы не сочтёте за бестактность с моей стороны моё решение разместить здесь эту ветку и примете во внимание разницу в наших представлениях о целях и задачах дискуссионного процесса. С моей точки зрения этот фрагмент является удачным примером подтверждения той мысли, что любому термину можно дать определение безальтернативным (то есть единственно правильным) способом. На то ведь они и термины, чтобы понимать их одинаково. А не делать из них "чернильные кляксы", как это принято большинством голосов, от которых мне не приходилось слышать каких-либо иных контраргументов, кроме "так делать низя потому что Аристотель так не делал и нам не велел".
"Наверняка и без раздумий знать" как формулировка ощущений.
У меня появились дополнительные претензии к ней.
Знания без мышления. На мой взгляд это выглядит вызывающе. С трудом представляю таковые. Не, ну бывают безмолвные знания. В нагвализме. Но чтобы без мышления и без нагвализма? )
С другой стороны. Что вы скажите на такой пример.
Ощущение синего цвета. Я договариваюсь с человеком, что как только он увидит синий цвет, то сразу сигналит мне свистом.
Мы можем сказать,что я наверняка и без раздумий знаю, что этот человек ощущает синий цвет, но сам ощущения синего цвета не испытываю.
Я достаточно поиздевался над вашей благородной попыткой создать формулировку ощущений?
Ну-у-у, тут нужен высокий уровень осознанности, годы тренировок, освоение особых практик, духовный рост и всё такое. А без просветления Вам конечно же не удастся попробовать мёд и сразу узнать о том что он сладкий. Придётся долго над этим размышлять, штудировать гугл в поисках определения "сладкого", да и то не факт что после всего этого Вы сможете в этом вопросе однозначно определиться.
В общем охотно верю в то что Вы это на полном серьёзе говорите.
Скажу что это просто отличный пример. А хорош он тем, что ответ на него выходит за рамки "банальной бытовухи" и затрагивает действительно философский вопрос.
Вся загвоздка в том, что Вы в принципе не можете знать о том, что его восприятие синего цвета идентично Вашему. Следовательно не можете знать о том, что он действительно видел Ваш синий цвет (то есть тот, каким его знаете Вы). Подробнее об этом здесь - ссылка. Если не верите мне, спросите у Витгенштейна - это тот редкий случай, когда я могу сослаться на другого философа, который мог бы подтвердить мои слова.
Я бы не назвал это "попыткой".
axby1, 12 Август, 2018 - 01:16, ссылка
Не только и не столько. Вот если ваш оппонент сможет не получая(чувствуя)как-либо сигнал от другого человека знать, что тот ощущает(чувствует), то будет истинный прорыв в познание и без раздумий и без ощущений..К.К. нервно курит в сторонке..
Ну вот, всё испортили - хотел как-то разнообразить эти серые будни и поговорить о возвышенном и прекрасном, а Вы его опять свели к банальностям :)
Для человека, претендующего на точность формулировок сказано ужасно.
Попытка формулировки, или попытка поиздеваться?
Когда люди не стремятся к взаимопониманию - это ещё полбеды. "Беда" - это когда собеседники ставят целью друг друга не понять, причём такой способ информационного обмена считается общепринятым.
Тошнит уже от этого маразма.
Эксби, я не знаю лучшего определения понятию "ощущения", чем ваше.
Так нормально?
Я и в самом деле не знаю.
Вы считаете что это для меня существенно ? Нет, Вадим, для меня существенно совсем другое - собственно то, о чём я Вам написал в предыдущем комментарии. В том числе и во многих других - как например здесь :
Не было никакого извращения. Вы действительно выразились непонятно, на что я и указал.
И я по прежнему стою на позиции неопределимости ощущения и мысли. Мы можем только указывать в их сторону пальцем, делиться примерами.
Определения даются понятиям. Понятия формируются с помощью мысли на основе ощущений. То есть эти две "субстанции" сами являются создателями понятий. Их же создавать некому. Понятие характеризуется поиском общих свойств. Что общего может быть у ощущения звука и цвета? Вы говорите знание. Но какое отношение имеет понятие "знание" ко вкусу? Сама природа этих "образований" несравнима.
Знания - это к мышлению и памяти, а ощущения - это больше к опыту.
"У меня был опыт боли". Можно это назвать знанием? Любое знание передаваемо другому человеку. Попробуйте передать "знание" боли.
Говорить о знании в применению к ощущению можно только условно.
Если сделали это ненамеренно, тогда извините был неправ, просто я с трудом себе представляю как Вы там могли увидеть какие-то варианты, после того как мы столько времени жевали эту жевачку. Ну ладно, если для Вас эта информация так важна, то возможно это высказывание как-то поможет Вам сориентироваться :
Следовательно, мне Ваши мотивы известны лучше чем Вам. Если бы факт отсутствия желания в этом убедиться Вы осознавали, то не стали бы мне этого писать. Начните свои рассуждения с посылки "допустим, такого желания у меня действительно нет", и возможно Вам удастся вслед за мной воспроизвести ту причину, по которой я в данном случае прихожу к противоречию. Ну или попытайтесь мне объяснить то, откуда у Вас берётся потребность настаивать на том, чтобы я принимал участие в обсуждении словосочетания "необъективное знание", которое по определению является { тавтологией >|< оксюмороном } ?
Примените эти соображения к числам и скажите в чём разница.
С некоторых пор я не пользуюсь термином "понятие".
Не знаю как у Вас, а у меня бред получается при попытке воспользоваться этим Вашим утверждением. Зачем мне вместо "я знаю что мёд сладкий" говорить "я условно допускаю что мёд который я сейчас ем может быть сладким" ? Но это риторический вопрос, мне интересно зачем это понадобилось Вам ?
Говорить "я знаю, что мед сладки" как-то не по-русски. Я ЧУВСТВУЮ, что мед сладкий. Ведь из цитаты речь идет о происходящем в момент получения знаний? ("мёд который я сейчас ем ")
Далее.
Вы можете знать, что мед сладкий из услышанного от кого-то, если никогда меда не попробовали? Будут ли в этом случае ваши знания получены "наверняка и без раздумий"?
Как вы собираетесь использовать понятие "ощущение" в вашей формулировке, если все-таки придется задуматься? Ведь оно,это ваше определение, должно отвечать характеристике "наверняка и без раздумий". Например, вам дали кисло-сладкое яблоко. Как вы назовете вкус без раздумий? Или вы попробовали продукт с незнакомым вкусом.
К чему вообще относится ваше определение? К самому факту, что вы испытываете какой-то вкус, или ваше определение дает вам возможность назвать вкус?
"Я знаю, что мед, который я сейчас ем, сладкий"
Тут явно речь идет о меде и его свойстве вызывать ощущение сладости. И вы, Эксби, называете свое ощущение неким знанием. Знанием о чем? Знанием о меде, видимо?
Но так ли все просто?
Каждому известен эксперимент с поочередным опусканием руки в воду разной температуры.
Готовим три емкости с водой. Одну с горячей и две с холодной.
Опускаем одну руку в горячую воду и через некоторое время опускаем обе руки в емкости с холодной водой. У нас появятся разные ощущения температуры.
Наши ощущения нас обманули? А как же тогда применять к ним понятие "знания"?
Есть много других примеров обманчивости подобных "знаний".
То, что ощущения могут в редких случаях обманывать, не отменяет того, что они нам необходимы чтобы быть живыми. И всё-таки это именно знания. В этом случае частное вовсе не отменяет общего.
Без ощущений нас бы не существовало. А вот без философии - запросто! Нафиг вообще нужно это бредовое словоблудие, которое не решает никаких вопросов, только морочит честным людям голову? )
Предположим, вы в детстве сунули таки палец в розетку, и вас шарахнуло током: знания о свойствах тока вы не получите, зато получите знание о том, что совать палец в розетку - больно, и память об этом случае. Разве это нельзя назвать чувственным познанием, которое мать природа дала вам даром, без всяких размышлений с вашей стороны. Ведь если б было не больно - вас убило бы током или вы вместо яблок ели бы штукатурку - не имей вы вкуса. Так почему ж нельзя назвать чувства знаниями?
Услышанное от кого-то, это другой тип познания, чем чувственный, поэтому к знаниям полученным "без раздумий" не относится. Конечно, если кто-то скажет вам, что мёд сладкий, вы не поймёте что это значит, если ничего сладкого до этого не пробовали. Но при чём тут этот пример? К тому же, если кто-то заявит, что съел что-то сладкое, то это ещё не знание, а информация, которую вообще-то ещё проверить нужно.
Я так понимаю, что получить знания о вкусе яблока для себя, откусив его - это одно, а описать его вкус, так, чтобы согласовать с другими - тут уже не чувственное знание, а абстрактное, доступное только человеку.
Совершенно справедливо и любому понятно.
Но ведь предлагается использование понятия "ощущения" не только для непосредственных знаний, но и во многих других случаях.
Каким образом непосредственно получаемое знание во время контакта становится абстрактным? Не теряются ли при этом требования Эксби к формулировке?
Звук - это ощущение? А как быть с ультразвуком и с инфразвуком? Они звуки, или уже не звуки?
Я не понимаю вопроса что-ли. Звук - это звук, а речь - это не просто слуховой контакт, это другое уже совсем.
Ультразвук, инфразвук - звуки, выходящие за пределы охвата человеческой слуховой сенсорной системы.
Что вы хотите этим сказать? Чувственные знания человека не абсолютны, ну и что? И цветовосприятие может отличаться у разных людей, ну и что? Не кардинально же? Мониторы вот тоже по разному цвета передают - но общую картину мы ж улавливаем, глядя в них? Это, видимо, допустимая погрешность. Никто и не говорит, что все знания - идеальны. Но тем не менее - что уж есть. Природа решила, что летучим мышам ультразвук нужнее, поэтому у них он встроен в функции, а у нас - нет. Они познают пространство с помощью ультразвука, бедные, у них же нету возможности побывать на ФШ и других знаний набраться.
Я хочу сказать, что та формулировка, которую предложил Эксби, подходит не для всех случаев. А значит она не точна, или неполна.
Пример с тремя емкостями воды достаточно нагляден для моей мысли. Наши ощущения в нем не дали знаний о температуре воды
Вам везет. Я вообще ничего не понимаю. Как одна и та же вода может вызвать у нас ощущение холода и тепла? И как это можно называть громким именем "знание"?
У рук то разная температура, следовательно воспринимать разницу температуры со средой они будут по разному. Вроде просто
Ловко.
Корнак7 :
Глагол "чувствую" не может быть термином, поскольку ответ на вопрос "что именно я чувствую" невозможно получить путём логических рассуждений (в коих не может быть использован и сам этот не-термин). Это я озвучил суть того что Вы хотели мне сказать, хоть и предпочли это сделать в другой терминологической расстановке. По факту достижения между нами согласия остальной мой разбор полётов можете игнорировать. Мне же он интересен как экспериментальный материал для содержательно анализа (может ещё каких способов использования определений нарою, ну и случая над Вами поиронизировать тоже упускать не хочется).
Далее было ранее - из того я не пользуюсь глаголом "чувствовать" в своих логических обоснованиях не следует что об ощущениях можно чего-нибудь не знать или над ними нужно думать чтобы их получить. Это ж ощущения - их можно только "чувствовать субъективно", но никак нельзя "вычислять объективно". Впрочем, в этом вопросе мы уже похоже что сошлись.
Я не могу ощутить (а следовательно - узнать) вкус мёда ни разу его не попробовав. А у Вас это как-то по-другому ?
Из предыдущего моего утверждения следует то, что они не могут быть получены никак - то есть ни одним из четырёх способов, образованных сочетанием дихотомических аспектов двух триад :
Если Вы там видите пятый, то это просто находка для учёного :)
Редкий случай единомыслия - на все эти вопросы я ответил до того как их увидел.
К тому, о чём Вы постоянно забываете - к сути. Забывая об этом, Вы делаете одну и ту же ошибку и воспроизводите её в каждом своём посте. Суть этой ошибки во всех без исключения случаях, принимаемых Вами за обоснованные контраргументы, заключается в том что Вы подменяете вопрос "что есть [все] ощущения по сути" вопросом "какими они бывают в частных случаях". Следовательно, Вам не удалось сформулировать ни один такой свой контраргумент, в основу которого не была бы заложена упомянутая подмена. О чём собственно и шла речь в этом фрагменте :
Второй Ваш пост уступаю дамам - не столько из вежливости, сколько из сострадания :)
Нельзя дать определения "ощущению".
Ощущения можно характеризовать только по совокупности перечня: слух, зрение, вкус и т.д.
Почему бы вам не пойти по этому всем понятному пути и что-то выдумывать?
Можете объяснить, зачем Вы мне это написали ? Объём комментария небольшой - что поможет Вам сосредоточиться и на удобном Вам языке, но так чтобы я Вас понял, ответить мне на один вопрос : что конкретно Вы мне предлагаете ? Я вижу здесь только один мыслимый из Вашего текста вариант (чернильные кляксы не в счёт) : Вы предлагаете мне пересмотреть своё решение не принимать участия в обсуждении тавтологий и оксюморонов. А Вы можете помыслить альтернативу этому предложению, причём такую, которую бы сами сочли адекватной ?
Объяснить вашим бестолковым почитателям, чем ваша формулировка лучше традиционного перечня видов ощущений, из которого каждому дураку становится ясно, что есть ощущение.
Императив сформулирован некорректно. Вы подменили чужие мотивы собственными : у тех кого Вы назвали "почитатели" нет потребности в том чтобы им это кто-то объяснял - это у Вас есть потребность убедить себя в обратном. То есть формулируя свой императив в таком виде Вы поставили целью обмануть себя (сами там уже разбирайтесь, сознательно Вы это сделали или спали когда это формулировали).
Ощущения - это способность реагирования сознания (в сознании) на контакт с миром в виде звука, цвета-света, вкуса, прикосновения и прочее
Попробуйте, не сливаясь в словоблудие, доказать, что ваша формулировка лучше и что они имеет хоть какое-то отношение (в отличие от моего) к собственно ощущениям.
Если Вы знаете как им пользоваться, то я рад за Вас.
У меня нет потребности разубеждать Вас в том, что сказанное мною является словоблудием - это у Вас есть потребность остаться при своём мнении. Следовательно, закрытие этой темы является оптимальным вариантом для нас обоих.
И вообще с моей точки зрения мы в этой дискуссии пришли к полному согласию - при условии конечно что Вы не намерены настаивать на том, чтобы я участвовал в обсуждении тавтологий и оксюморонов. А следовательно всё что Вы пишете после того как согласие между нами уже достигнуто является избыточной информацией.
Я с большим пониманием отношусь к вашему решению прекратить спорить со мной
Я бы добавил : по факту достижения полного единомыслия по предмету нашего обсуждения. Если Вы что-то провтыкали то из этого не следует что этого не произошло, а из того что Вы не следите за ходом дискуссии не следует что этого не делаю я. Для того чтобы в этом убедиться Вам достаточно ответить на два вопроса :
Думаю что на оба вопроса мы отвечаем одинаково. А большего и не требуется - Вы уже наверное и сами догадываетесь о том, что сделать этого Вы не сможете :
Если бы Вы не провтыкали это момент, то у Вас бы такого вопроса не возникло :
То есть по сути Вы подменили предмет дискуссии "несуществующим" в моём понимании. Поэтому всё что мне остаётся в данном случае, так это ответить на Ваш вопрос вопросом : будете ли Вы настаивать на том, чтобы мне от Вашего "против" было холодно и/или жарко ?
Ещё раз : у Вас нет принципиальной возможности внятно сформулировать свой императив.
Мне это не нужно - ни то чтобы Вы их так называли, ни то чтобы Вы их так не называли. В научной терминологии это называется "инвариантно", хотя можно было бы употребить здесь и более разговорный термин :)
ЗЫ : есть такое понятие как "мыслечувствие", введённое в обиход Сергеем Борчиковым. "Чувствование мыслей" предполагает (если я правильно это понимаю) получение "мгновенного результата размышлений" - ну типа "не успел о чём-то подумать, а оно уже есть в ощущениях". Но из того что я не считаю этот термин научным (точнее, не считаю его термином, потому и предпочёл назвать "понятием"), не следует что я считаю это явление "несуществующим". Мне кажется у Вас сложилось впечатление, будто своими исследованиями я посягаю на сферу Ваших исследований - по крайней мере других причин, по которым Вас до сих пор не покидает чувство недоговорённости в диалоге со мной, я не могу себе помыслить.
Не занимайтесь софизмом.
Это, если в стиле ваших ответов.
А по существу - ответьте на прямо поставленный вопрос. Чем ваше определение лучше моего? Мой ответ - оно хуже. Почему - я уже обосновал.
То есть бесполезный информационный хлам Вы называете "хорошим" определением, а если ему находится практическое применение - значит оно "плохое" ? Ну и кто из нас после этого софизмом занимается ? Хоть бы немного думали перед тем как мне отвечать.
И какое же применение вы нашли для своего определения?
Кажется я пропустил самое интересное
А может это эквивалент единицы знаний? ) Судя по формулировке? )
Если после того как я раз двадцать исчерпывающе ответил Вам на этот вопрос Вы говорите что "пропустили" мой ответ, то извините - с таким наплевательским отношением к дискуссии у меня нет никакого желания с Вами разговаривать.
От демагогии и софизма вы перешли к откровенному вранью
Перечитал всю ветку - ни слова о применении вашего определения нет
Вы шулер, сударь
Ничего, что встряну? Эксби то прав. Он говорит о ЧУВСТВЕННЫХ ЗНАНИЯХ, которые даны человеку в виде ощущений и из совокупности которых состоит человеческое СОЗНАНИЕ. И, действительно, человек БЕЗ РАЗДУМИЙ получает знания через ощущения. Раздумья - это уже теоретическое познание. А память об ощущениях (или о чём-то ещё)- это другой психический процесс. При любых чувственных контактах с окружающим, все ощущения сразу же складируются в базу данных, сравниваются, собираются в группы, и, возвращаются в виде представлений о том или ином предмете, явлении и т.д. Мозг обращается к этой базе данных, каждый раз после получения данных ощущения, сравнивает, узнаёт, классифицирует. Но все эти психические процессы происходят без наших осознанных раздумий, как мы не думаем над каждым новым вздохом. Всё это элементарно.
Так что ощущения и есть - знания без раздумий.
Приземлённая ты субстанция - не дано тебе увидеть того, что видит с высоты своего полёта мысли Корнак :)
Говорит-то он говорит. Но вот только мой пример с мужиком почему-то попал под его определение. Моё знание о чувствах мужика появляется без всяких размышлений и оно абсолютно верное, что соответствует его формулировке ощущений. А какие именно присутствуют оттенки в нашем с ним восприятии цвета не суть важно. Это никак не отменяет МОИХ знаний. Если уж на то пошло, то цветоощущение может меняться в пределах одного человека в зависимости от его здоровья и условий наблюдения.
И напоследок.
В соседней теме разбирается невозможность объективных знаний. Данная идея для меня сомнению не подлежит. Но если это так, то о каких ЗНАНИЯХ можно вести речь? Мы можем говорить только о догадках. Ощущения - это всего лишь некая контрольная лампочка, вспыхивающая при контакте с неведомым нам миром.
А, ну тогда понятно - если Вы мыслите оксюморонами типа "необъективное знание", тогда конечно у нас нет возможности друг друга понять. Могу только поделиться своими соображениями на этот счёт.
Я знаю о том, что на самом деле нет никакого самого дела - если не считать таковым те знания, которые мы имеем здесь и сейчас, не затрачивая мозговых ресурсов на их приобретение. Следовательно, если мы предполагаем возможность приобретения знаний путём размышлений, то мы не должны задаваться вопросом "как оно на самом деле" - иначе это с неизбежностью приведёт к тем нагромождениям флуда и оффтопа, которые Вы имеете удовольствие наблюдать в вышеупомянутой теме в числе прочих тем с аналогичным посылом. Ну а каким вопросом мы должны задаваться если хотим рассчитывать на получение знаний за счёт превышающих строго нулевой показатель мозговых затрат - к этим выводам я уже предлагаю Вам прийти самостоятельно в случае возникновения у Вас желания тратить на выяснения этого вопроса свои мозговые ресурсы.
Короче Вам есть смысл вступать со мной в дискуссию если хотите сами в чём-то убедиться, а причины по которым у Вас нет возможности меня переубедить по крайней мере по ключевым вопросам Вам известны. По меньшей мере из нашей дискуссии Вы можете убедиться в наличии принципиальной возможности использовать предложенное мною определение ощущений для получения выводов, которые следуют из него (в данном случае в сочетании с тезисом об отсутствии "самого дела") с необходимостью (признаться сам не ожидал - думал что есть лишь смысл дать это определение один раз чтобы потом о нём благополучно "забыть"). В связи с чем предлагаю Вам обратить внимание на следующий фрагмент нашей дискуссии :
А им можно воспользоваться?
Интересно
И как же?
Вот Болдачев тоже пытался дать формулировку мысли и дошел до абсурда в виде "мысль - это набор из понятий в количестве не менее двух штук"
По желанию и по мере необходимости. Что-то мне подсказывает что Вам вряд ли придётся столкнуться в своей жизни со случаем соблюдения хоть одного из перечисленных условий.
Следует ли вообще пытаться давать формулировки тому, что известно каждому?
Не ожидают ли подобные формулировки та же участь, что и Платоновское определение человека?
О вреде математики поговорите с кем-то другим, мне уже надоело отвечать на идиотские вопросы.
Я кажется понял причину, по которой Вы так реагируете. Если бы Вы начали убеждать математика в том, что ему никак не обойтись в своей деятельности без таких абстракций как "карма", "просветление" и тому подобных, то он бы наверное, как и Вы сейчас, начал бы бурно протестовать против такого Вашего предложения. Приведите хоть одну мою цитату, из которой бы прямо или косвенно следовало то, что я предлагаю хоть одно из своих определений, которые считаю корректными, использовать для просветления или очищения кармы ? По-моему у Вас тупо срабатывает автоматизм мышления, из-за которого Вы проскакиваете ту тривиальную мысль, что из того что эта информация бесполезна в сфере Ваших интересов не следует то что она бесполезна в принципе. Ну или из того что она может быть полезной в каких-то других случаях у Вас почему-то следует то, что на сферу Вашей деятельности это должно оказать какое-то негативное влияние. Я же Вам наглядно показал как я этой информацией пользуюсь :
То есть Вы на автомате приписываете мне одну из оппонирующих позиций в этой дискуссии, хотя из моих рассуждений безальтернативно следует то, что мне вообще нет смысла принимать одну из сторон - ну, если я заведомо знаю о том, что предмет у этой дискуссии отсутствует как таковой.
Теперь фэрштейн ? Если фэрштейн, то можете и сами оценить всю нелепость своего вопроса :
То есть по Вашим словам я должен подождать век-другой чтобы узнать какая там участь постигнет мои формулировки, чтобы здесь и сейчас не испытывать потребности участвовать в обсуждении оксюморона "необъективные знания" (впрочем, с равным успехом его можно назвать и тавтологией, поскольку ощущения по определению субъективны). Я уже не говорю о том, чтобы почувствовать всю глубину ответственности за своё решение этого не делать.
Теперь возможно Вы поймёте почему у меня возникает желание нагрубить собеседнику, который задаёт мне эти содержательнейшие вопросы. А других по большому счёту и не задают за редкими исключениями, поэтому можно сказать что это желание перманентно во мне присутствует.
Тут абсурдно ваше слово "набор". Замените на: "мысль - это система понятий")
То есть вы приняли мое предложение поискать какую-то связь между понятиями.
http://philosophystorm.ru/protiv-i-za-dekartovskoe-ya-myslyu-znachit-sus...
А вот здесь Болдачев проговорился и уже перестал считать мысль набором, или системой из двух и более понятий
Именно так и стоит говорить о мыслях. Мысль - это то, то есть. Мысль - это то,с чем знаком каждый человек. А далее примеры, которыми делятся люди друг с другом.
То же самое и ощущения. Ощущения, как и мысль основа функционирования нашей психической деятельности, от которой Болдачев всячески отмахивается.
Ощущения и мысли дают нам возможность заниматься формулировками. Но сами формулировкам не подлежат. Все попытки сформулировать приводят нас к Платоновскому конфузу
Не понял, а зачем ее (связь) искать? Между понятиями либо есть связь (купить стол) либо нет (совесть стола). Можете сами устанавливать эти связи - решите для себя, что понятия "стол" и "совесть" как-то связаны, так значит и будет у вас мысль. Вы постоянно скатываетесь на уровень психологии, где можно искать мотивы и пр. Философия не про это. Для нее достаточно констатации: мысль - это система понятий. Нет системы, нет связи - нет мысли. А откуда они берутся и какие это связи - это уже другой уровень анализа.
Да и кстати, надо различать необходимую системность мысли и необязательную системность мышления, которое может быть и случайным потоком понятий (без мыслей). Хотя полностью хаотичный поток понятий, наверное, это уже клинический случай, чаще понятия организованы, хоть и в примитивные, но мысли.
Ну, да, ну, да. Я ж не спорю.
Ответ банален. Чтобы набор понятий называть мыслью. И мне все время кажется, что связь - это именно то, чем отличается мысль от набора понятий.
Вы отмели обязательное наличие логики в мысли, сославшись на блондинок. Но забыли уточнить, что может заменить ее отсутствие.
Как бы вы ни отмахивались от обозначения сущности связи между понятиями, никуда вам не деться, если хотите сформулировать понятие "мысль". А связь эта совершенно неуловима. Она более неуловима, чем сама мысль. Она и есть мысль. Вам никогда не сформулировать ни понятия "мысль", ни понятия "ощущение"
Да чем угодно) Можно соединять по аналогии, можно по ассоциации. Наверное, часто встречали, когда люди соединяют понятия по созвучию (типа обыгрывают "со-знание"). Многие увлекаются этимологией (например, видят в слове "философия" мысль про любовь к мудрости).
Вы, на мой взгляд, начинаете закапываться в частности: на философском уровне достаточно констатировать, что мысль - это система понятий. А как они - эти понятия - объединяются в систему, какие бывают между ними связи - на этот вопрос дают свои отличные ответы логика, психология, лингвистика и пр.
Кстати, если бы связи понятий были бы только логическими, то невозможно было бы творчество.
Бывают, конечно, сложные случаи, но в большинстве своем связи понятий очевидны и банальны - исчерпываются небольшим числом шаблонов. Я, как профессионально занимающийся семантикой, онтологиями предметных областей, могу уверить вас, что типов отношений понятий не так и много.
Существенно не то что этимологией многие увлекаются, а то что мало кто придаёт ей значение. Давайте тогда уже выделим специальный термин под "восхищение деликатностью" - и то наверное почаще в жизни встречается чем любовь к мудрости.
Типа как-то так: "Штирлиц долго смотрел в одну точку. Потом в другую. «Двоеточие», — догадался Штирлиц."? )
Намекаете на попытки формулировок ощущений, мыслей и другие столь же полезные занятия?
Да. Пусть расскажет нам, какие знания дает ему зуд в носу. Чихать я хотел на такие "знания" ))
Называть ощущения знаниями у меня не поворачивается язык.
Ощущения - повод, основа для знаний. Знания - прерогатива мышления и памяти
abxy1: а) доказательство есть процедура установления истинности; б) истинность есть локальная непротиворечивость.
Следовательно, доказательство теоремы есть процедура установления локальной непротиворечивости формулировки (утверждения) теоремы сформулированным ранее аксиомам. Так?
Вроде так. Не понял только причём тут "следовательно".
"Следовательно" как дань тому, что Сократ смертен.
Озвучьте пожалуйста то что у Вас за этой мыслью следует или те размышления которые ей предшествовали - если конечно она не исчерпывается той банальностью которую Вы здесь высказали.
Предлагаю забыть и "следовательно" и "Сократа".
Если бы результат зависел от меня, то я бы не принял Вашего предложения, поскольку питаю слабость к размышлениям над рассуждениями, и соответственно надеялся на то что Вы сможете мне предложить их больше чем предложили.
Сократ из силлогизма: "а) Все люди смертны. б) Сократ - человек. Вывод (следовательно): Сократ смертен. В этом силлогизме вывод, с моей точки зрения, есть не что иное, как тавтология, что относится и к моей формулировки на основании Ваших а) и б), с чем, как мне показалось Вы согласились.
Дык это ж совсем другое дело, а то я тут не очень разбалован толковыми комментариями, поэтому на автомате начал думать в другую сторону. О Сократе кроме того что он смертен я почти ничего не знаю, никогда этим примером не пользовался, поэтому даже не думал в этом направлении. Теперь могу подтвердить, что это чистой воды тавтология, поскольку в контексте данного примера в "человеке" уже заложено свойство "быть смертным", следовательно называть это "логическим выводом" будет чистой воды профанацией.
Да-а, представляю себе масштабы этой профанации и что было бы с моей головой если бы я читал эту макулатуру - один "закон тождества" чего стоит в исполнении интерпретаторов Аристотеля. А впрочем, нам ли об этом заморачиваться - скорее им нужно "спасибо" сказать за то что оставили нетронутой столь обширную область для проведения мысленных экспериментов.
Спасибо, подкинули мыслишек - рассуждения в тексте здесь не так часто встретишь. "Сократ смертен, да здравствует Сократ" - надо записать этот силлогизм в свой сборник каламбуров. Не мне Вам объяснять какая в науке может быть польза от противоречий, не стал исключением и этот случай - на основании дальнейших рассуждений мне пришлось исправить ошибку в стартовом топике (убрал из "логической дедукции" термин "логическая").
Критерий логичности обычно применяется к рассуждениям, отражённым в тексте. Можно придумать "необычный" способ его использования - например оценивать работоспособность алгоритмов, которые тоже проходят по критерию вербализуемости, но индифферентны к истинностным оценкам выполняемых действий и их сочетаний. Проще говоря, в первом случае "логичен" текст, а во втором - способ его создания. Третьего варианта я здесь не вижу, хотите сделать открытие - я не жадный.
Почему собсно в моём понимании дедукция не может претендовать на статус "логической" : нет логических рассуждений (то есть таких, в которых нечто одно безальтернативно бы следовало из нечта другого) - значит по критерию логичности и оценивать нечего. То есть что они сделали по сути : по сути они приписали однокоренному с "логизмом" термину свойство "неперегонямости в логический текст" (ну или приведите пример строго логической выводимости классификации). В какой там у меня папке "яблоки" лежат ? Ах, да, "фрукты". И это они называют "логическим действием". В какой там у меня папке "Сократ" лежит ? Ща подумаю... Эврика ! Ну и "да здравствует Сократ" под занавес.
То-то я думаю, ачёйто они других силлогизмов в своих обоснованиях не используют ? Эх, такой термин испоганили...
О тавтологии, но не из формальной логики. «Число 4 чётно» и «число 4 делится на 2» - это с моей т.зр. тавтология, но «делится на 2» - это из определения чётности на основании правила деления натуральных чисел, а «4 чётно» - указание на то, что 4 попадает во множество чисел, которые определяются свойством «делится на 2». Что же мы подразумеваем под «тавтологией»? Выходит, что под тавтологией в данном конкретном случае мы подразумеваем, что «чётно» - это сокращение «делится на 2», т.е., грубо говоря, «чётно» и «делится на 2» - синонимы. Можно утверждать, что «Сократ смертен» - это синоним двух начальных посылок приведённого силлогизма о Сократе, но исключительно при наличии исходных посылок (суждений), т.к. «Сократ смертен» само по себе достаточно неопределённое суждение. Очевидно, что мой пример с 4 не полностью аналогичен силлогизму о Сократе, но к смыслу "тавтологии" имеет прямое отношение. И также очевидно, что не всякие синонимы демонстрируют тавтологичность. Что-то же в тавтологичности мы считаем совпадающим, т.е. одним и тем же нечто. И: для чего это делается (или мыслится)?
Большая Советская Энциклопедия: одна из трактовок - вид плеоназма. Интересно.
Вы мне это объясняете ? Конечно же я различаю смысловые оттенки, за которыми закреплены словосочетания "тавтология в буквальном понимании этого слова" и "неперегоняемость мысли в логический текст", а словосочетание "чистой воды тавтология" употребил исходя из тех соображений, что если я буду использовать в тексте выбранный Вами же термин, то заключённая в этом тексте мысль будет более доступной для Вашего понимания. Вот она, эта мысль :
Я так понял что в стартовом топике этой темы Вы нашли подтверждение той своей мысли, что вся эта мыльная пена, раздутая вокруг силлогизмов, является "чистой воды профанацией" (на этот раз семантическое соответствие является строгим - что я и показал в следующем своём комментарии, призванном исключить из рассуждений терминологические погрешности) - чем и решили со мной поделиться. То есть это не тавтология а банальная терминологическая подмена - из "пустого множества" логических рассуждений раздувается видимость наличия таковых (именно так я понял Ваше "следовательно"). Как следствие, Вы не сможете привести ни одного примера использования силлогизмов в логических обоснованиях (по-моему "алогизм" здесь был бы более удачным терминологическим решением).
В общем я исходил из того, что те выводы к которым я пришёл для Вас тоже являются очевидными, и если я неправильно Вас понял, то думаю Вам следовало бы озвучить свои рассуждения, предшествовавшие появлению Ваших комментариев.
Беру время подумать.
Думаю что тему можно закрывать, и дальнейшим попытаюсь исключить разночтения из своей позиции в сопоставлении её с позицией оппонентов.
По моему субъективному мнению, прежде чем давать термину определение необходимо понять смысл определяемого, и если это условие соблюдается, то определение обречено быть корректным. Согласно же общепринятому взгляду, соблюдение этого условия не является обязательным - то есть понимание смысла определяемого может варьировать в неких пределах и допускать определённую степень произвольности (ссылка), так что каждый волен его интерпретировать "на свой вкус и цвет". В чём и обнаруживаются у меня принципиальное расхождение во взглядах с "историками от философии", из которого вытекает разница в полученных нами результатах и способах их приобретения.
Дальнейший ход мысли я отразил в своём "меморандуме" (ссылка), в том числе привёл в данной теме несколько подкрепляющих эту мысль примеров.
Специально для Спокуса.
Даёте определение термину :
Констатируете следующие факты :
Из соображений удобочитаемости словосочетание "смысл смысла" есть смысл переформулировать так : содержательная нагрузка термина "смысл". Надеюсь, на этом возникшее между нами недоразумение можно считать исчерпанным :
Еще бы! "Смысл есть информация". И обратно, "информация есть смысл". А что такое термин, остаётся в тумане. Какая здесь может быть формальная логика?
И пусть Спокус не упирается, формальной логики здесь нет.
Кто б сомневался :
Никакой - определения терминам с прилегающей верификацией их корректности даются средствами содержательной логики.
Дык а я ему о чём ? Если бы он меня хоть раз послушал, мы бы не толкли четыре года эту воду в ступе :
Никакого другого содержания наша дискуссия не несёт, а он этого никак не может понять - думает что я вкладываю в его слова то чего он не говорил.
Вот, вот.
А, Вы об этом :
Ну-ну. Когда вы уже поймёте, что у вас нет другого выхода кроме игнора. Лучше с Болдачёва берите пример - по-моему он уже начал смутно догадываться о том, что у него в отличии от меня нет принципиальной возможности сколь-либо внятно сформулировать свои контраргументы.
Ничто человеческое мне не чуждо.
Ну тогда хоть попытайтесь употреблять какие-то другие речевые обороты кроме междометий - то есть такие, в которых можно было бы узреть хоть намёк на обоснования.
Разве с формальной логикой я не имею над вами превосходства?
Если говорить конкретно о Вас, то я признаться не заметил за Вами особого интереса к логике как дисциплине - по крайней мере Вы мне не говорили ничего такого, из чего я смог бы прийти к выводам о наличии у Вас такого интереса (мы ведь в числе прочего касались и темы ФЛ, в которой как я заметил Вы не очень-то ориентируетесь). Если же говорить о логике вообще, то формальной я пользуюсь не менее охотно нежели содержательной, поэтому считаю что Ваш вопрос сформулирован некорректно.
Как бы там ни было, меня как Вы уже возможно заметили интересует прежде всего воспроизводимость Вашего хода мысли - чего Вы так тщательно избегаете и как следствие исключаете возможность того, что Ваши аргументы будут выглядеть убедительно даже для Вас. Я же наоборот к этому стремлюсь, поэтому говорить здесь о каком-то Вашем "превосходстве" не представляется для меня возможным.
А что можете предложить мне Вы ? Кроме этого, разумеется :
Ну почему? В данном случае, со своей формальной логикой я на форуме общаюсь по самым разным вопросам. А вы только, уже много месяцев подряд, навязчиво втюхиваете свою выдуманную логику. Ни шагу влево, ни шагу вправо. И до сих пор вашу выдуманную логику никто не понял, и уж тем более не принял. Сколько времени потеряли даром! По крайней мере, на данный момент это можно констатировать. Разве это не свидетельство моего превосходства над вами? На данный момент.
Покажите мне хоть один вопрос, на который Вы получили ответ по итогу хоть одной дискуссии.
Думаю Вам удалось воспроизвести какое-то количество предложенных мною содержательных доказательств - то есть Вы знаете о том что "моя" логика не является "выдуманной". Себя что ли хотите обмануть ?
По-моему это очередной "случай так называемого вранья" - я думаю что все прекрасно всё поняли, а "не приняли" только потому, что очень не любят признавать своих ошибок.
Вы - да.
С учётом предыдущей поправки согласен на все сто.
Если называть "превосходством" нежелание/неумение признавать свои ошибки, то можно конечно сказать и так, хотя я бы предпочёл здесь употребить другой термин - например "стадный инстинкт".
Да хотя бы ваш, этот самый. Другое дело, что вы со мной не согласны. Да, сказать мне больше нечего. Вряд ли и будет еще что сказать. Закончим.
Всех благ.
axby :
Приведу его пожалуй, хоть в этом и нет особой необходимости - так, для проформы, всё-таки ключевой термин.
Общий вид определения термина следующий :
Критерии, на основании которых можно было бы верифицировать его содержательную корректность методом целенаправленного информационного обмена, определяются так :
Собственно, это и есть описание мысленного эксперимента для общего случая верификации содержательной корректности термина. По факту обнаружения пустого множества примеров, удовлетворяющих хоть одному из двух условий, считаем процедуру верификации успешно завершённой, если же множество оказывается непустым - процедура соответственно возвращает "false" в качестве результата информационного обмена.
Вопрос : какое значение возвратила данная процедура верификации содержательной корректности термина ? Ладно, расслабьтесь, он риторический - так, привычка подкреплять свои утверждения примерами на автомате сработала.