Что такое Парадигма? Значение и толкование слова paradigma, определение термина. Парадигма — это простыми словами

Политическая наука: Словарь-справочник

Парадигма

(от греч. paradeigma пример, образец)

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

Парадигма

(греч. paradeigma - пример, образец).

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

2) Совокупность форм словоизменения одного и того же слова. Парадигма имени существительного стол.

Начала Современного Естествознания. Тезаурус

Парадигма

(от греч. paradeigma - пример, образец) - исходная концептуальная схема, признанные всеми научные достижения, способ организации научного знания, которые в течение определенного времени дают научному сообществу определенное видение мира, модель постановки проблем и их решения. Смена парадигм происходит в ходе научных революций. Понятие парадигма введено в науку философом-позитивистом Г. Бергманом и было широко распространено американским физиком Томасом Куном (творцом теории научных революций) для обозначения ведущих представителей и методов получения новых данных в периоды экстенсивного развития знания. Иногда заменяется понятием картина мира.

Культурология. Словарь-справочник

Парадигма

греч. paradeigma – пример, образец.

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

☼ образец или модель. Как особый термин понятие П. введено амер. методологом науки Т. ом в кн. "Структура научных революций" (1962) для обозначения преобладающих в деятельности опр. научного сооб-ва проблем и решений.

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

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

Смена П. - нечто большее, чем чередование теорий и концепций, выдвигаемых теми или иными авторами. Смена П. есть смена отношений к объекту исследования, предполагающая изменение исследоват. методов и целей, а иногда и смена самого предмета исследования. Первичную П. наук о культуре можно назвать эмпирической. Это сбор информации о разных народах, их нравах, обычаях, образе жизни в период, обычно обозначаемый как предистория или доистория науки. Следующей, уже полноправно научной П., стала эволюционистская . Важнейшие ее представители: Г. Спенсер, А. Бастиан, Ю. , Ш. Летурно, Л. Г. Морган. Основные разработки эволюционистской П. - идея единства человеч. рода, единообразие и однолинейность развития культуры, психол. обоснование явлений обществ. строя и культуры.

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

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

Родоначальником циклич. теорий в совр. историографии и науке о культуре стал Н.Я. Данилевский. Уже за ним следовали , Л. . Общим для всех сторонников циклич. взгляда было представление об "историч. индивидуальностях", каковыми являются все культурные целостности, и о наличии жизненного цикла у каждой из этих целостностей.

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

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

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

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

Лит. : Кун Т. Структура, науч. революций. М., 1977; Токарев С.А. История зарубеж. этнографии. М., 1978; Ионин Л. Социология культуры. М., 1996.

Л. Г. Ионин.

Культурология ХХ век. Энциклопедия. М.1996

Педагогический терминологический словарь

Парадигма

(греч. paradeigma - пример, образец)

1. образец, тип, модель (например, общественных отношений).

2. В философии, социологии - исходная концептуальная схема, меняющаяся со временем и характерная для определённого этапа в развитии науки модель постановки проблем и их решения.

3. В риторике - пример, взятый из истории для доказательства, сравнения.

4. В грамматике - система форм изменяющегося слова, конструкции, например имени, глагола.

(Бим-Бад Б.М. Педагогический энциклопедический словарь. - М., 2002. С. 185)

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

(Шмырева Н.А., Губанова М.И., Крецан З.В. Педагогические системы: научные основы, управление, перспективы развития. - Кемерово, 2002. С. 99)

Словарь лингвистических терминов

Парадигма

(др.-греч. παράδειγμη пример, образец)

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

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

2) П. (в узком смысле): грамматическая парадигма – совокупность однотипных грамматических форм слова; словообразовательная парадигма – совокупность однотипных слов, данных в определённой последовательности, объединённых отношениями взаимосвязи, противопоставления и обусловленности. По необходимому количеству членов в парадигме выделяют следующие типы грамматических парадигм: 1 ) полная – парадигма, в которой все члены представлены словоформами (напр., падежная парадигма сущ. цветок );

2) неполная – парадигма, в которой недостаёт набора словоформ или слово не может принять форму, которая потенциально возможна (напр., парадигма времени глагола победить – невозможно сказать я победю ; парадигма лица глаг. светать – невозможно сказать я светаю );

3) дефектная – парадигма, в которой представлены отдельные члены: налей щец; принеси дровец ;

4) избыточная – парадигма, в которой возможны параллельные варианты словоформ (напр., падежная парадигма сущ. мама : мамой - мамою ).

Гаспаров. Записи и выписки

Парадигма

♦ Я спросила на экзамене: а кто такой Барбюс? - Imparfait du conjonctif. - Проспрягайте. - Que je barbusse, que tu barbusse, quil barbu… Я не останавливала: не ошибется ли в 3 лице?

Термины Киносемиотики

ПАРАДИГМА

Философский словарь (Конт-Спонвиль)

Парадигма

Парадигма

♦ Paradigme

