Skip to content
Journal article

Do We Need Quantification?

Hugly P, Sayward C ...see all

Notre Dame Journal of Formal Logic (1984)

  • 1


    Mendeley users who have this article in their library.
  • 0


    Citations of this article.
  • N/A


    ScienceDirect users who have downloaded this article.
Sign in to save reference


Two theses are defended. first, from the point of view of syntax and semantics we can replace a universal proposition about any universe by a proposition built up from atomic sentences and the connectives. second, from the point of view of communication such a replacement is not possible.

Author-supplied keywords

  • Expression
  • First Order Theory
  • Function
  • Lemmon, E
  • Logic
  • Quantification

Find this document

Get full text


  • Philip Hugly

  • Charles Sayward

Cite this document

Choose a citation style from the tabs below