Abstract
A particularly appealing feature of intuitionistic propositional logic, IPL, is that it may be regarded as the logic of cumulative research, see [12]. It is sound and complete with respect to the class of all non-empty sets I of information states which are quasi-ordered by a relation ⊑ of ‘possible expansion’ of these states, and in which atomic formulas established at a certain state are also verified at every possible expansion of that state. There are thus three constraints which are imposed on the basic picture of information states related by ⊑ : (i) the persistence (alias heredity) of atomic information, (ii) the reflexivity, and (iii) the transitivity of ⊑ . The persistence of every intuitionistic formula emerges as the combined effect of (i) and (iii). Although a Kripke frame, that is, a binary relation over a non-empty set, admittedly provides an extremely simple model of information dynamics, and, moreover, each of the conditions (i) — (iii), as well as their combinations, may be of value for reasoning about certain varieties of scientific inquiry, it is nevertheless interesting and reasonable to consider giving up all or some of these conditions. Evidently, conceiving of information progress as a steady expansion of previously acquired insights is extremely idealized and the basic model of such a progress should leave room for incorporating revisions, contractions, and merges of information as well. If persistence is given up, ⊑ can no longer be understood as a relation of possible expansion. This reading, however, may be replaced by more generally thinking of ⊑ as describing a possible development of information states. Development thus need not imply the persistence of information.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
N. Belnap. Display Logic. Journal of Philosophical Logic, 11, 375–417, 1982.
N. Belnap. Linear Logic Displayed. Notre Dame Journal of Formal Logic, 31 14–25, 1990.
N. Belnap. The Display Problem. In: H. Wansing(ed), Proof Theory of Modal Logic. Dordrecht, Kluwer Academic Publishers, 79–93, 1996.
G. Corsi. Weak Logics with Strict Implication. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 33 389–406, 1987.
K. Došen. Sequent Systems and Groupoid Models II. Studia Logica, 48 41–65, 1989.
K. Došen. Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Calculus. Notre Dame Journal of Formal Logic, 32 580–597, 1991.
K. Došen. Rudimentary Kripke models for the intuitionistic propositional calculus. Annals of Pure and Applied Logic, 62 21–49, 1993.
K. Došen. Modal Translations in K and D. In: M. de Rijke (ed), Diamonds and Defaults. Dordrecht, Kluwer Academic Publishers, 103–127, 1993.
M. Finger and D. Gabbay. Adding a Temporal Dimension to a Logic System. Journal of Logic,Language and Information, 1,, 203–233, 1992.
R. Goré. Intuitionistic Logic Redisplayed. Manuscript, Department of Computer Science, University of Manchester, 1994.
M. Kracht. Power and Weakness of the Modal Display Calculus. In: H. Wansing(ed), Proof Theory of Modal Logic. Dordrecht, Kluwer Academic Publishers, 95–122, 1996.
S. Kripke. Semantical analysis of intuitionistic logic I. In: J. Crossley and M. Dummett (eds), Formal Systems and Recursive Functions. Amsterdam, North-Holland, 92–129, 1965.
W. Rautenberg. Klassische und nichtklassische Aussagenlogik. Braunschweig, Vieweg, 1979.
G. Restall. Subintuitionistic Logics. Notre Dame Journal of Formal Logic, 35 116–129, 1994.
P. Schroeder-Heister and K. Došen (eds). Substructural Logics. Oxford, Oxford University Press, 1993.
R. Sylvan. Intuitionistic Logic - Subsystem of, Extension of, or Rival to, Classical Logic. Philosophical Studies, 53 147–151, 1988.
H. Wansing. Informational Interpretation of Substructural Propositional Logics. Journal of Logic,Language and Information, 2 285–308, 1993.
H. Wansing. The Logic of Information Structures. Springer Lecture Notes in AI 681, Berlin, Springer-Verlag, 1993.
H. Wansing. Sequent Calculi for Normal Modal Propositional Logics. Journal of Logic and Computation, 4 125–142, 1994.
H. Wansing. A Full-Circle Theorem for Simple Tense Logic. In: M. de Rijke (ed), Advances in Intensional Logic. Dordrecht, Kluwer Academic Publishers, 171–190, 1996.
H. Wansing. Strong cut-elimination in Display Logic. To appear in: Reports on Mathematical Logic.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Wansing, H. (1997). Displaying as Temporalizing. In: Akama, S. (eds) Logic, Language and Computation. Applied Logic Series, vol 5. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5638-7_8
Download citation
DOI: https://doi.org/10.1007/978-94-011-5638-7_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6377-7
Online ISBN: 978-94-011-5638-7
eBook Packages: Springer Book Archive