Понятия со словом «тождественный»
Связанные понятия
Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определенным свойством или признаком. Более строгое определение класса зависит от выбора исходной системы аксиом. В системе аксиом Цермело — Френкеля определение класса является неформальным, тогда как другие системы, например, система аксиом фон Неймана — Бернайса — Гёделя, аксиоматизируют определение «собственного класса» как некоторого семейства, которое не может быть элементом...
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Мо́дус (от лат. modus) — мера, образ, способ, вид существования или действия чего-либо. В логике применяется для обозначения разновидностей форм умозаключений. Спиноза полагал, что модусы — различные состояния, которые принимает единая субстанция; представляет собой переходную форму.
Экстенсиона́л (от лат. extentio — протяжение, пространство, распространение) — термин семантики, обозначающий объём понятия, то есть множество объектов, способных именоваться данной языковой единицей (категорией). Например, в экстенсионал (категория) понятия «человек» входят все объекты, обладающие свойством «быть человеком» (Сократ — это человек, философ — это человек, мыслящее существо — это человек и т.п.).
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Величина́ — математическое понятие, описывающее объекты, для которых может быть определено отношение неравенства и смысл операции сложения, а также выполняется ряд свойств, включая аксиомы Архимеда и непрерывности. Величина является одним из основных понятий математики.
Соизмери́мые величи́ны — величины, для которых соответственно существует общая мера. Общей мерой величин называют величину, которая целое число раз содержится в каждой из них. Если такой меры, которая укладывается целое число раз в каждую величину, не существует, то такие величины называют несоизмери́мыми. Примером несоизмеримых величин могут служить диагональ квадрата и его сторона.
Эквивале́нтность катего́рий в теории категорий — отношение между категориями, показывающее, что две категории «по существу одинаковы». Установление эквивалентности свидетельствует о глубокой связи соответствующих математических концепций и позволяет «переносить» теоремы с одних структур на другие.
Униве́рсум (лат. universum, «совокупность, общность» или лат. summa rerum «совокупность всего», «мир как целое», «всё сущее») — в философии — совокупность объектов и явлений в целом, рассматриваемая в качестве единой системы, то есть объективная реальность во времени и пространстве. В общем смысле тождествен термину «Вселенная».
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Конкретная категория в математике — категория, снабжённая строгим функтором в категорию множеств. Благодаря этому функтору можно оперировать с объектами такой категории образом, сходным с работой с множествами с дополнительной структурой, а морфизмы представлять как функции, сохраняющие дополнительную структуру. Многие категории имеют очевидную интерпретацию конкретных категорий, например, категория групп, категория топологических пространств и собственно категория множеств. С другой стороны, существуют...
Движе́ние — понятие, охватывающее в самом общем виде всякое изменение и превращение; в механике — изменение положения во времени и в пространстве.
Тождество — философская категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, если и только если все свойства (и отношения), которые характеризуют А, характеризуют и В, и наоборот (закон Лейбница). Однако, поскольку действительность постоянно изменяется, абсолютно тождественных самим себе предметов, даже в их существенных, основных свойствах не бывает. Тождество...
Логический квадрат — это схематичный способ классификации суждений. Он имеет форму геометрического квадрата, чья система классификации включает все атрибутивные (единичные, общие и частные) суждения. Причем общие и единичные суждения рассматриваются как тождественные объему субъекта.
На эту страницу установлено перенаправление со страницы «A posteriori», см. также статью о музыкальном альбоме «A Posteriori».Апостерио́ри, а постерио́ри (лат. a posteriori букв. «из последующего») — знание, полученное из опыта. Противопоставляется априори — доопытному знанию. Значение термина исторически менялось: нынешнее значение установилось благодаря И. Канту и его работе "Критика чистого разума" (впервые опубликована в 1781 году, второе издание в 1787 г.) Однако, в латинской форме, выражения...
Подробнее: Апостериори
Копроизведение (категорная сумма) семейства объектов — обобщение в теории категорий понятий дизъюнктного объединения множеств и топологических пространств и прямой суммы модулей или векторных пространств. Копроизведение семейства объектов — это «наиболее общий» объект, в который существует морфизм из каждого объекта семейства. Копроизведение объектов двойственно их произведению, то есть определение копроизведения можно получить из определения произведения обращением всех стрелок. Тем не менее, во...
Ка́чество — философская категория, выражающая совокупность существенных признаков, особенностей и свойств, которые отличают один предмет или явление от других и придают ему определённость. Качество предмета или явления, как правило, не сводится к отдельным его свойствам. Оно связано с предметом как целым, охватывает его полностью и неотделимо от него. Поэтому понятие качества связывается с бытием предмета. Предмет не может, оставаясь самим собой, потерять своё качество. Например, переход в новое...
Интенсиона́л (от лат. intentio — интенсивность, напряжение, усилие) — термин семантики, обозначающий содержание понятия, то есть совокупность мыслимых признаков обозначаемого понятием предмета или явления. Например, в интенсионал понятия «Сократ» входят все свойства, которыми обладает Сократ: человек, мужчина, грек, философ и т.д. Интенсионал противопоставляется экстенсионалу, то есть множеству объектов, способных именоваться данной языковой единицей.
Интегра́л Пуассо́на — общее название математических формул, выражающих решение краевой задачи или начальной задачи для уравнений с частными производными некоторых типов.
Принцип непрерывности — принцип, используемый в современной математике и физике. Истоки этого принципа в философии могут быть найдены в отрывках Гераклита, который уподоблял движение времени реке с постоянно сменяющими друг друга водами. В новое время этот принцип разрабатывался Лейбницем.
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Дедеки́ндово сече́ние (или у́зкая щель) — один из способов построения вещественных чисел из рациональных.
Бесконечность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно.
А́рад (араб. عارض — случайность, случайное явление) — в арабо-мусульманской философии — акциденция, нечто случайное, привходящее.
Тензорное поле — это отображение, которое каждой точке рассматриваемого пространства ставит в соответствие тензор.
Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...
Совершенное множество — замкнутое множество, не имеющее изолированных точек, то есть совпадающее с множеством всех своих предельных точек.
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Определе́ние, дефини́ция (лат. definitio — предел, граница) — логическая операция раскрывающая содержание имени посредством описания отличительных признаков предметов или явлений.
Всео́бщее (нем. Allgemeinheit) — абстрактное единство предметов согласно определенному свойству или отношению, благодаря которому они мысленно объединяются в некоторое множество, класс, род или вид.
В теории категорий есте́ственное преобразова́ние предоставляет способ перевести один функтор в другой, сохраняя внутреннюю структуру (например, композиции морфизмов). Поэтому естественное преобразование можно понимать как «морфизм функторов». Эта интуиция может быть строго формализована в определении категории функторов. Естественные преобразования — наиболее базовое определение в теории категорий наряду с функторами, поэтому оно появляется в большинстве её приложений.
Подробнее: Естественное преобразование
Двойственность в теории категорий — соотношение между свойствами категории C и так называемыми двойственными свойствами двойственной категории Cop. Взяв утверждение, касающееся категории C и поменяв местами образ и прообраз каждого морфизма, так же как и порядок применения морфизмов, получим двойственное утверждение, касающееся категории Cop. Принцип двойственности состоит в том, что истинные утверждения после такой операции переходят в истинные, а ложные в ложные.
Математи́ческая структу́ра — название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой структуры задают отношения, в которых находятся элементы этих множеств. Затем постулируют, что данные отношения удовлетворяют неким условиям, которые являются аксиомами рассматриваемой структуры.
Су́щее — существительное, образованное от причастия «существующее», означает «то, что есть».
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется...
Пропози́ция (лат. propositio — основное положение, предпосылка, предмет, тема) — семантический инвариант, общий для модальной и коммуникативной парадигмы предложения и иных языковых конструкций, производных от предложения.
Категория называется полной в малом, если в ней любая малая диаграмма имеет предел. Двойственное понятие — кополная в малом категория, то есть та, в которой любая малая диаграмма имеет копредел. Аналогично определяется конечная полнота и вообще α-полнота для любого регулярного кардинала α. Из них всех наиболее употребимой является полнота в малом, поэтому категории, полные в малом, называют просто полными. Существование пределов вообще всех (не обязательно малых) диаграмм оказывается слишком сильным...
Эпистемическая теория игр (англ. epistemic game theory), иначе называемая интерактивной эпистемологией (англ. interactive epistemology), формализует допущения о верах и знаниях игроков относительно рациональности, поведения оппонентов, их собственных знаний и вер. Эти допущения лежат в основе различных концепций решения — правил, в соответствии с которыми прогнозируется поведение игроков и, следовательно, исход игры. Допущения часто описаны на интуитивном уровне, и эпистемический анализ необходим...
Сво́йство (в философии, математике и логике) — атрибут предмета (объекта). Например, о красном предмете говорится, что он обладает свойством «красноты». Свойство можно рассматривать как форму предмета самого по себе, притом, что он может обладать и другими свойствами. Свойства, следовательно, подпадают под действие парадокса Рассела и парадокса Греллинга-Нельсона.
Денота́т (от лат. denotatum — обозначенное) — обозначаемый предмет. Термин может употребляться в различных значениях, рассмотренных ниже.
Энтеле́хия (греч. ἐντελέχια «осуществленность», от ἐντελής, «законченный» и ἔχω, «имею») — в философии Аристотеля — внутренняя сила, потенциально заключающая в себе цель и окончательный результат; например, сила, благодаря которой из грецкого ореха вырастает дерево.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Равномощность — отношение эквивалентности на множествах ключевое в определении мощности множества.
Противоположные суждения — так называются два суждения, имеющие одно и то же подлежащее и сказуемое, но различающиеся между собой по количеству или качеству. Если назвать A — общеутвердительные суждения; E — общеотрицательные; I — частноутвердительные; O — частноотрицательные, то можно составить квадрат, на котором все отношения противоположности будут выяснены графически.
Катего́рия мно́жеств — категория, объекты которой — множества, а морфизмы между множествами A и B — все функции из A в B. Обозначается Set. В аксиоматике Цермело — Френкеля «множества всех множеств» не существует, а работать с понятием класса не очень удобно; для этой проблемы было предложено несколько различных решений.
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.