?

Log in

No account? Create an account
Почему логично пользоваться логикой? - 2 - Warrax's Fence [entries|archive|friends|userinfo]
Darkhon

[ website | Black Fire Pandemonium ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Почему логично пользоваться логикой? - 2 [Jun. 27th, 2017|03:46 am]
Darkhon
[Tags|, ]
[music |Sarcoma Inc. - A Black Shadow Of Creeping Death]

В комментариях к видео Логика: L:04 «Закон достаточного основания» (02.08.2015) мне задали хороший вопрос: а как быть с доказательством того, что лучше логики для мышления ничего нет?
На тытрубе комментарии убогие, для обсуждения не предназначенные, поэтому перешли ко мне в ЖЖ, я ответол, но потом у задавшего вопрос не было времени сразу отписать, затем -- у меня... В общем, поднимаю тему.
Начало здесь:
http://darkhon.livejournal.com/2775776.html

Напоминаю свои последние тезисы:
Во-1, никто не спорит: строго доказать вообще ничего невозможно, начиная с наличия нашего существования.
Во-2, вы забыли про аксиоматику. Вполне нормальная математическая система -- аксиомы, определения, строгие выводы из формул.
Проблема не в том, что "логику надо доказывать" -- это математика, и логик существует множество; суть в, образно говоря, в соответствии логики моделям действительности. Т.е. -- не теоретическая верность, математика -- это абстрактные модели, а применимость на практике. И вот тут мы и получаем именно что рабочую модель: может, когда-то и изобретут что-то более правильное, но покамест вся наука/техника и вообще передача информации наглядно показывает, что сбои по логике ведут к неработоспособности модели.
Т.е. речь об истинности вообще идти не может, неприменимо, а лишь о применении на практике, с чем всё ОК.
Прим.: вы пояснили свою мысль на примере, но вы утверждали, что философы такой вопрос разбирали. Вот тут ссылочки бы -- я не сталкивался.

Ответ здесь, цитирую по сути:
Что вы подразумеваете под достаточным основанием? Какой у него критерий достойности? Это чем то измеряется? Какие значения может принимать эта величина? 1 или 0 или же нет?

Во-1, напомню, что информацию о том, как этот вопрос разбирали философы, я так и не получил. А хотелось бы. С указанием на конкретные труды. Тема-то интересная.

Во-2, по теме. Вопрос о "критерии достойности" означает лишь непонимание темы, увы. Как я уже писал, невозможно абсолютно строго доказать вообще ничего -- поскольку вопрос "а на каком основании?" можно последовательно задавать ad nauseam.
Суть в другом (и это разжёвывалось в лекции): что если мы вообще отвергнем закон о достаточном основании, то осмысливать и передавать информацию станет попросту невозможным, всё будет забито шумом вида "а мне так кажется/хочется". Т.е. без достаточного основания -- никуда. Мы не можем доказать истинность тезиса о необходимости закона достаточного основания -- может, потом кто-либо сформулирует более удачные базовые положения логики, например, -- но то, что без него никак -- ясно, и он является рабочей гипотезой, которая настолько отлично работает, что по сути является чуть ли не универсальное аксиомой мышления.
Понимание формальной недоказанности закона никак не мешает его использованию. Скажем, что такое пространство, время, энергия -- мы вообще слабо понимаем, просто не можем мыслить без использования этих понятий. Вот и без закона достаточного основания мыслить тоже не представляется возможным, поскольку любой силлологизм уже должен быть "на достаточном основании", причём ещё на стадии формулировки задачи.
Обращаю внимание: ровно то же можно сказать и о других законах. Скажем, закон тождества нужен именно потому, что без него мыслить невозможно: ежели объект не эквивалентен самому себе, то никакие обсуждения невозможны, так как объект попросту не определён. При этом имеются очень интересные парадоксы -- эквивалентен ли объект-в-настоящем самому себе в прошлом и будущем или как? И вообще: объект всегда существует лишь в настоящем времени, не так ли? Но всегда прошлое уже осталось в прошлом, его уже нет, а будущего ещё нет -- просто по определению терминов. А когда же существует настоящее-то? Получается, что его продолжительность равна нулю; что, в свою очередь, означает, что настоящего не существует вообще.
Очень хорошая иллюстрация несовершенства нашей модели действительности. Что никак не означает, что надо отказываться от закона тождества или считать его неверным, пока он не доказан. И я сейчас набираю текст на том же компе, что и пять минут назад, хотя там какие-то частицы куда-то переместились -- просто потому, что иначе получаем бред. Достаточным основанием принятия для базы мышления законов логики является именно что тезис "иначе это бред получается".
Как говорилось в лекции, логикой надо пользоваться не потому, что-де она -- Истина, а потому, что ничего лучше для мышления не придумано. Придумают -- будет целесообразно пользоваться "новой суперлогикой". Но пока всё держится на старичке Аристотеле.
Для профилактики (потом дополнение к лекции сделаю): про квантовую механику не надо, если кто-либо считает, что-де там "нарушается причинность", то он ничего в ней ничего не понимает.

Однако заданные вопросы -- правильные, над ними мало кто задумывается.
Начнём с "0 или 1". Здесь налицо непонимание скептического подхода, естественного для научной методологии. "Бытовое" восприятие, увы, чаще всего основано на вере -- т.е. либо 0, либо 1.
Давайте возьмём наглядный пример, не столь абстрактный, как логика: хирургию. У каждого врача-хирурга в профессиональной деятельности имеется множество случаев, когда приходится делать выбор "надо резать или не надо" (а ещё и "что именно отрезать" и проч., но это уже совсем другая история). Понятно, что есть случаи, когда наглядно видно: "гангрену отрезаем" или "а эти прыщики просто лекарством помажем, и всё пройдёт", но имеется и множество случаев, когда не всё очевидно, при этом приходится учитывать множество факторов. Как делает выбор хирург? Он -- на основании своих знаний и опыта -- принимает решение, резать сейчас или нет. И понимает, что может ошибиться.
То же самое при любом достаточно сложном рассуждении, имеющем отношение к действительности -- от "дать в морду или не дать" и до теории струн. Можно, конечно, сказать, что раз решение "сделать так" принято -- то это типа "1", а если отвергнуто -- то "0", но это не верно: скажем, можно долго мучаться в ситуации 50/50 и принять решение вида "брошу монетку, орёл или решка". В такой ситуации основанием выбора между двумя решениями будет именно что "выпала решка/орёл". Это, разумеется, не означает, что такой способ универсальный и бросание монеты -- достаточное основание для принятия решений вообще; но в подобной ситуации, когда решения равнозначны, а решение надо принимать сейчас же, -- вполне. При этом понятно, что достаточное основание -- это очень субъективное понятие. Кому-то требуется самому проверить экспериментально, кому-то достаточно "по телевизору сказали". То есть:
во-1, "достаточное решение" -- это НЕ числовой параметр;
во-2, определение достаточности -- субъективно, и не имеет каких-либо критериев.
Однако мы говорим о базе мышления, и понятно, что, несмотря на субъективность, стремиться надо к минимизации влияния частного мнения. На примере хирурга -- ведь было бы здорово, если бы была некая теория, которая позволяла бы со 100% точностью принимать решение "тут ещё терапией поможем, а тут -- только резать", не так ли? Но к этому можно только стремиться.
Или, вспоминая известную историческую байку на тему "а почему в вашей научной теории нет бога?": "-- Сир, я уже не нуждаюсь в этой гипотезе" -- критерии, которые были достаточными пару веков назад, уже недостаточны в наше время. Убедительные доводы для умственно отсталого будут полной чушью для интеллектуала. Могут играть роль психологические факторы -- скажем, для многих, в том числе формально интеллектуально развитых, вера в бога -- это что-то типа "мне так комфортнее, поэтому в теме я вообще копаться не буду, буду верить" -- для них это именно достаточное основание. Или взять тех же креационистов -- мало того, что они ни разу не понимают современную теорию эволюции и вечно путают эволюцию с абиогенезом, они не в состоянии понять, что, если даже современные эволюционисты ни разу не правы, то это никак не доказывает, что правы они -- теорию "это бог всё создал!" тоже надо доказать. Et cetera.
Но суть -- именно в том, что:
1) недоразвитость мышления и психики -- это фигово, но даже с такой кривизной без хоть какого-то основания -- никуда, хотя для более развитых оно, понятно, достаточным не будет;
2) при всей субъективности критериев -- есть, скажем так, коллективно-субъективные, которые проще называть научным методом, который проверен и в теории, и на практике бессчётное количество раз: ВСЯ наука пользуется этой методологией, и ВСЯ техника использовала её при разработке.
Резюме: "достаточностьоснования" необходима для любых рассуждений и мышления как такового, при этом естественным образом происходит постепенная минимизация субъективности по мере развития науки.

