Понятия со словом «аналогия»
Анало́гия (др.-греч. ἀναλογία «пропорция, соответствие, соразмерность») — подобие, равенство отношений; сходство предметов, явлений, процессов, величин и т. п. в каких-либо свойствах, а также познание путём сравнения, например...
Связанные понятия
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется...
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Суперве́нтность (англ. Supervenience) — отношение детерминированности состояния любой системы состоянием другой системы. Набор свойств одной системы супервентен относительно набора свойств другой системы в том случае, если существование различия между двумя фактами в свойствах первой системы невозможно без существования такого же различия между двумя фактами в свойствах второй системы. Понятие супервентности является центральным понятием современной аналитической философии и часто используется в...
Денота́т (от лат. denotatum — обозначенное) — обозначаемый предмет. Термин может употребляться в различных значениях, рассмотренных ниже.
Спекуляция (нем. Spekulation, от лат. speculatio — выслеживание, высматривание) — в философии это отвлечённое рассуждение, тип теоретического знания, которое выводится без обращения к опыту («спекулятивное суждение»).
Минимали́стская програ́мма — лингвистическая теория, предложенная американским лингвистом Н. Хомским для объяснения тех языковых феноменов, механизмы которых не были прояснены полностью в рамках теории принципов и параметров. Сама Минималистская программа содержит ряд сильных утверждений, касающихся универсальной грамматики, а также некоторые гипотезы об устройстве когнитивной системы в связи с врождённой языковой способностью. Главным методологическим принципом Минималистской программы является...
Катахре́за (катахрезис, от др.-греч. κατάχρησις — «злоупотребление») — троп или стилистическая ошибка, неправильное или необычное употребление сочетаний слов с несовместимыми буквальными лексическими значениями.
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Анто́нимы (др.-греч. ἀντι- приставка со значением противоположности + ὄνυμα — «имя») — это слова одной части речи, различные по звучанию и написанию, имеющие прямо противоположные лексические значения, например: «правда» — «ложь», «добрый» — «злой», «говорить» — «молчать».
Плеона́зм (от др.-греч. πλεονασμός «излишний, излишество») — оборот речи, в котором происходит дублирование некоторого элемента смысла; наличие нескольких языковых форм, выражающих одно и то же значение, в пределах законченного отрезка речи или текста; а также языковое выражение, в котором имеется подобное дублирование.Термин «плеоназм» пришёл из античной стилистики и грамматики. Античные авторы дают плеоназму различные оценки. Квинтилиан, Донат, Диомед определяют плеоназм как перегруженность речи...
Экстенсиона́л (от лат. extentio — протяжение, пространство, распространение) — термин семантики, обозначающий объём понятия, то есть множество объектов, способных именоваться данной языковой единицей (категорией). Например, в экстенсионал (категория) понятия «человек» входят все объекты, обладающие свойством «быть человеком» (Сократ — это человек, философ — это человек, мыслящее существо — это человек и т.п.).
Сине́кдоха (др.-греч. συνεκδοχή букв. «сопонимание» от συν «вместе» + εκδοχή «вариант, версия») — троп, разновидность метонимии, стилистический приём, состоящий в том, что название общего переносится на частное («Вся школа высыпала на улицу»; «Россия победила Египет 3:1»), реже — наоборот, с частного на общее. Например, на использовании синекдохи строится выразительность речи в отрывке из поэмы А. Т. Твардовского «Василий Тёркин»...
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Язык химии (химический язык) — система важнейших понятий химии и терминов, в которых они описываются, символы химических элементов, номенклатура неорганических и органических веществ (их названия, в том числе и тривиальные), химические формулы и уравнения, а также правила перевода информации с естественного языка на язык химии и обратно.
Семиотический квадрат (фр. carré sémiotique, англ. semiotic square/rectangle) в Парижской семиотической школе А. Ж. Греймаса — диаграмма, визуально представляющая элементарную структуру значения, восходящая к логическому квадрату Аристотеля.
Контринтуитивное высказывание — такое высказывание, которое не кажется истинным при его оценке на основе интуиции, здравого смысла или эмоций.
Подробнее: Контринтуитивность
Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Множественное открытие — это гипотеза о том, что большинство научных исследований и изобретений делаются независимо и более или менее одновременно несколькими учеными и изобретателями. Понятие множественного открытия противоположно традиционному взгляду — «героической теории» изобретений и открытий.
Предме́тная о́бласть — множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике — подразумеваемая область возможных значений предметных переменных логического языка.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Теория кодирования и декодирования Холла — критическая теория в области анализа приёма сообщений (англ. reception theory), сформулированная британским социологом Стюартом Холлом в труде «Encoding, decoding in the television discourse» (1973). В своих суждениях Холл основывался на примере телевидения, однако его подход применим и к другим масс-медиа.
Логика разделения, сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
Модальный реализм (англ. Modal realism) — гипотеза, предложенная Дэвидом Льюисом, что все возможные миры такие же реальные, как реальный мир.
Многозна́чная зави́симость (тж. МЗЗ) — обобщение понятия функциональной зависимости, широко использующееся в теории баз данных. В концепции нормальных форм вводится для формального определения четвертой нормальной формы...
Объём поня́тия (в логике) — совокупность предметов, охватываемых понятием. Объём и содержание понятия выступают как основные характеристики понятия, подчиняясь при этом закону обратного отношения между содержанием и объёмом понятия (увеличение объёма приводит, как правило, к уменьшению содержания и наоборот). Изменение понятия обычно предполагает изменение его объёма.
Интенсиона́л (от лат. intentio — интенсивность, напряжение, усилие) — термин семантики, обозначающий содержание понятия, то есть совокупность мыслимых признаков обозначаемого понятием предмета или явления. Например, в интенсионал понятия «Сократ» входят все свойства, которыми обладает Сократ: человек, мужчина, грек, философ и т.д. Интенсионал противопоставляется экстенсионалу, то есть множеству объектов, способных именоваться данной языковой единицей.
Абстра́ктный объе́кт — объект, созданный какой-либо абстракцией или при посредстве какой-либо абстракции; когнитивно представленный объект познания, репрезентирующий те или иные сущностные аспекты, свойства, отношения вещей и явлений окружающего мира. Абстрактные объекты делятся на реальные и идеальные, различающиеся постановкой и решением проблемы существования. Для реальных имеется её конструктивное решение; идеальные же выходят за пределы эффективной проверки (например, континуум). В философии...
Коннекционизм (англ. connectionism) — один из подходов в области искусственного интеллекта, когнитивной науки (когнитивистики), нейробиологии, психологии и философии сознания. Коннекционизм моделирует мыслительные или поведенческие явления процессами становления в сетях из связанных между собой простых элементов. Существует много различных форм коннекционизма, но наиболее общие используют нейросетевые модели. В рамках этого течения предпринимаются попытки объяснить умственные способности человека...
Метаязы́к — язык, предназначенный для описания другого языка, называемого объектным языком.
Структурная схема — это совокупность элементарных звеньев объекта и связей между ними, один из видов графической модели. Под элементарным звеном подразумевается часть объекта, системы управления и т. д., которая реализует элементарную функцию.
Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции. Результатом логической операции обобщения является гипероним.
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
В математике и информатике подстановка — это операция синтаксической замены подтермов данного терма другими термами, согласно определённым правилам. Обычно речь идёт о подстановке терма вместо переменной.
Подробнее: Подстановка
Эмпирические исследования – наблюдение и исследование конкретных явлений, эксперимент, а также обобщение, классификация и описание результатов исследования эксперимента, внедрение их в практическую деятельность человека.
Собы́тие — то, что имеет место, происходит, наступает в произвольной точке пространства-времени; значительное происшествие, явление или иная деятельность как факт общественной или личной жизни; подмножество исходов эксперимента.
Эпистемическая теория игр (англ. epistemic game theory), иначе называемая интерактивной эпистемологией (англ. interactive epistemology), формализует допущения о верах и знаниях игроков относительно рациональности, поведения оппонентов, их собственных знаний и вер. Эти допущения лежат в основе различных концепций решения — правил, в соответствии с которыми прогнозируется поведение игроков и, следовательно, исход игры. Допущения часто описаны на интуитивном уровне, и эпистемический анализ необходим...
Паради́гма (от греч. παράδειγμα, «пример, модель, образец») — совокупность фундаментальных научных установок, представлений и терминов, принимаемая и разделяемая научным сообществом и объединяющая большинство его членов. Обеспечивает преемственность развития науки и научного творчества.
Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил.
Латентно-семантический анализ (ЛСА) (англ. Latent semantic analysis, LSA) — это метод обработки информации на естественном языке, анализирующий взаимосвязь между библиотекой документов и терминами, в них встречающимися, и выявляющий характерные факторы (тематики), присущие всем документам и терминам.
Движе́ние — понятие, охватывающее в самом общем виде всякое изменение и превращение; в механике — изменение положения во времени и в пространстве.
Математическая абстракция — абстракция в математике, мысленное отвлечение. Типы абстрагирования, применяемых в математике: "чистое" отвлечение, идеализация и их различные вариации.
Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга). Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики...
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Язык
эсперанто был стабилен с момента его создания на фоне других искусственных языков. Это связано с документом Декларация Булонь (Declaration of Boulogne) от 1905 года, определяющим суть и основные принципы движения эсперантистов. Декларация была написана Л. Л. Заменгофом. Согласно декларации, обязательной для всех эсперантистов, фундаментом языка эсперанто является произведение «Основы эсперанто», в которое никто не имеет права вносить изменения.
Ра́мочный ана́лиз (англ. Framing analysis) — междисциплинарный метод научного исследования, который используется для анализа того, как люди понимают ситуации и события.