Validity and quantification in intuitionism

Harrie de Swart; C.J. Posy

doi:10.1007/BF00253915

Validity and quantification in intuitionism

Harrie de Swart
, C.J. Posy

Department of Philosophy

Research output: Contribution to journal › Article › Scientific › peer-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 language	English
Pages (from-to)	117-126
Journal	Journal of philosophical logic
Volume	10
Issue number	2
DOIs	https://doi.org/10.1007/BF00253915
Publication status	Published - 1981

Access to Document

10.1007/BF00253915

Cite this

@article{0868d0a2a4b34e72b140a674e7adfb39,

title = "Validity and quantification in intuitionism",

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.",

author = "\{de Swart\}, Harrie and C.J. Posy",

year = "1981",

doi = "10.1007/BF00253915",

language = "English",

volume = "10",

pages = "117--126",

journal = "Journal of philosophical logic",

issn = "0022-3611",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Validity and quantification in intuitionism

AU - de Swart, Harrie

AU - Posy, C.J.

PY - 1981

Y1 - 1981

N2 - 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.

AB - 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.

U2 - 10.1007/BF00253915

DO - 10.1007/BF00253915

M3 - Article

SN - 0022-3611

VL - 10

SP - 117

EP - 126

JO - Journal of philosophical logic

JF - Journal of philosophical logic

IS - 2

ER -

Validity and quantification in intuitionism

Abstract

Access to Document

Fingerprint

Cite this