Понятия со словом «экстенсионал»
Экстенсиона́л (от лат. extentio — протяжение, пространство, распространение) — термин семантики, обозначающий объём понятия, то есть множество объектов, способных именоваться данной языковой единицей (категорией). Например, в экстенсионал (категория) понятия «человек» входят все объекты, обладающие свойством «быть человеком» (Сократ — это человек, философ — это человек, мыслящее существо — это человек и т.п.).
Связанные понятия
Интенсиона́л (от лат. intentio — интенсивность, напряжение, усилие) — термин семантики, обозначающий содержание понятия, то есть совокупность мыслимых признаков обозначаемого понятием предмета или явления. Например, в интенсионал понятия «Сократ» входят все свойства, которыми обладает Сократ: человек, мужчина, грек, философ и т.д. Интенсионал противопоставляется экстенсионалу, то есть множеству объектов, способных именоваться данной языковой единицей.
Денота́т (от лат. denotatum — обозначенное) — обозначаемый предмет. Термин может употребляться в различных значениях, рассмотренных ниже.
Пресуппози́ция (от лат. prae — впереди, перед и suppositio — подкладывание, заклад) (также презу́мпция) в лингвистической семантике — необходимый семантический компонент, обеспечивающий наличие смысла в утверждении.
Предика́т (лат. praedicatum «сказанное») в логике и лингвистике — сказуемое суждения, то, что высказывается (утверждается или отрицается) о субъекте. Предикат находится с субъектом в предикативном отношении и показывает наличие (отсутствие) у предмета некоторого признака.
Абстра́ктный объе́кт — объект, созданный какой-либо абстракцией или при посредстве какой-либо абстракции; когнитивно представленный объект познания, репрезентирующий те или иные сущностные аспекты, свойства, отношения вещей и явлений окружающего мира. Абстрактные объекты делятся на реальные и идеальные, различающиеся постановкой и решением проблемы существования. Для реальных имеется её конструктивное решение; идеальные же выходят за пределы эффективной проверки (например, континуум). В философии...
Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell's Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка.
Минимали́стская програ́мма — лингвистическая теория, предложенная американским лингвистом Н. Хомским для объяснения тех языковых феноменов, механизмы которых не были прояснены полностью в рамках теории принципов и параметров. Сама Минималистская программа содержит ряд сильных утверждений, касающихся универсальной грамматики, а также некоторые гипотезы об устройстве когнитивной системы в связи с врождённой языковой способностью. Главным методологическим принципом Минималистской программы является...
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Языково́й знак — единица языка (морфема, слово, словосочетание или предложение), служащая либо для обозначения предметов или явлений действительности и их отношений, либо для обозначения отношений между элементами языка в составе сложных знаков; выразитель данного языкового значения. Морфемы, способные реализовывать значения лишь в комбинации с другими знаками, могут быть названы полузнаками или частичными знаками (в противопоставлении полным, отнесённым непосредственно к обозначаемой ситуации...
Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Едини́ца языка́ — элемент системы языка, неразложимый в рамках определённого уровня членения текста и противопоставленный другим единицам в подсистеме языка, соответствующей этому уровню. Может быть разложима на единицы низшего уровня.
Рефере́нт (от лат. referens — относящий, сопоставляющий) — объект внеязыковой действительности, подразумеваемый автором конкретного речевого отрезка; предмет референции. Референт некоторого речевого отрезка может принадлежать не только реальному миру, но и воображаемому, например, быть персонажем художественного произведения.
Глубинная структура (в генеративной лингвистике) — способ представления предложения. Глубинная структура позволяет отразить смысловую близость ряда предложений, которые содержат одни и те же лексические единицы и отличаются друг от друга только некоторыми грамматическими значениями. Так, например, единая глубинная структура постулировалась для предложений «Бобры строят плотины» и «Плотины строятся бобрами». Глубинная структура формально изображается в виде так называемого дерева составляющих, либо...
Суперве́нтность (англ. Supervenience) — отношение детерминированности состояния любой системы состоянием другой системы. Набор свойств одной системы супервентен относительно набора свойств другой системы в том случае, если существование различия между двумя фактами в свойствах первой системы невозможно без существования такого же различия между двумя фактами в свойствах второй системы. Понятие супервентности является центральным понятием современной аналитической философии и часто используется в...
Пропози́ция (лат. propositio — основное положение, предпосылка, предмет, тема) — семантический инвариант, общий для модальной и коммуникативной парадигмы предложения и иных языковых конструкций, производных от предложения.
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Противоположные суждения — так называются два суждения, имеющие одно и то же подлежащее и сказуемое, но различающиеся между собой по количеству или качеству. Если назвать A — общеутвердительные суждения; E — общеотрицательные; I — частноутвердительные; O — частноотрицательные, то можно составить квадрат, на котором все отношения противоположности будут выяснены графически.
Паралоги́зм (др.-греч. παραλογισμός — ложное умозаключение) — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении (в доказательстве, в споре, диалоге), возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Но́эма (греч. νόημα — «мысль»; прил. «ноэматический») — мысленное представление о предмете, или, другими словами, предметное содержание мысли; представленность предмета в сознании. Понятие феноменологии Э. Гуссерля, означающее содержание переживания сознания, когда мы рассматриваем последнее как сопряженное с чем-то трансцендентным самому реальному составу переживания, то есть ноэзису.
Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений.
Означа́емое (обознача́емое) — содержательная сторона языкового знака, сочетающаяся в нём с означающим (иначе называемым выражением). Термин используется при подходе к знаку со стороны значения.
Семиотический квадрат (фр. carré sémiotique, англ. semiotic square/rectangle) в Парижской семиотической школе А. Ж. Греймаса — диаграмма, визуально представляющая элементарную структуру значения, восходящая к логическому квадрату Аристотеля.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Определе́ние, дефини́ция (лат. definitio — предел, граница) — логическая операция раскрывающая содержание имени посредством описания отличительных признаков предметов или явлений.
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Эпистемическая теория игр (англ. epistemic game theory), иначе называемая интерактивной эпистемологией (англ. interactive epistemology), формализует допущения о верах и знаниях игроков относительно рациональности, поведения оппонентов, их собственных знаний и вер. Эти допущения лежат в основе различных концепций решения — правил, в соответствии с которыми прогнозируется поведение игроков и, следовательно, исход игры. Допущения часто описаны на интуитивном уровне, и эпистемический анализ необходим...
На эту страницу установлено перенаправление со страницы «A posteriori», см. также статью о музыкальном альбоме «A Posteriori».Апостерио́ри, а постерио́ри (лат. a posteriori букв. «из последующего») — знание, полученное из опыта. Противопоставляется априори — доопытному знанию. Значение термина исторически менялось: нынешнее значение установилось благодаря И. Канту и его работе "Критика чистого разума" (впервые опубликована в 1781 году, второе издание в 1787 г.) Однако, в латинской форме, выражения...
Подробнее: Апостериори
Означа́ющее (обознача́ющее) — формальная сторона языкового знака, неразрывно связанная с означаемым — другой его стороной и являющаяся морфонологическим и морфосинтаксическим выражением последнего.
Универсальная грамматика — термин, которым в ряде лингвистических теорий обозначается предполагаемый набор правил или принципов, присущих каждому человеческому языку. Подобные правила не определяют язык полностью: они допускают значительную вариантность, но ограничивают её некоторыми конечными рамками. В современной когнитивной науке универсальная грамматика понимается как встроенное на генетическом уровне знание о языке.
Значе́ние (в семиотике) — объект, который обозначается, замещается, репрезентируется другим объектом — знаком; между двумя объектами, выступающими соответственно в роли знака и значения (названия), в процессе семиозиса устанавливается отношение обозначения.Значение — превосходное определение объекта, субъекта, отражающее всю его ценность и его характеристики.
Логический квадрат — это схематичный способ классификации суждений. Он имеет форму геометрического квадрата, чья система классификации включает все атрибутивные (единичные, общие и частные) суждения. Причем общие и единичные суждения рассматриваются как тождественные объему субъекта.
Объём поня́тия (в логике) — совокупность предметов, охватываемых понятием. Объём и содержание понятия выступают как основные характеристики понятия, подчиняясь при этом закону обратного отношения между содержанием и объёмом понятия (увеличение объёма приводит, как правило, к уменьшению содержания и наоборот). Изменение понятия обычно предполагает изменение его объёма.
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции. Результатом логической операции обобщения является гипероним.
Феноменали́зм — философское учение о том, что мы познаем не сущность вещей, «вещи в себе», а лишь явления.
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Мо́дус (от лат. modus) — мера, образ, способ, вид существования или действия чего-либо. В логике применяется для обозначения разновидностей форм умозаключений. Спиноза полагал, что модусы — различные состояния, которые принимает единая субстанция; представляет собой переходную форму.
Ка́чество — философская категория, выражающая совокупность существенных признаков, особенностей и свойств, которые отличают один предмет или явление от других и придают ему определённость. Качество предмета или явления, как правило, не сводится к отдельным его свойствам. Оно связано с предметом как целым, охватывает его полностью и неотделимо от него. Поэтому понятие качества связывается с бытием предмета. Предмет не может, оставаясь самим собой, потерять своё качество. Например, переход в новое...
Апперцепция (лат. ad — к и лат. perceptio — восприятие) — это процесс, в результате которого элементы сознания становятся ясными и отчетливыми.
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Корефере́нтность или референциональное тождество — отношение между именами — компонентами высказывания, в котором имена ссылаются на один и тот же объект (ситуацию) внеязыковой действительности (референт).
Полисеми́я (от греч. πολυσημεία — «многозначность») — многозначность, многовариантность, то есть наличие у слова (единицы языка, термина) двух и более значений, исторически обусловленных или взаимосвязанных по смыслу и происхождению.
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Речевой акт — отдельный акт речи, в нормальных случаях представляет собой двусторонний процесс порождения текста, охватывающий говорение и протекающие параллельно и одновременно слуховое восприятие и понимание услышанного. При письменном общении речевой акт охватывает соответственно писание и чтение (зрительное восприятие и понимание) написанного, причём участники общения могут быть отдалены друг от друга во времени и пространстве. Речевой акт есть проявление речевой деятельности.
Прагматика (от др.-греч. πράγμα, родительный падеж πράγματος — «дело, действие») — термин языкознания, обозначающий...
Семантическая информация — смысловой аспект информации, отражающий отношение между формой сообщения и его смысловым содержанием.