| rdfs:comment
| - L'imprédicativité est un terme du domaine des mathématiques, de la logique, de la théorie des ensembles et de la théorie des types. On dit qu'il y a imprédicativité « lorsqu'un objet parle de lui-même ». Une définition est imprédicative si l'objet défini intervient dans la définition elle-même. (fr)
- 一个数学定义是非直谓性的，如果它依赖于一个事物的集合，至少其中之一是它自身所定义的事物。换句话说，定义是自引用的。 罗素悖论是著名的非直谓性构造：“不包含自身作为成员的所有集合的集合”。悖论是这种集合是否包含自身——如果包含则根据它的定义它应当不是，而如果不是则根据它的定义它应当是。 但是，著名的数学家拉姆齐争论说，非直谓性定义是绝对需要的。例如，「屋子里最高的人」是非直谓性的，因为它依赖于某個包含其本身的集合，也就是在屋子中所有人的集合。对于数学，一个非直谓性定义是一个集合中最小元素，它被形式定义为： 当且仅当 ，且对于 的所有元素 ，有 小于等于 。 (zh)
- In mathematics, logic and philosophy of mathematics, something that is impredicative is a self-referencing definition. Roughly speaking, a definition is impredicative if it invokes (mentions or quantifies over) the set being defined, or (more commonly) another set that contains the thing being defined. There is no generally accepted precise definition of what it means to be predicative or impredicative. Authors have given different but related definitions. (en)
- En el ámbito de las matemáticas, la lógica y la filosofía de las matemáticas, se llama impredicativa a toda definición autorreferencial, es decir, a toda definición de un objeto en la que se cuantifica sobre el conjunto al que este objeto pertenece o en la que se define un conjunto haciendo referencia a él mismo. No existe convenio acerca de lo que diferencia lo predicativo de lo impredicativo. (es)
- Definicja niepredykatywna – w logice matematycznej definicja zawierająca element samoodniesienia. Ściślej mówiąc definicja obiektu m jest niepredykatywna, jeśli m należy do zbioru M i jednocześnie definicja m zależy od zbioru M. Wiele antynomii logicznych związanych jest z obiektami definiowanymi niepredykatywnie. W paradoksie Richarda rozważamy zbiór M wszystkich wyrażeń języka definiujących właściwości arytmetyczne liczb naturalnych. Właściwość bycia liczbą Richarda jest definicją należącą do M i jednocześnie zależy od M. (pl)
- Em matemática e lógica, impredicatividade é a propriedade de uma definição autorreferenciável. Mais precisamente, a definição é chamada impredicativo se ela chamar (mencionar ou quantificar) o próprio conjunto que já está sendo definido, ou (mais comumente) outro conjunto que contenha o conjunto que está sendo definido. (pt)
- Непредикати́вность определения в математике и логике, нестрого говоря, означает, что осмысленность определения предполагает наличие определяемого объекта. Пример: объект определяется как такой элемент некоторого множества, который удовлетворяет определённому отношению между ним и всеми элементами этого множества (включая и само ). В некоторых случаях непредикативное определение может привести к недоразумениям или даже противоречиям. Противоположное по смыслу понятие — предикативность. Для определений на формальном языке «Математическая энциклопедия» приводит более строгий вариант: (ru)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)