Особенно яркий пример или модель, служащая эталоном мышления. Так понимали слово «парадигма» (paradeigma) Платон и Аристотель; сегодня это его значение используется в эпистемологии или истории науки. Парадигма – одно из основных понятий, используемых Томасом Куном (***) («Структура научных революций»). Это совокупность теорий, технических приемов, ценностей, проблем, метафор и т. п., которую в ту или иную эпоху разделяют представители той или иной научной дисциплины; это та «предметная матрица», которая позволяет им понимать друг друга и продвигаться вперед. Именно эту совокупность передают обычно студентам, благодаря чему они получают возможность приобщиться к современному им научному знанию, найти в науке свое место и плодотворно работать в ней. Нормальное состояние науки («нормальная наука», по выражению Куна) подразумевает господство парадигмы. Поле исследования, таким образом, обозначено вехами предыдущих открытий, а работающие в этом поле ученые придерживаются между собой определенного консенсуса. Они согласны друг с другом не только в признании ценности уже совершенных открытий, но и в том, что следует открывать дальше, какими методами и с какой целью. Напротив, научная революция знаменует собой период, в которой появляется новая парадигма, опровергающая предыдущую, предлагающая решение вопросов, прежде считавшихся не имеющими решения, некоторые вопросы отметающая и ставящая взамен их новые. Именно таков переход от классической (ньютоновской) механики к релятивистской физике (теории Эйнштейна и его последователей). Он сопровождается не только новыми решениями, но и новыми проблемами, трудностями и процедурами. Две соперничающие парадигмы, отмечает Кун, несоизмеримы, и переход от одной к другой возможен только путем глобальной конверсии, не сводимой к чисто рациональному продвижению вперед. Поэтому судить об одной теории в терминах парадигмы, к которой она не принадлежит, нельзя. Это, разумеется, не отменяет прогресса, но предостерегает против его понимания как линейного и непрерывного процесса. Научный прогресс ничем не напоминает плавное и неторопливое течение крупной реки.

paradigms) П. наз. правила или предписания, к-рые устанавливают границы и направляют действия к успешному достижению цели. Историк науки Томас Кун обратил внимание на роль П. для научного мира, считая, что они в полной мере соответствуют только миру физ. науки. П. в действии эквивалентны набору базовых идей или понятий, направляющих поведение индивидуума, а следовательно, задающих параметры стандартного способа функционирования в отношении цели или характера работы, и становящихся способом выполнения данным индивидуумом к. л. дел или способом решения к.-л. проблемы. П. обнаруживаются в любой культуре. Каждой культуре присущи собственные нормы, определяющие границы приемлемого поведения и становящиеся надлежащими способами выполнения тех или иных функций. Изменение паттерна и - как следствие этого изменения - отклонение от установленных норм в к.-л. ситуации Баркер называл "сдвигом парадигмы,... переходом к новой игре, к новому набору правил". В каждом поколении инициаторами подобных изменений становились нонконформисты, к-рые сильно рисковали при этом, поскольку П. означают согласованность, а их сдвиги вызывают неразбериху. Простым примером сдвига парадигмы яв-ся желание именинника поставить на стол не традиционный торт, а сладкий пирог: отказ от традиционного торта не что иное, как сдвиг П. Институт семьи До 40-х гг. на рынке труда было очень мало женщин, причем большинство из них занимались канцелярской работой. Перед Второй мировой войной господствовала П., согласно к-рой женщина должна заниматься домом и детьми, а зарабатывать на хлеб - обязанность мужчины. К 1950 г. произошел сдвиг П. Женщины стали приобретать различные специальности и начали работать, чтобы в семьях появилось немного "свободных" денег, однако позднее, в период экономического спада, вторая зарплата стала необходимым условием выживания. Религия Большие изменения произошли и в религиозных обычаях, напр. в деятельности католической церкви после Второго Ватиканского собора. Среди прочих изменений можно назвать проведение литургии на родном языке, концепцию экуменизма, причащение после принятия пищи, уменьшение количества статуй, личное покаяние и расширение подготовки местных кадров духовенства. Подобные нововведения вызвали активное сопротивление. Ритцер, в своих комментариях к оригинальной работе Куна, писал: "Побеждает та парадигма, к-рой удается привлечь на свою сторону наибольшее количество неофитов". По мере того как новые понятия приобретают все больше и больше последователей, сопротивление изменениям П. идет на убыль, и она принимается. К числу общепризнанных в наши дни теорий когнитивного роста и развития, к-рые некогда были парадигматическими, принадлежат теории Э. Эриксона, З. Фрейда, Ж. Пиаже и Л. С.Выготского. Др. П. в образовании, касающаяся интеллекта, осн. на теориях Ч. Спирмена, Дж. П. Гилфорда, Л. Л. Терстоуна, Р. Дж. Стернберга, Г. Гарднера и на мн. др. теориях. Для каждой из них характерны определенные методологические правила и ограничения, а тж стандарты, модели и процедуры, и каждой из них есть место под таким большим "зонтом", каким является образование. Баркер утверждал, что "увязка всех этих П. имеет решающее значение для успешной и долгой жизни любой культуры и орг-ции". Нек-рые парадигмы "приживаются" с большим трудом, а другие принимаются на удивление быстро. Если потребность в перемене велика, сдвиг П. обычно не заставляет себя ждать. Вся многовековая история человечества отмечена сдвигами П. До тех пор пока будут рождаться новые идеи и концепции, будут возникать и сдвиги П., направленные на удовлетворение потребностей людей. См. также Автоматизация, Каузальное мышление, Кодирование, Культурный детерминизм, Человеческие факторы, Теория обработки информации, Интуиция, Философия науки, Теория систем, Теоретическая психология П. Кэрич

История возникновения

Частные случаи

Парадигма (лингвистика)

Управленческая парадигма

Парадигма программирования

История термина

Различные определения

Основные модели программирования:

Императивное программирование

Структурное программирование

Функциональное программирование

Логическое программирование

Объектно-ориентированное программирование

Подходы и приёмы

Томас Сэмюэл Кун

Смена парадигм

Структура научных революцій

Теория научных революцій

Общие положення

Примеры смен парадигм в науке

Паради́гма это (от греч. παράδειγμα, «пример, модель, образец») — универсальный метод принятия эволюционных решений, гносеологическая модель эволюционной деятельности.

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

