Формальное понимание долга: объяснение понятия на конкретных примерах

Что такое формализация с научной точки зрения в общем понимании?

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

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

Как уже нетрудно догадаться, суть формализации сводится к тому, чтобы описать или предопределить некие свойства объекта или процесса (даже не существующего на данный момент) и спрогнозировать его применение в случае появления в реальном мире. Но это общее представление. Само понятие формализации куда шире. Для начала остановимся на компьютерных технологиях, рассмотрим, как в мире электронники применяется данное понятие.

Компьютерная формализация

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

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

Вспомните фильм «Послезавтра», в котором ученый предсказал глобальное потепление, исходя именно из такой методики. У него была разработана компьютерная модель, позволявшая с определенной долей вероятности предсказать дальнейшие события.

Данные примеры доступно объясняют, что такое формализация.

Принципы моделирования объектов и процессов

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

Если посмотреть на виды формализации, практически все они сводятся только к логическим умозаключениям и вычислениям. Читателю не составит труда провести параллель между компьютерным моделированием, доказательством теорем и т. д. на основе аксиом и постулатов.

Посмотрите, ведь та же теория относительности Эйнштейна тоже может быть трактована как метод формализации, ведь на практике проверить доказательство не представляется возможным. В частности это касается константы распространения света, замедления времени на пороге ее достижения, увеличения гравитационной массы объекта и искривления пространства. Руками, как говорится, это не пощупаешь и глазами не увидишь.

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

Этапы формализации

Если рассматривать компьютерные системы, то первым этапом формализации является описание процесса. Но здесь не используются инструменты обычного языка (буквы, слова, словосочетания, предложения). Создать определенную математическую модель можно только с использованием некоего алгоритма на основе выбранного языка программирования, но только после постановки общей задачи.

Иными словами, при моделировании поведения объекта или процесса суть происходящего нужно описать чисто математическими символами, применив математический алгоритм.

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

Далее следует концептуализация поставленной задачи. Здесь есть два варианта: в первом случае это определение подхода в виде использования атрибутов и признаков; второй вариант подразумевает применение когнитивного анализа, не говоря уже о постановке задачи, сбора начально используемых данных, условий и т. д.

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

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

Зачем все это нужно?

Если разобраться, такие принципы позволяют производить анализ поведения объектов и процессов. Иными словами, можно предугадать, как будет развиваться тот или иной процесс.

Теперь уже понятно, что такое формализация. Давайте рассмотрим простейший пример.

формали́зм

1. соблюдение внешней формы в чём-либо в ущерб существу дела, формальное отношение к чему-либо  В области права формализм выражается предпочтением буквы закона смыслу его. Горький, «О формализме»  Заводское дело — дело живое, и в мертвящий формализм оно трудно укладывается. Крылов, «Мои воспоминания»

2. филос. идеалистическое направление в логике, искусствоведении и других науках, придающее значение только форме в полном отрыве от идейного содержания

Что такое формализм

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

Условия возникновения формализма

Появление формализма связано с определенными общественными условиями, которые приводили к возникновению в рамках той или иной социальной группы определенной психологической установки. В результате искусство жизни, реальные интересы людей противопоставлялись практической деятельности.

Формализм в различных областях деятельности человека

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

Человеческие отношения, основанные на формализме, предполагают безоговорочное следование этикету, выполнение всех принятых ритуалов, обрядов, вне зависимости от того, будет ли это в данной ситуации выглядеть нелепо, комично или, наоборот, драматично. Соблюдение формальностей в данном случае является приоритетным по отношению к отношениям между людьми и личным интересам. Данный аспект позволяет лучше понять, что такое формализм, формальное понимание.

Можно сказать, что формализм является неотъемлемой частью такой области, как социальное управление. Его основные проявления – это бюрократизм, буквальное следование букве закона и отрицание его смысла и духа.

Формализм в искусстве

В этой области проявление формализма представляет собой фактический отрыв художественной формы от содержания. Форма в этом случае выступает в качестве единственно ценного элемента искусства. Фактически создание произведений искусства становится банальным формотворчеством.

Следует отметить, что такой формализм в искусстве начал проявляться уже в академическом направлении в XIX веке. Наибольшее распространение он получил в ХХ веке в буржуазном искусстве. Эти тенденции можно легко обнаружить в кубизме, кубофутуризме, дадаизме, леттризме, абстрактном искусстве, поп-арте и оп-арте, антитеатре и театре абсурда. Историки искусства считают, что формализм – такое проявление кризиса буржуазного сознания.

