Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Nolt, John 2007. Philosophy of Logic.


    ×

Free Logic, Description, and Virtual Classes

  • W. V. Quine (a1)
  • DOI: http://dx.doi.org/10.1017/S001221730000932X
  • Published online: 01 April 2010
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? *
×