К общепринятым парадигмам относятся образцовый метод принятия решений, модели мира или его частей (отраслей, областей знаний, сфер жизни и деятельности), принимаемые большим количеством людей. Примеры: благотворная парадигма конституционного курса Российской Федерации образца 1993 года, общая парадигма программирования.

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

Термин «парадигма» происходит от греческого «paradeigma» — пример, образец и означает совокупность явных и неявных (и часто не осознаваемых) предпосылок, определяющих научные исследования и признанных на данном этапе развития науки.

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

Пример парадигмы: «Во всех сложившихся научных дисциплинах есть свои традиционные способы членения, которые выступают овеществленной „нормой“ человеческой деятельности, как своеобразный эталон, который мы, грубо говоря, как трафарет накладываем на реальный объект, тем самым, выделяя в нем определенные элементы, необходимые для решения задач данной науки. В этом плане огромную роль играет традиция. Многие расчленения возникли в результате многовековой практики решения конкретных задач. Эти расчленения стали общепринятыми, канонизировались, и при логическом анализе очень трудно отделить их от самих объектов, осознать, что они являются лишь особым инструментом человеческого познания, необходимым для решения традиционных задач. Например, в результате многовековой медицинской практики человеческий организм представляется как система органов: мозга, почек, печени и т. д. Мы с детства усваиваем такое расчленение, и нам очень трудно допустить, что если бы по каким-то причинам медицинская практика сложилась иначе, то членение человеческого организма на канонические элементы было бы иным, то есть, человеческий организм состоял бы из иных органов».

Пример парадигмы: «Разными группами работников нужно управлять по-разному; одной и той же группой работников следует управлять по-разному в разных ситуациях. Все чаще „служащими“ следует управлять как „партнерами“, а партнерство уже исключает „управление“, поскольку предполагает равенство участников. Партнеры не могут приказывать друг другу. Они могут только убеждать друг друга. Следовательно, можно сказать, что все больше становится похожим на „маркетинговую деятельность“. А в анализе конъюнктуры рынка никто не начинает с вопроса „Чего мы хотим?“ Все начинается с вопросов: „Чего хочет другая сторона? Каковы ее ценности? В чем состоят ее цели? Каких результатов она хочет достичь?“ И тут уже не подходит ни „теория X“, ни „теория Y“, ни любая другая теория управления персоналом».

История возникновения

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

Первоначально слово использовалось в грамматике. Так, например, ЭСБЕ определяет этот термин следующим образом: «в грамматике слово, служащее образцом склонения или спряжения; в риторике — пример, взятый из истории и приведенный с целью сравнения».

Словарь Merriam-Webster 1900 года дает аналогичное определение его использования только в контексте грамматики или как терминам для иллюстрирующей притчи или басни.

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

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

Частные случаи

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

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

Парадигма (лингвистика)

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

Слово παράδειγμα по-гречески значит «пример, модель, образец»; словоизменительная парадигма выступает образцом того, как строятся словоизменительные формы для целых классов лексем (склонений существительных, спряжений глаголов и т. п.).

Построение парадигм — одно из первых лингвистических достижений человечества; вавилонские глиняные таблички с перечнями парадигм обычно считаются первым памятником лингвистики как науки.

Обычно парадигмы упорядочены в некотором традиционном порядке граммем, например, парадигма русского склонения записывается в порядке падежей И — Р — Д — В — Т — П:

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

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

Управленческая парадигма

Управленческая парадигма — система концепций, методологий и методов, образующая модель постановки и решения проблем управления, принятую в конкретной социально-экономической системе.

Генезис управленческой парадигмы. Категорию «парадигма» в науку ввёл Т. Кун (Kuhn T.S.) в следующем концепте: «Под парадигмой я подразумеваю признанные всеми научные достижения, которые в течение определённого времени дают научному сообществу модель постановки проблем и их решений». Центральным признаком парадигмы следует считать общепризнанность, в том числе концепций и методов в определённых областях деятельности конкретного социального института. В развитии общего концепта парадигмы появились концепции парадигм различных институциональных направлений, в том числе управленческой парадигмы. Научная и управленческая парадигмы имеют идеальную природу. Неадекватное толкование концепта понятия «управленческая парадигма», что в решающей степени обусловлено отсутствием теоретической модели, способной системно и целостно интерпретировать её идеальную сферу. Сложность структурирования её концепта усиливается методологическим противоречием между условием общепризнанности как сущности парадигмы и неоднозначности толкования формирующих её понятий разными учёными.

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

Научная парадигма имеет объективный, всеобщий характер, и её изменения определяются раскрытием явлений природы и развитием методов их исследований. Управленческая парадигма имеет субъективную, уникальную природу, которая определяется социально-экономической системой. Её изменения обусловлены развитием общественного производства и методов его управления.

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

Институты социально-экономической среды и научной парадигмы определяют выбор методологического инструментария менеджмента для принятия управленческих решений. Идентификация и исследование парадигмы могут быть проведены по её внешним проявлениям — институциям — в виде получивших распространение в реальном менеджменте концепций, теорий, инструментария и методов, образовательных программ и учебников. Эти институции, будучи общепризнанными по определению, одновременно могут быть, как уже отмечалось, и хорошо структурированными, сформулированными и официально (в той или иной имманентной для конкретного института форме) признанными, и неформальными — в виде слабоструктурированных и непродекларированных форм фактически применяемых взглядов, концепций и методов. Отсюда, в частности, вытекает необходимость в институциональных исследованиях фактов теоретической и практической деятельности для выявления возможных противоречий между декларативной и содержательной частью состояния интеллектуального капитала менеджмента всех уровней и влияния этих противоречий на экономические отношения и результаты.

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

