Validity and quantification in intuitionism

H. C.M. de Swart*, C. J. Posy

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

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
Number of pages10
JournalJournal of Philosophical Logic
Volume10
Issue number1
DOIs
StatePublished - Feb 1981
Externally publishedYes

Fingerprint

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

Cite this