В этот период теоретики искусства старательно пытаются обосновать формалистический подход. При этом искусство начинают подавать как «игру формы». Его пытаются представить как способ, позволяющий создавать «чистые» эстетические ценности, которые никак не связаны с нравственным, политическим, жизненно практическим содержанием.

Марксистско-ленинская эстетика и литературная художественная критика выступали против различных проявлений формализма – эстетизма, теории и практики так называемого чистого искусства, искусства для искусства. Акцент делался на то, что формализм, пренебрегающий содержанием, исключает возможность социальной активности искусства, становясь формальным, искусство не только не может оказывать влияние на людей, но и теряет всю свою художественную ценность.

Формализм в математике

В основаниях математики выделяют четыре основных направления – эффективизм, интуиционизм, логицизм и формализм. Основоположник последнего – Д. Гильберт. Им была поставлена задача, относящаяся к обоснованиям математики, которая получила название программы Гильберта.

Во-первых, значительную часть математических абстрактных объектов следует рассматривать в качестве идеальных конструкций, для которых отсутствует точная интерпретация во внешнем мире. Они являются своего рода интеллектуальными орудиями, которые используют, работая с реальными объектами.

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

В-третьих, вводится понятие математического формализма – частного случая реальных объектов. Именно с ними должна работать математика, используя максимально простые (финитные) методы.

В процессе развития наблюдалось сближение формализма и логицизма, которые в настоящее время часто рассматриваются как одно направление. Несмотря на это, можно выделить методологические отличия, которые разделяют формализм и логицизм, а также формализм и наивный платонизм.

Формальное понимание долга

Данное определение исходит из предыдущего и подразумевает под собой:

  1. Соблюдение внешних атрибутов чего-либо.
  2. Противоречие государственного закона и моральных ценностей.
  3. Усложнение деятельности из-за соблюдения формальности.

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

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

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

Применение формализации на практике, простейшие примеры

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

Формализация позволяет при заранее заданных характеристиках будущего летательного аппарата (сопротивления воздуха, бокового ветра, высоты и параметров самой аэродинамической трубы и остальных характеристик) смоделировать полет без постройки модели самолета.

Еще одним примером можно назвать тестирование новых машин, проводимое автомобильными концернами. Основной метод формализации в данном случае заключается в том, что сначала все они проходят виртуальный тест, а после получения положительных результатов опытные образцы запускаются в производство для тестирования в реальных условиях.

Основные результаты

Результат математического моделирования во многом (если не на все сто процентов, то с вероятностью до 95%) может стать весомым аргументом в пользу выпуска современной техники, поможет предсказать погоду, даже спрогнозировать общественное поведение как реакцию на события в мире.

Да-да! Формирование общественного мнения в мире тоже подчиняется своим собственным законам. Достаточно воздействовать на него в нужнои направлении. Сегодня уже создано немало программ, позволяющих спрогнозировать реакцию общества на то или иное событие. И это далеко не все примеры формализации. Если копнуть глубже, мы с этим сталкиваемся каждый день.

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

Связанные понятия

Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются…
Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом…
Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell’s Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.

Упоминания в литературе

Что касается методов, характерных для теоретического исследования, выделим следующие. Формализация – это построение абстрактно – математических моделей, когда рассуждения о предмете переносятся в плоскость оперирования со знаками (формами), тогда производится вывод новых форм по правилам логики и математики. При аксиоматическом методе производится логический вывод на основе каких-либо заранее принятых без доказательства аксиом. Так была построена вся геометрия Евклида и даже «Этика» Спинозы. В развитой науке аксиомы предлагаются как некоторая предполагаемая к исследованию система отношений, отвлеченных от их носителя и исследуемых аппаратом математической логики. Возможности этих методов также не безграничны (как это казалось до середины 30-х годов, когда была открыта знаменитая теорема Геделя). В науках, так или иначе имеющих эмпирическую основу, более эффективным является гипотетико-дедуктивный метод. Сущность его – в создании системы связанных между собой гипотез, из которой дедуктивным образом выводятся эмпирически проверяемые (и тем самым свидетельствующие об истинности общей теории) следствия. Этим путем шло развитие и подтверждение теории относительности, а анализ определенных следствий из нее задал целые направления современной науки.

В. Г. Торосян, Концепции современного естествознания
В системе языка существует ряд подсистем. К таковым мы можем отнести функционально-семантические поля, которые обладают структурированностью своих элементов с общим содержанием. Функционально-семантическое поле – это своего рода лингвистическая модель, совокупность одно-или разноуровневых элементов языка, объединенных общностью семантики, отличающаяся своим неформализованным характером. В этой связи под формализацией мы понимаем «способ выражения содержания совокупности знаний через определенную форму – знаки искусственного языка. Наиболее значимой разновидностью формализации является логическая форма, которая означает выражение мысленного содержания посредством логических форм» (Новейший философский словарь 2003).