В целом формирование институций может иметь как экономически обусловленную с позиций развития общественного производства природу, так и идеологическую природу. Последняя определяется целенаправленным воздействием институтов власти на людей для привития им тех или иных мировоззренческих понятий. В Российской Федерации , в частности, как отмечал академик А. А. Никонов: «до конца 20-х годов (прошлого века) отечественная наука шла в ногу с мировой, находилась на её передовых позициях и в экономике, и в биологии. Так кто же прервал нормальное развитие нашей науки? Всякая эпоха имеет своих трубадуров и знаменосцев. Первым из них был Трофим Лысенко, который заявлял, что вообще нет такой науки „экономика“, а кибернетика — буржуазная лженаука. Все эти люди в общественном отношении были весьма влиятельны, и их поддерживала всем своим авторитетом. По их книжкам училось по крайней мере два поколения наших специалистов, семена были брошены в души молодых людей. Мы и сейчас нередко сталкиваемся с рецидивами. Положение в науке определяется прежде всего девальвацией высшего образования, которая прошла несколько этапов, начиная с массовых репрессий и гонений на экономистов, а затем генетиков».Вместе с тем, в условиях экономики рыночного типа, согласно утверждению П. Друкера, «не подлежит сомнению, что, выполняя свою основную функцию и действуя в соответствии с политическими и этическими принципами общества, предприятие укрепляет экономическую мощь этого общества».

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

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

Институциональный категорийно-понятийный аппарат управленческой парадигмы может быть представлен следующими атрибутами: институциональные факторы осуществляют функциональное воздействие на формирование управленческой парадигмы в виде научных разработок по теории управления, макро- и микроэкономики, методологического и практического инструментария менеджмента, целевых установок основных общественных институтов, учебных программ и учебников по бизнес-образованию; институции менеджмента представляют внешнее проявление управленческой парадигмы в виде целевых установок, концепций, методов и другого инструментария принятия управленческих решений, фактически используемых менеджерами в своей практической деятельности. Сопоставление полученных концептов и категорий, формирующих понятия «интеллектуальный капитал » и «управленческая парадигма», доказывает их общий генезис, при этом управленческая парадигма отражает процедурную составляющую интеллектуального капитала . В терминах системного подхода в иерархии подсистем, формирующих управленческую парадигму, институциональные факторы являются «входами», соответствующая институциональная структура — «процессором», а институции — «выходом» этой подсистемы.

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

В кибернетике управляющую систему рассматривают как машину для перевода управляемой системы из одного класса в другой, более примитивный и приводят пример с дирижёром — регулятором — и оркестром — управляемой системой: «приведите оркестр в действие и вы увидите, что он обладает естественной тенденцией порождать разнообразие за счёт внесения ошибок в интерпретацию музыкальной пьесы отдельными музыкантами. Кроме того, оркестр будет вносить дополнительные элементы случайности в исполнение из-за недостаточной связи между музыкантами. Дирижёр (или регулятор) ставит перед собой цель уменьшить сложность управляемой им системы, заставляя примерно восемьдесят пять человек играть так, как будто они являются только определёнными знаками в партитуре». Исключением из закона необходимого разнообразия, является ситуация, когда целью управления является именно разрушение управляемой системы. Тогда управляющая система может иметь не только относительно, но и абсолютно простую структуру и быть более примитивной по отношению к управляемой. В. И. Ленин, рассматривая государственный аппарат как машину для подавления, подчёркивал: «Народ подавить эксплуататоров может и при очень простой „машине“, почти что без „машины“, без особого аппарата, простой компанией вооружённых масс».

В целом, изменения в системе «управленческая парадигма — общественное производство» могут осуществляться сочетанием процессов созидания и разрушения различного уровням. В революционных изменениях социально-экономических систем подавляющее влияние оказывают разрушительные процессы. Разрушаются связи и иногда физически уничтожаются организационные структуры и формирующие их элементы — люди. Причём чем более объект изменения/уничтожения связан с материальным миром, тем более простым может быть средство его изменения/уничтожения.

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

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

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

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

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

Выявить формы проявления противоречий управленческой парадигмы и управляемых систем;

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

Парадигма программирования

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

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

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

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

История термина

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

Термин «парадигма программирования» впервые применил Роберт Флойд в своей лекции лауреата премии Тьюринга.

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

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

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

Различные определения

Диомидис Спинеллис даёт следующее определение:

Слово «парадигма» используется в программировании для определения семейства обозначений (нотаций), разделяющих общий способ (методику) реализаций программ. (В оригинале: The word paradigm is used in computer science to talk about a family of notations that share a common way for describing program implementations).

Для сравнения тот же автор приводит определения из других работ. В статье Дэниела Боброва парадигма определяется как «стиль программирования как описания намерений программиста». Брюс Шрайвер (Bruce Shriver) определяет парадигму программирования как «модель или подход к решению проблемы», Линда Фридман (Linda Friedman) — как «подход к решению проблем программирования».

Памела Зейв (Pamela Zave) даёт определение парадигмы как «способа размышления о компьютерных системах» (в оригинале «way of thinking about computer systems»).

Питер Вегнер (Peter Wegner) предлагает другой подход к определению термина парадигмы программирования. В его работе «Concepts and paradigms of object-oriented programming» парадигмы определяются как «правила классификации языков программирования в соответствии с некоторыми условиями, которые могут быть проверены».

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

Основные модели программирования

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

Императивные языки программирования противопоставляются функциональным и логическим языкам программирования. Функциональные языки, например, Haskell, не представляют собой последовательность инструкций и не имеют глобального состояния. Логические языки программирования, такие как Prolog, обычно определяют что надо вычислить, а не как это надо делать.