Примечание. Подобные проблемы возникают обычно из-за непонимания того, что модель и объект действительности -- это одно и то же (См. лекцию L:06 «Модель и когнитивное поле» (28.06.2016)). Мол, если в формальной логике всё можно расписать через 0 и 1 строго по функциям, то и в применении к действительности -- так и будет.

Вспомнился эпиграф к замечательной книге В.И.Савченко "Открытие себя":
Относительность знаний — великая вещь. Утверждение «2 плюс 2 равно 13» относительно ближе к истине, чем «2 плюс 2 равно 41». Можно даже сказать, что переход к первому от второго есть проявление творческой зрелости, научного мужества и неслыханный прогресс науки — если не знать, что 2 плюс 2 равно четырем.
В арифметике мы это знаем, но ликовать рано. Например, в физике 2 плюс 2 оказывается меньше четырех — на дефект массы. А в таких тонких науках, как социология или этика, — так там не то что 2 плюс 2, но даже 1 плюс 1 — это то ли будущая семья, то ли сговор с целью ограбления банка.


linkReply

Comments:
[User Picture]From: darkhon
2017-06-27 04:26 am (UTC)
Примечание на потом, когда буду вместе сводить.
Почему возникает вопрос верности закона достаточного основания, но не первых трёх? (я не про конкретно собеседника, в общем виде).
Всё просто: общечеловек привык считать достаточным основанием "я так считаю, и этого достаточно". Мол, это просто моя точка зрения, и доказывать её не надо. Полная либерастия и постмодернизм.
Уровень абстракции, когда надо понимать, что _даже это_ -- тоже субъективное достаточное основание, попросту недоступен.
При этом нет понимания того, что математика, включая формальную логику, -- это даже не наука, а язык науки. Без которого наука невозможна, но тем не менее. Стандартное понимание сложения -- это "яблоко плюс яблоко будет два яблока", а вовсе не математические функции и теория чисел.
(Reply) (Thread)