Связанные понятия
Содержание понятия — это совокупность существенных и отличительных признаков предмета, качества или множества однородных предметов, отражённых в этом понятии, поскольку с точки зрения логики всякое понятие имеет содержание и объём. Например, содержанием понятия «коррупция» является совокупность двух существенных признаков: «сращивание государственных структур со структурой преступного мира» и «подкуп и продажность общественных и политических деятелей, государственных чиновников и должностных лиц...
Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции. Результатом логической операции обобщения является гипероним.
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется...
Экстенсиона́л (от лат. extentio — протяжение, пространство, распространение) — термин семантики, обозначающий объём понятия, то есть множество объектов, способных именоваться данной языковой единицей (категорией). Например, в экстенсионал (категория) понятия «человек» входят все объекты, обладающие свойством «быть человеком» (Сократ — это человек, философ — это человек, мыслящее существо — это человек и т.п.).
Определе́ние , дефини́ция (лат. definitio — предел, граница) — логическая операция раскрывающая содержание имени посредством описания отличительных признаков предметов или явлений.
Упоминания в литературе
Начнем с того, что Фреге включает в свою онтологию такие типы объектов, как функции и предметы, которые могут выступать в роли аргументов и значений функций. При этом он значительно расширил понятие функции, освободив ее от связи с числами и определив в качестве ее возможных аргументов и значений любые другие предметы, например физические вещи, людей и т. п. Помимо перечисленных он включил в число предметов два абстрактных объекта – «истину» и «ложь», которые являются аргументами и(или) значениями особой категории функций – так называемых логических функций. Частным случаем логических функций (с одним аргументом, определенным на области произвольных предметов, и «истиной» и «ложью» в качестве значения) у Фреге оказываются понятия, которые играют ключевую роль в его логической системе, ибо, относя к арифметике все то, что поддается счету, он полагал, что ее область совпадает с областью понятийного мышления[9]. Поскольку, по его мнению, понятие должно указывать, каким свойством нужно обладать предмету, чтобы подпадать под данное понятие, именно в понятиях он усматривал «основание существования классов». Отождествив понятие с общим свойством, которым должны обладать подпадающие под него предметы, а
объем понятия – с классом этих предметов, Фреге ввел в свою онтологию такие важные сущности, как свойства и классы. Кроме того, он особо выделил еще два вида логических функций – отношения (функции с двумя аргументами, определенными на области произвольных предметов, и «истиной» и «ложью» в качестве значения) и пропозициональные функции, где и аргументами, и значениями выступают «истина» и «ложь», которые в дальнейшем стали называть истинностными значениями.
Как цельная форма мысли понятие представляет собой закономерное единство двух составляющих его элементов: объема и содержания. Объем – структурный элемент понятия, отражающий собой совокупность предметов, обладающих одинаковыми существенными и отличительными признаками. Так,
объем понятия «стол» отражает собой всю совокупность столов на нашей планете, все их множество, весь их класс. Объем понятия «человек» – пятимиллиардное население планеты. Содержание – элемент структуры понятия, отражающий собой совокупность существенных и отличительных признаков, присущих предмету, явлению (классу предметов, множеству явлений, процессов и пр.). Содержание понятия «стол», например, будет представлять собой совокупность таких существенно-отличительных признаков данного предмета, как искусственность его происхождения, гладкость и твердость плоскости, вознесенной над поверхностью земли (пола), жесткость точки (точек) опоры и пр., и предназначенность для различных видов ручной деятельности человека. Перечисляя признаки, входящие в содержание понятия "стол", – предмет всем хорошо известный, – мы не застрахованы от замечаний специалистов в этой предметной области.
В понятии, как это принято в логике и философии, может быть представлено два составляющих компонента. Один из них – это
объем понятия или его значение, определяемое как класс предметов, который подходит под данное значение, другой – содержание, или смысл, представляющий совокупность общих и существенных признаков понятия, соответствующих этому классу. По меткому определению отечественного культуролога Ю.С. Степанова, содержание понятия – «это как бы сгусток культуры в сознании человека; то, в виде чего культура входит в ментальный мир человека… – это то, посредством чего человек – рядовой, обычный человек, не “творец культурных ценностей” – сам входит в культуру…» (Ю.С. Степанов, 2001. – С. 43).
В самом деле, коренной недостаток абстракционной теории – в ее дуализме; она разобщает общее и одиночное. Чем шире
объем понятия , говорит она, – тем беднее и ограниченнее его содержание. Но если вместе с ростом общности понятия растет и его неопределенность и отдаленность от полноты конкретной действительности, то самые общие понятия должны, очевидно, обладать наименьшею познавательною ценностью. Итак, – с точки зрения абстракционной теории – весь процесс обобщения и образования отвлеченных понятий представляется совершенно непригодным для целей объективного познания. Напротив, в функциональных понятиях общее и единичное объединены отношением полной имманентности и взаимного проникновения. Общее есть закон единичного, необходимое условие его эмпирической реальности; а единичное есть экземпляр, частный случай общего закона, один из возможных случаев его конкретного осуществления. В функциональных понятиях общность не покупается ценою оскудения содержания и утраты однозначной определенности. Напротив, оно само есть высшая определенность, последний источник определенности единичного. Объем и содержание функционального понятия не связаны отношением отрицательной зависимости, а наоборот, содержание понятия (т. е. выражаемый им закон) определяет в положительном смысле его объем (т. е. пределы конституируемой им группы объектов).
Все определения можно также поделить на явные, раскрывающие существенные признаки предмета, и неявные, в которых указание существенных признаков (когда это сделать невозможно) заменяется контекстом, набором аксиом, ссылкой на противоположность, описанием способа построения объекта и т. д. Примеров явных определений очень много; см., например, в данной главе определения «понятие», «признаки», «
объем понятия », «содержание понятия».
Связанные понятия (продолжение)
Денота́т (от лат. denotatum — обозначенное) — обозначаемый предмет. Термин может употребляться в различных значениях, рассмотренных ниже.
Детерминация (лат. determinatio — предел, заключение, определение) в широком смысле — определение перспективы объекта детерминации, располагаемыми представлениями о его комплектации, нынешними параметрами и составляющими, присущими той или иной категории или образцу.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Сво́йство (в философии, математике и логике) — атрибут предмета (объекта). Например, о красном предмете говорится, что он обладает свойством «красноты». Свойство можно рассматривать как форму предмета самого по себе, притом, что он может обладать и другими свойствами. Свойства, следовательно, подпадают под действие парадокса Рассела и парадокса Греллинга-Нельсона.
Ка́чество — философская категория, выражающая совокупность существенных признаков, особенностей и свойств, которые отличают один предмет или явление от других и придают ему определённость. Качество предмета или явления, как правило, не сводится к отдельным его свойствам. Оно связано с предметом как целым, охватывает его полностью и неотделимо от него. Поэтому понятие качества связывается с бытием предмета. Предмет не может, оставаясь самим собой, потерять своё качество. Например, переход в новое...
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определенным свойством или признаком. Более строгое определение класса зависит от выбора исходной системы аксиом. В системе аксиом Цермело — Френкеля определение класса является неформальным, тогда как другие системы, например, система аксиом фон Неймана — Бернайса — Гёделя, аксиоматизируют определение «собственного класса» как некоторого семейства, которое не может быть элементом...
Интенсиона́л (от лат. intentio — интенсивность, напряжение, усилие) — термин семантики, обозначающий содержание понятия, то есть совокупность мыслимых признаков обозначаемого понятием предмета или явления. Например, в интенсионал понятия «Сократ» входят все свойства, которыми обладает Сократ: человек, мужчина, грек, философ и т.д. Интенсионал противопоставляется экстенсионалу, то есть множеству объектов, способных именоваться данной языковой единицей.
Поня́тие — отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений; мысль или система мыслей, выделяющая и обобщающая предметы некоторого класса по общим и в своей совокупности специфическим для них признакам.
Коли́чество — категория, выражающая внешнее, формальное взаимоотношение предметов или их частей, а также свойств, связей: их величину, число, степень проявления того или иного свойства.
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Пресуппози́ция (от лат. prae — впереди, перед и suppositio — подкладывание, заклад) (также презу́мпция) в лингвистической семантике — необходимый семантический компонент, обеспечивающий наличие смысла в утверждении.
Предме́тная о́бласть — множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике — подразумеваемая область возможных значений предметных переменных логического языка.
Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Предика́т (лат. praedicatum «сказанное») в логике и лингвистике — сказуемое суждения, то, что высказывается (утверждается или отрицается) о субъекте. Предикат находится с субъектом в предикативном отношении и показывает наличие (отсутствие) у предмета некоторого признака.
Закономе́рность — формула событий (явлений) отображающая будущее (прошедшее) с высокой вероятностью, обусловленной объективным системным анализом исследования предшествующих событий и свойств природы (Вселенной).
Значе́ние (в семиотике) — объект, который обозначается, замещается, репрезентируется другим объектом — знаком; между двумя объектами, выступающими соответственно в роли знака и значения (названия), в процессе семиозиса устанавливается отношение обозначения.Значение — превосходное определение объекта, субъекта, отражающее всю его ценность и его характеристики.
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Крите́рий (др.-греч. κριτήριον — способность различения, средство суждения, мерило) — признак, основание, правило принятия решения по оценке чего-либо на соответствие предъявленным требованиям (мере). Особо выделяют критерии истинности знания. Различают логические (формальные) и эмпирические (экспериментальные) критерии истинности. Формальным критерием истины служат логические законы: истинно всё, что не заключает в себе противоречия, логически правильно. Эмпирическим критерием истинности служит...
Абстра́ктный объе́кт — объект, созданный какой-либо абстракцией или при посредстве какой-либо абстракции; когнитивно представленный объект познания, репрезентирующий те или иные сущностные аспекты, свойства, отношения вещей и явлений окружающего мира. Абстрактные объекты делятся на реальные и идеальные, различающиеся постановкой и решением проблемы существования. Для реальных имеется её конструктивное решение; идеальные же выходят за пределы эффективной проверки (например, континуум). В философии...
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Движе́ние — понятие, охватывающее в самом общем виде всякое изменение и превращение; в механике — изменение положения во времени и в пространстве.
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Подробнее: Логическая операция
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
На эту страницу установлено перенаправление со страницы «A posteriori», см. также статью о музыкальном альбоме «A Posteriori».Апостерио́ри, а постерио́ри (лат. a posteriori букв. «из последующего») — знание, полученное из опыта. Противопоставляется априори — доопытному знанию. Значение термина исторически менялось: нынешнее значение установилось благодаря И. Канту и его работе "Критика чистого разума" (впервые опубликована в 1781 году, второе издание в 1787 г.) Однако, в латинской форме, выражения...
Подробнее: Апостериори
Анало́гия (др.-греч. ἀναλογία «пропорция, соответствие, соразмерность») — подобие, равенство отношений; сходство предметов, явлений, процессов, величин и т. п. в каких-либо свойствах, а также познание путём сравнения, например...
Но́эма (греч. νόημα — «мысль»; прил. «ноэматический») — мысленное представление о предмете, или, другими словами, предметное содержание мысли; представленность предмета в сознании. Понятие феноменологии Э. Гуссерля, означающее содержание переживания сознания, когда мы рассматриваем последнее как сопряженное с чем-то трансцендентным самому реальному составу переживания, то есть ноэзису.
Ситуа́ция — одноактность и неповторимость возникновения множества событий, стечения всех жизненных обстоятельств и положений, открывающихся восприятию и деятельности человека.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Ра́венство (отношение равенства) в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.
Семанти́ческая сеть — информационная модель предметной области, имеющая вид ориентированного графа, вершины которого соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть понятия, события, свойства, процессы. Таким образом, семантическая сеть является одним из способов представления знаний. В названии соединены термины из двух наук: семантика в языкознании изучает смысл единиц языка, а сеть в математике представляет собой разновидность графа...
Возможность — направление развития, присутствующее в каждом явлении жизни; выступает и в качестве предстоящего, и в качестве объясняющего, то есть как категория.
Фрейм (англ. frame — «каркас» или «рамка») — способ представления знаний в искусственном интеллекте, представляющий собой схему действий в реальной ситуации. Первоначально термин «фрейм» ввёл Марвин Минский в 70-е годы XX века для обозначения структуры знаний для восприятия пространственных сцен. Фрейм — это модель абстрактного образа, минимально возможное описание сущности какого-либо объекта, явления, события, ситуации, процесса.
Структу́ра (от лат. structūra «строение, устройство; связь или расположение составных частей») — совокупность устойчивых связей частей объекта, обеспечивающих его целостность и тождественность самому себе, т.е. сохранение основных свойств при различных внешних и внутренних изменениях.
Зако́н — вербальное и/или математически выраженное утверждение, имеющее доказательство (в отличие от аксиомы), которое описывает соотношения, связи между различными научными понятиями, предложенное в качестве объяснения фактов и признанное на данном этапе научным сообществом согласующимся с ними. Непроверенное научное утверждение, предположение или догадку называют гипотезой.
Языково́й знак — единица языка (морфема, слово, словосочетание или предложение), служащая либо для обозначения предметов или явлений действительности и их отношений, либо для обозначения отношений между элементами языка в составе сложных знаков; выразитель данного языкового значения. Морфемы, способные реализовывать значения лишь в комбинации с другими знаками, могут быть названы полузнаками или частичными знаками (в противопоставлении полным, отнесённым непосредственно к обозначаемой ситуации...
Явле́ние — вообще всё, что чувственно воспринимаемо; особенно бросающееся в каком-то отношении в глаза (например, какое-либо явление природы).
Метаязы́к — язык, предназначенный для описания другого языка, называемого объектным языком.
Образ — форма репрезентации чего-либо. В философии образ обладает множеством частных смыслов в зависимости от особенностей того или иного философского учения.
Тождество — философская категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, если и только если все свойства (и отношения), которые характеризуют А, характеризуют и В, и наоборот (закон Лейбница). Однако, поскольку действительность постоянно изменяется, абсолютно тождественных самим себе предметов, даже в их существенных, основных свойствах не бывает. Тождество...
Детерминированность (от лат. determinans — определяющий) — определяемость. Детерминированность может подразумевать определяемость на общегносеологическом уровне или для конкретного алгоритма. Под жёсткой детерминированностью процессов в мире понимается однозначная предопределённость, то есть у каждого следствия есть строго определённая причина. В таком смысле является антонимом стохастичности. Но детерминированность не всегда тождественна предопределённости. Например, может быть детерминированность...
Упоминания в литературе (продолжение)
Философский энциклопедический словарь определяет понятие так: «Мысль, отражающая в обобщенной форме предметы и явления действительности и связи между ними посредством фиксации общих и специфических признаков, в качестве которых выступают свойства предметов и явлений и отношения между ними». Понятие имеет содержание и объем. Содержание понятия – это совокупность отраженных в нем признаков предмета.
Объем понятия – это множество (класс) предметов, каждому из которых принадлежат признаки, составляющие содержание понятия.
Безотносительные и соотносительные понятия. В основу этой классификации положено наличие либо отсутствие связи предмета, составляющего
объем понятия , с другими предметами материального мира. Таким образом, безотносительными будут понятия, существующие отдельно друг от друга и не оказывающие на существование каждого из них существенного влияния. Такими понятиями, например, могут быть «гвоздь» и «пуговица». Каждый из этих предметов существует отдельно и независимо от другого.
Реактивные состояния располагаются в зонах действия сторон противоречий и усиливаются там и тогда, где и когда проявляется эффект усложнения взаимодействия противоречий как следствия совокупного воздействия на субъект законов сборки и функционирования эволюционирующих систем разного уровня развития и структурной организации. Они имеют место на всех уровнях человеческого бытия: индивидуальном, групповом, этническом, государственном и, наконец, социальном в полном логическом
объеме понятия . Очевидно, что глобальное воздействие в такой ситуации с силой исторической закономерности вызовет и глобальную ответную реакцию.
2) Денотат некоторой языковой (абстрактной) единицы – множество объектов действительности (вещей, свойств, отношений, ситуаций, состояний, процессов, действий и т. д.), которые могут именоваться данной единицей (в силу ее языкового значения). Такое употребление термина «денотат» (К. И. Льюис, У. О. Куайн, Дж. Лайонз и др.), восходящего к термину denotation Дж. С. Милля (1843), соответствует тому, что в традиционной логике называется «
объемом понятия », а у Р. Карнапа – «экстенсионалом». В этом случае денотат противопоставлен в первую очередь сигнификату («содержанию понятия» в традиционной логике, «интенсионалу», по Карнапу), а во вторую очередь – референту.
Объем понятия составляет совокупность или множество предметов, которое мыслится в понятии.