Первыми императивными языками были машинные коды - нативный язык программирования для компьютера. В этих языках инструкции были крайне просты, что снижало нагрузку на компьютеры, однако затрудняло написание крупных программ. В 1954 появился первый "человеческий" язык программирования - FORTRAN, разработанный Джоном Бэкусом в IBM. FORTRAN является компилируемым языком программирования и позволяет использовать именованные переменные, составные выражения, подпрограммы и многие другие элементы распространённых сейчас императивных языков. В конце 1950х годов с целью упростить выражение математических алгоритмов был разработан ALGOL; в дальнейшем он послужил базой для написания операционных систем для некоторых моделей компьютеров. COBOL (1960) и BASIC (1964) являлись первыми попытками сделать программирование более похожим на обычный английский язык. В 1970х годах Никлаус Вирт разработал язык Pascal. Язык C был создан Денисом Ритчи. Команда разработчиков из Honeywell начала разработку языка Ada в 1978, и через четыре года опубликовала требования для его работы . Спецификация увидела свет в 1983 и была обновлена в 1995 и 2005/6 годах.

В 1980х резко возрос интерес к объектно-ориентированному программированию.

Smalltalk-80, впервые разработанный Аланом Кэем в 1969, был обновлён в 1980 исследовательским центром Xerox PARC. По образу и подобию языка Simula (предположительно, первого в мире ООП-языка, разработанного ещё в 1960х) Бьерн Страуструп разработал C++, основанный на C. C++ был впервые реализован в 1985. В 1987 Уолл, Ларри выпустил язык Perl; Python был выпущен в 1990 Гвидо ван Россумом; в 1994 Расмус Лердорф разработал PHP; Java, была разработана в Sun Microsystems в 1994; Ruby, был выпущен в 1995.

Структурное программирование

Структурное программирование - методология разработки программного обеспечения, в основе которой лежит представление программы в виде иерархической структуры блоков. Предложена в 70-х годах XX века Э. Дейкстрой, разработана и дополнена Н. Виртом.

В соответствии с данной методологией любая программа представляет собой структуру, построенную из трёх типов базовых конструкций:

Последовательное исполнение — однократное выполнение операций в том порядке, в котором они записаны в тексте программы;

Ветвление — однократное выполнение одной из двух или более операций, в зависимости от выполнения некоторого заданного условия;

Цикл — многократное исполнение одной и той же операции до тех пор, пока выполняется некоторое заданное условие (условие продолжения цикла).

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

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

Разработка программы ведётся пошагово, методом «сверху вниз».

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

Методология структурного программирования появилась как следствие возрастания сложности решаемых на компьютерах задач, и соответственного усложнения программного обеспечения. В 70-е годы XX века объёмы и сложность программ достигли такого уровня, что «интуитивная» (неструктурированная, или «рефлекторная») разработка программ, которая была нормой в более раннее время, перестала удовлетворять потребностям практики. Программы становились слишком сложными, чтобы их можно было нормально сопровождать, поэтому потребовалась какая-то систематизация процесса разработки и структуры программ.

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

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

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

Перечислим некоторые достоинства структурного программирования:

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

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

3. Сильно упрощается процесс тестирования и отладки структурированных программ.

Функциональное программирование

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

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

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

Наиболее известными языками функционального программирования являются:

2. Haskell — чистый функциональный. Назван в честь Хаскелла Карри.

3. LISP (Джон МакКарти, 1958, множество его потомков, наиболее современные из которых — Scheme и Common Lisp).

4. ML (Робин Милнер, 1979, из ныне используемых диалектов известны Standard ML и Objective CAML).

5. Miranda (Дэвид Тёрнер, 1985, который впоследствии дал развитие языку Haskell).

6. Erlang — (Joe Armstrong, 1986) функциональный язык с поддержкой процессов.

7. Nemerle — гибридный функционально/императивный язык.

8. F# - функциональный язык для платформы.NET

Ещё не полностью функциональные изначальные версии и Lisp и APL внесли особый вклад в создание и развитие функционального программирования. Более поздние версии Lisp, такие как Scheme, а так же различные варианты APL поддерживали все свойства и концепции функционального языка.

Как правило, интерес к функциональным языкам программирования, особенно чисто функциональным, был сугубо научный, нежели коммерческий. Однако, таким примечательным языкам как Erlang, OCaml, Haskell, Scheme (после 1986) а так же специфическим R (), Mathematica (символическая математика), J и K (финансовый анализ), и XSLT (XML) находили применение в индустрии коммерческого программирования. Такие широко распространенные декларативные языки как SQL и Lex/Yacc содержат некоторые элементы функционального программирования, они остерегаются использовать переменные. Языки работы с электронными таблицами также можно рассматривать как функциональные.

Многие нефункциональные языки, такие как C, C++ и C# могут вести себя как функциональные при использовании указателей на функцию, в соответствие с библиотекой и λ-исчислениями.

λ-исчисления позволили осуществить теоретическое описание функции и её вычисление. Хотя функция чаще рассматривается как математическая абстракция, а не понятие из языка программирования, она составила базис всех языков функционального программирования на сегодняшний день. Сходное теоретическое понятие, комбинаторная логика, является более абстрактной нежели λ-исчисления и было основано раньше. Эта логика используется в некоторых эзотерических языках, например в Unlambda. И λ-исчисления, и комбинаторная логика были разработаны для более ясного и точного описания принципов и основ математики.

Первым функциональным языком был Lisp, созданный Джоном МакКарти в период его работы в Массачусетском технологическом институте в начале пятидесятых. Lisp ввел множество понятий функционального языка, хотя при этом исповедовал не только парадигму функционального программирования. Более поздние Scheme и Dylan были попытками упростить и усовершенствовать Lisp.

