Понятия со словом «формализм»
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Формали́зм — концепция в теории искусства, согласно которой художественная ценность произведения искусства всецело зависит от его формы, то есть от способа изготовления, наблюдаемых аспектов и среды, в которой оно помещено. В изобразительном искусстве формализм делает акцент на элементах композиции, таких как цвет, линия, изгибы, текстура, в то время как реализм подчеркивает контекст и содержание. Одним из принципов формализма является сосредоточение всего необходимого для произведения в нём самом...
Связанные понятия
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Конвенционали́зм (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана...
Наи́вный реали́зм — эпистемологическая позиция в философии и в обыденном сознании, согласно которой реально всё, что нормальный человек воспринимает в нормальных условиях и описывает общепринятым и соответствующим фактам языком. С точки зрения наивного реалиста, реальность — это то, что он лично воспринимает при помощи своих органов чувств, а также то, что он думает и знает о чувственно воспринимаемом мире. В повседневной жизни наивный реализм вредит здоровой психологии познания, а в науке ведёт...
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Принцип дополнительности — один из важнейших методологических и эвристических принципов науки, а также один из важнейших принципов квантовой механики, сформулированный в 1927 году Нильсом Бором. Согласно этому принципу, для полного описания квантовомеханических явлений необходимо применять два взаимоисключающих («дополнительных») набора классических понятий, совокупность которых даёт исчерпывающую информацию об этих явлениях как о целостных. Например, дополнительными в квантовой механике являются...
Научный реализм (англ. Scientific realism) — течение в философии науки, согласно которому единственным надёжным средством достижения знания о мире является научное исследование, результат которого интерпретируется с помощью научных теорий. Теории научного реализма могут быть также вероятно истинными или приблизительно истинными или относительно истинными. Теории касаются наблюдаемых и ненаблюдаемых объектов, хотя и являются в сущности достоверными, однако могут быть в какой-то степени ложны.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Соизмеримость — концепция в философии науки, согласно которой две научные теории соизмеримы, если ученые могут обсуждать их, используя общую терминологию, понимаемую одинаково всеми обсуждающими. Это позволяет проводить прямое сравнение теорий, чтобы определить, какая теория является более обоснованной или более полезной для практических целей. Теории считаются несоизмеримыми, если они используют разные системы понятий, а одни и те же слова употребляются в разном смысле. В таком случае между ними...
В физике
принцип локальности/близкодействия утверждает, что на объект влияет только его непосредственное окружение. Квантовая механика предсказывает посредством неравенств Белла прямое нарушение этого принципа. Эксперименты Белла показали, что квантово запутанные частицы нарушают этот принцип. Было показано, что они влияют друг на друга, будучи физически удаленными друг от друга на значительные расстояния, тем самым подтверждая, что принцип локальности/близкодействия неверен.
Эмпириомонизм («Эмпирiомонизмъ») — фундаментальная философская работа Александра Богданова, опубликованная им в 1906 году в Санкт-Петербурге. Книга представляет собой попытку синтеза марксизма и позитивизма. Подверглась резкой критике соратников автора (Ленин и Плеханов) за ревизионизм и субъективный идеализм.
Интерпрета́ции ква́нтовой меха́ники — различные философские воззрения на сущность квантовой механики как физической теории, описывающей материальный мир. Они решают такие философские проблемы, как вопрос о природе физической реальности и способе её познания, о характере детерминизма и причинности, о сущности и месте статистики в квантовой механике.
Копенга́генская интерпрета́ция — интерпретация (толкование) квантовой механики, которую сформулировали Нильс Бор и Вернер Гейзенберг во время совместной работы в Копенгагене около 1927 года. Бор и Гейзенберг усовершенствовали вероятностную интерпретацию волновой функции, данную М. Борном, и попытались ответить на ряд вопросов, возникающих вследствие свойственного квантовой механике корпускулярно-волнового дуализма, в частности на вопрос об измерении.
Парадо́кс Ги́ббса — отсутствие непрерывности для энтропии при переходе от смешения различных газов к смешению тождественных газов, когда, например, при переходе от бесконечно мало отличающихся идеальных газов к тождественным расчётное значение энтропии смешения падает скачком до нуля, что представляется неожиданным и нелогичным.
Теории скрытых параметров — в квантовой механике теории, предложенные для решения проблемы квантовомеханического измерения путём ввода гипотетических внутренних параметров, присущих измеряемым системам (например, частицам). Значения таких параметров не могут быть измерены экспериментально (в частности, они не влияют на собственные значения энергии системы), но определяют результат измерения других параметров системы, описываемых в квантовой механике волновыми функциями и/или векторами состояния...
Спор о струне, спор о колеблющейся струне, спор о звучащей струне — научная дискуссия, развернувшаяся в XVIII веке между крупнейшими учёными того времени вокруг изучения колебаний струны. В спор оказались вовлечены Д’Аламбер, Эйлер, Д. Бернулли, Лагранж. Дискуссия касалась определения понятия функции и оказала решающее влияние на множество разделов математики: теорию дифференциальных уравнений в частных производных, математический анализ и теорию функций вещественного переменного, теорию тригонометрических...
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
Квантовый мистицизм — набор метафизических идей и сопутствующих им практик, направленных на то, чтобы связать сознание, ум человека или же мистические философские системы с идеями квантовой механики и её интерпретациями. Квантовый мистицизм обычно считается псевдонаукой, а сопутствующие ему дебаты рассматриваются как часть противостояния науки и религии. Некоторые близкие к квантовому мистицизму идеи существуют сейчас в виде разнообразных теорий квантовой психологии.
Критический рационализм (критический эмпиризм, фальсификационизм) — эпистемологическая теория, основные принципы которой сформулированы Карлом Поппером.
Аксиоматика термодинамики имеет своей задачей выявление структуры термодинамических понятий и законов с целью логически непротиворечивого введения в научный оборот макроскопических физических величин, которым не даётся определения в других разделах физики, — внутренней энергии, энтропии и температуры: «в термодинамику вводятся две новые физические величины — энтропия и абсолютная температура; этот шаг подлежит обоснованию». Существует и другое представление о роли аксиоматики в термодинамике (Г...
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Эмпириокритици́зм, (др.-греч. ἐμπειρία — опыт и критика, «критика опыта» или «критика с позиций опыта»; также известен как «Второй позитивизм») — философское направление, родоначальником которого является Рихард Авенариус: отправным пунктом теории познания Авенариуса является не мышление или субъект, не материя или объект, а чистый опыт в том виде, в котором он непосредственно познаётся людьми.
Структура научных революций (англ. The Structure of Scientific Revolutions) (1962) — книга Томаса Куна, представляющая собой анализ истории науки. Её публикация стала значительным событием в социологии знаний, ввела в обиход термины парадигма и смена парадигм.
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Релятиви́зм (от лат. relativus — относительный) — методологический принцип, состоящий в метафизической абсолютизации относительности и условности содержания познания.
Модальный реализм (англ. Modal realism) — гипотеза, предложенная Дэвидом Льюисом, что все возможные миры такие же реальные, как реальный мир.
Субъективизм — введённое Декартом понятие, означающее поворот к субъекту, то есть взгляд на сознание как на первично данное, в то время как всё другое является формой, содержанием или результатом творчества сознания.
Эпистемологический анархизм («анархистская теория познания») — релятивистская концепция, созданная философом науки, американцем австрийского происхождения Полом Фейерабендом и раскрытая в его работах, особенно в книге «Против метода». Этот подход провозглашает отсутствие каких-либо универсальных критериев истинности знания, а навязывание таких критериев государством или обществом рассматривает как препятствие для свободного развития науки. Каждый ученый волен развивать свою идею, какой бы абсурдной...
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell's Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка.
Советская эстетика — сфера эстетики, последовательно развивавшаяся в СССР. Наиболее её плодотворные и значительные произведения относятся к 1950—1970-м годам. В то время издавались работы таких известных учёных как И. В. Малышев, Л. Н. Столович, А.Н Сохор, В. В. Ванслов и др.
Классическая теория поля — физическая теория о взаимодействии полей и материи, не затрагивающая квантовых явлений. Обычно различают релятивистскую и нерелятивистскую теорию поля.
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
Математическая абстракция — абстракция в математике, мысленное отвлечение. Типы абстрагирования, применяемых в математике: "чистое" отвлечение, идеализация и их различные вариации.
«Новая критика» (англ. New Criticism) — течение в литературной критике середины XX века, разновидность формального метода в литературоведении.
Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин. Основания математики включают в себя три компонента.
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Выразительность языка программирования — качество языка, показывающее, насколько разнообразны идеи, которые можно реализовать на этом языке, и насколько легко они читаются.
Зако́ны сохране́ния — фундаментальные физические законы, согласно которым при определённых условиях некоторые измеримые физические величины, характеризующие замкнутую физическую систему, не изменяются с течением времени. Являются наиболее общими законами в любой физической теории. Имеют большое эвристическое значение.
Цифровая физика в физике и космологии — совокупность теоретических взглядов, основанных на интерпретации, что Вселенная по сути является информацией и, следовательно, является вычислимой. Из данной идеи следует то, что Вселенная может пониматься как результат работы некоторой компьютерной программы или как некий вид цифрового вычислительного устройства (или, по крайней мере, устройства, математически изоморфного такому устройству).
Семантическая информация — смысловой аспект информации, отражающий отношение между формой сообщения и его смысловым содержанием.
При́нцип относи́тельности (принцип относительности Эйнштейна) — фундаментальный физический принцип, один из принципов симметрии, согласно которому все физические процессы в инерциальных системах отсчёта протекают одинаково, независимо от того, неподвижна ли система или она находится в состоянии равномерного и прямолинейного движения.
Теория всего в философии — термин для обозначения всеобъемлющей философской концепции, описывающей природу или бытие всего сущего. Термин «теория всего» позаимствован из физики, в которой на протяжении длительного времени ведутся попытки построения теории, описывающей все известные фундаментальные взаимодействия. Философская теория всего, по мнению ряда философов, должна отвечать на такие вопросы, как «Почему постижима реальность?», «Почему законы природы именно таковы?», «Почему что-либо вообще...
Смена парадигм (англ. paradigm shift) — термин, впервые введённый историком науки Томасом Куном в книге «Структура научных революций» (1962) для описания изменения базовых посылов в рамках ведущей теории науки (парадигмы). Впоследствии термин стал широко применяться и в отношении других сфер человеческого опыта.
Бесконечно малая — числовая функция или последовательность, которая стремится к нулю.