Free Logic, Description, and Virtual Classes
Dados Bibliográficos
| ID | 9687486 |
|---|---|
| Autores | W V Quine (Harvard University Press, autor correspondente) |
| Ano | 1997 |
| Volume | 36 |
| Fascículo | 1 |
| Páginas | 101-108 |
| Data de publicação | 1997-01-01 |
| Peer Reviewed | Sim |
| Open Access | Sim |
| Tipo | ARTICLE |
| Periódico | Dialogue (JOURNAL) |
| Identificadores do periódico | ISSN: 0012-2173 • E-ISSN: 1759-0949 |
| Editora | Cambridge University Press (CUP) (PUBLISHER) |
| DOI | 10.1017/s001221730000932x |
| OpenAlex | W2022800568 |
| Idioma | EN |
| Referências citadas | 3 |
Resumé On montre ici que la theorie des classes virtuelles constitue une application de la logique libre. Il s'agit de la théorie classique de la quantification qui ne fait usage que d'un prédicat à deux places : l'epsilon de Peano, et qui ne comporte qu'un axiome d'extensionnalité. Elle n'introduit aucune présupposition d'existence. Les individus y sont identifiés à leur singleton, et elle accommode les termes qui ne designent rien. On montre aussi comment cette théorie peut fructifier et devenir une théorie des ensembles plus élaborée à l'aide de définitions et de conventions notationnelles
Discrete mathematics · Humanities · Peano axioms · Advanced Algebra and Logic · Logic, Reasoning, and Knowledge · Mathematics · Philosophy
| Velocidade de citação | historical |
|---|---|
| Altamente citado | Não |