Язык обработки информации (ИПЛ) иногда определяется как самый первый машинный функциональный язык. Это язык ассемблерного типа для работы со списком символов. У него было понятие «генератор», использующий функцию в качестве аргумента, а так же, поскольку язык ассемблерного уровня, он может позиционироваться как язык имеющих функции высшего порядка. Хотя в целом ИПЛ акцентирован на использование императивных понятий.

Кеннет Е. Айверсон разработал язык APL в начале шестидесятых, документировав его в своей книге A Programming Language. APL оказал значительное влияние на FR-язык, созданный Джоном Бэкусом. В начале девяностых Айверсон и Роджер Хьюи создали преемника APL — язык программирования J. В середине девяностых Артур Витни, ранее работавший с Айверсоном, создал язык K, который впоследствии использовался в финансовой индустрии на коммерческой основе.

В семидесятых в университете Эдинбурга Робин Милнер создал язык ML, а Дэвид Тернер начинал разработку языка SASL в университете Сент-Эндрюса и, впоследствии, язык Miranda в университете города Кент. В конечном итоге на основе ML были созданы несколько языков, среди которых наиболее известные Objective Caml и Standard ML. Так же в семидесятых осуществлялась разработка языка программирования по принципу Scheme (реализация не только функциональной парадигмы), получившего описание в известной работе «Lambda Papers», а так же в книге восемьдесят пятого года «Structure and Interpretation of Computer Programs», в которой принципы функционального программирования были донесены до более широкой аудитори

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

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

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

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

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

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

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

Если нет никакой зависимости по данным между двумя чистыми функциями, то порядок их вычисления можно поменять или распараллелить (говоря иначе вычисление чистых функций удовлетворяет принципам thread-safe)

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

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

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

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

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

print length()

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

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

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

В языке C указатели на функцию могут быть использованы для получения эффекта функций высшего порядка. Функции высшего порядка и отложенная списковая структура реализованы в библиотеках С++. В языке C# версии 3.0 и выше можно использовать λ-функции для написания программы в функциональном стиле. В сложных языках, типа Алгол-68, имеющиеся средства метапрограммирования (фактически — дополнения языка новыми конструкциями) позволяют создать специфичные для функционального стиля объекты данных и программные конструкции, после чего можно писать функциональные программы с их использованием.

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

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

Логическое программирование

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

Самым известным языком логического программирования является Prolog.

Первым языкомлогического программирования был язык Planner, в котором была заложена возможность автоматического вывода результата из данных и заданных правил перебора вариантов (совокупность которых называлась планом). Planner использовался для того, чтобы понизить требования к вычислительным ресурсам (с помощью метода backtracking) и обеспечить возможность вывода фактов, без активного использования стека. Затем был разработан язык Prolog, который не требовал плана перебора вариантов и был, в этом смысле, упрощением языка Planner.

От языка Planner также произошли логические языки программирования QA-4, Popler, Conniver и QLISP. Языки программирования Mercury, Visual Prolog, Oz и Fril произошли уже от языка Prolog. На базе языка Planner было разработано также несколько альтернативных языков логического программирования, не основанных на методе backtracking, например, Ether.

Объектно-ориентированное программирование

Объе́ктно-ориенти́рованное программи́рование (ООП) — парадигма программирования, в которой основными концепциями являются понятия объектов и классов (либо, в менее известном варианте языков с прототипированием, — прототипов).

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

Класс является описываемой на языке терминологии (пространства имён) исходного кода моделью ещё не существующей сущности, т.н. объекта.

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

Прототип — это объект-образец, по образу и подобию которого создаются другие объекты.

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

Первым языком программирования, в котором были предложены принципы объектной ориентированности, была Симула. В момент своего появления (в 1967 году), этот язык программирования предложил поистине революционные идеи: объекты, классы, виртуальные методы и др., однако это всё не было воспринято современниками как нечто грандиозное. Тем не менее, большинство концепций были развиты Аланом Кэйем и Дэном Ингаллсом в языке Smalltalk. Именно он стал первым широко распространённым объектно-ориентированным языком программирования.

В настоящее время количество прикладных языков программирования (список языков), реализующих объектно-ориентированную парадигму, является наибольшим по отношению к другим парадигмам. В области системного программирования до сих пор применяется парадигма процедурного программирования, и общепринятым языком программирования является язык C. Хотя при взаимодействии системного и прикладного уровней операционных систем заметное влияние стали оказывать языки объектно-ориентированного программирования. Например, одной из наиболее распространенных библиотек мультиплатформенного программирования является объектно-ориентированная библиотека Qt, написанная на языке C++.

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

Наличие инкапсуляции достаточно для объектности языка программирования, но ещё не означает его объектной ориентированности — для этого требуется наличие наследования.

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

Язык Self, соблюдая многие исходные положения объектно-ориентированного программирования, ввёл альтернативное классам понятие прототипа, положив начало прототипному программированию, считающемуся подвидом объектного.

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

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

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

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

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

Подходы и приёмы

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

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

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

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

Процедурные языки программирования:

Аda (язык общего назначения)

Basic (версии начиная с Quick Basic до появления Visual Basic)

Фортран

Модула-2

Декларативное программирование — термин с двумя различными значениями.

Согласно первому определению, программа «декларативна», если она описывает каково́ нечто, а не как его создать. Например, веб-страницы на HTML декларативны, так как они описывают что должна содержать страница, а не как отображать страницу на экране. Этот подход отличается от языков императивного программирования, требующих от программиста указывать алгоритм для исполнения.

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