А. В. Аверина, Поле эпистемической модальности в пространстве текста, 2011
Восприняв этот антикартезианский и антипсихологический подход к языку, аналитические философы вместе с тем взяли у Фреге и созданную им концепцию языка и модель «язык-мир». Созданный Фреге искусственный язык не просто кардинально расширил возможности логической формализации мыслительных операций и мыслительного содержания, но и представил в ясном и четком виде определенные механизмы функционирования любого языка. Это сделало язык в чем-то более понятным и в то же время стимулировало философов к применению аналогичных формально-логических языков для анализа структуры человеческого знания и описания онтологической структуры мира. Не учитывая этого обстоятельства, очень трудно понять, как происходило развитие представлений о связи между языком и миром в рамках аналитической философии, которое в основном состояло или в уточнении и модификации предложенной Фреге модели в целях ее лучшей адаптации к решению онтологических проблем, или в ее преодолении и замене более адекватной моделью, но в любом случае она служила отправной точкой.

Л. Б. Макеева, Язык, онтология и реализм, 2011
В отличие от модели, которая, чтобы стать из безответственного высказывания по поводу объекта истинной моделью этого объекта, нуждается в верификации, теория в принципе не может быть проверена в эксперименте. Модель (во всяком случае, знаковая или логическая, построенная из воображаемых элементов), как правило, полностью подается формализации и операционализации. К теории это не относится. Но зато «…зрелая теория представляет собой не просто сумму связанных между собой знаний, но и содержит определенный механизм построения знания, внутреннего развертывания теоретического содержания, воплощает некоторую программу исследования; все это и создает целостность теории как единой системы знания» (Швырев, 1983, с.677).

А. А. Леонтьев, Основы психолингвистики, 1997
Математический эталон научности. Исторически первой наукой, выступившей в качестве эталона научности, явилась математика. Истоки этой традиции восходят еще к античности. В эпоху античности математическое знание считалось образцом научности, поскольку оно обладает такими свойствами, как всеобщность, необходимость и достоверность – свойствами идеально научного знания. Математическое знание, согласно античной традиции, является выражением такого вида знания, как «эпистема», и противопоставлялось мнению («докса») как недостоверному знанию – знанию о единичных предметах. Факторы, придающие математическому знанию свойства всеобщности, аподиктичности (логической необходимости) и достоверности, согласно античным мыслителям, заключены в логическом аппарате, применяемом для обоснования знания. Обоснованность истины достигается такими средствами логического доказательства, как структура умозаключений, правила дедуктивного вывода, аксиоматизация, непротиворечивость (соответствие выводов основным посылкам, выраженным в аксиомах), позже – формализация, позволяющая добиться большей четкости и точности знаний. Но эти средства составляют суть математического знания, поэтому со времен античности считалось, что математика воплощает идею «чистого» доказательства.

Я. С. Полякова, Общие проблемы философии науки, 2011

