Aula (filosofia)

Da Wikipédia, a enciclopédia livre
Ir para navegação Pular para pesquisar

Uma classe é uma coleção cujos membros se enquadram em um predicado ou são classificados por uma regra. Conseqüentemente, enquanto um conjunto pode ser definido extensionalmente apenas por seus elementos, uma classe também possui uma dimensão intensional que une seus membros. Quando o termo 'classe' é aplicado de forma a incluir aqueles conjuntos de elementos que devem ser coletados sem um predicado ou regra comum, a distinção pode ser indicada chamando-se tais conjuntos de "classe imprópria".

Os filósofos às vezes distinguem classes de tipos e espécies . Podemos falar sobre a classe de seres humanos, assim como podemos falar sobre o tipo (ou tipo natural ), ser humano ou humanidade. Como, então, as classes podem diferir dos tipos? Pode-se muito bem pensar que não são categorias diferentes de seres , mas normalmente, embora ambos sejam tratados como objetos abstratos , as classes geralmente não são tratadas como universais , ao passo que os tipos geralmente o são. É questionável se os tipos naturais devem ser considerados universais; veja tipo natural .

Em qualquer caso, há uma diferença em como falamos sobre tipos ou espécies. Dizemos que Sócrates é um símbolo de um tipo, ou uma instância da espécie natural, o ser humano . Mas observe que, em vez disso, dizemos que Sócrates é um membro da classe dos seres humanos. Não diríamos que Sócrates é um "membro" do tipo ou espécie, os seres humanos. Nem diríamos que ele é um tipo (ou espécie) de classe. Ele é um token (instância) do tipo (espécie). Portanto, a diferença linguística é: tipos (ou tipos) têm tokens (ou instâncias); as classes, por outro lado, têm membros.

O conceito de classe é semelhante ao conceito de conjunto definido por seus membros. [1] Aqui, a aula é extensional. Se, entretanto, um conjunto é definido intensionalmente, então é um conjunto de coisas que atendem a algum requisito para ser um membro. Assim, esse conjunto pode ser visto como a criação de um tipo. Observe que também cria uma classe a partir da extensão do conjunto intensional. Um tipo sempre tem uma classe correspondente (embora essa classe possa não ter membros), mas uma classe não tem necessariamente um tipo correspondente.

Referências

  1. ^ Antony Flew . Dicionário de Filosofia . p. 64

Ligações externas