Journal of Philosophical Logic 10 (1):117 - 126 (1981)
|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-logicalnotions 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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Philip Hugly & Charles Sayward (1982). Indenumerability and Substitutional Quantification. Notre Dame Journal of Formal Logic 23 (4):358-366.
Roberta Ballarin (2005). Validity and Necessity. Journal of Philosophical Logic 34 (3):275 - 303.
Adriano C. T. Rodrigues & Claudio E. M. Banzato (2009). A Logical-Pragmatic Perspective on Validity. Dialogues in Philosophy, Mental and Neuro Sciences 2 (2):40-44.
Eli Dresner (2010). Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach. Notre Dame Journal of Formal Logic 52 (1):75-93.
Tomis Kapitan (1982). On the Concept of Material Consequence. History and Philosophy of Logic 3 (2):193-211.
Max A. Freund (2001). A Temporal Logic for Sortals. Studia Logica 69 (3):351-380.
Carl J. Posy (1982). A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics. Topoi 1 (1-2):30-43.
Ruth Barcan Marcus (1962). Interpreting Quantification. Inquiry 5 (1-4):252 – 259.
Added to index2009-01-28
Total downloads2 ( #246,081 of 722,917 )
Recent downloads (6 months)1 ( #60,917 of 722,917 )
How can I increase my downloads?