Validity and quantification in intuitionism

&
Journal of Philosophical Logic 10 (1):117-126 (1981)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf00253915

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
Failure of Completeness in Proof-Theoretic Semantics.Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister - 2015 - Journal of Philosophical Logic 44 (3):321-335.
A short note on intuitionistic propositional logic with multiple conclusions.Valéria de Paiva & Luiz Pereira - 2005 - Manuscrito 28 (2):317-329.
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.Victor N. Krivtsov - 2015 - Studia Logica 103 (3):623-638.
Interpreting quantification.Ruth Barcan Marcus - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):252 – 259.
Validity as a primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.
Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.
Indenumerability and substitutional quantification.Philip Hugly & Charles Sayward - 1982 - Notre Dame Journal of Formal Logic 23 (4):358-366.
Why internal validity is not prior to external validity.Johannes Persson & Annika Wallin - unknown
Two concepts of validity and completeness.Jaroslav Peregrin - unknown
External Validity: Is There Still a Problem?Alexandre Marcellesi - 2015 - Philosophy of Science 82 (5):1308-1317.
Numbers and Everything.Gonçalo Santos - 2013 - Philosophia Mathematica 21 (3):297-308.
Propositional or Non-Propositional Attitudes?Sean Crawford - 2014 - Philosophical Studies 168 (1):179-210.
Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.Eli Dresner - 2011 - Notre Dame Journal of Formal Logic 52 (1):75-93.
A logical-pragmatic perspective on validity.Adriano C. T. Rodrigues & Claudio E. M. Banzato - 2009 - Dialogues in Philosophy, Mental and Neuro Sciences 2 (2):40-44.

Analytics

Added to PP
2017-02-20

Downloads
16 (#886,588)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The infinite, the indefinite and the critical turn: Kant via Kripke models.Carl Posy - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):743-773.

Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.

Add more references