Раскрывает глаза на заблуждения формальной логики (очень важный момент!), пригодится всем, необходим для взаимоотношений реальности\виртуальности (если кто-то собрался моделировать первое с помощью второго), я процитирую (если не возражаете): http://www.dialectical-physics.org/a01/01/ru/a0101ru.htm Закон непротиворечия относителен, закон же противоречия абсолютен, но формальная логика рассматривает закон непротиворечия как закон "правильного" мышления на все случаи жизни, т.е. как абсолютный закон. Закон же противоречия, по которому Вселенная создала человека, она считает законом "неправильного" мышления, мышления ложного. Метафизика не желает признавать, что ее законы ограниченно верны, и не понимает, что чаще всего она не может адекватно отражать в своих понятиях природу объектов и явлений Вселенной, которые следуют законам диалектики. Закон противоречивой структуры Da^Net с переменными Da и Net описывает не только противоречивую структуру объектов мысли, но и связанные с ними динамические процессы. В качестве примера рассмотрим процесс изменения с годами волосяного покрова на голове человека. Наличие волос обозначаем логическим местоимением Da. Такое качество, увы, не вечно. Наступает время, когда поверхность головы может стать абсолютно лысой, что выражаем логическим Net. Диалектические суждения Da и Net в отличие от формальнологических суждений - функции времени: Da(t) и Net(t). Упрощая задачу, полагаем, что голова теряет волосы с постоянной скоростью, тогда функциональное диалектическое Da со значением "волосистость" можно определить мерой da: da(t) = N<sub>0</sub> – v <sup>t</sup> где N<sub>0</sub> - число волос в начале утверждения, v - скорость выпадения волос, при этом N<sub>0</sub> – v <sup>t</sup> >= 0. Если суждение и его меру обозначать одним символом, тогда Da(t) = N<sub>0</sub> – v <sup>t</sup> Мера "неволосистости или лысости" net(t) будет определяться числом потерянных волос, начиная с момента наблюдения: net(t) = v <sup>t</sup> <sub>или</sub> Net(t) = v <sup>t</sup> Исчерпывающее состояние головы представляется диалектическим суждением S =Da^Net с бинарной мерой: Da^Net = S = da + jnet где j - единица потерянного волоса, а обычная единица, единица наличия волос, опущена. Здесь знак суммы "+" означает невыполнимую операцию, которую можно обозначить символом "(+)" Da^Net = da (+) jnet Невыполнимая сумма обычное явление природы. В самом деле, нельзя сложить два яблока и три карандаша. В дальнейшем знак невыполнимой суммы представляем обычным знаком суммы, если нет необходимости подчеркивать невыполнимый характер операции сложения. С годами убывает Da и возрастает Net, наконец, наступает момент времени, когда Da и Net оказываются равными (рис.1): Da(t<sub>s</sub>) = net(t<sub>s</sub>) = N<sub>0</sub> – vt<sub>s</sub> , где t<sub>s</sub> = N<sub>0</sub>/2v Формальная логика, следуя формуле только Da или только Net, требует рассуждать "точно". Поэтому она, например, указывает, что голова одного субъекта покрыта "густыми волосами", а у другого - "лысая", и очень гордится точностью своих "правильных " законов, не знакомых с переменными предметами мысли. Именно, подобная братия, с уровнем математических знаний неполной средней школы и логикой и философией такого же уровня, развалила огромное государство, не сумев его реформировать, когда кризис стал очевиден. Точная оценка состояния головы не может быть логически описана в широком диапазоне свойств по канонам формальной логики только Da-Da, т.е. Da = Da - постоянно или Net-Net, т.е. Net = Net - постоянно. Точный ответ здесь возможен лишь на основе формулы противоречия Da Net, т.е. формулы Da^Net = S = da + jnet , ибо процесс облысения есть движение Рис.1. Диалектика равномерных процессов, определяемая диалектической парой Da^Net
... Формальная схемотехника, следуя формуле только Da или только Net, требует рассуждать "точно". Поэтому она, например, указывает, что на одном выходе установлена логическая "единица", а на другом - "ноль", и очень гордится точностью своих "правильных " законов, не знакомых с переменными предметами мысли. Именно, подобная братия, с уровнем математических знаний неполной средней школы и логикой и философией такого же уровня, отравила окружающую среду, проделала озоновую дыру и устроила глобальное потепление ... >
Формальная логика ничего не рассматривает "на все случаи жизни", она рассматривает только то что поддаётся формальной логике. Если бы был инструмент для рассмотрения "всех случаев жизни" мы давно плавали простветлёнными в нирване.
t не может быть степенью. "невыполнимая операция", на самом деле, вполне выполнима и имеет формальное название, но чтобы это понять надо сначала окончить среднюю школу.
Нельзя объять необъятное. Совершенных мат. моделей нет и не может быть создано. Формальная логика хороша именно своей удивительной простотой, позволяющей сделать очень многое Вряд ли без формальной логики мы бы сейчас разговаривали именно таким образом )
Проповедники диалектики всегда плюют в колодец из которого пьют (доказывая превосходство диалектики над формальной логикой методами формальной логики)? <offtopic> А причины развала, по-моему, далеки от науки. И реформировать сумели. Просто ВСЕМ хорошо не бывает с тех пор, как ВСЕХ стало больше одного </offtopic> ЗЫ странно, что этот топик не в HEAP'е
Топик надо в хип перенести, я сам незнаю почему его сюда приклеил Диалектика исходит из того, что мир и все его формы не являются замкнутыми, они находятся в движении, изменяя свои свойства и сами формы с течением абсолютного времени Природа сама противоречива, и внутрення борьба между этими противоречиями является первичной, аж потом дело за формальной логикой - выделить эти противоречия и назвать своими словами Природу нужно понимать диалектически, но описывать её словами можно только формально, можно говорить, что есть добро и зло, темнота и свет ... можно об этом спорить (что собственно и отражает противоречивую природу ответов и отсутствие взаимопонимания), можно как угодно комбинировать эти формально-бинарные формы на замкнутом пространстве тетрадки или процессора (слаживать два яблока и три карандаша), но наделить внутренней борьбой (по старому в диалектике это "закон борьбы противоположностей") такую модель кто-то знает как? Диалектика старается взаимоисключать противоречия в науке, формальная их плодит с неистовой скоростью (это конечно тоже полезно, никто не спорит), в этом видимо их борьба Возьмите две формы - допустим гидру и например обычную кость и скажите используя формальную логику точно: что из них живое\мертвое? а ведь половина народу бьется над такими пустяками ...
