Validity and quantification in intuitionism

Harrie de Swart, C.J. Posy

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)


We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logical notions considered we suggest that the “most natural” reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.
Original languageEnglish
Pages (from-to)117-126
JournalJournal of philosophical logic
Issue number2
Publication statusPublished - 1981


Dive into the research topics of 'Validity and quantification in intuitionism'. Together they form a unique fingerprint.

Cite this