Abstract
We explore a relation we call ‘anticipation’ between formulas, where A anticipates B (according to some logic) just in case B is a consequence (according to that logic, presumed to support some distinguished implicational connective →) of the formula A→B. We are especially interested in the case in which the logic is intuitionistic (propositional) logic and are much concerned with an extension of that logic with a new connective, written as “a”, governed by rules which guarantee that for any formula B, aB is the (logically) strongest formula anticipating B. The investigation of this new logic, which we call ILa, will confront us on several occasions with some of the finer points in the theory of rules and with issues in the philosophy of logic arising from the proposed explication of the existence of a connective (with prescribed logical behaviour) in terms of the conservative extension of a favoured logic by the addition of such a connective. Other points of interest include the provision of a Kripke semantics with respect to which ILa is demonstrably sound, deployed to establish certain unprovability results as well as to forge connections with C. Rauszer's logic of dual intuitionistic negation and dual intuitionistic implication, and the isolation of two relations (between formulas), head-implication and head-linkage, which, though trivial in the setting of classical logic, are of considerable significance in the intuitionistic context.
Similar content being viewed by others
REFERENCES
Anderson, A. R. and Belnap, N. D.: Modalities in Ackermann's “Rigorous Implication”, J. Symbolic Logic 24 (1959), 107–111.
Belnap, N. D.: Tonk, plonk, and plink, Analysis 22 (1962), 130–134.
Bessonov, A. V.: New operations in intuitionistic calculus, Math. Notes of the Academy of Sciences of the USSR 22 (1977), 503–506.
De Jongh, D. H. J.: A Class of intuitionistic connectives, in J. Barwise, H. J. Keisler and K. Kunen (eds.), The Kleene Symposium, North-Holland, Amsterdam, 1980, pp. 103–111.
De Jongh, D. H. J. and Chagrova, L. A.: The decidability of dependency in intuitionistic propositional logic, J. Symbolic Logic 60 (1995), 498–504.
Fagin, R., Halpern, J. and Vardi, M.: What is an inference rule?, J. Symbolic Logic 57 (1992), 1018–1045.
Gabbay, D.: Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht, 1981.
Gurevich, Y.: Intuitionistic logic with strong negation, Studia Logica 36 (1977), 49–59.
Hazen, A. P.: An application of generalized natural deduction, Melbourne University Department of Philosophy Preprint Series (No. 5 for the year), 1996.
Humberstone, L.: Valuational semantics of rule derivability, J. Philos. Logic 25 (1996), 451–461.
Humberstone, L.: Singulary extensional connectives: A closer look, J. Philos. Logic 26 (1997), 341–356.
Humberstone, L.: An intriguing logic with two implicational connectives, Notre Dame J. Formal Logic 41 (2000), 1–41.
Humberstone, L.: Contra-classical logics, Australas. J. Philos. 78 (2000), 438–474.
Humberstone, L.: Archetypal forms of inference, in preparation.
Humberstone, L. and Williamson, T.: Inverses for normal modal operators, Studia Logica 59 (1997), 33–64.
Kabziński, J. and Wroński, A.: On equivalential algebras, in Proc. 1975 International Symposium on Multiple-Valued Logic, Auspices of the IEEE Computer Society, Indiana University, Bloomington, 1975, pp. 419–428.
Komori, Y.: Logics without Craig's interpolation property, Proc. of the Japan Academy (Ser. A) 54 (1978), 46–48.
Koslow, A.: A Structuralist Theory of Logic, Cambridge University Press, Cambridge, 1992.
Kreisel, G.: Monadic operators defined by means of propositional quantification in intuitionistic logic, Reports on Math. Logic 12 (1981), 9–15.
López-Escobar, E. G. K.: On intuitionistic sentential connectives. I, Revista Colombiana de Matemáticas 19 (1985), 117–130.
McKay, C. G.: A consistent propositional logic without any finite models, J. Symbolic Logic 50 (1985), 38–41.
Prior, A. N.: Logicians at play; or Syll, Simp, and Hilbert, Australas. J. Philos. 34 (1956), 182–192.
Prucnal, T.: Interpretations of classical implicational sentential calculus into nonclassical implicational calculi, Studia Logica 33 (1974), 59–64.
Rauszer, C.: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations, Fund. Math. 83 (1974), 219–249.
Rauszer, C.: A formalization of the propositional calculus of H-B logic, Studia Logica 33 (1974), 23–34.
Rauszer, C.: An algebraic approach to the Heyting–Brouwer predicate calculus, Fund. Math. 96 (1977), 127–135.
Rauszer, C.: Applications of Kripke Models to Heyting–Brouwer Logic, Studia Logica 36 (1977), 61–71.
Rauszer, C.: Model theory for an extension of intuitionistic logic, Studia Logica 36 (1977), 73–87.
Rauszer, C.: An algebraic and Kripke-style approach to a certain extension of intuitionistic logic, Dissertationes Math. 167 (1980).
Scott, D.: Rules and derived rules, in S. Stenlund (ed.), Logical Theory and Semantic Analysis, Reidel, Dordrecht, 1974, pp. 147–161.
Segerberg, K.: Propositional logics related to Heyting's and Johansson's, Theoria 34 (1968), 26–61.
Skolem, T.: Consideraciones sobre los fundamentos de la matemática, Rev. Mat. Hispano-Americana 12 (1952), 169–200.
Smiley, T. J.: Relative necessity, J. Symbolic Logic 28 (1963), 113–134.
Shoesmith, D. J. and Smiley, T. J.: Deducibility and many-valuedness, J. Symbolic Logic 36 (1971), 610–622.
Surma, S. J., (ed.): Mordchaj Wajsberg: Logical Works, Polish Academy of Sciences, Institute of Philosophy and Sociology, Ossolineum, 1977.
Troelstra, A. S.: On a second order propositional operator in intuitionistic logic, Studia Logica 40 (1981), 113–139.
Troelstra, A. S. and van Dalen, D.: Constructivism in Mathematics: An Introduction, Vols. I and II, North-Holland, Amsterdam, 1988.
Wójcicki, R.: Theory of Logical Calculi, Kluwer Academic Publishers, Dordrecht, 1988.
Wojtylak, P.: Independent axiomatizability of sets of sentences, Ann. of Pure Appl. Logic 44 (1989), 259–299.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Humberstone, L. The Pleasures of Anticipation: Enriching Intuitionistic Logic. Journal of Philosophical Logic 30, 395–438 (2001). https://doi.org/10.1023/A:1012264614940
Issue Date:
DOI: https://doi.org/10.1023/A:1012264614940