Skip to main content
×
Home
    • Aa
    • Aa

Free Logic, Description, and Virtual Classes

  • W. V. Quine (a1)
Abstract
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.

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.

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie
  • ISSN: 0012-2173
  • EISSN: 1759-0949
  • URL: /core/journals/dialogue-canadian-philosophical-review-revue-canadienne-de-philosophie
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 2 *
Loading metrics...

Abstract views

Total abstract views: 27 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 26th May 2017. This data will be updated every 24 hours.