Понятия со словом «интуиционизм»
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Связанные понятия
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Постпозитиви́зм (англ. Postpositivism) — общее название для нескольких школ философии науки, объединённых критическим отношением к эпистемологическим учениям, которые были развиты в рамках неопозитивизма и обосновывали получение объективного знания из опыта. Основные представители: Карл Поппер, Томас Кун, Имре Лакатос, Пол Фейерабенд, Майкл Полани, Стивен Тулмин. К постпозитивизму близки работы школы неорационализма, в особенности Г. Башляра и М. Фуко.
Плюрали́зм (от лат. pluralis — множественный) — философская позиция, согласно которой существует множество различных равноправных, независимых и несводимых друг к другу основ или форм бытия (онтологический плюрализм), а значит и форм знания и методологий познания (эпистемологический плюрализм). Плюрализм занимает оппонирующую позицию по отношению к монизму.
Психологи́зм — тенденция в философии и гуманитарном знании к объяснению духовных явлений и идеальных сущностей работой индивидуального или коллективного сознания. Наиболее известны психологистические системы в логике и математике.
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, её различных направлений, дисциплин и теорий. В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод...
Панлогизм (от греч. πᾶν — все и λόγος — мысль, слово, разум) — метафизическая теория, согласно которой всё существующее представляет собой воплощение разума или логоса.
Стиль научного мышления — в философии науки выражает мировоззренческий и методологический подход к пониманию мира и объяснению эмпирических фактов. Включает в себя применяемые на данном историческом этапе развития науки методы эмпирического и теоретического исследования, определённую гносеологическую или социальную установку в познании, философские идеи и принципы, психологию учёных. Понятие "стиль научного мышления" было введено в науку М. Борном и Л. Флеком.
Релятиви́зм (от лат. relativus — относительный) — методологический принцип, состоящий в метафизической абсолютизации относительности и условности содержания познания.
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Конвенционали́зм (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана...
Пробабилизм (от лат. probabilis – вероятный) — вероятностный стиль мышления, характерный для развития современного научного познания. Пробабилистский подход противоположен детерминистическому подходу.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Номотетика,
номотетический подход или метод (от др.-греч. νόμος — закон + корень θη- — полагать, устанавливать) − 1) в учении Канта способ «законодательной» деятельности разума в установлении им законов и правил познания; 2) в неокантианстве баденской школы — метод естественных наук, направленный на выявление общих закономерностей, генерализующий общие тенденции науки. Понятие введено Вильгельмом Виндельбандом, подробно описано Генрихом Риккертом, усматривавшим вслед за Кантом предмет естествознания...
Лингвисти́ческая филосо́фия — направление в аналитической философии в 1930—1960-х годах, получившее наибольшее распространение в США и Великобритании. Будучи в определённом смысле последователями Мура и Витгенштейна, представители лингвистической философии всё же, в отличие от логических позитивистов, не призывали к улучшению естественного языка по образцу формализованных логических языков или языков науки. Одна из школ лингвистической философии (Д. Уиздом, М. Лазеровиц, Э. Эмброуз) сблизилась с...
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Субъекти́вный идеали́зм — группа направлений в философии, представители которых отрицают существование независимой от воли и сознания субъекта реальности. Философы этих направлений либо считают, что мир, в котором живёт и действует субъект, — это совокупность ощущений, переживаний, настроений, действий этого субъекта, либо, как минимум, полагают, что эта совокупность является неотъемлемой частью мира. Радикальной формой субъективного идеализма является солипсизм, в котором реальным признается только...
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Аналити́ческая филосо́фия (англ. Analytic philosophy) — англо-американская традиция философии, получившая широкое распространение в середине XX века. Аналитическая философия не представляет собой единой школы, поскольку хотя и сформировалась на основе британского неореализма Мура и Рассела, однако также впитала в себя австрийский неопозитивизм (через Айера и Куайна) и американский прагматизм (Пирс, Моррис). От позитивизма она заимствует антиметафизическую направленность (критика философских «псевдопроблем...
Позитиви́зм (фр. positivisme, от лат. positivus — положительный) — философское учение и направление в методологии науки, определяющее единственным источником истинного, действительного знания эмпирические исследования и отрицающее познавательную ценность философского исследования.
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Трансцендентальная иллюзия — термин, введённый философом Иммануилом Кантом, для обозначения системы философско-этических учений, постулатов и доказательств, пытающихся объяснить феномены запредельного по отношению к миру явлений и недоступного познанию (трансцендентного), на основании эмпирического опыта. В частности, к трансцендентальной иллюзии Кант относил систему доказательств бытия Бога, разработанную Св. Фомой Аквинским.
Научный реализм (англ. Scientific realism) — течение в философии науки, согласно которому единственным надёжным средством достижения знания о мире является научное исследование, результат которого интерпретируется с помощью научных теорий. Теории научного реализма могут быть также вероятно истинными или приблизительно истинными или относительно истинными. Теории касаются наблюдаемых и ненаблюдаемых объектов, хотя и являются в сущности достоверными, однако могут быть в какой-то степени ложны.
Топологическая рефлексия — метод современной философии, учитывающий нелинейный, но непрерывный (топологический) характер современного мышления (рефлексии). Термин введен и обоснован петербургским философом Савчуком в 2003 годудля того чтобы противопоставить современное мышление классическому, которое в этом контексте именуется оптической рефлексией, что указывает на связь с эпохой Просвещения и предшествующим ему картезианством. Если оптическая рефлексия постулирует идеал бестелесного взгляда с позиции...
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Евкли́дова геоме́трия (или элементарная геометрия) — геометрическая теория, основанная на системе аксиом, впервые изложенной в «Началах» Евклида (III век до н. э.).
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
Априо́ри (лат. a priori — буквально «от предшествующего») — знание, полученное до опыта и независимо от него (знание априори, априорное знание), то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори (лат. a posteriori — от последующего...
Онтоло́гия (новолат. ontologia от др.-греч. ὄν, род. п. ὄντος — сущее, то, что существует + λόγος — учение, наука) — учение о сущем; учение о бытии как таковом; раздел философии, изучающий фундаментальные принципы бытия, его наиболее общие сущности и категории, структуру и закономерности. Философское учение об общих категориях и закономерностях бытия, существующее в единстве с теорией познания и логикой.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Крите́рий (др.-греч. κριτήριον — способность различения, средство суждения, мерило) — признак, основание, правило принятия решения по оценке чего-либо на соответствие предъявленным требованиям (мере). Особо выделяют критерии истинности знания. Различают логические (формальные) и эмпирические (экспериментальные) критерии истинности. Формальным критерием истины служат логические законы: истинно всё, что не заключает в себе противоречия, логически правильно. Эмпирическим критерием истинности служит...
Логи́ческий позитиви́зм (англ. Logical positivism; также логический эмпиризм и неопозитивизм) — является школой философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающиеся на рационализм, основанный на математических и логико-лингвистических конструкциях в эпистемологии. Логический позитивизм утверждает, что мир познаваем, надо только избавиться от ненаблюдаемого.
Джастификационизм (от англ. justificationism - justification) — позитивистский (в некоторых источниках постпозитивистский) метод науки, в основе которого лежит предположение о том, что научная теория обосновывается фактами, логическими последовательностями. Термин введён И. Лакатосом.
Основания геометрии — область математики, изучающая аксиоматические системы евклидовой геометрии, а также различных неевклидовых геометрий.
Неорационализм — течение в европейской философии науки, которое является реформацией классического рационализма. Создателем неорационализма принято считать Гастона Башляра, французского философа и искусствоведа, хотя также есть множество других философов, таких как Фердинанд Гонсет, Эмиль Мейерсон, Жан Пиаже и другие философы, в том числе и критического рационализма, которые теоретически тоже могли быть отцами-основателями неорационализма.
Индетермини́зм (от лат. in — не и лат. determinare — определять) — философское воззрение и методологическая позиция, отрицающие либо объективность причинной связи (онтологический индетерминизм), либо познавательную значимость причинного объяснения в науке (методологический индетерминизм). В философии науки: концепция, согласно которой фундаментальные законы природы имеют вероятностный характер, а случай является не только равноправной по отношению к необходимости сущностью природы, но и более фундаментальной...
Австрийская философия — это комплекс философских систем, а также отдельных мыслителей, связанных с Австрией и предшествующей ей Австро-Венгрии.
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
Неокантианство — направление в немецкой философии второй половины XIX — начала XX веков.