Free Logic, Description, and Virtual Classes
Datos Bibliográficos
| ID | 9687486 |
|---|---|
| Autores | W V Quine (Harvard University Press, autor de correspondencia) |
| Año | 1997 |
| Volumen | 36 |
| Número | 1 |
| Páginas | 101-108 |
| Fecha de publicación | 1997-01-01 |
| Peer Reviewed | Sí |
| Open Access | Sí |
| Tipo | ARTICLE |
| Revista | Dialogue (JOURNAL) |
| Identificadores de la revista | ISSN: 0012-2173 • E-ISSN: 1759-0949 |
| Editorial | Cambridge University Press (CUP) (PUBLISHER) |
| DOI | 10.1017/s001221730000932x |
| OpenAlex | W2022800568 |
| Idioma | EN |
| Referencias 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
| Velocidad de citación | historical |
|---|---|
| Altamente citado | No |