Связанные понятия
Верифика́ция (от лат. verum «истинный» + facere «делать») в различных сферах деятельности человека может подразумевать...
Некоторые модели человеческого поведения в общественных науках предполагают, что поведение людей может быть описано в предположении, что люди ведут себя как «рациональные» существа (смотри, например, теорию рационального выбора). Во многих экономических моделях полагается, что люди гиперрациональны и никогда не делают чего бы то ни было, что противоречит их интересам. Концепция ограниченной рациональности подвергает эти положения сомнению с целью учесть, что в действительности совершенно рациональные...
Подробнее: Ограниченная рациональность
Дескриптивные методы принятия решений — это оценочно-описательный метод исследования, направленный на эмпирическое исследование и описание поведения отдельных лиц и групп людей в процессе принятия решений. Она носит ярко выраженный объясняющий, а не предписывающий характер.
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
При́нцип доста́точного основа́ния — это принцип, требующий, чтобы в случае каждого утверждения указывались убедительные основания, в силу которых оно принимается и считается истинным. Требование достаточных или убедительных оснований столь же старо, как и само теоретическое мышление. В ясной форме это требование сформулировал уже Аристотель. Он уточнил одновременно, что в различных областях знания требование достаточности оснований является разным, и не следует от оратора требовать научных доказательств...
Эпистемическая теория игр (англ. epistemic game theory), иначе называемая интерактивной эпистемологией (англ. interactive epistemology), формализует допущения о верах и знаниях игроков относительно рациональности, поведения оппонентов, их собственных знаний и вер. Эти допущения лежат в основе различных концепций решения — правил, в соответствии с которыми прогнозируется поведение игроков и, следовательно, исход игры. Допущения часто описаны на интуитивном уровне, и эпистемический анализ необходим...
Прикладные исследования — научные исследования, направленные на практическое решение технических и социальных проблем.
Нау́чный ме́тод — система категорий, ценностей, регулятивных принципов, методов обоснования, образцов и т.д., которыми руководствуется в своей деятельности научное сообщество.
Конвенционали́зм (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана...
Тео́рия приня́тия реше́ний — область исследования, вовлекающая понятия и методы математики, статистики, экономики, менеджмента и психологии с целью изучения закономерностей выбора людьми путей решения проблем и задач, а также способов достижения желаемого результата.
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.
Подробнее: Индуктивное умозаключение
Возможность — направление развития, присутствующее в каждом явлении жизни; выступает и в качестве предстоящего, и в качестве объясняющего, то есть как категория.
Ме́тод проб и оши́бок (в просторечии также: метод (научного) тыка) — является врождённым эмпирическим методом мышления человека. Также этот метод называют методом перебора вариантов.
Теория возможностей — математическая теория, имеющая дело с особым типом неопределенности, альтернативна теории вероятностей. Профессор Лотфи Заде (Lotfi Zadeh) впервые ввел теорию возможностей в 1978 году в качестве расширения его теорий нечётких множеств и нечёткой логики. Д. Дюбуа (D. Dubois) и Г. Праде (H. Prade) позже внесли свой вклад в её развитие. Раньше, в 1950-х годах экономист Дж. Шекл предложил min/max-алгебру для описания степени потенциальных неожиданностей. В конце 1990-х годов профессор...
Семантическая информация — смысловой аспект информации, отражающий отношение между формой сообщения и его смысловым содержанием.
Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell's Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка.
Принцип актуализма в науке — презумпция, состоящая в том, что в прошлом действовали те же самые законы природы, что и в настоящее время.
Те́зис Чёрча — Тью́ринга — это гипотеза, постулирующая эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин...
Аргументационная
теория , или аргументация, является междисциплинарным исследованием о том, как выводы могут быть достигнуты через череду логических рассуждений; то есть, претензии, основанные, крепко или нет, на предпосылках. Она включает в себя искусство и науки гражданской дискуссии, диалога, разговора, и убеждения. Она изучает правила вывода, логики и процедурных правил в обоих искусственных и реальных условиях мира.
Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции. Результатом логической операции обобщения является гипероним.
Научно-исследовательская программа (по Лакатосу) — единица научного знания; совокупность и последовательность теорий, связанных непрерывно развивающимся основанием, общностью основополагающих идей и принципов.
Критическое мышление (англ. critical thinking) — система суждений, которая используется для анализа вещей и событий с формулированием обоснованных выводов и позволяет выносить обоснованные оценки, интерпретации, а также корректно применять полученные результаты к ситуациям и проблемам. В общем значении под критическим мышлением подразумевается мышление более высокого уровня, чем мышление докритическое.
Теоретическая выборка (англ. theoretical sampling), или теоретический отбор — процесс сбора данных для теории, когда аналитик одновременно собирает, кодирует, анализирует и сравнивает свои данные между собой. Он также решает, какие данные собирать дальше и где их искать, чтобы развивать свою теорию по мере ее возникновения . Исследователь выбирает какую-либо общую проблемную область и начинает с определения некоторых ключевых понятий и особенностей, которые будут им анализироваться. При этом важно...
Модели́рование — исследование объектов познания на их моделях; построение и изучение моделей реально существующих объектов, процессов или явлений с целью получения объяснений этих явлений, а также для предсказания явлений, интересующих исследователя.
Тео́рия (греч. θεωρία «рассмотрение, исследование») — учение, система научного знания, описывающая и объясняющая некоторую совокупность явлений и сводящая открытые в данной области закономерные связи к единому объединяющему началу. Представляет собой наиболее глубокое и системное знание о необходимых сторонах, связях исследуемого, его сущности и закономерностях. Знания о закономерностях исследуемого в теории являются логически непротиворечивыми и основанными на каком-либо едином, объединяющем начале...
Проблема демаркации (лат. demarcatio — разграничение) — проблема поиска критерия, по которому можно было бы отделить теории, являющиеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики, и формальных наук (логики, математики). Проблема демаркации — это также проблема определения границ науки, отделяющих её от других способов, которыми человек может излагать свои мысли, чувства и убеждения (литература, искусство и религия).
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Методики креативности (методики творчества) — методы и техники, способствующие творческому процессу генерации оригинальных идей, нахождения новых подходов к решению известных проблем и задач. Методики креативности помогают чётче формулировать задачи, ускорять процесс нахождения идей, а также увеличивать их количество, расширять взгляд на проблему и уничтожать ментальные блокады. Методики не являются алгоритмами, следуя которым обязательно будет найдено решение задачи, зато они дают направление и...
Не следует путать с фальсификацией.Фальсифици́руемость (принципиальная опровержимость утверждения, опроверга́емость, крите́рий По́ппера) — критерий научности эмпирической или иной теории, претендующей на научность. Сформулирован К. Р. Поппером в 1935 году. Теория удовлетворяет критерию Поппера (является фальсифицируемой и, соответственно, научной) в том случае, если существует возможность её экспериментального или иного опровержения. Согласно этому критерию, высказывания или системы высказываний...
Подробнее: Фальсифицируемость
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления логики, формальных языков, теории автоматов, формальной семантики, систем типов и алгебраических типов данных.
В психологии
принятие решения рассматривается как когнитивный процесс, результатом которого является выбор мнения или курса действий среди нескольких альтернативных возможностей.
Вопрос научного обоснования нейролингвистического программирования (НЛП), соотношения НЛП и науки, а также критического научного рассмотрения феномена НЛП стоит со времени создания НЛП в начале 1970-х.
Подробнее: НЛП и наука
Закон Парето (принцип Парето, принцип 80/20) — эмпирическое правило, названное в честь экономиста и социолога Вильфредо Парето, в наиболее общем виде формулируется как «20 % усилий дают 80 % результата, а остальные 80 % усилий — лишь 20 % результата». Может использоваться как базовая установка в анализе факторов эффективности какой-либо деятельности и оптимизации её результатов: правильно выбрав минимум самых важных действий, можно быстро получить значительную часть от планируемого полного результата...
Систе́ма (др.-греч. σύστημα «целое, составленное из частей; соединение») — множество элементов, находящихся в отношениях и связях друг с другом, которое образует определённую целостность, единство.
Неопределённость — отсутствие или недостаток определения или информации о чём-либо.
Искусственный интеллект и закон (ИИ и закон) — подобласть искусственного интеллекта (ИИ), в основном касающаяся приложений ИИ к проблемам правовой информатики и оригинальных исследований по этим проблемам. Другое направление — перенос инструментов и методов, разработанных в контексте решения правовых задач, на сферу искусственного интеллекта в целом. Например, теории правовых решений, особенно модели аргументации, способствовали развитию представления знаний и рассуждений; модели социальной организации...
Подробнее: Приложения искусственного интеллекта к правовой информатике
Конверсацио́нный ана́лиз – это эмпирический метод научного познания, который основывается на установлении взаимосвязей между структурами разговора, социальными практиками и ожиданиями коммуникантов, на основании которых последние выбирают определенную модель поведения и интерпретируют поведение других .
Факт (лат. factum) — термин, в широком смысле может выступать как синоним истины; событие или результат; реальное, а не вымышленное; конкретное и единичное в противоположность общему и абстрактному.В философии науки факт — это особое предложение, фиксирующее эмпирическое знание, утверждение или условие, которое может быть верифицировано. Факт противопоставляется теории или гипотезе. Научная теория описывает и объясняет факты, а также может предсказать новые. Утверждение, которое не может быть непосредственно...
Логика разделения , сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
Зна́ние — результат процесса познавательной деятельности. Обычно под знанием подразумевают только тот результат познания, который может быть логически или фактически обоснован и допускает эмпирическую или практическую проверку. То есть, говоря о знании, мы чаще всего имеем в виду отражение действительности в мышлении человека.
Концептная натяжка (от англ. conceptual stretching) — это расширение моделей и гипотез для того, чтобы охватить дополнительные случаи без адаптации аналитических категорий для соответствия новым контекстам, то есть использование в сравнительных исследованиях понятия, сложившегося в одних обстоятельствах, для обозначения нового явления, схожего лишь внешне с привычным и закрепленным концептом. При этом понятие «растягивается» с целью охватить новую действительность. В результате становится возможным...
Подробнее: Концептные натяжки Джованни Сартори
Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются...
Теория ограничений — популярная методология управления системами в различных видах деятельности, разработанная в 1980-е годы Элияху Голдраттом и базирующаяся на поиске и управлении ключевым ограничением системы, которое предопределяет успех и эффективность всей системы в целом. Основной особенностью методологии является то, что делая усилия над управлением очень малым количеством аспектов системы, достигается эффект, намного превышающий результат одновременного воздействия на все или большинство...
Принцип или основа, начало, первоначало (лат. principium, греч. αρχή, дословно первейшее) — постулат, утверждение, на основе которого создают научные теории и законы, юридические документы, выбирают нормы поведения в обществе.
Недодетерминация (недоопределенность, принцип недостаточной детерминации) в философии науки — недостаточная определенность и детерминированность теорий имеющимися эмпирическими основаниями.