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
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

Ermanno Bencivenga 1976Set Theory and Free Logic.” Journal of Philosophical Logic, 5: 115.

Hugues Leblanc , and Theodore Hailperin 1959Nondesignating Singular Terms.” Philosophical Review, 68: 239–43. Reprinted in Leblanc 1982.

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? *
×