Validity and quantification in intuitionism

Harrie de Swart, C.J. Posy

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)

Abstract

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
Volume10
Issue number2
DOIs
Publication statusPublished - 1981

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

  • Cite this