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 language | English |
---|---|
Pages (from-to) | 117-126 |
Number of pages | 10 |
Journal | Journal of Philosophical Logic |
Volume | 10 |
Issue number | 1 |
DOIs | |
State | Published - Feb 1981 |
Externally published | Yes |