115.
Формула тесно связана с экспериментом, также как соответствие тесно связано с инструкцией. Эксперименты собственно и являются инструкциями: ударять по мячу, вызывая ускорения, погружать тело в жидкость, нагревать жидкость, вызвав испарение, освещать тело, вызывая фотоэффект, разогревать вещество в камере Вильсона и т. п.116.
Можно указать три вида экспериментов:1. Наиболее простой эксперимент, при котором воздействие на объект осуществляется без употребления орудий: мять глину, ударить по мячу.
2. Эксперименты с использованием орудий: бросать камешки в воду, сфотографировать модель.
3. Визуальные эксперименты, заключающиеся в наблюдении инструктивного поведения: корова жует траву, листва падает на землю.
117.
Итак, формульное естествознание есть учение об инструкциях, есть количественно выраженное инструктивное поведение. Время привести пример.118.
Физика не чужда аксиоматическому методу и основная аксиома кинематики гласит: «всякое тело, к которому не приложена сила движется равномерно или покоится». Но это же ни что иное, как пересказ инструктивного поведения, согласно которому если объект характеризуется ускорением, то только в связи с некоторым воздействием на объект, если же характеризуется равномерным движением (или покоем), то утверждается, что никакого воздействия нет.В физике ускорением называют приращение скорости за единицу времени, которое однозначно свидетельствует о приложении к объекту некоторой силы. Надо сказать, что силы могут существовать и без свидетельства о них ускорениями. Так мы можем прикладывать силу к горе, намереваясь сдвинуть гору, но, не получив ускорения, не можем рассчитать ее, полагая ее равной 0, хотя сила есть и может быть измерена с помощью динамометра. Физики говорят здесь о равнодействующей, а именно о том, что гора притягивается к Земле, имея огромную массу, сила притяжения огромна, следовательно огромна сила трения, которая много превосходит нашу силу.
Итак, есть сила без ускорения, но нет ускорения без силы. Таким образом формульное соответствие F=ma неделикатно, хотя на первый взгляд все формульные соответствия деликатны.
Итак, ускорение это стимул, указывающий на приложение силы. Движущийся (или покоящийся) объект вступил в соответствие с другим объектом. Ускорение можно рассматривать как стимул к поисковой нацеленности на другой объект. Причем мы можем об этом объекте высказаться– «имеет такую-то силу». Так, из высказывания тело имеет ускорение следует суждение «есть нечто с силой F». Некий объект оказывается предицирован ранее, чем обнаружен. Возможно, это движение мысли является продуктивным.
Но возможно сказать и так: нас не интересует этот некий второй объект, нас интересует то, что к нашему объекту приложено действие, которое мы должны тщательно исследовать. Мы делаем это при помощи соответствий, определенных количественно.
Допустим, мы имеем дело с покоящимся телом, пришедшим в движение. Мы рассчитываем силу, приложенную к телу по формуле:
Мы замечаем, что можем оказывать коррекцию этого воздействия, увеличив (или уменьшив) массу тела. Допустим:
1. Мы повышаем массу и ускорение снизилось.
2. Мы повышаем массу и ускорение осталось неизменным.
3. Мы повышаем массу и ускорение возросло.
Повторю, что силу, работу, мощность я не считаю предикатами некоторого неизвестного нам объекта, а существом этого воздействия, количественным определением инструкции.
Итак, возможно совершенно абстрактное аналитическое отношение к инструкции, которое мы можем охарактеризовать так: существует некоторое воздействие на наш объект, характеризующееся первоначальными значениями силы, работы, мощности. Впоследствии были поставлены эксперименты, давшие результатом то, что, например, при увеличении массы, сила ведет себя парадоксально и ускорение только нарастает. Таким образом:
Мы имеем ускорение 1 м/с для массы 2 кг. и рассчитываем воздействующую на наш объект силу – 2 Ньютона.
Мы увеличиваем массу до 3 кг. и обнаруживаем, что ускорение возросло до 1.5 м/с и таким образом сила воздействия – 4.5Ньютона.
Таким образом мы можем рассматривать массу как корректор, действующий в нашем опыте следующим образом: при увеличении массы тела, сила, воздействующая на наш объект увеличивается.
Далее мы можем приступить к поиску стимулов. Допустим, мы выкрасили наш объект в зеленый цвет и обнаруживаем, что воздействие прекратилось. Цвет окажется стимулом. Подчеркну то, что классическое представление о причине может только повредить нам. Изменив цвет объекта и добившись отмены воздействия мы можем предположить, что предыдущий цвет был причиной воздействия, но, думаю, лучше обойтись без этого предположения. Думаю, лучше ограничиться представлением о том, что наш стимул вызвал интересующую нас реакцию.
В данном случае мы не характеризуем объекты (ни наш объект, ни нечто, что воздействует), а описываем инструктивное поведение, которое дано нам в наиболее общем виде как «воздействие на объект, характеризующееся появлением ускорения». Его можно охарактеризовать с помощью таких соответствий как сила, работа, мощность, указав корректор (масса), стимул (зеленый цвет).
119.
В формульном естествознании мы исследуем, характеризуем инструктивное поведение, выясняя то, что можно назвать характеристическими чертами инструктивного поведения, категориями инструктивного поведения. В результате формульного естествознания мы не формируем суждения (я обладаю мощностью), а говорим, что мощность – соответствие, характеризующее инструктивное поведение, хотя многие могут со мной не согласиться и заявить, что мощность – предикат некоторого субъекта, например, двигателя. Я могу только популяризовать свою точку зрения как сторонники необходимости создавать в данном случае суждения могут популяризовать свою. Я говорю, что мощность есть характеристика некоторого воздействия на объект (в нашем случае, характеризующееся ускорением) при этом для меня не является необходимым представлять себе мощность как предикат некоторого субъекта. Мощность не является с необходимостью предикатом некоторого субъекта (двигателя).120.
Мало что мешает мне рассматривать сложившуюся на настоящий момент физику как теорию воздействия, на настоящий момент подкрепленного стимулами трех типов:1. механического ускорения
2. деформации
3. изменением состава (испарение, фотоэффект)
Эта теория воздействия выражается экспериментами Майкельсона-Морли, Томпсона, Лоренца, Беккереля, Резерфорда, Планка и др., теоретическими обобщениями Ньютона, Эйнштейна. Все это наука количественной характеризации воздействия на объект, теория инструкции, которая имеет физический термин-аналог – эксперимент: инструкции, определенной как количественно определенное соответствие – формульно заданное инструктивное поведение.
Математическая модель инструктивного поведения
121.
Особое значение отныне будет играть представление о двухэлементном множестве В и двоичных переменных, принимающих значения из В. Его элементы часто обозначают 0 и 1. Интерпритация двоичных переменных логическая: «да» – «нет», «истинно» (И) – «ложно». В контексте, содержащем одновременно двоичные и арифметические величины и инструкции, эта интерпритация обычно фиксируется явно: например, в языках программирования вводится специальный тип переменной – логическая переменная, значения которой обозначаются true и false. Алгебра, образованная множеством В вместе со всеми возможными операциями на нем, называется алгеброй логики. Функцией алгебры логики от nеременных называется n-арная операция на В. Логических функций одной переменной – четыре:
Инструктивное поведение f1 таково, что печать осуществляется только в случае, если принтер свободен.
Инструктивное поведение f2 таково, что печать не осуществляется, если принтер свободен и осуществляются попытки напечатать документ, когда принтер занят (например, режим ожидания или переключения на «одно и то же»). Может показаться, что этот процесс абсолютно нерационален, однако это не так. Например, речь может идти о тестировании инструкции печати при занятом принтере или о попытке создать конфликтную ситуацию с человеком, сейчас использующем принтер.
Инструктивное поведение f3 таково, что печать осуществляется если принтер свободен и предпринимаются попытки к печати через режим повторных запросов или переключения на «одно и то же» в случае, если принтер занят.
122.
Наиболее естественный (простой) тип инструкции наличие двух переменных. Речь идет об инструктивном поведении с значащим субъектом.Возьмем инструкцию «обесточить офисное помещение». Для этого мне потребуется сотрудник, который будет этим заниматься. Соответствие сотрудник – офисное помещение, мотивированное инструкцией «обесточить помещение» я назову «ответственный за противопожарную безопасность».
Помещение может быть пустым, или на работе еще остались сотрудники.
Сотрудник может знать или не знать где выключается свет.
Таким образом имеются логические условия – стимулы.
Задам инструктивные поведения:
Инструктивное поведение (1001) таково, что я поручаю «обесточить помещение» сотруднику при условиях, что он знает, где обесточивается свет и именно тогда, когда кто-то еще находится в помещении. Этот процесс возможен например при возгорании.
Инструктивное поведение (1010) таково, что я поручаю обесточить помещение сотруднику, который знает, где обесточивается помещение и только в случае, если все сотрудники закончили работу и разошлись.
123.
Существует абстрактная модель, которую я приведу только теоретически.В этой абстрактной модели существует 16 инструктивных поведений 2 переменных:
Инструктивное поведение f7(х1, х2) называется дизъюнкцией х1 и х2. Оно выполняется, если х1 или х2 равны 1. Это процесс ИЛИ.
Инструктивное поведение f6(х1, х2) это сложение по модулю 2. Оно выполняется, если значения аргументов различны, и не выполняется, когда они равны. Его называют неравнозначностью.
Инструктивное поведение f9(х1, х2) называется эквивалентностью или равнозначностью. Оно выполняется, когда значения его аргументов равны, и не выполняется, когда они различны.
Инструктивное поведение f13(х1, х2) – импликация.
Инструктивное поведение f8(х1, х2) – стрелка Пирса.
Инструктивное поведение f14(х1, х2) – штрих Шеффера.
Остальные процессы специальных названий не имеют и легко выражаются через перечисленные ранее типы инструктивного поведения.
124.
Инструктивное поведение f1: Сотрудник обесточивает помещение только в случае, если помещение пусто и он знает, как это делается.Инструктивное поведение f7: Сотрудник обесточивает помещение в случаях если он знает, как это делается и если помещение пусто, причем каждое из условий оказывается достаточным.
Инструктивное поведение f2: Сотрудник категорически обязывается обесточить помещение в случае, если все разошлись, невзирая ни на что.
Инструктивное поведение f8: Сотрудник обесточивает помещение только в случае если он не знает, как его обесточить и если помещение еще не пусто.
Инструктивное поведение f14: Сотрудник обесточивает помещение во всех случаях, исключая тот при котором он знает как это сделать и помещение еще не освободилось.
И т. д.
125.
Очевидно то, что наиболее естественными и согласными со здравым смыслом выглядят инструктивные поведения коньюнкции и дизьюнкции.126.
Однако возможны виды инструктивного поведения:1. Сотрудник не знает, где выключает свет, но отправляется его выключать в сопровождении товарища.
2. Сотрудник не знает, как выключать свет, но обесточивает его, разбив лампы.
В данном случае явным оказывается попытка интерпритации стимула как корректора.
Характеристики стимулов.
127.
Я много времени уделяю вербальным стимулам, тогда как наша цивилизация все более и более характеризуется созданием невербальных конструкций. Это само по себе может, а на мой взгляд и должно повлиять на философию, поскольку последняя является филологической по своему духу, достаточно вспомнить того же Канта, который определил свою схему чистого рассудка, исходя из форм связи в суждении. «Филологами» были Витгенштейн, французские структуралисты.128.
Огромное на мой взгляд влияние оказал на философов Винер своей нацеленностью на невербальные конструкции. Огромное влияние (во всяком случае на меня, оказал Лиотар, которого я цитировал выше).129.
Абстрактная модель невербальных конструкций (вербальные конструкции могут рассматриваться как частный случай невербальных конструкций) – автомат. Существует так называемая теория автоматов.130.
Возьму примеры автоматов у Винера. У него это то, что называется автоматами Миля – автоматы с обратной связью:«Рассмотрим центральный пост сигнализации на железной дороге. Сигналист управляет рядом рычагов, которые открывают или закрывают семафоры и переводят стрелки. Однако он не может слепо верить, что семафор и стрелки подчинились его приказаниям. Стрелки могли замерзнуть или снег мог согнуть крылья семафоров, и действительное положение стрелок и сигналов – эффекторов сигналиста – может не соответствовать его приказаниям. Во избежание опасностей, неизбежно связанной с такой возможностью, каждый эффектор – стрелка или сигнал семафора– соединяется с контрольными приборами на сигнальном посту, которые сообщают сигналисту о действительном состоянии и работе эффектора. «…» Имеются цепи обратной связи в которых человек совершенно не участвует. Одна из таких цепей – обычный термостат регулирующий систему отопления дома. Термостат настраивается на желаемую температуру помещения, и если действительная температура помещения ниже, то приводится в действие устройство, которое открывает заслонку печи для усиления тяги или увеличивает поступление горючего и тем самым доводит температуру помещения до желаемого уровня. Если же температура помещения превышает желаемый уровень, то выключается тяга либо уменьшается или прекращается поступление горючего. Таким образом температура помещения поддерживается приблизительно на постоянном уровне.»
131.
Все это наиболее примитивные автоматные модели, которые я характеризую как автоматные модели мгновенного реагирования или автоматные модели примитивного реагирования.132.
Современное представление об автомате сложнее, так как предполагает существование протяженного во времени стимула и возможность разрабатывать модели не примитивного реагирования. В программировании это осуществляется при помощи циклов, например циклов while и for.133.
Я говорю «А – работал» полагая тем самым необходимым платить ему заработную плату. В программировании это записывается как условный оператор:
134.
Рассмотрим ситуацию при котором А работает за станком, что является стимулом к тому, чтобы платить ему заработную плату.Я могу привести три модели реализации цикла for, заданного, например для периода времени – 30 дней:
Однако здесь могут быть весьма разные модели.
1. А оплачивают каждый день его работы.
3. Реакция оплаты количественно нарастает в течении месяца и А выплачивают зарплату по истечении месяца.
135.
Цикл while употребляется в ситуациях, которые не могут быть смоделированы при помощи цикла for. Этот цикл удобен для хаотических, вероятностных реакций. Например, такой реакции, как премия.136.
Во всех этих случаях стимул «А работает» оказывается охарактеризован: А проработал день, два, тридцать.137.
Функция характеризации стимула сродни функции коррекции, но отличается заданием. Корректор непосредственно характеризует объект, характеристика стимула характеризует стимул– А работает 10 часов, хотя, впрочем, и оказывает коррекцию. Более этого, характеристика стимула может сыграть также и стимулирующую роль, «обесценив» стимул, который характеризует – А работает из рук вон плохо.138.
Однако возможна не только временная, но и пространственная характеризация стимула. Допустим, стимул «хорошая погода» обесценивается характеризацией «в Сингапуре».139.
Возможна и характеризация при помощи категорий. Так, например, А может отказаться получить протянутый ему заработок, заявив, что это грязные деньги, имеют криминальное происхождение. Так, например, стимул «А-работал» может обесцениваться характеристикой «… потому, что был в долгу».140.
Я рад протянуть руку каким угодно философам, изобретают они девять или двенадцать категорий, считают время ньютоновским или бергсоновским, пространство эвклидовым или римановым, но только в прикладном вопросе характеризации стимулов. Стимул – вот повод выносить суждения и условие, при котором я готов с ними считаться. Только в этом применении я не считаю суждения абсурдом, они приобретают стоимость, вес и мы приобретаем основание к тому, чтобы перейти от модели Протагора к модели Сократа.141.
Я выскажу здесь гипотезу, способную, на мой взгляд заинтересовать программистов. Что я имел в виду когда говорил выше об автоматных стимулах? То, что в современном программировании, и в теории автоматических систем в целом, единственной из категорий мышления, применимых к стимулам, является время (я назову время категорией, хотя кантианец со мной не согласится). Я уже показывал, что цикл есть охарактеризованное логическое условие, стимул. Но, например, категория пространства, не говоря уже о причине и др., никак не отражена в программировании. Теория автоматических систем имеет дело только с актуальным стимулом, доступным эффекторам. Стимулы, использующиеся в программировании просто «есть» без каких бы то ни было дополнительных определений, исключая время. Все стимулы, использующиеся в программе имеют одно место в пространстве. Я же думаю, что теоретически возможно, а, возможно, и перспективно пространственная характеристика стимулов. Так например логическое условие, стимул:If (x›0) then…
может быть записан:
1. if ((x›0) is far («далеко»)) then…
2. if ((x›0) is near («близко»)) then…
по аналогии с записью:
if(А работает is 30 дней)
Подобно тому как if(А работает is 30 дней) задается в виде цикла for возможно изобретение фигур программирования для логических условий, предполагающих пространственную характеристику.