Связанные понятия (продолжение)

Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Семанти́ческий механи́зм рассужде́ний (англ. semantic reasoner), семанти́ческая машина формирования рассуждений (англ. reasoning engine) или движо́к пра́вил (англ. rules engine) — это часть программного обеспечения, способная вывести логические умозаключения (англ. Logical consequence) из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно…
Гипотеза о языке мышления (Language of thought hypothesis), предложенная американским философом Джерри Фодором, утверждает, что все мысли представлены в виде языка, в котором определяются связи между простыми компонентами мысли или концептами. Согласно этой гипотезе, такой язык должен быть врожденным и универсальным для всех людей. Сам Джерри Фодор называет этот язык «ментализом».
Язык тернарного описания (ЯТО) — формальная логическая система и соответствующее ей математическое исчисление, разработанные А. И. Уёмовым и его школой как вариант неклассической логики на базе категорий вещь, свойство, отношение и определённое, неопределённое, произвольное. ЯТО чаще всего используется как формальный аппарат параметрической общей теории систем, но сфера его применения выходит далеко за её рамки. Поскольку ЯТО является логической системой, областью его интерпретации могут быть любые…
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
«Логические исследования» (нем. Logische Untersuchungen, 1900, 1901) — философское сочинение Э. Гуссерля. Хотя в «Логических исследованиях» ещё не развёрнуты все характерные для феноменологии темы, это — исходная для феноменологического движения работа, о которой сам Гуссерль сказал позднее, что она стала для него «произведением прорыва».
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Зна́ние — результат процесса познавательной деятельности. Обычно под знанием подразумевают только тот результат познания, который может быть логически или фактически обоснован и допускает эмпирическую или практическую проверку. То есть, говоря о знании, мы чаще всего имеем в виду отражение действительности в мышлении человека.
Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке.
Описательные ло́гики или дескрипцио́нные ло́гики(сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что…
Подробнее: Дескрипционная логика
Минимали́стская програ́мма — лингвистическая теория, предложенная американским лингвистом Н. Хомским для объяснения тех языковых феноменов, механизмы которых не были прояснены полностью в рамках теории принципов и параметров. Сама Минималистская программа содержит ряд сильных утверждений, касающихся универсальной грамматики, а также некоторые гипотезы об устройстве когнитивной системы в связи с врождённой языковой способностью. Главным методологическим принципом Минималистской программы является…
Конвенционали́зм (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана…
Абстра́кция (лат. abstractio — отвлечение) — теоретическое обобщение как результат абстрагирования.
Ана́лиз (др.-греч. ἀνάλυσις «разложение, расчленение») — в философии, в противоположность синтезу, анализом называют логический приём определения понятия, когда данное понятие раскладывают по признакам на составные части, чтобы таким образом сделать познание его ясным в полном его объёме.
Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод…
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
О́бщая сема́нтика (англ. General Semantics, фр. sémantique от греч. σημαντικός — обозначающий) — эмпирическая дисциплина, представляющая собой систематическую методологию по исследованию того, как люди взаимодействуют с миром, реагируют на мир, реагируют на собственные реакции и реакции других людей и, соответственно, каким образом они изменяют своё поведение. Общая семантика основана Альфредом Коржибским в 1920-е — 1930-е годы. Общая семантика и семантика представляют собой отдельные дисциплины…
Универсальная грамматика — термин, которым в ряде лингвистических теорий обозначается предполагаемый набор правил или принципов, присущих каждому человеческому языку. Подобные правила не определяют язык полностью: они допускают значительную вариантность, но ограничивают её некоторыми конечными рамками. В современной когнитивной науке универсальная грамматика понимается как встроенное на генетическом уровне знание о языке.
Рациона́льность (от лат. ratio — разум) — термин, в самом широком смысле означающий разумность, осмысленность, противоположность иррациональности. В более специальном смысле — характеристика знания с точки зрения его соответствия некоторым принципам мышления. Использование этого термина часто связано с вниманием к различиям в таких принципах, поэтому принято говорить о различных типах рациональности.
Темпоральная логика (англ. temporal (от лат. tempus) logic) — это логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.
Системно-функциональная лингвистика (СФЛ) — это подход к лингвистике, рассматривающий язык как социальную семиотическую систему. Данный подход был разработан Майклом Халлидеем, который перенял понятие системы от своего учителя, Дж. Р. Ферса. В то время как Ферс считал, что системы ссылались на возможности, подчиненные структуре, Халлидей в некотором смысле «освободил» сферу выбора от структуры и сделал выбор основополагающим понятием своей теории. Другими словами, в то время как многие подходы к…
Натурали́зм (фр. naturalisme; от лат. naturalis — природный, естественный) — философское направление, которое рассматривает природу как универсальный принцип объяснения всего сущего, причём часто открыто включает в понятие «природа», также дух и духовные творения; биологическое мировоззрение XIX века.
Сравнение в ряде социальных наук (психологии, социологии и др.) и в философии— 1) научно-философский метод, направленный на способ познания единичного, особенного и всеобщего; играет роль в познании движения и изменения вещей, а также в раскрытии причин отдельных явлений; является способом классификации и систематизации предметов и явлений, необходимой составляющей любого умозаключения, одним из средств доказательства 2) предмет исследования конкретных дисциплин (в логике, лингвистике, психологии…
Квантитати́вная лингви́стика (англ. quantitative linguistics) — это раздел общей лингвистики и, в частности, математической лингвистики. Квантитативная лингвистика (КЛ) исследует язык при помощи статистических методов; её конечная цель — сформулировать законы, по которым функционирует язык и, в конечном счете, построить общую теорию языка в виде совокупности взаимосвязанных законов функционирования языков:1-16 Специально для этой цели была создана синергетическая лингвистика (Synergetic linguistics…
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Верифика́ция (от лат. verum «истинный» + facere «делать») в различных сферах деятельности человека может подразумевать…
Тео́рия (греч. θεωρία «рассмотрение, исследование») — учение, система научного знания, описывающая и объясняющая некоторую совокупность явлений и сводящая открытые в данной области закономерные связи к единому объединяющему началу. Представляет собой наиболее глубокое и системное знание о необходимых сторонах, связях исследуемого, его сущности и закономерностях. Знания о закономерностях исследуемого в теории являются логически непротиворечивыми и основанными на каком-либо едином, объединяющем начале…
Принцип единства исторического и логического — это принцип развития, включающего в себя процесс становления законов соответствующей области.
Информа́ция (от лат. informātiō «разъяснение, представление, понятие о чём-либо» ← informare «придавать вид, форму, обучать; мыслить, воображать») — сведения независимо от формы их представления.
Анало́гия (др.-греч. ἀναλογία «пропорция, соответствие, соразмерность») — подобие, равенство отношений; сходство предметов, явлений, процессов, величин и т. п. в каких-либо свойствах, а также познание путём сравнения, например…
Две догмы эмпиризма (англ. Two Dogmas of Empiricism) — одна из основополагающих работ аналитической философии, написанная Уиллардом Куайном в 1951, содержавшей критику ряда основополагающих неопозитивистских идей, усилило в США интерес к новым тенденциям в аналитической философии, привнесло в последнюю элементы прагматизма.
Матема́тика (др.-греч. μᾰθημᾰτικά

Философия науки — раздел философии, изучающий понятие, границы и методологию науки. Также существуют более специальные разделы философии науки, например философия математики, философия физики, философия химии, философия биологии, философия медицины, философия психологии.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
«Синтакси́ческие структу́ры» (англ. Syntactic Structures) — лингвистическая работа, выпущенная Н. Хомским в 1957 году. Наряду с другими работами Н. Хомского, книга заложила основы теории порождающих грамматик и теории формальных языков. Год выхода работы в свет принято считать отправной точкой генеративной лингвистики:311. Выход в свет «Синтаксических структур» привёл к возникновению когнитивной науки:15.
Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Диску́рс, или ди́скурс (от позднелат. discursus — рассуждение, довод; изначально — беготня, суета, манёвр, круговорот; и лишь иносказательно, в одном из значений — беседа, разговор), в общем смысле — речь, процессы языковой деятельности и предполагающие их системы понятий.
Методоло́гия (от греч. μεθοδολογία — учение о способах; от др.-греч. μέθοδος из μετά- + ὁδός, букв. «путь вслед за чем-либо» и др.-греч. λόγος — мысль, причина) — учение о методах, способах и стратегиях исследования предмета.
Порожда́ющая сема́нтика, генерати́вная семантика — одно из направлений в теории трансформационных порождающих грамматик, ставившее целью построить модель языка по схеме «от значения к тексту» и «от текста к значению». Представляла собой частный метод грамматического описания.
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений. В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
Интерпрета́ция — теоретико-познавательная категория; метод научного познания, направленный на понимание внутреннего содержания интерпретируемого объекта через изучение его внешних проявлений (знаков, символов, жестов, звуков и др.). Интерпретация занимает центральное место в методологии гуманитарных наук, где процедура выявления смысла и значения изучаемого объекта является основной стратегией исследователя.
Интенциона́льность (от лат. intentio «намерение») — понятие в философии, означающее центральное свойство человеческого сознания: быть направленным на некоторый предмет.
Сема́нтика (от др.-греч. σημαντικός «обозначающий») — раздел лингвистики, изучающий смысловое значение единиц языка.

Упоминания в литературе (продолжение)

В современном мышлении, согласно М. Фуко, новые методы интерпретации начинают соседствовать (и соперничать) с новыми методами формализации: первые – с претензией заставить язык говорить из его собственных глубин, приблизиться к тому, что говорится в нем, но без его участия (герменевтический и феноменологический подход); вторые – с претензией контролировать всякий возможный язык, обуздывая его посредством закона, определяющего то, что возможно сказать (структуральный и математический подход). Интерпретация и формализация становятся двумя основными формами анализа, направленными, соответственно, на исследование плана содержания и плана выражения, означаемого и означающего. На этой же волне возникает тема соотношения языка и сознания, а также языка и бессознательного. Этим, по Фуко, объясняется двунаправленное движение начала XX века и к формализму мысли, и к открытию бессознательного – к Расселу и Фрейду. «Этим объясняется также и тяга обоих направлений к сближению и взаимопересечению: например, стремление выявить чистые формы, которые еще до каких-либо содержаний налагаются на бессознательное, или же попытки дискурсивно выразить почву опыта, смысл бытия, жизненный горизонт всего нашего познания. Именно здесь структурализм и феноменология с их несхожими структурами обретают общее пространство, определяющее их общее место» [Там же: 323].

В. В. Фещенко, Лаборатория логоса. Языковой эксперимент в авангардном творчестве, 2009
Они характеризуются многозначностью, гибкостью, неточностью, образностью и иными характеристиками, которые показывают открытость системы языка, возможность постоянного приобретения новых смыслов. Искусственные языки представляют собой следующий этап формализации, возникающий при попытке более точного, строго выражения значения, исключения возможности неоднозначного понимания. Это достигается использованием специальной символики, где каждый символ строго однозначен. При формализации рассуждения о предметах и явлениях переносятся в плоскость оперирования со знаками (формулами). Однако «даже в наиболее точных, наиболее разработанных областях науки применение обычного языка остается наиболее ценным из вспомогательных средств выражения мысли»[17].

Н. И. Шельнова, Культурология. Учебное пособие для вузов, 2009
Так что изучение любых физических и других реальных процессов идет по пути постепенного введения все более четких и точных понятий, определений, выделения допущений, гипотез и математизации, то есть формализации. Введение допущений, использование их при построении моделей с указанием, в каких условиях они описывают данное явление или изучаемые объекты, есть начало формализации, а использование математического аппарата – это формализация изучаемого объекта. Формализация позволяет человеку изучать объекты, процессы, с одной стороны, почти не обращаясь к этому объекту или процессу, и, с другой стороны, правильно ставить эксперимент, определить, какие параметры требуется измерять.

В. Б. Живетин, Эгодиагностические риски (системная медицина), 2009
Вместе с тем, рассмотренные проблемы доказательств поднимают вопросы необходимости формализации представлений и описаний различных предметных областей. Однако такая возможность есть далеко не всегда. Значит, надо исследовать возможности обработки менее формализованной информации или альтернативных моделей представления данных и знаний, что также развивается в миварном подходе. Миварный подход позволяет работать с различными формами представления данных и правил (знаний), включая и работу с бесконечными описаниями сущностей – вещей, отношений и свойств в миварном многомерном динамическом информационном пространстве унифицированного представления данных и правил (знаний).

О. О. Варламов, Мивары: 25 лет создания искусственного интеллекта
формализацию, которая дает возможность сравнивать, сопоставлять политические явления и целые политические системы по сходным параметрам их существования для выявления различия и сходства, использовать математический аппарат, позволяющий выявить многообразие компонентов, связей, тенденций политической жизни. Методы эмпирического познания являются средствами и способами получения новых знаний о конкретных политических явлениях.

С. А. Князева, Политология. Шпаргалки, 2012
В приведенных определениях, во-первых, отражается компромиссное отношение к соотношению таких понятий как «модель» и «теория»: понятие «модель» нередко отожествляется с понятием «теория», как обобщение и формализация основных теоретических положений; во-вторых, понятие «модель» понимается как метод познания и модель (идеальная и материальная), как система конструирования определенных качеств, востребованных практикой социальной работы; в-третьих, понятие «модель» рассматривается как способ получения новой информации об изучаемом объекте и предмете научного познания.

Л. В. Топчий, Методологические проблемы теории социальной работы, 2015
Таким образом, предмет исследования виталики должен быть тот же, что и основной исходный фактический предмет исследования кибернетики – объяснение и моделирование живого, т. е. существования, эволюции, поведения, восприятия и мышления живых организмов. Метод исследования должен быть принципиально иным и состоять не в выделении подобия живых и не живых систем, а в выяснении основополагающих особенностей живого, его специфики и в определении различий между живым и неживым. В метод исследования должен включаться и поиск возможности формализации этих особенностей и их реализации в искусственных системах на уровне как существующего, так и нового физического знания.

Александр Шамис, Виталика. Проблемы моделирования жизни и разума
Некоторые различия наблюдаются и в применении математической формализации в обоих подходах. Оба они широко используют математический аппарат для формализации описаний, однако в теории динамических систем формализация направлена на описание поведения (например, динамика изменений от шага к бегу), тогда как в коннекционизме формализуется архитектура и функции научения на уровне ментальных репрезентаций.

Коллектив авторов, Принцип развития в современной психологии, 2016
Контент-анализ в настоящее время используется в исследовательских практиках самого разного свойства – от психотерапии до маркетинга. Б. Берельсон описал условия, благодаря которым он занял место в ряду общенаучных методов. Во-первых, это объективность: разные аналитики, применяя одни и те же категории анализа к одному и тому же источнику, должны прийти к одинаковым результатам. Во-вторых, систематичность: соответствующие категории применяются ко всему объему исследуемого материала, что исключает частичность или пристрастность анализа. В-третьих, количественное описание (процедуры измерения включают обязательный частотный анализ). Наконец, явность содержания: при оценке текстового содержания допускается минимальная степень интерпретации (Berelson, 1952). В отношении последнего допускается, что о латентных переменных можно судить, обобщив результаты анализа отдельных категорий (Семенов, 1983). Последующие варианты контент-аналитических техник, развивая эти принципы, усложняются на этапе формализации: разработка категориального аппарата, укрупнение единиц анализа, расчет меры связности между различными частями материала, машинный анализ и т. п.

Т. А. Гребенщикова, Интент-анализ. Основания, процедура, опыт использования, 2017
Формализация – использование специальной символики вместо реальных объектов. Ярким примером формализации является применение математической символики и математических методов в естествознании. Формализация дает возможность исследовать объекты без непосредственного обращения к ним и записывать полученные результаты в краткой и четкой форме.

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

С. Ю. Махов, Аналитика безопасности. Учебное пособие, 2013
Сопоставив три модели взаимоотношения науки и философии, сделаем следующее заключение. Формальный проект Рассела (во всяком случае, в том виде, как он декларирован в статье «О научном методе в философии») предполагает опыт (эмпирического субъекта) и не предполагает истории. Поэтому Рассел говорит об универсальном языке наблюдений, формализацией которого занимается философия. Трансцендентальный проект Гуссерля (я не принимаю сейчас во внимание поздний этап исторической феноменологии жизненного мира) предполагает опыт (трансцендентального субъекта) и не предполагает истории. Поэтому Гуссерль говорит о чистой феноменологии как априорном «условии для подлинно научной психологии»[73]. Наконец, эмпирический проект Джеймса соединяет опыт (эмпирического субъекта) с исторической реальностью. И это позволяет Джеймсу говорить о равноправном и содержательном союзе меняющейся (недогматической) науки с меняющейся (недогматической) философией. Только в таком союзе, по мнению Джеймса, наука могла бы преодолеть пресловутый разрыв с миром ценностей, а философия – прийти «в тесный – 2 контакт с реальной жизнью»[74].

О. Е. Столярова, Исследования науки в перспективе онтологического поворота. Монография, 2015
С философской точки зрения различают методы: общенаучные, частные и специальные (специфические). К общенаучным методам относятся: наблюдение, сравнение, счет, измерение, эксперимент, обобщение, абстрагирование, формализация, анализ, синтез, индукция, дедукция, аналогия, моделирование, идеализация, ранжирование, аксиоматический, гипотетический, исторический и системный методы, которые используются целым рядом групп наук. Частные методы – это те научные методы, которые принадлежат данной науке (отрасли наук), преимущественно используются ею, а также и другими науками, к примеру, ряд математических методов оптимизации. Специфические методы – методы исследования, которые используются только в данном исследовании (или подобных исследованиях, к примеру, оперативно-тактический анализ возможностей группировки войск в операции).

Л. Х. Мухсинова, Исследование систем управления, 2013
Логико-интуитивный анализ – по существу, традиционная исследовательская практика. Эта модель конструируется на основе систематизации содержательных понятий, тесно связанных с предметной спецификой изучаемого явления и эмпирическим массивом относящихся к нему информационных данных. Однако данные модели не дают возможности следить за серьезными изменениями, происходящими в исследуемом объекте. Для перехода к решению задач слежения или последовательного наблюдения за обстановкой необходима формализация содержательной модели.

Коллектив авторов, Методология моделирования и прогнозирования современного мира, 2012
Наука пронизана философией, любая ее отрасль, любое конкретное исследование имеют вполне определенные философские основания – совокупность философских идей, представлений, способов формализации и артикуляции достигнутого. Эти основания прямо следуют из фундаментальных онтологических, гносеологических и методологических принципов; ими обусловлено и научное познание, и само развитие наук, их содержание, формы.

В. П. Лютый, История и философия науки. Учебное пособие для аспирантов юридических специальностей, 2013
Анализ выявляет структуру государства и права, фиксирует их составные элементы, устанавливает характер взаимосвязи между ними. Важным средством логического анализа государственно-правовой надстройки является метод формализации, позволяющий установить логические связи и отношения между исходными, определяющими ее элементами, отвлекаясь от второстепенных свойств и признаков государства и права.

А. В. Петренко, Теория государства и права. Шпаргалки, 2012
Традиционно считалось, что философская методология образует первый, более высокий уровень методологического анализа. Второй уровень включает в себя изучение общенаучных принципов, подходов и форм исследования, к которым относят системный подход, методы формализации, алгоритмизации, моделирования, вероятностный, статистический и т. д. Быстрое развитие информатики и математики связано со становлением теорий высокой степени абстрактности, применяемых к анализу объектов самых различных классов.

А. Я. Минин, Информатизация криминологической деятельности. Теория и методология, 2015
Другим важным направлением в развитии моделирования субъектов в контексте неклассической научной рациональности явились экспертные системы как вид математических моделей процедур принятия решений, адекватный представлениям парадигмы «субъект – субъект». Они выступают как средство формализации личного опыта и передачи его другим пользователям с обеспечением возможности идентификации автора знаний и процедур их получения.

В. Е. Лепский, Технологии управления в информационных войнах (от классики к постнеклассике), 2016
К теоретическим методам относятся: формализация – построение абстракт но-математических моделей, раскрывающих сущность изучаемых процессов действительности; аксиоматизация – построение теорий на основе аксиом (утверждений, доказательства истинности которых не требуется); гипотетико-дедуктивный метод – создание системы дедуктивно связанных между собой гипотез, из которых выводятся утверждения об эмпирических фактах.

А. А. Горелов, Концепции современного естествознания. Конспект лекций
В главе 18 обсуждаются практические вопросы передачи когнитивного опыта на предприятии с точки зрения «изнутри», как это видится самими работниками и, прежде всего, руководством предприятия. Уделяется внимание проблемам, связанным с формализацией знаний и необходимостью следования инструкциям. Обосновывается необходимость создания системы извлечения и передачи когнитивного опыта как с целью устранения возможных рисков и снижения издержек, так и для решения многих существующих задач и проблем. Обсуждаются возможные препятствия на пути реализации системы сохранения и передачи опыта.

Коллектив авторов, Технологии сохранения и воспроизведения когнитивного опыта, 2016
Метод формализации. Этот метод основывается на использовании в логике исчисления.

С. А. Давыдов, Логика. Шпаргалка
– методы, позволяющие проверить объяснительные гипотезы о причинно-следственных связях с определенной степенью точности измерений (опросные методы с высокой степенью формализации процедуры, полевой социальный эксперимент, экспертное оценивание);

Н. Н. Маликова, Дизайн и методы социологического исследования, 2014 

Карта слов и выражений русского языка

Онлайн-тезаурус с возможностью поиска ассоциаций, синонимов, контекстных связей и примеров предложений к словам и выражениям русского языка.

Справочная информация по склонению имён существительных и прилагательных, спряжению глаголов, а также морфемному строению слов.

Суть формализма

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

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

В школе ученики сталкиваются с этим понятием на предметах обществознания или этики. При этом далеко не у всех получается понять суть этого сложного философского термина. Чтобы было более наглядно, нужно привести конкретный пример. Таковым может служить заполнение государственных документов. Язык, используемый при этом, является строго формализованным, однако из-за этого неосведомленному человеку становится сложно понимать информацию, изложенную в нем.

Еще примером может служить военная субординация, в силу которой нижестоящие по должности обязаны беспрекословно подчиняться командирам, даже если их приказы неэффективны.

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

Формализм касается многих аспектов жизни, в том числе и долгов

Формальное понимание долга

Данное определение исходит из предыдущего и подразумевает под собой:

  1. Соблюдение внешних атрибутов чего-либо.
  2. Противоречие государственного закона и моральных ценностей.
  3. Усложнение деятельности из-за соблюдения формальности.

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

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

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

Заключение

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

Источники

  • https://FB.ru/article/227419/chto-takoe-formalizatsiya-metod-formalizatsii-ponyatie-sut-etapyi-rezultat-primeryi-vidyi-formalizatsii
  • https://kartaslov.ru/%D0%B7%D0%BD%D0%B0%D1%87%D0%B5%D0%BD%D0%B8%D0%B5-%D1%81%D0%BB%D0%BE%D0%B2%D0%B0/%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%B8%D0%B7%D0%BC
  • https://www.syl.ru/article/414870/chto-takoe-formalizm-znachenie-i-opredelenie
  • https://MoyDolg.com/debt/obshhie-voprosy-3/formalnoe-ponimanie-dolga.html
  • https://kartaslov.ru/%D0%BA%D0%B0%D1%80%D1%82%D0%B0-%D0%B7%D0%BD%D0%B0%D0%BD%D0%B8%D0%B9/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8F
  • https://BaikalInvestBank-24.ru/juridicheskie-sovety-ot-jeksperta/formalnoe-ponimanie-dolga-obiasnenie-poniatiia-na-konkretnyh-primerah.html

[свернуть]