Item

Validity and quantification in intuitionism

de Swart,Harrie
; 
Posy,C.J.
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.
Description
Date
1981
Journal Title
Journal ISSN
Volume Title
Publisher
Collections
Tilburg University Research Output Collection
Show all metadata
Research Projects
Organizational Units
Journal Issue
Keywords
Citation
de Swart, H & Posy, C J 1981, 'Validity and quantification in intuitionism', Journal of philosophical logic, vol. 10, no. 2, pp. 117-126. https://doi.org/10.1007/BF00253915
URI
https://hdl.handle.net/20.500.14602/69786
Embedded videos