Обобщённое программирование — парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание. В том или ином виде поддерживается разными языками программирования. Возможности обобщённого программирования впервые появились в 70-х годах в языках CLU и Ada, а затем во многих объектно-ориентированных языках, таких как C++, Java, Object Pascal, D и языках для платформы.NET.

Средства обобщённого программирования реализуются в языках программирования в виде тех или иных синтаксических средств, дающих возможность описывать данные (типы данных) и алгоритмы (процедуры, функции, методы), параметризуемые типами данных. У функции или типа данных явно описываются формальные параметры-типы. Это описание является обобщённым и в исходном виде непосредственно использовано быть не может.

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

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

Известно два основных способа реализации поддержки обобщённого программирования в компиляторе.

Порождение нового кода для каждой конкретизации. В этом варианте компилятор рассматривает обобщённое описание как текстовый шаблон для создания вариантов конкретизаций. Когда компилятору требуется новая конкретизация обобщённого типа или процедуры, он создаёт новый экземпляр типа или процедуры, чисто механически добавляя туда тип-параметр. То есть, имея обобщённую функцию перестановки элементов, компилятор, встретив её вызов для целого типа, создаст функцию перестановки целых чисел и подставит в код её вызов, а затем, встретив вызов для строкового типа — создаст функцию перестановки строк, никак не связанную с первой. Этот метод обеспечивает максимальное быстродействие, поскольку варианты конкретизаций становятся разными фрагментами программы, каждый из них может быть оптимизирован для своего типа-параметра, к тому же в код не включаются никакие лишние элементы, связанные с проверкой или преобразованием типов на этапе исполнения программы. Недостатком его является то, что при активном использовании обобщённых типов и функций с различными типами-параметрами размер откомпилированной программы может очень сильно возрастать, поскольку даже для тех фрагментов описания, которые для разных типов не различаются, компилятор всё равно генерирует отдельный код. Этот недостаток можно затушевать путём частичной генерации общего кода (часть обобщённого описания, которая не зависит от типов-параметров, оформляется специальным образом и по ней компилятор генерирует единый для всех конкретизаций код). Зато данный механизм даёт естественную возможность создания специальных (обычно — сильно вручную оптимизированных) конкретизаций обобщённых типов и функций для некоторых типов-параметров.

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

Аспектно-ориентированное программирование (АОП) — парадигма программирования, основанная на идее разделения функциональности для улучшения разбиения программы на модули.

Методология аспектно-ориентированного программирования была предложена группой инженеров исследовательского центра Xerox PARC под руководством Грегора Кичалеса (Gregor Kiczales). Ими же был разработан аспектно-ориентированное расширение для языка Java, получившее название AspectJ — (2001 год).

Существующие парадигмы программирования, такие как процедурное, модульное и объектно-ориентированное программирование, предоставляют определённые способы для разделения и выделения функциональности (функции, классы, модули), но некоторую функциональность с помощью предложенных методов невозможно выделить в отдельные сущности. Такую функциональность называют сквозной (англ. scattered, разбросанная или tangled, переплетённая), так как её реализация рассыпана по различным модулям программы. Сквозная функциональность приводит к рассредоточенному и запутанному коду, сложному для понимания и сопровождения.

Ведение лога и обработка ошибок — типичные примеры сквозной функциональности. Другие примеры: трассировка; авторизация и проверка прав доступа; контрактное программирование (в частности, проверка пред- и постусловий). Для программы, написанной в парадигме ООП, любая функциональность, по которой не была проведена декомпозиция, является сквозной.

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

Основные понятия АОП:

Аспект (англ. aspect) — модуль или класс, реализующий сквозную функциональность. Аспект изменяет поведение остального кода, применяя совет в точках соединения, определённых некоторым срезом.

Совет (англ. advice) — средство оформления кода, который должен быть вызван из точки соединения. Совет может быть выполнен до, после или вместо точки соединения.

Точка соединения (англ. join point) — точка в выполняемой программе, где следует применить совет. Многие реализации АОП позволяют использовать вызовы методов и обращения к полям объекта в качестве точек соединения.

Срез (англ. pointcut) — набор точек соединения. Срез определяет, подходит ли данная точка соединения к данному совету. Самые удобные реализации АОП используют для определения срезов синтаксис основного языка (например, в AspectJ применяются Java-cигнатуры) и позволяют их повторное использование с помощью переименования и комбинирования.

Внедрение (англ. introduction, введение) — изменение структуры класса и/или изменение иерархии наследования для добавления функциональности аспекта в инородный код. Обычно реализуется с помощью некоторого метаобъектного протокола (англ. metaobject protocol, MOP).

Реку́рсия— метод определения класса объектов или методов предварительным заданием одного или нескольких (обычно простых) его базовых случаев или методов, а затем заданием на их основе правила построения определяемого класса, ссылающегося прямо или косвенно на эти базовые случаи.

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

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

Примеры. Метод Гаусса — Жордана для решения Системы линейных алгебраических уравнений является рекурсивным.

Факториал целого неотрицательного числа n обозначается n! и определяется как

при n > 0 и n! = 1 при n = 0

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

Задача «Ханойские башни». Её содержательная постановка такова:

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

Рекурсивный вариант решения задачи можно описать так:

Алгоритм по передвижению башни, алгоритм передвинет нужное количество дисков из пирамиды «источник» на пирамиду «задание» используя «запасную» пирамиду.

Если число дисков равно одному, тогда:

Передвиньте диск из источника в задание

В противном случае:

Рекурсивно передвиньте все диски кроме одного из источника в запас, используя задание как запас

Передвиньте оставшийся диск из источника в задание

Передвиньте все диски из запаса в задание используя источник как запас.

Автома́тное программи́рование — это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого-либо формального автомата.

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

