Связанные понятия
Рассуждение — последовательный ряд мыслей и умозаключений в контексте определённой темы, изложенных в логически последовательной форме.
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Семантика Крипке является распространенной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Она была создана Солом Крипке в конце 1950-х — начале 1960-х годов. Это было большим достижением для развития теории моделей для неклассических логик.
Абдукция (от лат. ab — от и лат. ducere — водить) — познавательная процедура выдвижения гипотез.
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Абстрактная модель — это модель, отражающая лишь самые общие характеристики моделируемого явления. Чаще всего абстрактная модель даёт лишь качественные характеристики моделируемого объекта или явления.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
Стэ́нфордская филосо́фская энциклопе́дия (англ. The Stanford Encyclopedia of Philosophy) — публичная интернет-энциклопедия по философии, поддерживаемая Стэнфордским университетом. Каждая статья написана и обновляется экспертом в предметной области. В создание энциклопедии вовлечены профессора из 65 академических институтов по всему миру. Помимо онлайнового статуса, энциклопедия поддерживает традиционный академический подход, используемый в большинстве энциклопедий и академических журналов, достигая...
Парадоксами
теории множеств называют * рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как...
Нея́вное зна́ние (англ. tacit knowledge) — вид знания, к которому относится то знание, которое не может быть легко передано другим.
Антецедент (лат. antecedens — «предшествующее») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает, отчасти — логическое подлежащее в его отношении к сказуемому, отчасти — причину в отношении к следствию.
Теория идентичности (также теория тождества, редуктивный материализм, редуктивный физикализм) (англ. Identity theory) – группа теорий в философии сознания, согласно которым состояния сознания идентичны состояниям мозга, а процессы в сознании идентичны процессам в мозге, то есть сознание тождественно последовательности состояний нейронной активности. Существуют две разновидности теорий идентичности: типовые теории идентичности (Type Identity Theories) и знаковые теории идентичности (Token Identity...
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Элиминативный материализм (англ. Eliminative materialism; элиминативизм) — материалистическая позиция в философии сознания, согласно которой обыденное понимание сознания является ложным и некоторые ментальные состояния, в которые верят люди, не существуют. Некоторые элиминативисты считают, что для некоторых концепций, таких как вера или желание, не будет найдено нейробиологического базиса, поскольку они недостаточно точно определены. Они, в свою очередь, считают, что психологические концепции поведения...
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
Концептуа́льная схе́ма — семантическая сеть из взаимосвязанных по определенным правилам понятий (а не единичное понятие) и концепций.
Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом. Для того, чтобы это было возможно, определение в любом данном случае должно быть хорошо-основанным, избегая бесконечной регрессии.
Модель мозга — любая теоретическая система, которая стремится объяснить физиологические функции мозга с помощью известных законов физики и математики, а также известных фактов нейроанатомии и нейрофизиологии . Существуют по меньшей мере два основных положения, играющих фундаментальную роль в теории функционирования мозга, в отношении которых сходится мнение большинства современных теоретиков...
Индетермини́зм (от лат. in — не и лат. determinare — определять) — философское воззрение и методологическая позиция, отрицающие либо объективность причинной связи (онтологический индетерминизм), либо познавательную значимость причинного объяснения в науке (методологический индетерминизм). В философии науки: концепция, согласно которой фундаментальные законы природы имеют вероятностный характер, а случай является не только равноправной по отношению к необходимости сущностью природы, но и более фундаментальной...
Философия психологии — сравнительно молодой специальный раздел философии науки, занимающийся исследованием и изучением методологии эмпирической психологии, знаний, полученных в науке психологии.
Хорновский дизъюнкт — дизъюнктивный одночлен с не более чем одним положительным литералом. Изучены Альфредом Хорном (англ. Alfred Horn) в 1951 году в связи с их важной ролью в теории моделей и универсальной алгебре. Впоследствии стали основой для языка логического программирования Пролог, в котором программа являются непосредственно набором хорновских дизъюнктов, а также нашли важные приложения в конструктивной логике и теории сложности вычислений.
Сбор данных — это процесс собирания информации и измерения целевых показателей в сложившейся системе, который позволит потом ответить на актуальные вопросы и оценить результаты. Сбор данных является частью исследований во всех областях изучения, включая физику, общественные науки, Гуманитарные науки и бизнес. Хотя методы различны для разных дисциплин, упор на обеспечение точной и правдивой информации остаётся тем же самым. Целью всего сбора данных служит получение свидетельства о качестве данных...
Отделение
содержания от представления (или «разделение формы и содержания») это общепринятая идиома, философия дизайна и методология, применяемая в контексте различных издательских технологических дисциплинах, включая информационный поиск, обработку шаблонов, веб-дизайн, веб-программирование, обработку текста, компьютерную вёрстку и разработку управляемую моделями. Это конкретный случай более общей философии разделения ответственности.
Семанти́ческий ана́лиз — этап в последовательности действий алгоритма автоматического понимания текстов, заключающийся в выделении семантических отношений, формировании семантического представления текстов. Один из возможных вариантов представления семантического представления — структура, состоящая из «текстовых фактов». Семантический анализ в рамках одного предложения называется локальным семантическим анализом.
Алгоритмическая теория информации — это область информатики, которая пытается уловить суть сложности, используя инструменты из теоретической информатики. Главная идея — это определить сложность (или описательную сложность, колмогоровскую сложность, сложность Колмогорова-Хайтина) строки как длину кратчайшей программы, которая выводит заданную строку. Строки, которые могут выводиться короткими программами, рассматриваются как не очень сложные. Эта нотация удивительно глубока и может быть использована...
Теория топосов — раздел теории категорий, изучающий топосы — категории с определёнными дополнительными структурами, и математические (категорные) методы, связанные с топосами.
Социальная практика — вид практики, в ходе которой конкретно-исторический субъект, используя общественные институты, организации и учреждения, воздействуя на систему общественных отношений, изменяет общество и развивается сам.
Когнити́вная систе́ма , когнити́вная структу́ра (от лат. cognitiо «познание») — система познания (человека), сложившаяся в его сознании в результате становления его характера, воспитания, обучения, наблюдения и размышления об окружающем мире. На основе этой системы ставятся цели и принимаются решения о том, как надо действовать в той или иной ситуации, стараясь избежать когнитивного диссонанса. В основе когнитивной системы лежит взаимодействие мышления, сознания, памяти и языка; носителем такой системы...
Философия искусственного интеллекта задаётся вопросами о «мышлении машин», эти вопросы отражают интересы различных исследователей искусственного интеллекта, философов, исследователей познавательной (когнитивной) деятельности.
Антисциенти́зм (от греч. anti- — против и лат. scientia — знания) — философско-мировоззренческая позиция, противостоящая сциентизму, заключающаяся в критическом отношении к науке, её положению в культуре и её возможностям познания, различающаяся по степени критичности от умеренного отношения до враждебного. Концепции, учения и деятельность радикальной антисциентистской направленности носят обобщённое наименование «антинаука».
Нейтральный монизм — метафизическое воззрение, согласно которому психическое и физическое являются двумя способами организации или описания тех же самых элементов, которые сами по себе являются «нейтральными», то есть не носят ни физического, ни психического характера. Эта точка зрения отрицает, что психическое и физическое — две принципиально разные вещи. Скорее всего, с точки зрения нейтрального монизма, Вселенная состоит только из одного вида субстанции — в виде нейтральных элементов, которые...
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Закон сравнительных суждений - психофизический закон, определяющий отношение между двумя объектами в психическом пространстве человека. Сформулирован Л. Л. Терстоуном.
Лингвистический поворот — явление в философии XX века, связанное с переосмыслением понятия и роли языка, а также одноимённая антология (англ. 'Linguistic turn: Recent Essays in Philosophical Method') под редакцией Ричарда Рорти, изданная в 1967 году.
Функция принадлежности нечёткого множества — обобщение индикаторной (или характеристической) функции классического множества. В нечёткой логике она представляет степень принадлежности каждого члена пространства рассуждения к данному нечёткому множеству.
Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Пра́вило — требование для исполнения неких условий (норма на поведение) всеми участниками какого-либо действия (игры, правописания, судебного процесса, организации, учреждения), за выполнение которого предусмотрено поощрение, а за невыполнение — наказание.
Бина́рная оппози́ция — универсальное средство рационального описания мира, где одновременно рассматриваются два противоположных понятия, одно из которых утверждает какое-либо качество, а другое — отрицает. Считается неотъемлемым качеством дискурсивного мышления, противопоставляемого различным формам интуиции. Корни представления о бинарных оппозициях уходят в диалектику Платона и формальную логику Аристотеля. Термин введен лингвистом Н. С. Трубецким. Активно используется в структурализме.
Интеллектуальный анализ текстов (ИАТ, англ. text mining) — направление в искусственном интеллекте, целью которого является получение информации из коллекций текстовых документов, основываясь на применении эффективных в практическом плане методов машинного обучения и обработки естественного языка. Название «интеллектуальный анализ текстов» перекликается с понятием «интеллектуальный анализ данных» (ИАД, англ. data mining), что выражает схожесть их целей, подходов к переработке информации и сфер применения...
Гетерофеноменология (др.-греч. ἕτερος — другой, φαινόμενον — явление и λόγος — учение) — термин, введенный Дэниелом Деннетом, чтобы описать научный подход к исследованию сознания и других умственных состояний субъекта. Суть такого подхода состоит в применении антропологических методов совместно с комбинацией самоописания собственного состояния субъекта со всеми другими доступными свидетельствами, для определения его психического состояния. Цель этого подхода состоит в том, чтобы понять, как субъект...
Сигнифика́т (от лат. significātum — значимое) — понятийное содержание имени или знака.
Необходимость — характеристика явления, однозначно определённого некоторой областью действительности, предсказуемого в рамках знания о ней. Необходимость противопоставляют случайности.
Действие (англ. action, рerformance) — единица деятельности, целенаправленная преднамеренная активность, осуществляемая субъектом деятельности произвольно. В широком смысле действием является любое мотивированное поведение. Направленность действия необязательно осознается субъектом. Смысл действия также может быть скрыт от осознания.
Ассоциативная психология (Ассоцианизм) — совокупность психологических концепций и школ XVIII – XIX вв., в которых ассоциация считалась главным или даже единственным механизмом работы сознания. Ассоциация идей может возникать в результате подобия (ассоциация предметов, имеющих одинаковые свойства и признаки), близости (ассоциация расположенных рядом предметов или событий, происходящих совместно в одно и то же время), контраста (ассоциация предметов, характеризующихся как противоположности друг друга...
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Каузальная атрибуция (от лат. causa — причина лат. attributio — приписывание) — феномен межличностного восприятия. Заключается в интерпретации, приписывании причин действий другого человека.