Связанные понятия
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Семантика Крипке является распространенной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Она была создана Солом Крипке в конце 1950-х — начале 1960-х годов. Это было большим достижением для развития теории моделей для неклассических логик.
Парадоксами
теории множеств называют * рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как...
Абдукция (от лат. ab — от и лат. ducere — водить) — познавательная процедура выдвижения гипотез.
Рассуждение — последовательный ряд мыслей и умозаключений в контексте определённой темы, изложенных в логически последовательной форме.
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и так далее. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций — функциональных...
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для любой формулы, представляют особый интерес, поскольку наличие алгоритма элиминации позволяет получить ряд содержательных результатов об этой теории.
Бина́рная оппози́ция — универсальное средство рационального описания мира, где одновременно рассматриваются два противоположных понятия, одно из которых утверждает какое-либо качество, а другое — отрицает. Считается неотъемлемым качеством дискурсивного мышления, противопоставляемого различным формам интуиции. Корни представления о бинарных оппозициях уходят в диалектику Платона и формальную логику Аристотеля. Термин введен лингвистом Н. С. Трубецким. Активно используется в структурализме.
Цифровая философия — направление в философии и космологии, поддерживаемое такими людьми, как Грегори Хайтин, Эдвард Фредкин, Стивен Вольфрам и Конрад Цузе.Цифровая философия отделилась от цифровой физики (оба термина введены Эдвардом Фредкиным) и предлагает основывать современную физику на клеточных автоматах. Точнее говоря, ученые, поддерживающие это направление исходят из предположения, что вселенная — гигантский Тьюринг-полный клеточный автомат.
Антиредукционизм — философское и / или научное учение, противоположное редукционизму, пропагандируещее, что не все свойства целого могут быть объяснены свойствами его составных частей и их взаимодействий. Одна из форм антиредукционизма (гносеологическая) показывает, что мы просто не в состоянии понять системы на уровне основных компонентов, и поэтому редукционизм должен потерпеть неудачу. Другой вид антиредукционизма (онтологический) показывает, что полное объяснение основных компонентов не представляется...
Физическая картина мира — обобщённый образ действительности, идеальная картина природы, формируемая в физической науке и включающая в себя наиболее общие понятия, принципы, гипотезы физики, а также стиль научного мышления. Представляет собой важнейшую составную часть научной картины мира как система знаний о наиболее общих закономерностях и свойствах физического мира. Осуществляет синтез физических и философских понятий и идей, объединяя проблемы видов и строения материи, её фундаментальных объектов...
Необходимость — характеристика явления, однозначно определённого некоторой областью действительности, предсказуемого в рамках знания о ней. Необходимость противопоставляют случайности.
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом. Для того, чтобы это было возможно, определение в любом данном случае должно быть хорошо-основанным, избегая бесконечной регрессии.
Объективи́зм — философское учение об объективности реальности (материализм, объективный идеализм, реализм). Объективизм предполагает учёт максимального количества факторов при создании общей картины действительности.
Термостатика — одно из названий классической термодинамики, акцентирующее внимание на том, что эта научная дисциплина представляет собой феноменологическую теорию стационарных состояний и квазистатических процессов в сплошных средах, и в явном виде отражающее современное деление термодинамики на статическую и нестатическую части — равновесную термодинамику и неравновесную термодинамику.
Индетермини́зм (от лат. in — не и лат. determinare — определять) — философское воззрение и методологическая позиция, отрицающие либо объективность причинной связи (онтологический индетерминизм), либо познавательную значимость причинного объяснения в науке (методологический индетерминизм). В философии науки: концепция, согласно которой фундаментальные законы природы имеют вероятностный характер, а случай является не только равноправной по отношению к необходимости сущностью природы, но и более фундаментальной...
Антецедент (лат. antecedens — «предшествующее») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает, отчасти — логическое подлежащее в его отношении к сказуемому, отчасти — причину в отношении к следствию.
Закон сравнительных суждений - психофизический закон, определяющий отношение между двумя объектами в психическом пространстве человека. Сформулирован Л. Л. Терстоуном.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Структурное прогнозирование или структурное обучение является собирательным термином для техник обучения машин с учителем, которые вовлекают предвидение структурных объектов, а не скалярных дискретных или вещественных значений.
Джастификационизм (от англ. justificationism - justification) — позитивистский (в некоторых источниках постпозитивистский) метод науки, в основе которого лежит предположение о том, что научная теория обосновывается фактами, логическими последовательностями. Термин введён И. Лакатосом.
Философия искусственного интеллекта задаётся вопросами о «мышлении машин», эти вопросы отражают интересы различных исследователей искусственного интеллекта, философов, исследователей познавательной (когнитивной) деятельности.
Элиминативный материализм (англ. Eliminative materialism; элиминативизм) — материалистическая позиция в философии сознания, согласно которой обыденное понимание сознания является ложным и некоторые ментальные состояния, в которые верят люди, не существуют. Некоторые элиминативисты считают, что для некоторых концепций, таких как вера или желание, не будет найдено нейробиологического базиса, поскольку они недостаточно точно определены. Они, в свою очередь, считают, что психологические концепции поведения...
Универса́льный язы́к (всеобщий язык; лат. lingua generalis) — язык, система терминов, определенных строго и однозначно, а потому допускающих над собой чисто формальные операции.
Принцип актуализма в науке — презумпция, состоящая в том, что в прошлом действовали те же самые законы природы, что и в настоящее время.
Две догмы эмпиризма (англ. Two Dogmas of Empiricism) — одна из основополагающих работ аналитической философии, написанная Уиллардом Куайном в 1951, содержавшей критику ряда основополагающих неопозитивистских идей, усилило в США интерес к новым тенденциям в аналитической философии, привнесло в последнюю элементы прагматизма.
Модель системы аксиом — какой-либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того, модель позволяет наглядно продемонстрировать некоторые особенности данной аксиоматической теории.
Геометрическая алгебра — историческое построение алгебры во второй книге «Начал» Евкида, где операции определялись непосредственно для геометрических величин, а теоремы доказывались геометрическими построениями.
Социальная кибернетика (англ. Sociocybernetics) — независимый раздел в социологии, основанный на общей теории систем и кибернетике.
Трансцендентальный идеализм (нем. transzendentale Idealism) — в учении И. Канта установка, отождествляющая и ограничивающая наблюдаемые вещи феноменами сознания. Основной предпосылкой этой установки является различие между явлениями как единицами опыта и вещами в себе. Кант в Критике чистого разума прямо отождествляет свою философию с трансцендентальным идеализмом. Противоположностью трансцендентального идеализма является трансцендентальный реализм.
Многомерное шкалирование — метод анализа и визуализации данных с помощью расположения точек, соответствующих изучаемым (шкалируемым) объектам, в пространстве меньшей размерности чем пространство признаков объектов. Точки размещаются так, чтобы попарные расстояния между ними в новом пространстве как можно меньше отличались от эмпирически измеренных расстояний в пространстве признаков изучаемых объектов. Если элементы матрицы расстояний получены по интервальным шкалам, метод многомерного шкалирования...
Нея́вное зна́ние (англ. tacit knowledge) — вид знания, к которому относится то знание, которое не может быть легко передано другим.
Ассоциативная психология (Ассоцианизм) — совокупность психологических концепций и школ XVIII – XIX вв., в которых ассоциация считалась главным или даже единственным механизмом работы сознания. Ассоциация идей может возникать в результате подобия (ассоциация предметов, имеющих одинаковые свойства и признаки), близости (ассоциация расположенных рядом предметов или событий, происходящих совместно в одно и то же время), контраста (ассоциация предметов, характеризующихся как противоположности друг друга...
Математи́ческая гипо́теза в физике — форма научной гипотезы, один из методов познания, широко используемый в теоретической физике, заключающийся в распространении на новую, неисследованную область известных математически выраженных законов из какой-либо из смежных областей в видоизменённой форме.
Динамическая и формальная эквивалентность (термин ввёл Юджин Найда) — это два различных подхода к переводу, которые помогают избежать буквализмов из текста оригинала в тексте перевода, что наблюдалось в переводах Библии.
Эмпири́ческая психология — особая дисциплина в психологии, которая изучает и описывает конкретные явления психической жизни. Эмпирическая психология во многом отличается от рациональной психологии, которая выводит явления из природы и сущности души.
Нумерация Гёделя — это функция g, сопоставляющая каждому объекту некоторого формального языка её номер. С её помощью можно явно пронумеровать следующие объекты языка: переменные, предметные константы, функциональные символы, предикатные символы и формулы, построенные из них. Построение нумерации Гёделя для объектов теории называется арифметизацией теории — оно позволяет переводить высказывания, аксиомы, теоремы, теории в объекты арифметики. При этом требуется, чтобы нумерация g была эффективно вычислимой...
Неорационализм — течение в европейской философии науки, которое является реформацией классического рационализма. Создателем неорационализма принято считать Гастона Башляра, французского философа и искусствоведа, хотя также есть множество других философов, таких как Фердинанд Гонсет, Эмиль Мейерсон, Жан Пиаже и другие философы, в том числе и критического рационализма, которые теоретически тоже могли быть отцами-основателями неорационализма.
Символический искусственный интеллект — это собирательное название для всех методов исследования искусственного интеллекта, основанных на высокоуровневом «символическом» (человекочитаемом) представлении задач, логики и поиска. Символический ИИ лёг в основу доминирующей парадигмы исследований ИИ с середины 1950-х до конца 1980-х.
Сигнифика́т (от лат. significātum — значимое) — понятийное содержание имени или знака.
Связь — философская категория, «выражающая взаимообусловленность существования явлений, разделённых в пространстве и (или) во времени», а также сами «отношения между объектами, проявляющиеся в том, что состояния или свойства любого из них меняются при изменении состояния и свойств других».
Категориальное восприятие — это особенность или, точнее, стадия формирования наглядных образов, на которой конкретные наглядные образы отождествляются с определённым классом объектов, имеющим определённое значение. Категориальное восприятие(КВ) — феномен человеческого сознания, проявляющийся в том, что категории, имеющиеся у человека влияют на его восприятие.
Абстрактная модель — это модель, отражающая лишь самые общие характеристики моделируемого явления. Чаще всего абстрактная модель даёт лишь качественные характеристики моделируемого объекта или явления.