Определяющими для автоматного программирования являются следующие особенности.

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

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

Представим несколько существующих определений термина.

"Парадигма (греч. "paradeigma", "para", "сверх", "над", "через", "около", а "deigma", "проявление", "манифестация") - "то, что предопределяет характер проявления, манифестации, оставаясь вне проявления". В самом широком смысле, это исходный образец, матрица, которая выступает не прямо, но через свои проявления, предопределяя их структуру. Парадигма - это не проявленная сама по себе и не поддающаяся прямой рефлексии структурирующая реальность, которая, всегда оставаясь за кадром, устанавливает базовые, фундаментальные пропорции человеческого мышления и бытия. Специфика парадигмы состоит в том, что в ней гносеологический и онтологический моменты еще не разделены и подлежат дифференциации лишь по мере того, как базовые интуиции, проходя через парадигматическую решетку, оформляются в то или иное утверждение гносеологического или онтологического характера ".

"ПАРАДИГМА (греч. paradeigma - пример, образец) - 1) понятие античной и средневековой философии, характеризующее сферу вечных идей как первообраз, образец, в соответствии с которым бог-демиург создает мир сущего; 2) в современной философии науки - система теоретических, методологических и аксиологических установок, принятых в качестве образца решения научных задач и разделяемых всеми членами научного сообщества ".

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

В теории научных парадигм различают:

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

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

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

Схема 1. Многоуровневость понятия парадигма

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

Совокупность устойчивых и общезначимых норм, теорий, методов, схем научной деятельности, предполагающая единство в толковании теории, в организации эмпирических исследований и интерпретации научных исследований. Понятие П. введено в современную философию науки Т. Куном для объяснения функционирования "нормальной науки". Согласно Куну, развитие науки проходит несколько этапов. Предпарадигмальный этап развития науки характеризуется наличием множества теоретических направлений, разнообразием методологических подходов. На этом этапе отсутствует какая-либо единая теоретическая концепция, ориентирующая деятельность научного сообщества. Этап т. н. "нормальной науки" характеризуется принятием устойчивой и признанной всем научным сообществом П. Основная концептуальная нагрузка П. заключается в том, что она, с одной стороны, исключает все не относящиеся к П. и не согласующиеся с ней концепции, теории, методы, с другой стороны, она ориентирует научное сообщество и исследовательскую деятельность на использование теории для предсказания новых феноменальных областей, а также на усовершенствование самой П. посредством переинтерпретации имеющихся наличных теорий. Гарантией стабильности "нормальной науки" выступает ее консерватизм: вся исследовательская деятельность ведется в рамках принятой П. Но "нормальная наука" с течением определенного времени начинает переживать кризис. Последний связан с возникновением научных аномалий, приводящих к научным открытиям. Большинство научных аномалий возникает в строгом соответствии с парадигмальными правилами и требованиями. С открытием аномальных явлений начинается поиск решений, причем в основном поиск осуществляется в рамках данной П. с целью ее сохранения. "Любой кризис начинается с сомнения в парадигме и последующего расшатывания правил нормального исследования" (Кун). Завершение кризиса знаменуется научной революцией, сущность которой заключается в возникновении новых П. Новые П. качественно несоизмеримы со старыми и некумулятивны. "Научные революции рассматриваются здесь как такие некумулятивные эпизоды развития науки, во время которых старая парадигма замещается целиком или частично новой парадигмой, несовместимой со старой" (Кун). В результате принятия новой П. значительно изменяется совокупность принятых научным сообществом норм, ценностей и установок. В связи с неопределенностью понятия П., связанной, в первую очередь, с противоречием логической и психологоисторической коннотаций термина, Кун в дальнейшем эксплицировал первоначальные характеристики П. через дисциплинарную матрицу Дисциплинарная матрица включает несколько элементов: во-первых, символическое обобщение законов. Символическое обобщение помогает научному сообществу формализовать основные теоретические положения. Во-вторых, Кун выделяет "метафизический" компонент П. - систему методологических принципов, используемых для интерпретации этих законов. Втретьих, набор стандартизированных инструментов и методов для решения типичных проблем. Примерами П. могут служить аристотелевская динамика, птолемеевская астрономия, ньютоновская механика, эйнштейновская теория относительности. Понятие П. используется в современных социально-философских теориях для диагноза ее наличного состояния и предсказания перспектив, хотя вряд ли можно однозначно говорить о применимости П. как единой системы норм, установок, ценностей к социально-философским теориям. Т. X. Керимов

Определения, значения слова в других словарях:

Словарь Логики

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

Философский словарь

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

Философский словарь

(греч. paradeigma - пример, образец) - 1) понятие античной и средневековой философии, характеризующее сферу вечных идей как первообраз, образец, в соответствии с которым бог-демиург создает мир сущего; 2) в современной философии науки - система теоретических, методологических и...

Философский словарь

1. Совокупность теоретических, методологических, ценностных и иных установок, принятых на каждом этапе развития науки (понятие введено американским ученым Т. Куном); 2. В широком смысле, исходная концептуальная идея, ценность как схема или.своего рода карта местности, помогающая...

Философский словарь

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

Новейший философский словарь

ПАРАДИГМА (греч paradeigma - пример, образец) - 1) понятие античной и средневековой философии, характеризующее сферу вечных идей как первообраз, образец, в соответствии с которым бог-демиург создает мир сущего; 2) в современной философии науки - система теоретических,...

Вам могут быть интересны следующие материалы

Елки

Вязаные

Поздравления

Новый год

Сценарии

Игрушки для елки

© 2024 Новогодний портал. Елки. Вязание. Поздравления. Сценарии. Игрушки. Подарки. Шары