Abstract
Our starting point is Michael Luntley's falsificationist semantics for the logical connectives and quantifiers: the details of his account are criticised but we provide an alternative falsificationist semantics that yields intuitionist logic, as Luntley surmises such a semantics ought. Next an account of the logical connectives and quantifiers that combines verificationist and falsificationist perspectives is proposed and evaluated. While the logic is again intuitionist there is, somewhat surprisingly, an unavoidable asymmetry between the verification and falsification conditions for negation, the conditional, and the universal quantifier. Lastly we are lead to a novel characterization of realism.
Similar content being viewed by others
References
CurryHaskell B.: 1977, Foundations of Mathematical Logic, Dover, New York.
DummettMichael: 1976, ‘What is a Theory of Meaning? (II)’, in G.Evans and J.McDowell (eds.), Truth and Meaning, Oxford University Press, Oxford.
DummettMichael: 1977, Elements of Intuitionism, Oxford University Press, Oxford.
DummettMichael: 1981. The Interpretation of Frege's Philosophy, Duckworth, London.
DunnJ. Michael and NuelD. BelnapJr.: 1968, ‘The Substitutional Interpretation of the Quantifier’, Nous 2, 177–185.
LeblancHugues: 1982, Existence, Truth and Provability, SUNY Press, Albany, New York.
LuntleyMichael: 1988, Language, Logic and Experience: The Case for Anti-Realism. Open Court, La Salle.
MakinsonD. C.: 1973, Topics in Modern Logic, Methuen, London.
SundholmGöran: 1983, ‘Construction, Proofs and the Meaning of Logical Constants’, J. Phil. Logic 12. 151–172.
TennantNeil: 1978, Natural Logic, Edinburgh University Press, Edinburgh.
WeinsteinScott: 1983, ‘The Intended Interpretation of Intuitionist Logic’, J. Phil. Logic 12, 261–270.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Milne, P. Verification, falsification, and the logic of enquiry. Erkenntnis 34, 23–54 (1991). https://doi.org/10.1007/BF00239431
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00239431