| rdfs:comment
| - Una classe lògica és un conjunt de coses o organismes que satisfan un criteri de pertinença (predicat) que ha estat definit per l'home. Les classes lògiques no tenen una existència real en el , donat que són conceptes, invencions de la ment humana. Tampoc tenen noms propis com els (com ara "Catalunya"), sinó que solen portar noms universals (com ara "país"). Els grups parafilètics i polifilètics són classes lògiques. (ca)
- A class is a collection whose members either fall under a predicate or are classified by a rule. Hence, while a set can be extensionally defined only by its elements, a class has also an intensional dimension that unite its members. When the term 'class' is applied such that it includes those sets elements of which are intended to be collected without a common predicate or rule, the distinction can be indicated by calling such sets "improper class." (en)
- Em pelo menos uma fonte, uma "classe" é um conjunto no qual um membro individual pode ser reconhecido em uma ou em ambas as duas maneiras: a) ele é incluído em uma definição extencional de todo o conjunto (uma lista de membros do conjunto); b) Ele corresponde a uma definição intencional de um conjunto membro. Em contraste, um "tipo" é uma definição intencional; é uma descrição que é suficientemente generalizada para acomodar cada membro de um conjunto. (pt)
|
| has abstract
| - Una classe lògica és un conjunt de coses o organismes que satisfan un criteri de pertinença (predicat) que ha estat definit per l'home. Les classes lògiques no tenen una existència real en el , donat que són conceptes, invencions de la ment humana. Tampoc tenen noms propis com els (com ara "Catalunya"), sinó que solen portar noms universals (com ara "país"). Els grups parafilètics i polifilètics són classes lògiques. (ca)
- A class is a collection whose members either fall under a predicate or are classified by a rule. Hence, while a set can be extensionally defined only by its elements, a class has also an intensional dimension that unite its members. When the term 'class' is applied such that it includes those sets elements of which are intended to be collected without a common predicate or rule, the distinction can be indicated by calling such sets "improper class." Philosophers sometimes distinguish classes from types and kinds. We can talk about the class of human beings, just as we can talk about the type (or natural kind), human being, or humanity. How, then, might classes differ from types? One might well think they are not actually different categories of being, but typically, while both are treated as abstract objects, classes are not usually treated as universals, whereas types usually are. Whether natural kinds ought to be considered universals is vexed; see natural kind. There is, in any case, a difference in how we talk about types or kinds. We say that Socrates is a token of a type, or an instance of the natural kind, human being. But notice that we say instead that Socrates is a member of the class of human beings. We would not say that Socrates is a "member" of the type or kind, human beings. Nor would we say he is a type (or kind) of a class. He is a token (instance) of the type (kind). So the linguistic difference is: types (or kinds) have tokens (or instances); classes, on the other hand, have members. The concept of a class is similar to the concept of a set defined by its members. Here, the class is extensional. If, however, a set is defined intensionally, then it is a set of things that meet some requirement to be a member. Thus, such a set can be seen as creating a type. Note that it also creates a class from the extension of the intensional set. A type always has a corresponding class (though that class might have no members), but a class does not necessarily have a corresponding type. (en)
- Em pelo menos uma fonte, uma "classe" é um conjunto no qual um membro individual pode ser reconhecido em uma ou em ambas as duas maneiras: a) ele é incluído em uma definição extencional de todo o conjunto (uma lista de membros do conjunto); b) Ele corresponde a uma definição intencional de um conjunto membro. Em contraste, um "tipo" é uma definição intencional; é uma descrição que é suficientemente generalizada para acomodar cada membro de um conjunto. Os filósofos às vezes distinguem classes de tipos (types) e tipos (kinds). Podemos falar sobre a classe dos seres humanos, assim como podemos falar sobre o tipo (ou espécie natural), o ser humano ou a humanidade. Como, então, as classes podem diferir dos tipos? Poder-se-ia pensar que eles não são realmente diferentes categorias de ser, mas normalmente, enquanto ambos são tratados como objetos abstratos, as classes não são geralmente tratadas como universais, enquanto os tipos geralmente o são. Há, em qualquer caso, uma diferença na forma como falamos sobre tipos (types) e tipos (kinds). Dizemos que Sócrates é um , ou uma instância do natural, humano de ser. Mas repare que podemos dizer que Sócrates é um membro da classe dos seres humanos. Nós não diriamos que Sócrates é um "membro" do tipo, seres humanos. Nem se diria que ele é um tipo de uma classe. Ele é um símbolo (instância) do tipo (espécie). Assim, a diferença linguística é: o tipo (ou tipos) têm símbolos (ou instâncias); classes, por outro lado, têm membros. O conceito de uma classe é similar ao conceito de um conjunto definido por seus membros. Aqui, a classe é extensional. Se, no entanto, um conjunto é definido intencionalmente, então é um conjunto de coisas que atendem a algumas exigência para ser um membro. Assim, tal conjunto pode ser visto como a criação de um tipo. Note-se que também cria-se uma classe, a partir da extensão do conjunto intencional. Um tipo sempre tem uma classe correspondente (apesar de que a classe não pode ter nenhuma membros), mas a classe não tem necessariamente um tipo correspondente. (pt)
|
![[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)